• 1.

  The Last Generation of Mathematicians? [video](youtube.com)

  Repost1 prior post1 pointsby soupspaces18 days ago1 commentsTrend history
• 2.

  A 2026 Survey of Rust GUI Libraries(blog.wybxc.cc)

  2 pointsby birdculture18 days ago0 commentsTrend history
• 3.

  Principles of dependent type theory [pdf](danielgratzer.com)

  Repost1 prior post3 pointsby fanf218 days ago0 commentsTrend history
• 4.

  The Cool Things of Gleam(a.baez.link)

  Repost1 prior post2 pointsby signa1118 days ago0 commentsTrend history
• 5.

  The lost airports of SimCity 3000 (2002)(web.archive.org)

  7 pointsby Lammy18 days ago0 commentsTrend history
• 6.

  Milky Way's fastest star orbits a black hole so close, it feels its spin(eso.org)

  3 pointsby thunderbong18 days ago0 commentsTrend history
• 7.

  Remindher(remindher.app)

  2 pointsby adibenely18 days ago0 commentsTrend history
• 8.

  Space Sunshade(en.wikipedia.org)

  Repost4 prior posts2 pointsby num4218 days ago0 commentsTrend history
• 9.

  Every Tech Bubble Obeyed the Same Rule. AI Is Next [video](youtube.com)

  2 pointsby mgh218 days ago0 commentsTrend history
• 10.

  PureLiFi Debuts 10 Gbps "Connectivity DNA" and Bridges the 5G Gap(purelifi.com)

  1 pointsby zeristor18 days ago0 commentsTrend history
• 11.

  Contextual News Search APIs: A Deep Comparison for AI, RAG, and Research(github.com)

  10 pointsby ermanos1218 days ago0 commentsTrend history
• 12.

  Nobody Explained the Schrödinger Equation Like This [video](youtube.com)

  7 pointsby peter_d_sherman18 days ago1 commentsTrend history
• 13.

  VQL-Artifact.yaml(github.com)

  1 pointsby lexs201992-gif18 days ago1 commentsTrend history
• 14.

  Natural Number Game(adam.math.hhu.de)

  Repost8 prior posts1 pointsby it4rb18 days ago0 commentsTrend history
• 15.

  The next GitHub is not worth winning(davidpoblador.com)

  1 pointsby serious_angel18 days ago1 commentsTrend history
• 16.

  Wiring up seven ESP32s to create a ~0.4B LLM(xda-developers.com)

  4 pointsby epestr18 days ago0 commentsTrend history
• 17.

  Orelon – AI Video Generator for Cinematic Creation(orelon.ai)

  2 pointsby duanhjlt18 days ago0 commentsTrend history
• 18.

  I built a tool to generate Cornell notes from YouTube videos

  3 pointsby cristyg010118 days ago3 commentsTrend history
• 19.

  Mojo by Example(ruhati.net)

  3 pointsby ivell18 days ago0 commentsTrend history
• 20.

  Vale: Linter for Prose(github.com)

  Repost1 prior post1 pointsby saikatsg18 days ago0 commentsTrend history
• 21.

  Ksumiyo – AI music generation with producer-level controls(ksumiyo.com)

  1 pointsby umangbhardwaj18 days ago0 commentsTrend history
• 22.

  The Python documentation is now available in Russian(blog.python.org)

  2 pointsby runningmike18 days ago1 commentsTrend history
• 23.

  The Zen of AI(dtlarson.com)

  2 pointsby derek-larson18 days ago0 commentsTrend history
• 24.

  A Test for AI Consciousness(gruhn.me)

  Repost1 prior post1 pointsby saikatsg18 days ago0 commentsTrend history
• 25.

  Kestrel – I built a 900 KB macOS browser because Chrome ate my 8 GB Mac(github.com)

  2 pointsby bisho_silwal18 days ago1 commentsTrend history
• 26.

  ISO 24495 [pdf](cdn.standards.iteh.ai)

  1 pointsby saikatsg18 days ago0 commentsTrend history
• 27.

  Show HN: Zuse" One agent coordinating 20 Linear issues in worktrees(zuse.sh)

  1 pointsby swarajbachu18 days ago0 commentsTrend history
• 28.

  Show HN: Sol-Luna Orchestrator – let Codex decide whether to delegate(npmjs.com)

  1 pointsby mahadansar18 days ago0 commentsTrend history
• 29.

  Markdown Without the Split Screen(medium.com)

  1 pointsby docjojo18 days ago1 commentsTrend history
• 30.

  Show HN: Open sourcing MonsterWriter, piece by piece(monsterwriter.com)

  Repost1 prior post1 pointsby WolfOliver18 days ago1 commentsTrend history

Operational status: system stale