-
-
Show this thread
-
105/ I gave up on it, because trying to contribute to a thing and being yelled at is demoralizing. (also, I had a personal snit with a related Name where I was repeatedly insulted for no reason ... so ...)https://twitter.com/LinManuelRwanda/status/1502403669643431945 …
Show this thread -
-
107/ wait - what does "1" mean?https://twitter.com/averykimball/status/1502406744680673280 …
Show this thread -
108/ very happy to hear it!https://twitter.com/SafePen/status/1502407383145848833 …
Show this thread -
112/ Hot damn, even
@robinhanson wants in on the Urbit thread!https://twitter.com/robinhanson/status/1502410521697390594 …Show this thread -
-
-
115/ Yeah, once I figured out - despite the best efforts of the documentation writers - that the One Big Secret of Hoon was that you can't modify data, but you can clone-data-with-modifications, and then execute inside that cloned subject, it blew my mind. Very simple Very cool
Show this thread -
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 …
Show this thread -
-
119/ I find this insanely annoying it's more "the Apple way" than "the Unix way". Shell should just accept what I type and then give me error msgs, not constrain my ability to enter input. Almost get the impression it was designed by some reactionary.https://twitter.com/EricRichards22/status/1502416903691718658 …
Show this thread -
120/ mic_drop.gif nuclear_explosion.jpghttps://twitter.com/random_eddie/status/1502417437593120771 …
Show this thread -
122/ somewhat, yes! this is why I am not blackpilled on Urbit.https://twitter.com/random_eddie/status/1502419355132469251 …
Show this thread -
123/ By making networking simple and putting invariants around it, and then insisting that every piece of software (a) runs in a very very simple VM that is correct, and (b) never accesses [ potentially race conditioned ] state, but only accesses state that is modified via 'a' >
Show this thread -
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 - 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.