jerf

68 ms·

901.
by jerf 1y ago
Hmm, at least in Haskell terms that would not be sufficient, if we define "IO" by the IO type, because some types of O, such as setting the value of IORefs, is definitely something that could be witnessed elsewhere depending on th
902.
by jerf 1y ago
I've got a couple of systems that 10-15 years ago needed something like Redis and multiple nodes distributing them but are today just a single node with an in-memory cache that is really just a hash keyed by a string. They're runn
903.
by jerf 1y ago
If I am remembering correctly, this was also a good time to be in Linux. Since the Linux world operated on source code rather than binary blobs, it was easier to convert software to run 64-bit native. Non-trivial in an age of C, but still m
904.
by jerf 1y ago
The other major use case that leaps to mind is "observability"; I want to be able to poke a metric without the function becoming impure, since it is not uncommon for something deep down the call stack to poke a metric and I don&#x
905.
by jerf 1y ago
This document seems to treat "data" as a fungible commodity. Perhaps our use of the word encourages that. But it's not. How valuable is 70 petabytes of temperature sensor readings to a commercial LLM? It is in fact negative
906.
by jerf 1y ago
They flop back and forth at a high frequency though. I can hit all three cases in five minutes and it's been like that for months. Also there is never a sensible reason to offer video speeds as a combo-box popup of all options from .05
907.
by jerf 1y ago
The whole YouTube app is weird. Sometimes it lets you do 1.0x-2.0x. Sometimes it lets you range from .25x-4x. Sometimes it pops up a text selection box with every .05x option from .1 to 4.0. Sometimes it has a nicer UI with shortcut selecti
908.
by jerf 1y ago
Some<false> was written as the value; the type of that value would be Option<(Some Sort Of Still-A-Boolean)>. I have to write it that way because the entire conversation is about the language not having a boolean, so you can&#x2
909.
by jerf 1y ago
Unfortunately, you're invariably going to end up with a "Some<false>" at some point, and you're going to spend the next 20 years explaining to people why that's not a wart in your language that your if "t
910.
by jerf 1y ago
It's not future demand, it's current demand. Microsoft has already said they're power blocked rather than chip blocked. Please note how I say current demand, and don't over project as to what my opinion about future de
911.
by jerf 1y ago
It's been a while, but I don't recall any of the dotcom startups making deals with nuclear energy companies to buy out entire nuclear power stations: https://www.npr.org/2024/09/20/nx-s1-5120581&#x2F
912.
by jerf 1y ago
I would suggest to you some pondering on the meaning of the rare punctuation "...?". In your zeal to look good by correcting, you have completely misread the question... and gotten called on it. Digging in deeper isn't helpin
913.
by jerf 1y ago
This is one of the things I'd tune in the current curriculum. When I went to college in the late 1990s, we were right on the verge of a major transition to DSAs being something every programmer would implement themselves to something t
914.
by jerf 1y ago
Do lawyers and judges not by now have software that turns all these citations into hyperlinks into some relevant database? Software that would also flag a citation as not having a referent? Surely this exists and is expensive but in wide us
915.
by jerf 1y ago
I have a theory that in such cases one might as well just give up and write a Turing-complete language in the first place, as the sort of TC-complete languages we get with this sort of "slowly but surely backed against the wall" s
916.
by jerf 1y ago
I've been programming in Go for ten years. This problem has happened to me once. Would you care to make a list of all the problems your favorite language has served up to you at a rate of once in ten years, so I can also write a post m
917.
by jerf 1y ago
Needing further external information to "convert" from one struct type to another is fairly common and completely normal. One I happen to have encountered in multiple places over the years is normalizing user names. Sometimes ther
918.
by jerf 1y ago
They've discovered how to write dynamically-typed code correctly, or at least, a philosophy of it. It's not "discovering static typing" because that doesn't come up in static type languages. (Typescript is, for this
919.
by jerf 1y ago
I have a hood over my stove. It has a fan to pull smoke and steam up out of the cooking space. It blows the fan output right in my face, rather than outdoors. This does not contribute anything useful to the cooking process. It's fairly
920.
by jerf 1y ago
Unfortunately, "it would end life on Earth as we know it" is not, on its own terms, a thing that will stop it from happening. All it takes is the people who can make the decision deciding to do it because they think they will come
921.
by jerf 1y ago
I think rather than berating people for allegedly stodgy thinking that a better approach is just that everyone has an equal moral right to produce a map in which they are in the position of prominence, and since everyone can do that equally
922.
by jerf 1y ago
They want a source of chips for the wars they want to conduct that is not either controlled by the party they want to go war with, or way way closer to the party they want to go to war with than they are. Buying a chunk of Intel is a way of
923.
by jerf 1y ago
On my Chrome-descended browser, the initial screen is populated by something that appears to be some sort of downsampled grid image, resulting in black and white, but also various shades of grey. However the scrolling text is pure black and
924.
by jerf 1y ago
Yes. I believe this is used in some high-end applications. It's really hard though. You need a near-perfect model of what the sound will be slightly in advance. I doubt a fan would be amendable to that.
925.
by jerf 1y ago
Exactly what I was looking for, thank you. Interestingly, the wavelength of sound and the wavelength of wifi signals are in the same ballpark. 900MHz electromagnetic waves come out to ~30cm waves, which is about 1000Hz in sound-in-air.
926.
by jerf 1y ago
"Without a human in the loop, there’s still some “thing” that gets compromised, whether it’s a token or something that generates time-limited tokens." Speaking knowingly reductionistically and with an indeterminate amount of sarca
927.
by jerf 1y ago
Unfortunately, this is not possible with such a simple approach. In 2 and higher dimensions, the problem is that any attempt to create a cancelling wave from a position other than the source of the wave will not cancel the wave. Instead it
928.
by jerf 1y ago
It has come lightyears. ProtonDB has a feature where you can give it access to your Steam account for reading and it'll give you a full report based on your personal library: https://www.protondb.com/profile And I find
929.
by jerf 1y ago
"Algebraic types, by themselves, don't do anything to make things "scary" or Turing-complete." That's what "offer enough degrees-of-freedom to become scary" is getting at. The types themselves are no
930.
by jerf 1y ago
Yes, but as far as I know, nobody has shown that the Collatz conjecture is anything other than a really hard problem. It isn't terribly difficult to mathematically imagine that perhaps the Collatz problem space considered generally enc

More ›