Working on programming languages, systems, and security, or the hard problem of specification. he/him.
Joined March 2021
- Tweets1K
- Following401
- Followers321
- Likes9.9K
If this is true (I have no data one way or the other), it still stands to reason that it would be helpful for code to be in a language where you can _know_ these properties instead of just relying on past performance, right?
This quoted post is unavailable.
NYC Systems is on!
Apologies, NYC Systems is still on tonight. @aaroneline is able to run it!
For reasons you all know about, my hands are full so I wouldn’t be able to see you tonight but the show is still on.
Now time to email everyone on Luma.
10
609
We’re gonna have some really great talks this month! Please stop by if you’d like here about either the designs and historical trade offs that prevented STM from catching on, or large scale caching at Figma.
nycsystems.xyz/2026/october.…
Instantly on my list
Go straight to the Museum of the City of New York to see the scale model of the city currently on display, it's only there until 12th October, it's absolutely stunning mcny.org/exhibition/he-built…
72
Our lightning talk at NYC systems is Zhenghong Yu presenting Fast, Flexible Datalog for Real World Systems!
Remembering the last eclipse, where a friendly neighborhood astronomy nerd had his telescope set up on the common balcony, happily sharing the view with everyone.
4
123
@AmericanAir has now refused to refund my flight. Unbelievable.
@AmericanAir absolutely awful experience today. Hotel voucher didn’t work and I’m now stranded in Norfolk. Hotel won’t honor voucher.
2
295
My good friend John bought 100 old credit card readers off eBay and reversed engineered them
youtube.com/watch?v=whOf7lb8…
4
742