J☁e Duffy Profile picture
Founder/CEO @PulumiCorp ☁️ A cloud on every desk and in every home ☁️ On a permanent quarantine with @kimdhamilton
Dec 22, 2021 26 tweets 13 min read
During the break, I'm rereading 25 of my favorite computer science papers. Mostly programming languages, type systems, systems design, and distributed and concurrent programming 🧵

What are some of your favorites? "Functionality in Combinatory Logic," H.B. Curry, 1934.

Plants many of the seeds that eventually grew into modern type theory and functional languages, and is the origin of the term "currying."

ncbi.nlm.nih.gov/pmc/articles/P…
Oct 10, 2021 14 tweets 2 min read
A few tips on building developer tools/APIs 🧵 👉 Start by writing the code you wish you could write. Ignore pesky reality at the outset, just make it as beautiful and simple as possible, then work backwards.
Jun 6, 2020 9 tweets 2 min read
When I was 10 years old, my best friend's dad, Fred Brown, gave me my first exposure to computers. He was a professional programmer for IBM and was the first and only programmer I knew for my entire teenage years. One day he told me, "you can program your own games with this thing." My mind was blown. I'll never forget the marathon coding weekend where I sat watching him do magical things — creating something out of nothing.
Apr 26, 2019 20 tweets 3 min read
1/ Eons ago, I worked on a distributed operating system. We had distributed "in the small" and distributed "in the large." I often wonder what such a system built using containers would look like. Thread 👇 2/ In the small, processes were isolated by software, not hardware, thanks to type safety. In the large, entire systems were connected over RPC channels, much like today's distributed systems. Message passing was everywhere.