100/ but tweet #100 is self referentialhttps://twitter.com/leepavelich/status/1502380533849858048 …
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
112/
Hot damn, even @robinhanson wants in on the Urbit thread!https://twitter.com/robinhanson/status/1502410521697390594 …
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
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 …
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 …
120/ mic_drop.gif nuclear_explosion.jpghttps://twitter.com/random_eddie/status/1502417437593120771 …
122/ somewhat, yes! this is why I am not blackpilled on Urbit.https://twitter.com/random_eddie/status/1502419355132469251 …
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' >
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
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
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...
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.
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
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:
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?"
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.
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 …
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 …
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.