April 4, 2025

Tech / Daily - 2025.04.04

Why I don't discuss politics with friends _{//shwin.co comments→}

Microsoft’s original source code _{//gatesnotes.com comments→}

An image of an archeologist adventurer who wears a hat and uses a bullwhip _{//theaiunderwriter.substack.com comments→}

AI 2027 _{//ai-2027.com comments→}

AnimeJs v4 Is Here _{//animejs.com comments→}

Dijkstra On the foolishness of "natural language programming" _{//cs.utexas.edu comments→}

I maintain a 17 year old ThinkPad _{//pilledtexts.com comments→}

Porting Tailscale to Plan 9 _{//tailscale.com comments→}

Show HN: Qwen-2.5-32B is now the best open source OCR model _{//github.com comments→}

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods _{//queue.acm.org comments→}