May 2025 Archive
1621.
Fast(er) regular expression engines in Ruby (serpapi.com)
1622.
Programming in Martin-Lof's Type Theory: An Introduction (1990) (cse.chalmers.se)
1623.
Ask HN: Do people actually pay for small web tools?
1624.
The Two Ideals of Fields (susam.net)
1625.
How we made our OCR code more accurate (pieces.app)
1626.
Severed Fingers and 'Wrench Attacks' Rattle the Crypto Elite (wsj.com)
1627.
Hollow Core Fiber (HCF) (holightoptic.com)
1628.
Custom SIM card in Tesla Model 3 2024, Tesla Model Y 2025 and Cybertruck (olegkutkov.me)
1629.
Stop using REST for state synchronization (2024) (mbid.me)
1630.
Comparing Docusaurus and Starlight and why we made the switch (glasskube.dev)
1631.
Most AI spending driven by FOMO, not ROI, CEOs tell IBM (theregister.com)
1632.
Letter to Arc Members 2025 (browsercompany.substack.com)
1633.
Civil War in 3D: Stereographs from the New-York Historical Society (2015) (nyhistory.org)
1634.
Google reverses course after blocking Nextcloud Files app (neowin.net)
1635.
Quantum Picturalism (quantuminpictures.org)
1636.
Show HN: Representing Agents as MCP Servers (github.com)
1637.
A new hairlike electrode for long-term, high-quality EEG monitoring (psu.edu)
1638.
MathML with Pandoc (leancrew.com)
1639.
TorrentFreak is wrong about Google DNS notification (write.as)
1640.
Show HN: I created an tool that creates interactive product demos in 2 minutes (snapdemo.io)
1641.
Show HN: apply.coop - Matching people with jobs that fit their values & passions (apply.coop)
1642.
How the humble chestnut traced the rise and fall of the Roman Empire (bbc.com)
1643.
Science funding was already way too low (gabrielweinberg.com)
1644.
Agentic Editing in Zed (zed.dev)
1645.
CD / Blur [video] (youtube.com)
1646.
Go Cryptography Security Audit (go.dev)
1647.
Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com)
1648.
Most leading chatbots routinely exaggerate science findings (uu.nl)
1649.
A PostgreSQL planner semi-join gotcha with CTE, LIMIT, and RETURNING (shayon.dev)
1650.
The Acid King (2001) (rollingstone.com)