crdrost

12 ms·

31.
by crdrost 11mo ago
We lost this fight at least by 1994 when Sun acquired “Thinking Machines,” which to its credit was bankrupting itself by making highly parallel supercomputers, at least. Now of course there is a new AI company of the same name. If the wre
32.
by crdrost 11mo ago
I mean pohl's joke above whooshed kjmh so it's all fine. The important thing for threads like this one is for us to name drop all of the weird programming languages that we have used, publicly avow the greatness of ones that we ha
33.
by crdrost 11mo ago
You don't get it from language tooling because you are compiling to a bytecode that runs in a virtual machine (BEAM). The current tool to wrap your bytecode with a VM so that it becomes standalone is Burrito[1], but there's some l
34.
by crdrost 11mo ago
I also found that first one surprising, even if he gives his back-of-the-envelope calculation (He guesstimates, 75% of healthcare spending is for metabolic-syndrome type chronic diseases, and then he guesstimates that 75% of that is prevent
35.
by crdrost 11mo ago
Yep! Lustig has a book, Metabolical , that goes into kind of a simple explanation of the underlying mechanism here, and it's roughly like this: fiber-rich foods contain a combination of soluble and insoluble fiber, the insoluble fib
36.
by crdrost 11mo ago
Yes, here "overall" is being used as a synonym for "from all causes" not "over the full length of your life," and there's this frustrating thing for those of us with physics educations where people frequen
37.
by crdrost 1y ago
So you can continue it beyond that circle if you like, it just happens to be the case that the thing electrical engineers and others dealing with waveguides are plotting in the source space, is impedance. (Well, a ratio of impedances—a load
38.
by crdrost 1y ago
I mean they hide it as best they can. Big restaurants like Applebee's you'll see "2 for $28" not priced at $28 so you can guesstimate the squeeze but otherwise you kinda have to go straight to Starbucks or McDonalds usin
39.
by crdrost 1y ago
I mean even phrasing what you're trying to do there, would be a big difficult task. Consider e.g. that Game of Life has had folks build universal Turing machines for it, and those machines can be programmed to run a Lace automaton.
40.
by crdrost 1y ago
Another place where you will frequently find celluloid is guitar picks. Can just slowly amass a collection for free. Especially if they're thin, flexy, especially if they've got wavy or trippy designs in the plastic, it's pro
41.
by crdrost 1y ago
That is worse. Now you have a bunch of companies wondering why their engagement is falling over a whole year, some dude's getting fired for not doing his job, etc. etc. The correct thing to do, probably, is to just provide the new data
42.
by crdrost 1y ago
So the current problem with a loop like that is that LLMs in their current form are subject to fixed point theorems, which are these pieces of abstract mathematics that come back when you start to get larger than some subset of your context
43.
by crdrost 1y ago
I don't know too much about the performance side of RDS, but the backup model is absolutely a headache. It's at the point where I'd rather pg_dump into gz and upload to s3.
44.
by crdrost 1y ago
This is what's nice about Pkl, you define a schema as a Pkl file, you define a value of that schema as a Pkl file that imports the schema, `pkl eval my file.pkl` will do the type check and output yaml for visual inspection or programma
45.
by crdrost 1y ago
This is kind of a strange way to use the terms, if you think about other things called theories in science. For instance, atomic theory, heliocentric theory, quantum theory, the theory of relativity, chemical collision theory, cell theory,
46.
by crdrost 1y ago
So binary MSD radix sort is also just called "binary quicksort" by some authors; they are substantially the same algorithm. How can I explain? If you really want to replicate the exact swaps and pivoting in the most common form of
47.
by crdrost 1y ago
For me the key was just application to figuring out if any cards are missing in a deck by sorting it. Assume spades < clubs < diamonds < hearts, and ascending order for cards for all suits. Once you know the principle you can switc
48.
by crdrost 1y ago
I'm really surprised at the whole filtering the rotation matrices thing, to me it is like, the long side of the piece is an arrow, that arrow can be pointed in one of six directions, I can rotate in one of four directions after that, s
49.
by crdrost 1y ago
Like I haven't run Coq but I assume that in this particular instance, the answer is a rather trivial "yes"? You'd think about, creating this proof is a gigantic research slog and publishable result; verifying it is just
50.
by crdrost 1y ago
General principle 1: to make a meeting matter, make a decision. (A meeting at its most basic is kinda like a locking primitive, gets independent threads to synchronize for a short time. Think through why you need that synchrony.) General pr
51.
by crdrost 1y ago
I like this. The author is somewhat needlessly hopeless about the prospects of changing a complex system. Basic summary is that once you start getting more than a handful of feedback loops, the author through many examples cautions that map
52.
by crdrost 1y ago
This was one of Doug Crockford's big bugaboos since The Good Parts and JSLint and Yahoo days—the idea that lexical scope aka closures give you an unprecedented ability to actually control I/O because you can say function m
53.
by crdrost 1y ago
Same way you go from 2 billion CPU operations per second to only ~4000 register bits (not counting ZMM SIMD registers) on a conventional CPU. The operations all consist of saying, connect these 3 bits and do a reversible operation on them a
54.
by crdrost 1y ago
I think this particular function was selected because it happened to be convenient to program and the visual effect was pleasant enough. The actual "correct" thing to do would probably be to have the point maintain constant speed
55.
by crdrost 1y ago
I just want to clarify that, strictly speaking, Paxos is simpler than Raft. Like Paxos is Raft plus "delete the part where the new leader has to be fully caught-up" (which causes an extra weirdness in Raft when the leader got majo
56.
by crdrost 1y ago
I feel like the other comments I see here, are not expressing the deeper point, and you're asking to really understand something, so that's what you care about? So I'm sorry to pile on when you've got like a dozen good a
57.
by crdrost 1y ago
We still can take it more seriously! Here's a PDF handout from 2023 for handing to hospital admins, https://www.nerode.org/clean-air/medical%20clean%20air%20rel... . The same statistics can probably be looked up f
58.
by crdrost 1y ago
So, there is a reason that CRDT researchers would not like this response that you have given, but down-thread from you it's not why the author jakelazaroff didn't like it, but it's worth giving this answer too. The reason CRD
59.
by crdrost 1y ago
"When data subjects exercise one of their rights, the controller must respond within one month. If the request is too complex and more time is needed to answer, then your organisation may extend the time limit by two further months, pr
60.
by crdrost 1y ago
Upvoted for the cute proof- without-words geometrical diagram of the Legendre transform, but the fact that you defined the inverse map as (x, y) to (\hat y, \hat x) I found impossible to keep my head straight. Probably it's easy if I s

More ›