Formal methods, software history, chocolatiering. Author of Practical TLA+ (is.gd/ptlaplus). DMs open, ask me questions! Newsletter: is.gd/zWfYjd

Chicago, IL
Joined October 2011
Pinned Tweet
In 2019 I started the Crossover Project, where I studied how software and "real" engineering relate by interviewing people who've worked in both. 17 interviews, 12 hours of recordings, and untold hours editing later, I'm finally ready to share my findings! hillelwayne.com/post/crossov…
31
188
499
This is part one of three. Part two, on the similarities and differences between the fields, goes up Wednesday. Part three, about what lessons we can learn from them, goes up Friday.
0
3
34
Hackernews is a magical place
14
2
81
Reminder not to find this guy and yell at him or anything, I'm sharing it because I thought it was funny, not because I want to whip up an outrage mob
2
0
17
Today's reminder that Hacker News comments are terrible and that nobody reads articles brought to you by @hillelogram's post on engineering
2
3
33
For the record I think this is the weakest of the three essays. Get hype
1
1
9
Show this thread
I started writing a sequel to Atlas Shrugged, of course as a human being it will be necessarily be colored by my perspective and experiences but I have tried to do my best to stick to the spirit of the original and I think it picks up pretty seamlessly
2
11
100
The first essay of the Crossover Project goes up tomorrow. I've sunk an unreal amount of time into this: finding people, hours of interviewing, transcription, analysis, writing, editing. I should feel excited, but I'm mostly just relieved.
8
2
77
And tired. So, so tired.
0
0
6