May 2025 Archive
25951.
25952.
Agent mode has arrived in preview for Visual Studio
(devblogs.microsoft.com)
25958.
25959.
Managing Music with Rclone
(coryd.dev)
25960.
Show HN: OpenCode – TUI based coding agent
(github.com)
25961.
Good enough ten-second sum types for Postgres
(duckrabbit.tech)
25968.
Is this program safe? Lessons from Type Theory
(brandonrozek.com)
25969.
Pocket watch: Verifying exabytes of data
(dropbox.tech)
25970.
Structure and Wiring Optimized TT/MT Double-Helical Fiber Sensors
(advanced.onlinelibrary.wiley.com)
25971.
25974.
25975.
Conversations I've Had with Code
(donraab.medium.com)
25976.
MinorMiner: We turn your kid's maths homework into Bitcoin
(robertheaton.com)
25977.
I made a daily word game
(kmcd.dev)
25978.
Unitful Quantities in Jax
(github.com)
25979.
Hackers behind UK retail attacks now targeting US companies
(bleepingcomputer.com)
25980.
Show HN: Atlas: Independent Evals and Benchmarking for Generative AI Models
(app.layerlens.ai)