-
-
133/ I don't know but at a guess? He knows it exists but finds it unsexy. Just a guess tho.https://twitter.com/shlevy/status/1502424243337932800?t=7zO51wFYJb0OBsoLpM5HTQ&s=19 …
Show this thread -
137/ A dictator is simpler and purer than a senate. A 15 opcode VM is simpler and purer than a 60 opcode VM. ...at a guess.https://twitter.com/andy_wilco/status/1502428249766473728?t=HDhBkoI_iFlMNXtaRw6usBWoUiaVjDr-90dsDJi8amQ&s=19 …
Show this thread
End of conversation
New conversation -
-
I'm watching this thread in utter horror. Does Yarvin know that there's decades of work in research and applied formal verification of varying degrees of usability and expressiveness? Does he ignore that, build on top of it, think it's garbage?
-
Ideally I'd ask him that but I've only ever been able to get through one complete Moldbug post
End of conversation
New conversation -
-
-
I think the concept behind jets can be good, in that it typically reduces the code you have to write on Earth to the best possible case, i.e. "well-defined pure function" this is way easier to make solid and correct in C than writing the full program is
-
and (IIUC?) the consequences of jet failure are bounded: you either crash, or return some wrong result in either case, you're still "returning a result" to the Hoon and thus the broken jet (hopefully) doesn't warp the rest of the software
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.