Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @hillelogram
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @hillelogram
-
Pinned Tweet
The Business Case For Formal Methods: a quick info packet to help you convince your bosshttps://www.hillelwayne.com/post/business-case-formal-methods/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Hillel Retweeted
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
Thanks. Twitter will use this to make your timeline better. UndoUndo -
nnoremap <c-h> <c-w>h "Windows terminal maps <c-h> to <BS> before vim sees it "So map it back if
$TERM == "vtpcon" nmap <BS> <c-h> endifShow this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Achievement unlocked: found a use for vim's recursive nmap
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Hillel Retweeted
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Or it could be like this https://www.eyeofmidas.com/scifi/Turtledove_RoadNotTaken.pdf …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Hillel Retweeted
"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.https://twitter.com/pati_gallardo/status/1223295107186790400 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
"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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
In common: nothing Inscrutable: everything (Anybody who thinks "we'd have math in common" should learn some Umbu-Ungu.)https://twitter.com/TimSweeneyEpic/status/1223825883192008705 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
What's an example of a Unicode string? Wrong answers only
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dear god it's the year 2018 and we're STILL complaining about gaps on the resume?https://twitter.com/redteamwrangler/status/1223126433293189120 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
If "weekly" means "once a week", "biweekly" should mean "once a biweek" Checkmate, hemitheists
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Hillel Retweeted
Herbert Hoover, holding monkey's paw: "I wish people would stop calling me the worst president"
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Hillel Retweeted
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Hillel Retweeted
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Hillel 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.)https://twitter.com/ShriramKMurthi/status/1223053225705852929 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
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.