• 1.

  Contributing to the Lean Mathlib Library – Tanner Duve(youtube.com)

  1 pointsby abaradwaj37 days ago1 commentsTrend history
• 2.

  Ask HN: Why Connected Home Appliances?

  4 pointsby ripe37 days ago5 commentsTrend history
• 3.

  circle rain sin(openprocessing.org)

  2 pointsby bookofjoe37 days ago0 commentsTrend history
• 4.

  Beer Nuts(en.wikipedia.org)

  3 pointsby reaperducer37 days ago0 commentsTrend history
• 5.

  A simple fix for LLM tail latency(engineering.myhoai.com)

  1 pointsby zhixuan37 days ago0 commentsTrend history
• 6.

  Cats and dogs are missing meals after a popular smart feeder went down(theverge.com)

  3 pointsby speckx37 days ago0 commentsTrend history
• 7.

  Solo founder, non-technical, $100M raised(solofounders.beehiiv.com)

  1 pointsby spking37 days ago0 commentsTrend history
• 8.

  Chestnut(blog.comma.ai)

  7 pointsby simonpure37 days ago1 commentsTrend history
• 9.

  87-Webcam Multiview of the 2026 Eclipse(ostwilkens.se)

  3 pointsby ostwilkens37 days ago0 commentsTrend history
• 10.

  Show HN: VolumeM8 – Volume Control for Chrome(chromewebstore.google.com)

  1 pointsby louisblythe37 days ago0 commentsTrend history
• 11.

  Turning molecules into reliable electronic devices(news.mit.edu)

  2 pointsby signa1137 days ago0 commentsTrend history
• 12.

  Unless nderstanding std:counting_semaphore and std:binary_semaphore from C++20(cppstories.com)

  Repost2 prior posts1 pointsby signa1137 days ago0 commentsTrend history
• 13.

  The End of Mathematics(daniellitt.com)

  4 pointsby rzk37 days ago0 commentsTrend history
• 14.

  Rubber Chicken AI(teambuildingschool.com)

  2 pointsby tylerhayden37 days ago1 commentsTrend history
• 15.

  My Ten Years in No Man's Sky(nmsspot.com)

  3 pointsby blakespot37 days ago1 commentsTrend history
• 16.

  Show HN: TimeM8 – Time Tracking and Invoicing(chromewebstore.google.com)

  1 pointsby louisblythe37 days ago0 commentsTrend history
• 17.

  Show HN: DarkM8 – Dark Mode Chrome Extension(chromewebstore.google.com)

  1 pointsby louisblythe37 days ago0 commentsTrend history
• 18.

  Elasticsearch Hybrid Search Recipes – Benchmarked (2025)(softwaredoug.com)

  Repost1 prior post1 pointsby softwaredoug37 days ago0 commentsTrend history
• 19.

  Anyone play the Half-Life games recently?

  2 pointsby Singular_Child37 days ago1 commentsTrend history
• 20.

  Why Wall Street and Nvidia Are Building an Exotic Money Pipeline for the AI Boom(wsj.com)

  1 pointsby lesbarclays37 days ago1 commentsTrend history
• 21.

  I never changed careers, only systems(silvestri.cloud)

  4 pointsby dev_marco37 days ago0 commentsTrend history
• 22.

  ByteDance launches SeedRealtime: native full-duplex audio-video model(ainexusdaily.vercel.app)

  Repost2 prior posts1 pointsby qrify_app37 days ago0 commentsTrend history
• 23.

  Initial Listing of Two Compute Futures Contracts(cmegroup.com)

  2 pointsby JumpCrisscross37 days ago0 commentsTrend history
• 24.

  Cerebras Hardware Business Declines After 'Lumpy' Orders(bloomberg.com)

  1 pointsby lesbarclays37 days ago0 commentsTrend history
• 25.

  Show HN: Tmux-agent-switcher: see which Claude/Codex agents need your attention(github.com)

  1 pointsby ymir_e37 days ago0 commentsTrend history
• 26.

  US Army Created and Maintains a Fictional World for Training Purposes(brilliantmaps.com)

  12 pointsby speckx37 days ago0 commentsTrend history
• 27.

  Solving Hack the Box Challenges with Grok 4.6(theaq.blog)

  2 pointsby HonzaT37 days ago0 commentsTrend history
• 28.

  Custom Git Trailers with Magit(blog.fidelramos.net)

  4 pointsby fidelramos37 days ago1 commentsTrend history
• 29.

  Ruminating about mutable value semantics(scattered-thoughts.net)

  Repost2 prior posts1 pointsby fanf237 days ago1 commentsTrend history
• 30.

  Show HN: We revived the archived Kubernetes Dashboard (Angular 16 → 22)(github.com)

  1 pointsby isms-core-adm37 days ago0 commentsTrend history

Operational status: system stale