- 2Symbols That Speak Color (colorsym.com)
- 30LeanScreen: Lean Verification (millenniumresearch.ai)
- 2Show HN: MD Flow – native macOS/iOS app for browsing and reading Markdown files (markdownfinder.app)
- 1Modern Software Registries Are a Trust Service (redmonk.com)
- 1RuntimeWire launches a live dashboard with auditable readership metrics (runtimewire.com)
- 1Qector v3: Exact parity quantum error correction on a 3GB dual-core edge CPU (zenodo.org)
- 2Show HN: OpenOTP – Autofill email verification codes on your Mac (openotp.app)
- 1Show HN: DeskDock (Always on Dock) – A tool a treat for Windows productivity (sites.google.com)
- 1Building Galley House (eviltrout.com)
- 2Generate Nix binary caches without Nix copy (justus.pw)
- 1Show HN: TrueDeck – open-source multi-agent terminal deck that abstracts memory (github.com)
- 2Show HN: Bocazasgames – Four multiplayer browser games with AI moderation (bocazasgames.com)
- 10Trump's diversity crackdown reverberates through US boardrooms (reuters.com)
- 4OpenAI's rogue models roamed the internet for 4 days and staged a second attack (politico.com)
- 2How do you rewrite C/C++ projects to Rust? (blog.jetbrains.com)
- 1Samsung's Galaxy Ring Gets FDA-Cleared Sleep Apnea Detection This Fall (gizmodo.com)
- 5Advice for New Managers (2025) (danbruder.com)
- 2GitHub Copilot app usage metrics now expand across report rollups (github.blog)
- 6NPM publish-time malware scanning and dual-use metadata (github.blog)
- 20Show HN: Learning Rust by writing a Markdown to HTML compiler (andreadimatteo.com)
- 6My girlfriend broke up with me – This is my body's reaction to the news (reddit.com)
- 129Multiple Mouse Cursors in Wayland (blinry.org)
- 4An idea I had took me from chaos and stressed AF to insanely productive (taskloco.com)
- 2AI systems out-persuade expert humans (arxiv.org)
- 5Marble – a model-agnostic agent harness for life sciences (marble.glass.bio)
- 3Neural Processing Unit in the most powerful STM32 (2024) (blog.st.com)
- 6Sam Altman is ready to decelerate (techcrunch.com)
- 11Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf] (framerusercontent.com)
- 8Tesla sues Cybertruck supplier Angstrom amid standoff keeping production hostage (electrek.co)
- 4MVP for new AI interface for writing (trymargin.org)