• 1.

  LeanScreen: Lean Verification(millenniumresearch.ai)

  30 pointsby Hdjlaf19 days ago3 commentsTrend history
• 2.

  Show HN: MD Flow – native macOS/iOS app for browsing and reading Markdown files(markdownfinder.app)

  2 pointsby azambrano19 days ago0 commentsTrend history
• 3.

  Modern Software Registries Are a Trust Service(redmonk.com)

  1 pointsby mooreds19 days ago1 commentsTrend history
• 4.

  RuntimeWire launches a live dashboard with auditable readership metrics(runtimewire.com)

  1 pointsby ryanmerket19 days ago0 commentsTrend history
• 5.

  Qector v3: Exact parity quantum error correction on a 3GB dual-core edge CPU(zenodo.org)

  1 pointsby QECTOR19 days ago0 commentsTrend history
• 6.

  Show HN: OpenOTP – Autofill email verification codes on your Mac(openotp.app)

  Repost1 prior post2 pointsby jeninh19 days ago0 commentsTrend history
• 7.

  Show HN: DeskDock (Always on Dock) – A tool a treat for Windows productivity(sites.google.com)

  1 pointsby doc-picks-apps19 days ago1 commentsTrend history
• 8.

  Building Galley House(eviltrout.com)

  Repost1 prior post1 pointsby galleywest20019 days ago0 commentsTrend history
• 9.

  Generate Nix binary caches without Nix copy(justus.pw)

  2 pointsby justusw19 days ago0 commentsTrend history
• 10.

  Show HN: TrueDeck – open-source multi-agent terminal deck that abstracts memory(github.com)

  1 pointsby Alpeeen19 days ago0 commentsTrend history
• 11.

  Show HN: Bocazasgames – Four multiplayer browser games with AI moderation(bocazasgames.com)

  2 pointsby elmegapeluco19 days ago1 commentsTrend history
• 12.

  Trump's diversity crackdown reverberates through US boardrooms(reuters.com)

  10 pointsby petethomas19 days ago4 commentsTrend history
• 13.

  OpenAI's rogue models roamed the internet for 4 days and staged a second attack(politico.com)

  4 pointsby nnoerdlinger19 days ago1 commentsTrend history
• 14.

  How do you rewrite C/C++ projects to Rust?(blog.jetbrains.com)

  2 pointsby smokeeaasd19 days ago0 commentsTrend history
• 15.

  Samsung's Galaxy Ring Gets FDA-Cleared Sleep Apnea Detection This Fall(gizmodo.com)

  1 pointsby brandonb19 days ago0 commentsTrend history
• 16.

  Advice for New Managers (2025)(danbruder.com)

  5 pointsby danbruder19 days ago0 commentsTrend history
• 17.

  GitHub Copilot app usage metrics now expand across report rollups(github.blog)

  2 pointsby smokeeaasd19 days ago0 commentsTrend history
• 18.

  NPM publish-time malware scanning and dual-use metadata(github.blog)

  6 pointsby smokeeaasd19 days ago0 commentsTrend history
• 19.

  Show HN: Learning Rust by writing a Markdown to HTML compiler(andreadimatteo.com)

  20 pointsby deotman19 days ago3 commentsTrend history
• 20.

  My girlfriend broke up with me – This is my body's reaction to the news(reddit.com)

  6 pointsby refp19 days ago0 commentsTrend history
• 21.

  Multiple Mouse Cursors in Wayland(blinry.org)

  124 pointsby marvinborner19 days ago86 commentsTrend history
• 22.

  An idea I had took me from chaos and stressed AF to insanely productive(taskloco.com)

  Repost14 prior posts4 pointsby taskloco_nyc19 days ago1 commentsTrend history
• 23.

  AI systems out-persuade expert humans(arxiv.org)

  Repost2 prior posts2 pointsby Gaishan19 days ago2 commentsTrend history
• 24.

  Marble – a model-agnostic agent harness for life sciences(marble.glass.bio)

  4 pointsby jhales19 days ago0 commentsTrend history
• 25.

  Neural Processing Unit in the most powerful STM32 (2024)(blog.st.com)

  3 pointsby uticus19 days ago0 commentsTrend history
• 26.

  Sam Altman is ready to decelerate(techcrunch.com)

  6 pointsby brandonb19 days ago4 commentsTrend history
• 27.

  Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf](framerusercontent.com)

  11 pointsby y2so19 days ago3 commentsTrend history
• 28.

  Tesla sues Cybertruck supplier Angstrom amid standoff keeping production hostage(electrek.co)

  8 pointsby toomuchtodo19 days ago2 commentsTrend history
• 29.

  MVP for new AI interface for writing(trymargin.org)

  4 pointsby JosephPDiener19 days ago1 commentsTrend history
• 30.

  New OpenAI Transcription Models(xcancel.com)

  Repost3 prior posts3 pointsby jaflo19 days ago0 commentsTrend history

Operational status: system stale