▸ Local LLM deployment: A comprehensive guide to running state-of-the-art LLMs locally with hardware recommendations and configuration tips, addressing growing privacy and cost concerns.
▸ Pegasus spyware: Citizen Lab reveals that a European Parliament member investigating spyware was hacked with Pegasus, highlighting severe security risks in high-stakes political oversight.
▸ AMD vs NVIDIA inference: Wafer demonstrates serving GLM5.2 on AMD MI355X at 2626 tok/s/node with over 2x lower cost than Blackwell, fueling debate on GPU price-performance for inference.
▸ SQLite WAL bug: A 16-year-old bug in SQLite's Write Ahead Log was fixed; Canonical used TLA+ to model and verify the fix, showing the value of formal methods for database reliability.
▸ Formal verification AI: Mistral's Leanstral 1.5, a 6B parameter model, achieves state-of-the-art results on formal verification benchmarks, making proof engineering more accessible.
▸ Costco vs Amazon: An analysis of Costco's retail model as an anti-Amazon, sparking a large discussion on labor practices, logistics, and consumer choice.
▸ FreeBSD memory reporting: A deep dive into FreeBSD's virtual memory system explains why tools report RAM usage differently, leading to patches for htop, btop, and fastfetch.
▸ Starlink in Africa: Africans are increasingly turning to Starlink for internet access, with discussion on regulatory and economic implications.
▸ Odin language Wikipedia: A controversy over Wikipedia's deletion of the Odin programming language article raises questions about notability and community engagement.
▸ Factories as rooms: A reflective piece on manufacturing and prototyping, emphasizing the simplicity and creativity behind industrial production.