Skip to content
By using Twitter’s services you agree to our Cookies Use. We and our partners operate globally and use cookies, including for analytics, personalisation, and ads.
  • Home Home Home, current page.
  • About

Saved searches

  • Remove
  • In this conversation
    Verified accountProtected Tweets @
Suggested users
  • Verified accountProtected Tweets @
  • Verified accountProtected Tweets @
  • Language: English
    • Bahasa Indonesia
    • Bahasa Melayu
    • Català
    • Čeština
    • Dansk
    • Deutsch
    • English UK
    • Español
    • Filipino
    • Français
    • Hrvatski
    • Italiano
    • Magyar
    • Nederlands
    • Norsk
    • Polski
    • Português
    • Română
    • Slovenčina
    • Suomi
    • Svenska
    • Tiếng Việt
    • Türkçe
    • Ελληνικά
    • Български език
    • Русский
    • Српски
    • Українська мова
    • עִבְרִית
    • العربية
    • فارسی
    • मराठी
    • हिन्दी
    • বাংলা
    • ગુજરાતી
    • தமிழ்
    • ಕನ್ನಡ
    • ภาษาไทย
    • 한국어
    • 日本語
    • 简体中文
    • 繁體中文
  • Have an account? Log in
    Have an account?
    · Forgot password?

    New to Twitter?
    Sign up
MorlockP's profile
ⓘ Dogs don't have thumbs
ⓘ Dogs don't have thumbs
ⓘ Dogs don't have thumbs
@MorlockP

Tweets

ⓘ Dogs don't have thumbs

@MorlockP

Two-time Prometheus award-winning hard science fiction author. https://www.amazon.com/dp/B005JPPMS6  Learn how to homestead https://www.amazon.com/dp/B093BC3K1T 

Aristillus Crater, Luna
amazon.com/dp/B005JPPMS6
Joined June 2012

Tweets

  • © 2022 Twitter
  • About
  • Help Center
  • Terms
  • Privacy policy
  • Cookies
  • Ads info
Dismiss
Previous
Next

Go to a person's profile

Saved searches

  • Remove
  • In this conversation
    Verified accountProtected Tweets @
Suggested users
  • Verified accountProtected Tweets @
  • Verified accountProtected Tweets @

Promote this Tweet

