-
-
124/ I am far more convinced about the logical correct behavior of a given stack built in pure Hoon VM / Nock / Hoon. Now, I said LOGICALLY correct ...not code correct. You can definitely write buggy software ...but by avoiding a thousand different kinds of undefined behavior
Show this thread -
125/ ...you have definitely created a much much much better situation. So this part is wonderful, and I love it. HOWEVER ... now we get to the JQ
Show this thread -
126/ "the Jet Question" The Nock VM is super basic, has very few operations, and does not, for example, support subtraction So how do you calculate 999 - 3? The correct Nock approach is, IIRC, to start with 0, add 3 to it, and see if that's 999. If not, try 1, add 3 to it...
Show this thread -
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.