SilasX

25 ms·

451.
by SilasX 3y ago
But it should be possible for a system to prove its consistency, right?
452.
by SilasX 3y ago
Yeah, the short code for it reminds me of the line from Broken Arrow (1996): “I don't know what's scarier, losing nuclear weapons, or that it happens so often there's actually a term for it.” https://m.imdb.com&#x2
453.
by SilasX 3y ago
Thanks for adding detail, but the idea would be to avoid having to group them into a trains at all -- the containers would powered (like a rail gun) and be "shot" straight through the rail system as they're placed on the trac
454.
by SilasX 3y ago
I remember having the shower thought that you could replace canals with railways by redesigning ships to automatically, rapidly offload containers directly onto some superfast maglev railway, effectively "shooting" the containers
455.
by SilasX 3y ago
This. It's not a problem as long as the self-regulator is kept in line with periodic checks from a higher regulator. It's similar to how income taxes work. You self-report all the figures, and then they are sampled and spot-checke
456.
by SilasX 3y ago
Since you mention the past disputes over custody and forks: Earlier discussion from 2017, when customers wanted to sue Coinbase for keeping the Bitcoin Cash (BCH) fork corresponding to their deposits: https://news.ycombinator.com
457.
by SilasX 3y ago
Yep -- there was a thread a while about whether a biologist could reverse-engineer a radio, and I made the comment that electronics are designed to keep the various functions nicely decoupled, while biological systems aren't/don&#
458.
by SilasX 3y ago
I highlighted a few differences recently: https://news.ycombinator.com/item?id=38740170 To which I would add, TC is more newbie friendly, what with the cartoonish GUI, while Nand2tetris expects that you're already more
459.
by SilasX 3y ago
My recent comment comparing the two: https://news.ycombinator.com/item?id=38740170
460.
by SilasX 3y ago
Haha I remember seeing that and thinking … hm, that … would probably be more successful than most of their PSAs. https://www.theonion.com/new-anti-smoking-ads-warn-teens-its...
461.
by SilasX 3y ago
You just confirmed you’re in the case the parent mentioned of liking and being good at cooking (at least in that context).
462.
by SilasX 3y ago
The problem was that the tolerance of "kill all Jews" didn't arise from a principled defense of freedom of speech in general . Harvard clamps down on a lot of speech, but then hand-wrings and carefully looks for "cont
463.
by SilasX 3y ago
Also, when someone says, "they knew the earth was round in the Middle Ages", they mean "educated people knew". Guess what fraction were educated? Not many. So ... averaged over the population, it's not entirely corr
464.
by SilasX 3y ago
Reminds me of a Reddit submission where the "WalkScore" map assumed rent could never be more than $5000/month: https://imgur.com/2DrlnYH
465.
by SilasX 3y ago
I've completed both nand2tetris and Turing Complete. A note about differences: - TC only goes up to the level of writing programs in assembly, while nand2tetris has you build layers of abstraction on top of that so you can program in a
466.
by SilasX 3y ago
I vaguely remember someone trying to go the other direction, and teach "Tetris to Quake" but I can't find substantiation that course ever existed, and might have confused it with this article: http://archive.gamede
467.
by SilasX 3y ago
It's amazing how many people see no contradiction between "having more employees will stop shoplifting" and "lol of course employees won't do anything about shoplifters, are you risking your life for minimum wage?&q
468.
by SilasX 3y ago
But they definitely do this with sodas, occasionally bringing back the sugar formulation.
469.
by SilasX 3y ago
Oh wow, I can’t believe that was seven years ago! I never got around to interviewing my mom about programming mainframes with Michigan Algorithm Decoder: https://news.ycombinator.com/item?id=12097032
470.
by SilasX 3y ago
Haha you might like this old comment I made where I gradually go up the abstraction ladder about what you "really care" about (in the unlikely event you see this comment): https://news.ycombinator.com/item?id=97778
471.
by SilasX 3y ago
Even violent crimes might not be enough to get attention. I know a couple that was mugged at a gas station near the Oakland airport this past Thanksgiving. The muggers stole stuff from the car with their infant and toddler in it. Even then,
472.
by SilasX 3y ago
Vibes of this Onion parody: “Bush Vows To Remove Toxic Petroleum From National Parks” https://www.theonion.com/bush-vows-to-remove-toxic-petroleum...
473.
by SilasX 3y ago
I remember there was speculation that Facebook named their vaporware cryptocurrency Libra (later, “Diem”) as a jab at the longtime rival Winklevoss twins, who had started a crypto exchange called Gemini. I have no idea how astrologically cl
474.
by SilasX 3y ago
"Where you were", except for waiting for every page to reload.
475.
by SilasX 3y ago
I like that idea, but more because it would discourage oh-so-clever names for projects.
476.
by SilasX 3y ago
From the link: >>On the same period, Firefox marketshare was down 85%. When asked about her salary she stated "I learned that my pay was about an 80% discount to market. Meaning that competitive roles elsewhere were paying about
477.
by SilasX 3y ago
Good planning necessarily reduces the cost of something relative to the unplanned or poorly planned version. If it identifies a non-obvious means of assassination that is surprisingly easy, then it has done something "close enough&qu
478.
by SilasX 3y ago
And why can't users vouch for it like with comments?
479.
by SilasX 3y ago
Right, the LLM is more like the zip algorithm than the zip file. Yes, if you feed certain bits (the zip file) to the zip algorithm, you can get a copyrighted work out, but that means the zip file is violating, not the zip software.
480.
by SilasX 3y ago
Interesting contrast with the Onion’s other parody, Ford marketing a used 1993 car as the option for poorer buyers “who just need to get from their mother-in-law’s to the unemployment office”. https://www.theonion.com/ford-u

More ›