May 2025 Archive
12421.
The pragmatic magic of semi-formal methods (antithesis.com)
12422.
AMD is allegedly working on Arm-based "Sound Wave" APUs for Microsoft's Surface (tomshardware.com)
12423.
Please Please Please (we.phorge.it)
12424.
Banksy famed warehouse wall heart art to support heart health (newsroom.heart.org)
12425.
EtchDNS - A DNS proxy written in Rust (etchdns.dnscrypt.info)
12426.
Benefits of Walking Desks (ocdevel.com)
12427.
Learning about Serializability Theory (siemens.blog)
12428.
Spotify's scrambling to remove podcasts promoting online prescription drug sales (cnn.com)
12429.
Bookshelf (patrickcollison.com)
12430.
Men worse off than women for 20 top health problems worldwide (medicalxpress.com)
12431.
FlowStorm: Debugging and Understanding Clojure Code on a New Level (flexiana.com)
12432.
TikTok Hosts Deceptive 'Shark Tank' Clips – For Profit (newsguardrealitycheck.com)
12433.
Wine 10.8 (Dev) – Run Windows Applications on Linux, BSD, Solaris and macOS (gitlab.winehq.org)
12434.
Black Mirror script idea – Groomer (blog.xot.nl)
12435.
Why VHS was better than Betamax (2003) (theguardian.com)
12436.
Android 15: Here Are the 3 Features Google Removed in Its Latest Update (medium.com)
12437.
Tips for Starting Your Own Labor Union (getorganize.app)
12438.
Production-Ready Retrieval-Augmented Generation (RAG): An End-to-End Guide (saumilsrivastava.ai)
12439.
The first US hub for experimental medical treatments is coming (technologyreview.com)
12440.
The Internet Now and Then with Internet Pioneer Geoff Huston [video] (youtube.com)
12441.
Falcon-Edge: A series of powerful 1.58bit language models (falcon-lm.github.io)
12442.
Two black holes are eating away at a galaxy (news.berkeley.edu)
12443.
A Modern Approach to Log Levels with OpenTelemetry (dash0.com)
12444.
Our Idea of Happiness Has Gotten Shallow (nytimes.com)
12445.
HMPL v3.0: Small template language for displaying UI from server to client (github.com)
12446.
Implementing a Toy Optimizer (2022) (pypy.org)
12447.
12448.
Remarks on AI from NZ – By Neal Stephenson (nealstephenson.substack.com)
12449.
TabPFN: Foundation Model for Tabular Data (github.com)
12450.
The Spell Is Broken – Using Bluesky (alexworradandrews.com)