116/ Yeah, the jets seem deeply problematic to me. No time to type now; maybe I'll add more to this thread later.https://twitter.com/LinManuelRwanda/status/1502414340284157954 …
-
-
127/ I might be wrong. It might not be exactly that flavor of retardation ; it might be some almost identical but slightly different flavor of retardation. So, instead of writing this yourself every single time you need to subtract, you write a library function that does it.
Show this thread -
128/ ...but obviously you can't writer performant code that takes 5 billion CPU operations to do a subtraction that should take 1 CPU operation. so ... Hoon has the concept of "jets". A "jet" is when you (a) write a library function in Hoon (b) add a special marker to it and
Show this thread -
129/ (c) then REWRITE the exact same code in C, making use of the bare metal of the CPU / fallible Terran operating system. So... this leads us to the JQ:
Show this thread -
130/ "If the premise of Hoon is that it is precise and correct because it does not depend on or touch fallible gross C code, and runs entirely in the VM...but it's so slow that now we write our code twice, and half of it is written in the fallible and gross style... WTF?"
Show this thread -
131/ I *** DO *** understand where they're coming from. I do get that diamond-hard formalizations are good. I get that optimizations can be done afterward. ...but... it's still kinda sketchy a sucking chest wound under the perfectly pressed tuxedo.
Show this thread -
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 -
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.