nimih

7 ms·

1.
by nimih 6d ago
FWIW, I'm only half-joking with my comment: dealing with software updates is an annoying part of life, and IMO rsync's UI is rather complicated (in that it's easy to use the wrong set of flags and do the wrong thing, some
2.
by nimih 6d ago
Browsing the repo, I can see a couple of advantages: - Single contributor. Software bugs are generally caused by developers writing code. By reducing the number of contributors, syq has cleverly reduced the surface area for defects to sneak
3.
by nimih 26d ago
By "information dense," I meant in contrast to what is typical in modern GUIs: generous borders and margins between interface elements, large buttons, etc. My experience both using and writing TUIs is that, because of the extreme
4.
by nimih 27d ago
I personally like making (and using) TUIs because: - They encourage developing simpler, information-dense, and keyboard-driven interfaces, which I tend to prefer in general. - I find them more fun to write, and less aggravating to maintain
5.
by nimih 1mo ago
One way to get around this in some cases is to subscribe to the feed's associated email newsletter, which, IME, is more likely to have the full text of the article. This, of course, introduces other problems[1], but if your goal is to
6.
by nimih 1mo ago
Based on bot traffic to my personal blog over the past year or so, the minimum viable web crawler apparently does not need any of those things (much to my own personal annoyance, to be very clear).
7.
by nimih 1mo ago
I think you certainly grasp the gist of things if you understand that the point is self-reference. What makes the proof shocking and beautiful (at least, IMO), is how sparse a toolbox Gödel is working with (and, perhaps, how clever the cons
8.
by nimih 1mo ago
Honestly, other than the length and tedious presentation, I don't really think the material in the Principia Mathematica is outside the reach of an advanced undergraduate. As a point of reference, MIT's capstone mathematical logic
9.
by nimih 2mo ago
> 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 mathematicians like to work in intuitionistic lo
10.
by nimih 2mo ago
Speaking personally, there are essentially two distinct reasons I like having programmable config languages: - For personal application config (window manager, shell, text editor, etc), I find I often want to have site-specific configuratio
11.
by nimih 2mo ago
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 increase as well. My theory is that the process, while borin
12.
by nimih 3mo ago
> 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, and can be fun without much in the way of story or gra
13.
by nimih 3mo ago
I agree. We should legalize drunk driving so that no one can be denied their god-given right to drive a car.
14.
by nimih 3mo ago
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 made a similar design choice with how save/restor
15.
by nimih 3mo ago
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, arguably the simplest possible CSPRNG, where y
16.
Tailscale ships a non-reproducible crypto downgrade(github.com)
3 points by nimih 3mo ago|0 comments
17.
by nimih 3mo ago
How long was Enron able to fake it, out of curiosity?
18.
by nimih 4mo ago
> 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 provides an incentive to report sloppy papers (namely, that
19.
by nimih 5mo ago
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 important piece of shared internet infrastructure that eve
20.
by nimih 5mo ago
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.
21.
by nimih 5mo ago
AI writing is worse on the merits: it is lower quality and has concerning externalities associated with its production.
22.
by nimih 5mo ago
Also, acquiring said clearance is not always straightforward, even if you lack sufficient scruples to be willing to pursue it in the first place.
23.
by nimih 6mo ago
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 may seem today, huge numbers of computers running the W
24.
by nimih 6mo ago
> 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 about OpenTTD in the early 00s, at least.
25.
by nimih 7mo ago
> 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!
26.
by nimih 8mo ago
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 its meaning along the lines of
27.
by nimih 8mo ago
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 personal experience), but saves you the boilerplate and hassl
28.
by nimih 8mo ago
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 of what I was trying to do, just the epiphany which resulted
29.
by nimih 8mo ago
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.
30.
by nimih 8mo ago
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 profitable businesses based on that media consumption

More ›