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...
3 replies 0 retweets 20 likesShow 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.
1 reply 0 retweets 21 likesShow 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
1 reply 0 retweets 18 likesShow 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:
2 replies 0 retweets 22 likesShow 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?"
2 replies 1 retweet 36 likesShow 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.
4 replies 0 retweets 25 likesShow this thread -
ⓘ Dogs don't have thumbs Retweeted E. Darwin Hartshorn ⳩ 🦬
ⓘ Dogs don't have thumbs added,
E. Darwin Hartshorn ⳩ 🦬 @VidyaDragonReplying to @MorlockPAha! You escape the world of messy metal and into the land of platonic forms by simply building hundreds of scaffolds from the forms to the metal and pretending they don't exist. It's okay because lies are spiritual, and our rubric is spirit = good; metal = bad.1 reply 0 retweets 16 likesShow this thread -
ⓘ Dogs don't have thumbs Retweeted Shea Levy
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 …
ⓘ Dogs don't have thumbs added,
2 replies 0 retweets 15 likesShow this thread -
ⓘ Dogs don't have thumbs Retweeted aidan l. coyne ✝️ 🇻🇦 🏡 🔕 ☀️
ⓘ Dogs don't have thumbs added,
2 replies 0 retweets 11 likesShow this thread
ⓘ Dogs don't have thumbs Retweeted Shea Levy
ⓘ Dogs don't have thumbs added,
-
-
ⓘ Dogs don't have thumbs Retweeted aidan l. coyne ✝️ 🇻🇦 🏡 🔕 ☀️
ⓘ Dogs don't have thumbs added,
2 replies 0 retweets 13 likesShow this thread -
ⓘ Dogs don't have thumbs Retweeted Andy Wilcox
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 …
ⓘ Dogs don't have thumbs added,
Andy Wilcox @andy_wilcoReplying to @MorlockPWhy not take a page from the JVM? add some ops to the bytecode and add JIT for native perf on limited parts of their choice. Keeps it all inside the VM. Better than jet option which seems cumbersome and possibly dangerous. Note: I learned hoon in this thread3 replies 0 retweets 16 likesShow 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.