Ngnghm

@Ngnghm

Welcome to the Swiftian World of Houyhnhnm Computing ("Hunam"). I am 's software alter ego (but see for cryptofoo). Call me "Ann". 🐎Read my blog!

Lair of the French Resistance
Vrijeme pridruživanja: kolovoz 2015.

Tweetovi

Blokirali ste korisnika/cu @Ngnghm

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @Ngnghm

  1. 2. velj

    Building good infrastructure yields compound interests. Don't program in shell scripts, ever—except the one that bootstraps your infrastructure.

    Poništi
  2. proslijedio/la je Tweet
    1. velj

    We at just released The Glow Whitepaper Introducing our language for safe Decentralized Applications. Join us and build tools that promote individual digital sovereignty!

    Poništi
  3. proslijedio/la je Tweet

    IMO, only the first type deserves the label 'libertarian' but the center-left reserves the label 'libertarian' for the second type.

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    31. sij

    Humans: you can tell me what to do, but not how, I’ll choose. Computers: you can’t tell me what to do, only how, in excruciating detail.

    Poništi
  5. 31. sij

    Overheard at the functional programming meetup: "re-Feynman types". That sounds awesome. They were talking about the liquid ones, and I'm wondering what the solid and gaseous ones look like, and then glassy, creamy or plasma-y ones.

    Poništi
  6. 30. sij

    Horrified that my co-founder thought I was giving him the cold treatment, because Signal told me I had sent him messages that he never received. That's it, I'm not using Signal anymore.

    Poništi
  7. 29. sij

    Prototypes are incremental specifications of open recursion schemes, that you can either instantiate by computing their fixed point or extend by composing them together through inheritance. They embody the essence of both functional and object-oriented programming.

    Poništi
  8. 19. sij

    Take 2, with epoxy resin rather than superglue. Delimited control operator cufflinks out of Apple ][ keycaps.

    Poništi
  9. proslijedio/la je Tweet

    Censorship doesn't tell anti-vaxxers they are wrong. It tells anti-vaxxers they are right. If they were wrong, then censorship wouldn't be necessary. Lies don't need censorship, only truths.

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    8. sij
    Odgovor korisnicima

    's "Observable Sharing," which I used in "ad", only gets you half the story -- it still expands the function body! "Observable Applications" as used by the old Nikola project by Mainland and is the other half of what is needed here.

    Poništi
  11. proslijedio/la je Tweet
    8. sij

    The first lecture by David Spivak about sets and categories in Programming with Categories is out:

    Poništi
  12. proslijedio/la je Tweet
    8. sij

    Here's the introductory lecture of Programming with Categories divided between Brandon, David, and me. More to come regularly.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    7. sij
    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    6. sij

    I hear there is a bootleg video of me teaching category theory at MIT.

    Poništi
  15. proslijedio/la je Tweet
    4. sij

    Robot that can balance a triple-pendulum

    Prikaži ovu nit
    Poništi
  16. 2. sij

    Is a bug triggered in some NSA or CCP spy mode firmware that tries to intercept the Ctrl key to check for secret magic key combinations for their spies to get privileged access? At this point, that's my best explanation.

    Prikaži ovu nit
    Poništi
  17. 2. sij

    I can't even fathom what kind of design issue causes both Ctrl keys to stop working—though sometimes work again briefly—with the problem persisting after the keyboard is changed, and the same problem being observed on two different thinkpads 8 years apart!

    Prikaži ovu nit
    Poništi
  18. 2. sij

    Lenovo customer service is really going down the drain over the years. Ever buggier websites (on the newest one, the only way to login is to change my password). Departments that don't talk to each other. And the technical problems that cause me to call them to begin with!

    Poništi
  19. proslijedio/la je Tweet
    1. sij

    so i did the thing where i watch episodes of anime, note down every single word i didn't know, and put it into my flashcard SRS with a mnemonic that lists where i first heard the word and in what context so far, as i review, the words are sticking in my head like epoxy

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    1. sij
    Odgovor korisniku/ci
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·