• 1.

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

  2 pointsby birdculture23 days ago0 commentsTrend history
• 2.

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

  Repost1 prior post3 pointsby fanf223 days ago0 commentsTrend history
• 3.

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

  Repost1 prior post2 pointsby signa1123 days ago0 commentsTrend history
• 4.

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

  7 pointsby Lammy23 days ago0 commentsTrend history
• 5.

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

  3 pointsby thunderbong23 days ago0 commentsTrend history
• 6.

  Remindher(remindher.app)

  2 pointsby adibenely23 days ago0 commentsTrend history
• 7.

  Space Sunshade(en.wikipedia.org)

  Repost4 prior posts2 pointsby num4223 days ago0 commentsTrend history
• 8.

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

  2 pointsby mgh223 days ago0 commentsTrend history
• 9.

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

  1 pointsby zeristor23 days ago0 commentsTrend history
• 10.

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

  10 pointsby ermanos1223 days ago0 commentsTrend history
• 11.

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

  7 pointsby peter_d_sherman23 days ago1 commentsTrend history
• 12.

  VQL-Artifact.yaml(github.com)

  1 pointsby lexs201992-gif23 days ago1 commentsTrend history
• 13.

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

  Repost8 prior posts1 pointsby it4rb23 days ago0 commentsTrend history
• 14.

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

  1 pointsby serious_angel23 days ago1 commentsTrend history
• 15.

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

  4 pointsby epestr23 days ago0 commentsTrend history
• 16.

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

  2 pointsby duanhjlt23 days ago0 commentsTrend history
• 17.

  I built a tool to generate Cornell notes from YouTube videos

  3 pointsby cristyg010123 days ago3 commentsTrend history
• 18.

  Mojo by Example(ruhati.net)

  3 pointsby ivell23 days ago0 commentsTrend history
• 19.

  Vale: Linter for Prose(github.com)

  Repost1 prior post1 pointsby saikatsg23 days ago0 commentsTrend history
• 20.

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

  1 pointsby umangbhardwaj23 days ago0 commentsTrend history
• 21.

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

  2 pointsby runningmike23 days ago1 commentsTrend history
• 22.

  The Zen of AI(dtlarson.com)

  2 pointsby derek-larson23 days ago0 commentsTrend history
• 23.

  A Test for AI Consciousness(gruhn.me)

  Repost1 prior post1 pointsby saikatsg23 days ago0 commentsTrend history
• 24.

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

  2 pointsby bisho_silwal23 days ago1 commentsTrend history
• 25.

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

  1 pointsby saikatsg23 days ago0 commentsTrend history
• 26.

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

  1 pointsby swarajbachu23 days ago0 commentsTrend history
• 27.

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

  1 pointsby mahadansar23 days ago0 commentsTrend history
• 28.

  Markdown Without the Split Screen(medium.com)

  1 pointsby docjojo23 days ago1 commentsTrend history
• 29.

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

  Repost1 prior post1 pointsby WolfOliver23 days ago1 commentsTrend history
• 30.

  Why aren't my two Cortex-A9 cores cache coherent?(thejpster.org.uk)

  8 pointsby signa1123 days ago4 commentsTrend history

Operational status: system stale