Log inSign up
Log inSign up
💻🐴Ngnghm
10.8K posts
💻🐴Ngnghm profile banner
@Ngnghm

💻🐴Ngnghm

@Ngnghm
The Swiftian World of Houyhnhnm Computing ("Hunam"). Call me "Ann"—🐎see my blog! More cooperation, less coordination. Alter ego @fare (pol) @phanaero (crypto)
Lair of the French Resistance
ngnghm.github.io
Joined August 2015
326 Following
1,927 Followers
RepliesRepliesRepostsRepostsMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·US TIDA·Ads Info·© 2026 X Corp.
  • Pinned
    @Ngnghm
    💻🐴Ngnghm
    @Ngnghm
    Mar 4
    Lambda, the Ultimate Object: Object Orientation Elucidated fare.tunes.org/files/cs/poof/… The ultimate book on the semantics of OO, or Internal Modular Extensibility. OO kernel in two lines of FP. WIP.
    5
  • @Ngnghm
    💻🐴Ngnghm
    @Ngnghm
    1h
    Alternating which clanker proofreads your text makes for more bugs found, and different kinds of bugs found. I find GPT slightly better for short-range remarks, and Claude much better for long-range inconsistencies.
    1
  • @Ngnghm
    💻🐴Ngnghm
    @Ngnghm
    16h
    - Who will read your book? - Sir, I expect quadrillions of avid readers. - I mean, counting only paying humans. - Ah! Well, a few dozens of them, then. Unless I can convince a couple professors to use it as a textbook, then thousands of hapless students!
    1
  • @Ngnghm
    💻🐴Ngnghm
    @Ngnghm
    Oct 7
    Damn proofreading clankers found issues that forced me to make notable improvements to my chapter 8 on types for OO. Thank you clankers, but damn that was hard. They find ways to misinterpret what you say, and you have to insist to make your point while acknowledging theirs.
    1
  • @Ngnghm
    💻🐴Ngnghm
    @Ngnghm
    Oct 6
    Nice: clankers are now used to flagging some of my expressions as Gallicism. Earlier clankers would either let it go, or flag things without explaining me why so I'd ignore them.
    1