Block

  • Tweet with a location

    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

    Your lists

    Create a new list


    Under 100 characters, optional

    Privacy

    Copy link to Tweet

    Embed this Tweet

    Embed this Video

    Add this Tweet to your website by copying the code below. Learn more

    Add this video to your website by copying the code below. Learn more

    Hmm, there was a problem reaching the server.

    By embedding Twitter content in your website or app, you are agreeing to the Twitter Developer Agreement and Developer Policy.

    Preview

    Why you're seeing this ad

    Log in to Twitter

    · Forgot password?
    Don't have an account? Sign up »

    Sign up for Twitter

    Not on Twitter? Sign up, tune into the things you care about, and get updates as they happen.

    Sign up
    Have an account? Log in »

    Two-way (sending and receiving) short codes:

    Country Code For customers of
    United States 40404 (any)
    Canada 21212 (any)
    United Kingdom 86444 Vodafone, Orange, 3, O2
    Brazil 40404 Nextel, TIM
    Haiti 40404 Digicel, Voila
    Ireland 51210 Vodafone, O2
    India 53000 Bharti Airtel, Videocon, Reliance
    Indonesia 89887 AXIS, 3, Telkomsel, Indosat, XL Axiata
    Italy 4880804 Wind
    3424486444 Vodafone
    » See SMS short codes for other countries

    Confirmation

     

    Welcome home!

    This timeline is where you’ll spend most of your time, getting instant updates about what matters to you.

    Tweets not working for you?

    Hover over the profile pic and click the Following button to unfollow any account.

    Say a lot with a little

    When you see a Tweet you love, tap the heart — it lets the person who wrote it know you shared the love.

    Spread the word

    The fastest way to share someone else’s Tweet with your followers is with a Retweet. Tap the icon to send it instantly.

    Join the conversation

    Add your thoughts about any Tweet with a Reply. Find a topic you’re passionate about, and jump right in.

    Learn the latest

    Get instant insight into what people are talking about now.

    Get more of what you love

    Follow more accounts to get instant updates about topics you care about.

    Find what's happening

    See the latest conversations about any topic instantly.

    Never miss a Moment

    Catch up instantly on the best stories happening as they unfold.

    1. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      ⓘ Dogs don't have thumbs Retweeted Eddie, Son of Richard

      122/ somewhat, yes! this is why I am not blackpilled on Urbit.https://twitter.com/random_eddie/status/1502419355132469251 …

      ⓘ Dogs don't have thumbs added,

      Eddie, Son of Richard @random_eddie
      Replying to @MorlockP
      So, setting aside the (accusedly) deliberate lack of helpful documentation... Does Hoon itself further the ostensible "martian computer" mission of ensuring high-quality software by making the software easy to reason about and thus become confident in its correctness?
      1 reply 0 retweets 16 likes
      Show this thread
    2. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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' >

      1 reply 0 retweets 15 likes
      Show this thread
    3. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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

      1 reply 0 retweets 19 likes
      Show this thread
    4. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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

      1 reply 0 retweets 20 likes
      Show this thread
    5. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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 likes
      Show this thread
    6. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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 likes
      Show this thread
    7. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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 likes
      Show this thread
    8. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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 likes
      Show this thread
    9. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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 likes
      Show this thread
    10. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      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 likes
      Show this thread
      ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

      ⓘ Dogs don't have thumbs Retweeted E. Darwin Hartshorn ⳩  🦬

      132/https://twitter.com/VidyaDragon/status/1502423602372747269?t=7zO51wFYJb0OBsoLpM5HTQ&s=19 …

      ⓘ Dogs don't have thumbs added,

      E. Darwin Hartshorn ⳩  🦬 @VidyaDragon
      Replying to @MorlockP
      Aha! 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.
      3:28 PM - 11 Mar 2022
      • 16 Likes
      • JDangerously Alea Iacta Est General Hammond TOM Q VAXY zywiec Joe Newstrom Planetary Defense ichabod default Tequehead
      1 reply 0 retweets 16 likes
        1. New conversation
        2. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

          ⓘ 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,

          Shea Levy @shlevy
          Replying to @MorlockP
          I'm watching this thread in utter horror. Does Yarvin know that there's decades of work in research and applied formal verification of varying degrees of usability and expressiveness? Does he ignore that, build on top of it, think it's garbage?
          2 replies 0 retweets 15 likes
          Show this thread
        3. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

          ⓘ Dogs don't have thumbs Retweeted aidan l. coyne ✝️ 🇻🇦 🏡 🔕 ☀️

          134/https://twitter.com/raptros_/status/1502425562467516417?t=7zO51wFYJb0OBsoLpM5HTQ&s=19 …

          ⓘ Dogs don't have thumbs added,

          aidan l. coyne ✝️ 🇻🇦 🏡 🔕 ☀️ @raptros_
          Replying to @shlevy @MorlockP
          back in the day he ignored all of it, for ideological reasons
          2 replies 0 retweets 11 likes
          Show this thread
        4. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

          ⓘ Dogs don't have thumbs Retweeted Shea Levy

          135/https://twitter.com/shlevy/status/1502425889866399747?t=7zO51wFYJb0OBsoLpM5HTQ&s=19 …

          ⓘ Dogs don't have thumbs added,

          Shea Levy @shlevy
          Replying to @raptros_ @MorlockP
          Ideological reasons like they have a bad approach? Or ideological reasons like they're part of academia and voted for Obama?
          1 reply 0 retweets 11 likes
          Show this thread
        5. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

          ⓘ Dogs don't have thumbs Retweeted aidan l. coyne ✝️ 🇻🇦 🏡 🔕 ☀️

          136/https://twitter.com/raptros_/status/1502426374300184580?t=7zO51wFYJb0OBsoLpM5HTQ&s=19 …

          ⓘ Dogs don't have thumbs added,

          aidan l. coyne ✝️ 🇻🇦 🏡 🔕 ☀️ @raptros_
          Replying to @shlevy @MorlockP
          more like the latter, "they're academia and everything they do is necessarily corrupt because all of academia in america is intrinsically bad"
          2 replies 0 retweets 13 likes
          Show this thread
        6. ⓘ Dogs don't have thumbs‏ @MorlockP Mar 11

          ⓘ 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_wilco
          Replying to @MorlockP
          Why 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 thread
          3 replies 0 retweets 16 likes
          Show this thread
        7. End of 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.

        Promoted Tweet

        false

        • © 2022 Twitter
        • About
        • Help Center
        • Terms
        • Privacy policy
        • Cookies
        • Ads info