nimih

10 ms·

91.
by nimih 2y ago
Somewhat surprisingly (to me at least), this puzzle is "solvable" pretty quickly by using the Haskell typechecker interactively. Here's what I did, along with the compiler's error messages. Start with some definitions:
92.
by nimih 2y ago
The logistics of having that level of granularity are probably a little unrealistic, but employers already follow a similar principle when adjusting pay scales based on cost-of-living for a given metropolitan area.
93.
by nimih 2y ago
The economic goals of management and labor are fundamentally at odds, so any explanation which isn't us-vs-them is going to be missing a key dynamic and motivating force of the relationship, at least to some extent.
94.
by nimih 2y ago
That assumption is empirically supported, but is, as of now, conjectural and unproven. In fact, our ability to prove facts about the distribution of digits in pi is so weak that we can't even rule out statements such as "after a c
95.
by nimih 2y ago
I don't think the situation is so clear-cut to be able to make categorical statements like that: server-side cheat prevention is also bypassable, and depending on how it is implemented, also has the potential for negative side effe
96.
by nimih 2y ago
I own a pair of AirPods and AirPod Pros; I bought the former in 2019, and was gifted the latter in 2020. The microphone on the AirPods died after about 18 months of use, but they otherwise still work perfectly (perhaps with slightly degrade
97.
by nimih 2y ago
It's a mystery, lost to the sands of time. IMO, it's highly unlikely anyone will ever discover why the maintainers of the Rust compiler decided to lint their codebase for a dozen or so magic numbers.
98.
by nimih 2y ago
Paradise Lost, Gravity's Rainbow, Middlemarch, and 2666. edit: The short stories which have stuck with me the most over the years are probably Joyce's "The Dead," O'Connor's "Good Country People," and
99.
by nimih 2y ago
If you think nginx is the right tool for solving problems like container deployment, service discovery, cluster scaling, and secret management, then I suppose it's not surprising that you think Kubernetes "crashes all the time&quo
100.
by nimih 2y ago
Another way of stating this, which I think is rather non-obvious to people who have not studied some amount of pure math, is that technical mathematical definitions are almost never helpful absent a substantial amount of additional context,
101.
by nimih 2y ago
> I saw so few items that weren't basically boxes of corn syrup and sugar in some form. There's so many healthier snacks nowadays. Costco sells a lot of junk food because Americans, as a whole, eat a lot of junk food. They also
102.
by nimih 2y ago
The IF archive (IF standing for “interactive fiction”, and the archive containing exclusively text adventures and related content) has existed since 1992. So to answer your question, it is unlikely that a “non-gamer blog” invented the term.
103.
by nimih 2y ago
https://archive.is/HptAq
104.
by nimih 2y ago
> There's a difference between a weak DRM format, and a "download as PDF" option. Can you direct me to a book available to borrow in the IA, which both requires copyright protection, and is available to download as a DRM-f
105.
by nimih 2y ago
> They had been operating a lending library of ebooks, where you could 'check out' an ebook file and they wouldn't let anyone else read it until you had 'put it back'. They had many options for evading DRM and to
106.
by nimih 2y ago
I've actually played a lot of Citadels (which I think is great fun these days, although I'll admit I disliked it when I first played it many years ago). I'll have to give Mascarade a shot, it looks like it would be engaging i
107.
by nimih 2y ago
Sentry is technically self-hostable, but they provide no deployment guidance beyond running the giant blob of services/microservices (including instances of postgres, redis, memcache, clickhouse, and kafka) as a single docker-compose
108.
by nimih 2y ago
A 1% error rate honestly seems unacceptably high if you're in the habit of reading a large volume of papers, each of which has a large volume of citations. To quote TFA, "Science involves many different error-reduction practices t
109.
by nimih 2y ago
This was my staunch opinion for a long time, but I've actually come around to the idea that many games are improved by having some degree of hidden information which is in-theory trackable by players, since it allows a certain sort of
110.
by nimih 2y ago
Not only that, but part of the plaintiff's case is that pistachio is generally a listed ingredient among competitor's products, even so-called "discount brands."
111.
by nimih 2y ago
It's interesting that the plaintiff brought similar claims for a variety of flavors[1], but the judge threw most of them out, with pistachio being the sole exception[2]. [1] TFA: `Duncan also attacks other Cold Stone flavors like mango
112.
by nimih 2y ago
"No true working mathematician would spend their time using Lean!"
113.
by nimih 2y ago
Personally, I've always found that the non-rigidity of the complex numbers (i.e. that when considered as a field, they admit a non-trivial automorphism), which requires the introduction of the Re and Im operators (i.e. projection back
114.
by nimih 2y ago
The video explains the main idea(s) behind the two papers which are linked at the top of the page.
115.
by nimih 2y ago
It's certainly possible to interpret numbers as types, but it's not particularly common AFAIK, since there are generally more convenient interpretations of arithmetic for a given problem domain (von Neumann sets, Dedekind cuts, IE
116.
by nimih 2y ago
What do you mean by “these days?” Pale Fire was written in 1962.
117.
by nimih 2y ago
Did you happen to RTFA, in which the author specifically mentions HSTS preloading--helpfully styled as a bold, underlined, bright blue link--in the second paragraph? If you manage to then get to the third paragraph, a concise and compelling
118.
by nimih 2y ago
> arguably why stop at API servers? I think this is pretty convincingly argued in TFA, honestly: modern browsers understand and respect HSTS headers, maintain enough local state that such headers are meaningful, and HSTS preloading is ea
119.
by nimih 2y ago
Here in the US (at least in my city), most movie theaters will charge $18-24 for a ticket to an evening show; the local indie/arthouse theater is a bit cheaper, at $15 for an evening show or $12 for a matinee.
120.
by nimih 2y ago
Right, there's no functional difference, but there certainly is a social and organizational difference: if a feature is provided as a plug-in, it makes it somewhat more difficult (and, importantly, clearly signals to the user that th

More ›