newest
LeanScreen: Lean Verification
30 pointsposted 8 hours ago
by HdjlafShow HN: MD Flow – native macOS/iOS app for browsing and reading Markdown files
2 pointsposted 8 hours ago
by azambranoModern Software Registries Are a Trust Service
1 pointsposted 8 hours ago
by mooredsRuntimeWire launches a live dashboard with auditable readership metrics
1 pointsposted 8 hours ago
by ryanmerketQector v3: Exact parity quantum error correction on a 3GB dual-core edge CPU
1 pointsposted 8 hours ago
by QECTORShow HN: OpenOTP – Autofill email verification codes on your Mac
2 pointsposted 8 hours ago
by jeninhShow HN: DeskDock (Always on Dock) – A tool a treat for Windows productivity
1 pointsposted 8 hours ago
by doc-picks-appsGenerate Nix binary caches without Nix copy
2 pointsposted 9 hours ago
by justuswShow HN: TrueDeck – open-source multi-agent terminal deck that abstracts memory
1 pointsposted 9 hours ago
by AlpeeenShow HN: Bocazasgames – Four multiplayer browser games with AI moderation
2 pointsposted 9 hours ago
by elmegapelucoTrump's diversity crackdown reverberates through US boardrooms
10 pointsposted 9 hours ago
by petethomasOpenAI's rogue models roamed the internet for 4 days and staged a second attack
4 pointsposted 9 hours ago
by nnoerdlingerHow do you rewrite C/C++ projects to Rust?
2 pointsposted 9 hours ago
by smokeeaasdSamsung's Galaxy Ring Gets FDA-Cleared Sleep Apnea Detection This Fall
1 pointsposted 9 hours ago
by brandonbAdvice for New Managers (2025)
5 pointsposted 9 hours ago
by danbruderGitHub Copilot app usage metrics now expand across report rollups
2 pointsposted 9 hours ago
by smokeeaasdNPM publish-time malware scanning and dual-use metadata
6 pointsposted 9 hours ago
by smokeeaasdShow HN: Learning Rust by writing a Markdown to HTML compiler
20 pointsposted 9 hours ago
by deotmanMy girlfriend broke up with me – This is my body's reaction to the news
6 pointsposted 9 hours ago
by refpMultiple Mouse Cursors in Wayland
129 pointsposted 9 hours ago
by marvinbornerAn idea I had took me from chaos and stressed AF to insanely productive
4 pointsposted 9 hours ago
by taskloco_nycAI systems out-persuade expert humans
2 pointsposted 9 hours ago
by GaishanMarble – a model-agnostic agent harness for life sciences
5 pointsposted 9 hours ago
by jhalesNeural Processing Unit in the most powerful STM32 (2024)
3 pointsposted 9 hours ago
by uticusSam Altman is ready to decelerate
6 pointsposted 9 hours ago
by brandonbIndustry Brief: Private 5G for Manufacturing and Industrial Sites [pdf]
11 pointsposted 9 hours ago
by y2soTesla sues Cybertruck supplier Angstrom amid standoff keeping production hostage
8 pointsposted 9 hours ago
by toomuchtodoMVP for new AI interface for writing
4 pointsposted 9 hours ago
by JosephPDiener