Subin smashes again, this time with the top 10 girl baby names in Kerala.

Not sure how many have noticed this but it looks like AI is making formal verification go mainstream. Think having formal proofs that ensures that OpenClaw doesn’t do `rm -rf` on your computer: martin.kleppmann.com/2025/12/08/ai-…

Situation rn be like. Source: reddit.com/r/ExplainTheJo…

Mufeed made this pretty interesting programming language out of M&Ms!

Nice explanation on why LLM generated codebases are on average noisier.

Interesting reimagining of Red Dead Redemption in an Indian setting: x.com/marmaduke091/s…

A nice article elaborating on this comic by gabby: haskellforall.com/2026/03/a-suff…

Think there needs a good pushback to these AI boosters who are now trying to automate research. A central point of doing research is to widen one’s attention and learn how to think better about problems. Now, they want to use AIs to erase this away: x.com/prathyvsh/stat…

Don’t fall for the psyop narrative of automating everything away, enjoy learning things out of genuine interest and build mastery in it: x.com/IAmManware/sta…

Another day, another mindboggling architectural creation from Vinu Daniel: youtube.com/watch?v=31r3qM…