- 247Unreal Agent (unreallabs.ai)
- 311ArXiv receives multiyear commitments to support it as an independent nonprofit (blog.arxiv.org)
- 328OpenAI is well positioned to fast-follow Jev (arcturus-labs.com)
- 462I don't want the details (michaelheap.com)
- 21Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com)
- 149Alan Kay: Shannon gave us a way of dealing with noisy channels [video] (youtube.com)
- 4Notes on a strongly aperiodic monotile in E^3 (arxiv.org)
- 251Nokia Design Archive (2025) (repo.aalto.fi)
- 90Show HN: Air-gapped file encryption as self-decrypting HTML page (cms-sfx-demo.apeleg.com)
- 310VSCode's SSH Agent Is Bananas (2025) (fly.io)
- 136,800-year-old Serbian settlement was large, with little social inequality (archaeologymag.com)
- 3Stuck in the Suez Canal – the short version (2021) (cathsenker.co.uk)
- 690Jev in 25 Lines of Python (nobodywho.ai)
- 44My Recent Woodworking Projects (notoriousbfg.com)
- 51Show HN: AgentRun: DSL to turn agents into workflows (github.com)
- 232Google’s Project Suncatcher to put ML infrastructure in space (blog.google)
- 485Claude Code reads AGENTS.md only when telemetry is on [fixed] (blog.szypowi.cz)
- 12Flux 3 Action: A 7B open-weight world action model for robots (huggingface.co)
- 323Owners mourn spoiled food after firmware update bricks Samsung smart fridges (arstechnica.com)
- 10Probing picosecond depairing currents in type-II superconductors (nature.com)
- 14Alternatives to GPS are around the corner (economist.com)
- 817Apple has added persistent 'ads' to iOS, and it's driving users crazy (techradar.com)
- 118The Copilot+ PC brand is dead (windowscentral.com)
- 24The far side of the Moon provides clues to a previous magnetic field (ethz.ch)
- 143Meta's Muse appears to use an OpenAI model labeled muse-special (mouse.dev)
- 52Web-based IBM 1620 emulator and IPL-V from 1963 (github.com)
- 232Obscura: VPN that can't log your activity (obscura.com)
- 78Swap, ZRAM, Zswap and Hibernate on NixOS (blog.matthewbrunelle.com)
- 226Show HN: Koi.rest – watch some fish and regain your balance (koi.rest)
- 353Tokens too cheap to meter (jyn.dev)