šŸ¦žšŸŒÆ Lobster Roll

Stories by hwayne

Routing the technical interview (lars.hupel.info)
Let's Prove Leftpad (hillelwayne.com)
Why Busy Beaver Hunters Fear the Antihydra (benbrubaker.com)
Why do we call it "boilerplate code?" (buttondown.email)
There's Always More History (hillelwayne.com)
Awesome Cold Showers (github.com)
Just started work on this idea: really solid resources that act as cold showers on overhyped programming topics. I'd love it if you all sent in your favorites!
What are your favorite codebases to study?
You can improve your programming skills by reading code, but the only code I've seen people study is individual snippets or functions. Not files, much less codebases. So, if I wanted to improve my skills, what **codebases** should I read the source code of? Here are some specific questions: * ...
Announcing: Learn TLA+ (hillelwayne.com)
URL is to announcement, the website is at https://learntla.com/.
Raku (raku.org)
What are your favorite videos?
I'm burnt out on podcasts and need something else to watch while cooking, so I figured I'd ask you all for your favorite CS videos. Here are a few of mine: * [Agile Methods: the Good, the Hype and the Ugly](https://www.youtube.com/watch?v=ffkIQrq-m34): Good intro to Agile from an outsider perspec...
Let's Prove Leftpad (github.com)
I originally shared this just under two years ago, but I want to resubmit it again. Why? Because in the time since the last submission, we went from seven proofs of leftpad to 17! You can now compare Agda's proof style to ACL2, see how to formally prove Java correct, and even read a proof for an FPG...
Metamorphic Testing (hillelwayne.com)
Killer libraries?
A killer app is software that's so good it justifies using specific hardware or operating system. By analogy, a killer library is a library so good it justifies using a specific programming language. Two examples: * **Ruby on Rails** was so good for webdev at the time it justified using Ruby. * ...
Beating wc with C (github.com)
1/0 = 0 (hillelwayne.com)
I really like powershell (buttondown.email)
Shitlist Driven Development (2016) (sirupsen.com)
A Very Early History of Algebraic Data Types (hillelwayne.com)
An RNG that runs in your brain (hillelwayne.com)
The Lobster Programming Language (strlen.com)
The code I’m still ashamed of (2016) (freecodecamp.org)
How I Got Paid $0 From the Uber Security Bug Bounty (medium.com)
how i use my terminal (jyn.dev)
Cognitive load (minds.md)
So you're using a weird language (morepablo.com)
Hacking GitHub with Unicode's dotless 'i' (eng.getwisdom.io)
Alan Kay Did Not Invent Objects (hillelwayne.com)
Use weird tests to capture tacit knowledge (jmduke.com)
Notes on Every Strangeloop 2022 Talk I Attended (hillelwayne.com)
The Frink is Good, the Unit is Evil (hillelwayne.com)