• 1.

  With the Help of Codex: A Reproducible Proof Against the Jacobian Conjecture(blog.clidey.com)

  6 pointsby hemangkandwal12 days ago0 commentsTrend history
• 2.

  Show HN: Agent Search Engine – an independent index of 247 AI agents(agentsearchengine.app)

  2 pointsby ASE-APP12 days ago0 commentsTrend history
• 3.

  Flathub's AI slop ban looks like it was the right call(omgubuntu.co.uk)

  Repost1 prior post10 pointsby csmantle12 days ago0 commentsTrend history
• 4.

  Huawei Just Built an Impossible Chip [video](youtube.com)

  6 pointsby binyu12 days ago1 commentsTrend history
• 5.

  Show HN: Ekko – post-quantum E2EE layer for Instagram, WhatsApp, Telegram Web(useekko.app)

  8 pointsby kvasilev12 days ago3 commentsTrend history
• 6.

  A Meta-Epistemological Reason for Rejecting AI-Written Philosophy(dailynous.com)

  3 pointsby zetamax12 days ago0 commentsTrend history
• 7.

  Flock Credibility Lost as It Repeatedly Lies to City Councils, Police, & Public(aclu.org)

  383 pointsby StatsAreFun12 days ago110 commentsTrend history
• 8.

  The surprising benefits of red light(economist.com)

  4 pointsby andsoitis12 days ago0 commentsTrend history
• 9.

  Quickly rewrite Git repository history(github.com)

  Repost4 prior posts3 pointsby modinfo12 days ago0 commentsTrend history
• 10.

  The Networking Wars: How Microsoft Crushed Novell(youtube.com)

  7 pointsby cable260012 days ago0 commentsTrend history
• 11.

  Made $500k in 2 weeks and found 6 jobs. Here are the 7 prompts that I used(github.com)

  3 pointsby zfoong12 days ago2 commentsTrend history
• 12.

  A quick note on OmniWM, open source, and why giving credit matters(github.com)

  3 pointsby mmcclure12 days ago0 commentsTrend history
• 13.

  Best Coding Fonts for Developers in 2026(jstools.space)

  10 pointsby javatuts12 days ago3 commentsTrend history
• 14.

  Datasette Dashboards(romain-clement.net)

  3 pointsby ankitg1212 days ago0 commentsTrend history
• 15.

  The Graph Was the Cheap Part(cameronwestland.com)

  3 pointsby camwest12 days ago0 commentsTrend history
• 16.

  OpenCircuitX(github.com)

  10 pointsby firetesterlab12 days ago1 commentsTrend history
• 17.

  OpenAI Says Model Broke Out of Sandbox(twitter.com)

  5 pointsby derangedHorse12 days ago1 commentsTrend history
• 18.

  $100 million for open source: A milestone built by the community(github.blog)

  4 pointsby chmaynard12 days ago0 commentsTrend history
• 19.

  The road to epsilon-zero: Nim always ends, even with infinite ordinals(blog.plover.com)

  3 pointsby pavel_lishin12 days ago0 commentsTrend history
• 20.

  MAGA Media Lap Up Trump's Election-Interference Exaggerations(nationalreview.com)

  3 pointsby petethomas12 days ago0 commentsTrend history
• 21.

  How to manage AI investments in the agentic era(openai.com)

  2 pointsby gmays12 days ago0 commentsTrend history
• 22.

  Show HN: Vidmoat – a video editing pipeline any AI agent can operate(vidmoat.com)

  3 pointsby fredabila12 days ago0 commentsTrend history
• 23.

  Jacobian conjecture was proven for 3D, Math seems to be distraction however(abhishek-shankar.com)

  4 pointsby catstyler12 days ago2 commentsTrend history
• 24.

  Show HN: PounceDomains – Domain discovery and sniping for Namecheap Marketplace(pouncedomains.com)

  2 pointsby DotSauce12 days ago0 commentsTrend history
• 25.

  Linux Now Runs on the Atari Jaguar, a 1993 Console with Just 2 MB of RAM(linuxiac.com)

  4 pointsby cable260012 days ago0 commentsTrend history
• 26.

  The road to epsilon-zero: ordinals as Nim-heaps(blog.plover.com)

  2 pointsby pavel_lishin12 days ago0 commentsTrend history
• 27.

  AI just disproved a major math problem. A mathematician explains(mashable.com)

  2 pointsby 01-_-12 days ago1 commentsTrend history
• 28.

  Secrets Don't Belong in Config(secretspec.dev)

  8 pointsby domenkozar12 days ago3 commentsTrend history
• 29.

  AI's most important protocol is getting a little bit easier to use(techcrunch.com)

  3 pointsby haritha131312 days ago0 commentsTrend history
• 30.

  Bdinfo-rs – Rust cross-platform Blu-ray analyzer (GUI and CLI and WASM)(github.com)

  6 pointsby hyperslop12 days ago1 commentsTrend history

Operational status: system stale