Hillel

@hillelogram

Formal methods, software history, chocolatiering. Author of Practical TLA+ (). DMs open, ask me questions!

Chicago, IL
Joined October 2011

Tweets

You blocked @hillelogram

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @hillelogram

  1. Pinned Tweet
    Jan 22

    The Business Case For Formal Methods: a quick info packet to help you convince your boss

    Undo
  2. 9 hours ago

    ((Not mine, sadly))

    Show this thread
    Undo
  3. 9 hours ago

    Here the chiefs, have a trophy

    Show this thread
    Undo
  4. Retweeted
    4 Feb 2018

    Cool smart nerd: why is it called Football, there's no feet or balls, you should call it Handegg Dumb idiot jock: why is it called Computer Science, it's not science and you don't actually need computers, you should call it Mathematics of Computation

    Undo
  5. 18 hours ago

    nnoremap <c-h> <c-w>h "Windows terminal maps <c-h> to <BS> before vim sees it "So map it back if == "vtpcon" nmap <BS> <c-h> endif

    Show this thread
    Undo
  6. 18 hours ago

    Achievement unlocked: found a use for vim's recursive nmap

    Show this thread
    Undo
  7. Retweeted
    Jan 27

    I had to get a background check for my job, and it turns out the report is a 300+ page pdf of every single tweet I’ve ever liked with the work “fuck” in it. Enjoy your dystopian bs! *waves*

    Show this thread
    Undo
  8. Feb 1
    Show this thread
    Undo
  9. Retweeted
    Feb 1

    "It depends" sounds too wishy washy and is not a great conversation starter/continuer. For the same semantics but a much better outcome, just ask "When?" There's almost always a when-to and when-not-to. Everyone learns more from the when discussion.

    Undo
  10. Feb 1

    "How do you deal with race conditions?" <<We don't need to, we can perfectly track all the timelines in our minds and write the code to never have a race condition>> "Wow." <<When addition is angry how do you calm it>> "We don't need to, our math isn't sapient." <<Wow>>

    Show this thread
    Undo
  11. Feb 1

    Odds are, when we first encounter another intelligent civilization, we'll both be thinking "I had no idea that was even biologically possible". Then fifty years of xenologists figuring out how to talk to each other, then another fifty of figuring out unspoken assumptions in minds

    Show this thread
    Undo
  12. Feb 1

    To think otherwise is a failure of imagination. If everyone had eidetic memory, how would that change our programming languages? If everybody had perfect metacognition? How would a hivemind write programs? Gaseous lifeforms? Sapient shadows?

    Show this thread
    Undo
  13. Feb 1

    Any thought-experiment about "universal" programming ideas runs smack into anthropocentrism. Programming languages reflect how we think about problems, and there's no reason to believe an alien intelligence would "think" in the same way.

    Show this thread
    Undo
  14. Feb 1

    In common: nothing Inscrutable: everything (Anybody who thinks "we'd have math in common" should learn some Umbu-Ungu.)

    Show this thread
    Undo
  15. Feb 1

    What's an example of a Unicode string? Wrong answers only

    Undo
  16. Jan 31

    Dear god it's the year 2018 and we're STILL complaining about gaps on the resume?

    Undo
  17. Jan 30

    If "weekly" means "once a week", "biweekly" should mean "once a biweek" Checkmate, hemitheists

    Undo
  18. Retweeted
    31 Dec 2018

    Herbert Hoover, holding monkey's paw: "I wish people would stop calling me the worst president"

    Undo
  19. Retweeted
    Jan 30

    This isn't a blow to the prospect of impeaching Trump - that has been a foregone conclusion. It's just a blow to any last fleeting vestige of hope that half of our representatives have ethics or take their jobs seriously. It's the death-knell for our system writ large.

    Show this thread
    Undo
  20. Retweeted
    Jan 30

    Let's be serious about why we're disappointed. We all knew this wouldn't change any outcome. We knew he's getting acquitted. We're disappointed because we wanted some sign that the deep cynicism we have is misplaced. That the Senate would actually do the bare minimum job.

    Show this thread
    Undo
  21. Retweeted

    My experience teaching software engineering. (Context: I said my proudest teaching moment was getting my students to appreciate the Waterfall Model of software development.)

    Undo

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.

    You may also like

    ·