voidmain

8 ms·

61.
by voidmain 1y ago
I haven't thought about this deeply, but it seems to me that the evolution of unicode has left it unparseable (into extended grapheme clusters, which I guess are "characters") in a forwards compatible way. If so, it seems lik
62.
by voidmain 1y ago
If you want to get an idea of what proving things in Lean is like you could try this super fun game, which I think is by one of the people behind the FLT formalization project: https://adam.math.hhu.de/#/g/leanprov
63.
by voidmain 1y ago
I think you are right that the asymptotic claims are wrong, but it also seems plausible that hashing a k-byte string (in some way that gives you k prefix hashes) may sometimes be drastically cheaper than k cache misses in a large data struc
64.
by voidmain 1y ago
I think a type system that permits a type (no_locale=()) | (thread_locale=()) | (global_locale=()) | (env_locale=()) would generally be considered structural. I think newtypes and structure field names are isomorphic in functionality. Where
65.
by voidmain 1y ago
The science is interesting, but it seems like the solution "go outside" is available regardless of the details?
66.
by voidmain 1y ago
I guess I wish the people trying to do this luck, but I'm skeptical they will succeed at getting broad adoption and remain any better in terms of privacy etc than "big tech". If your solution is "service first" yo
67.
by voidmain 1y ago
The article says the spheres will be at 500-600m depth, so something like 50-60 atmospheres of pressure. Compressing air enough to displace water at that pressure would heat it to extreme temperatures which must be very inefficient even wit
68.
by voidmain 1y ago
The bonkers thing is that all of the visualizations show basically all of the terms pretty close to the middle on a log odds scale. If "highly unlikely" means 10-20%, how do you express 1 in 10,000??
69.
by voidmain 1y ago
I think it's been established that cautionary tales don't work. ("Tech Company: At long last we have created the Torment Nexus from classic sci-fi novel Don't Create the Torment Nexus") So we might as well have some
70.
by voidmain 1y ago
Games drawn from this uniform distribution can't even be implemented in our physical universe (you would need exponentially large lookup tables to store the rules). There is no chance of ever encountering any of them. Of course, ther
71.
by voidmain 1y ago
A start might be to enforce, or perhaps strengthen, laws against false advertising. I think most advertising is dishonest outright or at least by implication or omission. If everyone in the chain of custody of commercial speech was held l
72.
by voidmain 2y ago
This typechecks: function prove_anything<P>(){ function prove_false() : False { return prove_false() } let f = prove_false() return contradiction<P>()(f) } I think a proof
73.
by voidmain 2y ago
> The key point is that a government that issues debt in its own currency can always service that debt, and this is NOT inflationary. Hmm. Let's follow your argument to its conclusion. Why stop at 300% of GDP? Why stop at 300 times
74.
by voidmain 3y ago
There is some overlap, but the situation in a hypervisor is in fact pretty different.
75.
by voidmain 3y ago
Containers are doing two jobs for us: they give our customers a convenient way to send us software to run, and they give us a convenient place to simulate the network boundary between different machines in a distributed system. The whole g
76.
by voidmain 3y ago
In the specific case in question, the biggest problem was that dependencies like Zookeeper weren't compatible with our testing approach, so we couldn't do true end to end tests unless we replaced them. One of the nice things about
77.
by voidmain 3y ago
There's indeed a connection between record/replay and deterministic execution, but there's a difference worth mentioning, too. Both can tell you about the past, but only deterministic execution can tell you about alternate hi
78.
by voidmain 3y ago
Couldn't you just continue to serve the tiny .narinfo files from a trusted central source while letting bittorrent or ipfs cache the .nar files (big, but can be validated by hash)? It doesn't allow for untrusted builds but it wo
79.
by voidmain 3y ago
A program can only halt once, but can beep any number of times. So you can make a size X program (or turing machine) that simulates running every program (or turing machine) up to some size Y >> X, and whenever any of those program
80.
by voidmain 3y ago
It only takes a few v4 addresses to make enough v6 addresses for everyone, so there is no long term rent once all edge devices are v6. v4 addresses being temporarily "rentable" helps push the system towards that end goal (becaus
81.
by voidmain 3y ago
The key point is that all v6 addresses are owned by v4 addresses and therefore tunnelable, and that tunneling support is mandatory. There is no external prereq to having an individual device be able to open connections to v6 addresses, an
82.
by voidmain 3y ago
Assign 2^96 addresses to each IPv4 address. The original address is now a.b.c.d.0 and there are lots more a.b.c.d.x. When sending a packet over an IPv4 link, translate packets with .0 destinations to v4 packets and embed others in a special
83.
by voidmain 3y ago
> You may make production use of the Licensed Work, provided such use does not include offering the Licensed Work to third parties on a hosted or embedded basis which is competitive with HashiCorp's products. Having your use of some
84.
by voidmain 3y ago
It's apparently hard to measure zero vs extremely low resistance with the two probe setup you are imagining (I guess because the probes and wires aren't superconducting, so most of the resistance in the circuit is not in the sampl
85.
by voidmain 4y ago
I think I can solve your puzzle. First assign the number of potential aunts and nephews in each continent, city, etc top down in your tree (ensuring that the numbers are equal at the top and that you can reversibly assign a compact integer
86.
by voidmain 4y ago
The punchline of the story is supposed to be that Gates just knows that if the world's most famous investor proposes a bet, you don't want to take the other side of it. If Buffett wants to go second, then so does Gates.
87.
by voidmain 4y ago
Instead of reading this article, you can just read "The Peace of Dives" by Kipling... and then look at its publication date.
88.
by voidmain 4y ago
Sounds like the POTAXOR strategy [1]. [1] https://slatestarcodex.com/2014/06/15/fish-now-by-prescripti...
89.
by voidmain 4y ago
It's possible to take anything good to excess. For every piece of advice, someone probably needs to hear the opposite. But... if your manager is displeased with most ICs for brainstorming, considering edge cases, researching possib
90.
by voidmain 4y ago
IMO application sandboxing is very important, something that everyone should be able to take for granted in 2022. But the right approach is usually virtualization. If you omit functionality that people want, they come up with an (inse

More ›