- 3Ask HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?
ask - 3Venus, Once Thought Too Acidic for Complex Chemistry, May Be Hospitable (gizmodo.com)
- 7Eleven v4 by ElevenLabs (elevenlabs.io)
- 1No Surprises – Preventing Agent Breakouts Need Isolation, Egress and ID Controls (edera.dev)
- 8I built a native Apple app for 4 platforms in one afternoon with my AI workflow (twitter.com)
- 2Show HN: ChuteChat – Browser-based E2EE chat with no accounts required (chutechat.online)
- 2AI Companies Are in a Race Against Time (econjared.substack.com)
- 3The 50-Year Hangover (freddiedeboer.substack.com)
- 2Risk factors for androgenetic alopecia: a systematic review and meta-analysis (pmc.ncbi.nlm.nih.gov)
- 2Model Release: Naive-N0.5-Flash (naive.ai)
- 3Senate Investigation Finds Rampant Use of Tether's Stablecoin by Iranian Regime (wsj.com)
- 51Show HN: Destroy Any Website with Stickman (destroy.spritefusion.com)
- 1Building a physics model with fitted parameters is machine learning, but slower (harysdalvi.com)
- 1Grok TiddlyWiki, the definitive TiddlyWiki learning resource (groktiddlywiki.com)
- 2Who are we willing to exclude? (2025) (design.scotentblog.co.uk)
- 1The Human Timeline (mg-crea.com)
- 1Human TPS: How fast can your fingers generate tokens? (homoagens.github.io)
- 1That First and Last Question (brianschrader.com)
- 1Show HN: Cordum Edge – A local firewall to sandbox AI coding agents (github.com)
- 1Reduced-Round SHA-256 Compression Preimages (github.com)
- 2Ex-ARRR: Sailing the 0-click Seas (ironpeak.be)
- 4Show HN: Low Poly Earth – The whole planet in 3D, built from OpenStreetMap data (lowpolyearth.pages.dev)
- 2Detect when elements overlap with CSS (ishadeed.com)
- 5What I believe about the future of software development (thorstenball.com)
- 1Dual-Syncopation Meet-in-the-Middle Attacks: New Results on SHA-2 and MD5 (eprint.iacr.org)
- 1Ask HN: How is code review holding up at your company?
ask - 1Phyllotaxis: An audio-reactive LED display (jagi.studio)
- 2privacyguides.org (github.com)
- 13The large robotic arm on the International Space Station has stopped working (arstechnica.com)
- 2Opus 5.5 showcasing: Liquid Glass-like elements for the web (tomacco.github.io)