- 1Lea – An agent backbone for mathematician-led formalization (vida-nyu.github.io)
- 2Voluntary attention regulates acute immune responses in humans (nature.com)
- 1Fearless_SIMD v0.7: 64-bit integers, improved generics, SSE2, and upcoming v1.0 (linebender.org)
- 2The challenge of AI value after deployment (medium.com)
- 4The cost to retire comfortably around the world (visualcapitalist.com)
- 1A 3D-printed C7 extension adapter for wall chargers (blog.oxplot.com)
- 1AI Software Development – What Does the Data Say? (codemanship.wordpress.com)
- 1Backgroundcanvas: One-stop free online image background editor ()
- 1Omnimount – Read/write ext4 and NTFS on macOS, no kernel extensions (omnimount.es)
- 1Amethyst Vein – A cross-platform, open-source SwiftData replacement (forums.swift.org)
- 2Hong Kong Large Dataset – Real Estate RV (webb-database.com)
- 3Bruno raises $3M to keep building their API Client (blog.usebruno.com)
- 2Show HN: SharpSkill, we gamified a free training platform for tech interviews (sharpskill.dev)
- 24Pi coding agent: config folder is out of place on Linux (github.com)
- 1Pakistani Judges Give Their Verdict on JudgeGPT (spectrum.ieee.org)
- 3ReplayHouse – Turn ClickHouse into a reinforcement learning replay buffer (jaymebrd.github.io)
- 2Show HN: Mdv – preview, share, verify and fix Markdown from your terminal (github.com)
- 3PEP 836 (peps.python.org)
- 2Show HN: Selvum – a password manager designed to outlive its developer (selvum.app)
- 3Survivorship Bias in Money: Why Every Success Story Is a Lie of Omission (comuniq.xyz)
- 2I built TikTok, but instead of videos you scroll through cool GitHub repos (laurentiugabriel.github.io)
- 5The 7.2 kernel has been released (lwn.net)
- 3Are Microsoft's AI plans being held back by a shortage of chips? (theguardian.com)
- 2Collatz with 6 Wang Tiles (tristan.st)
- 1Best IPTV Services in 2026: Top Providers Reviewed (sites.google.com)
- 3Git.sr.ht is being disrupted by aggressive LLM crawlers (status.sr.ht)
- 2How to copy equations from ChatGPT to word without losing formatting [video] (youtube.com)
- 1There Is Still No Silver Bullet (cekrem.github.io)
- 1Susan Kare: Designing Icons and Graphics for the Original Mac [video] (youtube.com)
- 2Build a solar generation forecast dashboard in Python (meteosource.com)