Viewing profile — nimih

> if it is weakened, how can you prove the same stuff? Sometimes, you can't. In particular, so-called "non-constructive" proofs don't work in intuitionistic logic. Some mathematici…

Speaking personally, there are essentially two distinct reasons I like having programmable config languages: - For personal application config (window manager, shell, text editor, …

Something I've personally noticed over the years is that when I take the time to hand to write thoughtful commit messages, the overall quality of my technical work tends to increas…

> unclear reasons I think it's pretty obvious, tbh. Traditional roguelikes are turn-based, take place on a square grid, are good vehicles for exploring focused mechanical ideas, an…

I agree. We should legalize drunk driving so that no one can be denied their god-given right to drive a car.

It's in fact the opposite: an intentional design choice to make save scumming (edit: and by extension, sharing specific rng seeds) more effective for people who like doing it. They…

Can you describe what you mean by "oracle attack" here? CSPRNG APIs (at least the ones I've used) usually expose ways to set a specific seed and serialize the RNG state. In fact, a…

How long was Enron able to fake it, out of curiosity?

> ArXiv doesn't even check the submission closely, so how can they know? They can be informed by people who read the papers and check the citations. A zero-tolerance policy provide…

I think it's possible to be simultaneously: gracious and supportive towards the developers and ops staff who have been struggling to maintain reasonable uptime on the extremely imp…

It may be helpful context to understand that The Onion is a satirical publication, and that them taking over InfoWars may itself be part of the joke.

AI writing is worse on the merits: it is lower quality and has concerning externalities associated with its production.

Also, acquiring said clearance is not always straightforward, even if you lack sufficient scruples to be willing to pursue it in the first place.

It might surprise you to learn that a large number of software exploits are written without the attacker having direct access to the program's source code. In fact, shocking as it …

> So how are they supposed to discover it if they don't know about it? Presumably, through social interaction with others in the communities they are a part of. That's how I heard …

> Bold claim. I agree. Good thing he doesn't back up his claim with any sort of evidence or reasoned argument, or you'd look like a huge moron!

They didn't say you "might" be able to use it under the AGPL, but that you "may" be licensed to use it. Which, as a native speaker of American English, seems to be relatively clear…

In Haskell specifically, arrays really do allow for the more general definition. This makes the library documentation[1] quite a bit more intimidating to newcomers (speaking from p…

I remember having a similar sort of realization early in my career when trying to implement some horribly convoluted business logic in SQL (I no longer remember the actual details …

It seems appropriate that, for a website whose purpose is to make links which raise your suspicions, the visual design itself also raises your suspicions.

That's a pretty lazy analysis. As an easy counterpoint, no one pays to look at Facebook or Instagram posts, but both Meta and (at least some) individual influencers are able to run…

[flagged]

FWIW, this is usually called buying either "life insurance" or a "life annuity," depending on whether you want to take a short or long position. The underwriters of such bets tend …