Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
J☁e Duffy Profile picture
J☁e Duffy
@funcOfJoe
Founder/CEO @PulumiCorp ☁️ A cloud on every desk and in every home ☁️ On a permanent quarantine with @kimdhamilton
techvedi Profile picture 1 subscribed
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.