[-] UlrikHD@programming.dev 7 points 1 year ago

Lovely work, Jerboa is nice, but old habits die hard and boost is what I'm used to.

My only complaint is that BankID won't allow me to pay to remove ads, but that's not really the fault of the app.

Can anyone who is a moderator confirm that they don't have access to mod tools? As an admin, I can't see an option for checking out reports, or for a way to ban/purge users. Seems like I still need the Web browser for those things.

[-] UlrikHD@programming.dev 6 points 1 year ago

You genuinely think it's faster to make a Web query, wait for search results to show up, click and wait for the correct webpage to load, navigate to the download page, download the exe, run the exe and go through the pop up menu than it is to type apt install x?

[-] UlrikHD@programming.dev 8 points 1 year ago

It would be terrible if you want to be serious about it. There is a ton of great information that would be lost if it happened.

[-] UlrikHD@programming.dev 7 points 1 year ago

His "work" as you put it, is the only thing of value on the site. SO without users to provide answers are worth zero dollars, so I'm not sure why you put work in quotation mark.

[-] UlrikHD@programming.dev 6 points 1 year ago

Mate, you're not John Carmack. It would be a ridiculous assumption to think their developers didn't take a serious look into optimisation before deciding to ignore the xbox ecosystem for initial launch.

[-] UlrikHD@programming.dev 7 points 1 year ago

Sorry for not combing through every major release since tetris and making a perfectly objective list of every good game of which most them I've never even seen gameplay of.

[-] UlrikHD@programming.dev 7 points 1 year ago

How many exceptions do you need before it no longer being an exception, 50%?

[-] UlrikHD@programming.dev 6 points 1 year ago

A round number is a number that is the product of a considerable number of comparatively small factors (Hardy 1999, p. 48). Round numbers are very rare. As Hardy (1999, p. 48) notes, "Half the numbers are divisible by 2, one-third by 3, one-sixth by both 2 and 3, and so on. Surely, then we may expect most numbers to have a large number of factors. But the facts seem to show the opposite."

A positive integer n is sometimes said to be round (or "square root-smooth") if it has no prime factors greater than sqrt(n). The first few such numbers are 1, 4, 8, 9, 12, 16, 18, 24, 25, 27, 30, 32, ... (OEIS A048098). Using this definition, an asymptotic formula for the number of round integers less than or equal to a positive real number x is given by N(x)∼(1-ln2)x+O(x/lnx)

(Hildebrand).

https://mathworld.wolfram.com/RoundNumber.html

Alternatively, a number rounded off to a given precision in whatever numeral system you are using. E.g. ten in decimal may be round if you are dealing with small numbers in the decimal system, but it wouldn't be particularly round if you were dealing with large numbers or hexadecimal.

[-] UlrikHD@programming.dev 7 points 1 year ago

Can someone tell me what their angle is? Are user's supposed to curate and help train the model for free? Is it just a model trained on stackoverflow data?

All their data is open so what edge do they over the already established competition.

[-] UlrikHD@programming.dev 6 points 1 year ago

Try downloading a png from a site that converts to webp for their CDN services. It's my only real complaint, but it's damn annoying going into the Firefox config just to download a simple image. I don't mind them displaying it as webp, but let me download the source image

view more: ‹ prev next ›

UlrikHD

joined 1 year ago