Inspired by Jedda’s Postroll, here is an incomplete list of blog posts that I’ve read and enjoyed in the last 3 months. This list refreshes daily.
If you find any of these posts interesting, I suggest that you give them a follow!
Local Reasoning for Global Properties by
Reducing the number of possible states at a program point simplies what the coder needs to reason about during runtime. It doesn’t come for free though, as the type-based techinques presented here puts the onus on the developer during the creation of the program. In many cases, I think it’s worth it.
Added: September 12, 2026
After reading this, I agree! If you’re facing any performance problems at work, then this is worth a look. SIMD is supported by the majority of modern CPUs.
Added: September 8, 2026
royal tasmanian botanical gardens in redscale by
I need to figure out how to apply an artificial redscale filter on my photos. I haven’t heard of this film technique before; it’s awe-striking.
Added: September 8, 2026
I’m reading this at night as my world slows down and prepares for the next day.
Added: September 8, 2026