• 1.

  Astronomers discover a new type of astrophysical object: A black hole star(news.mit.edu)

  2 pointsby NKosmatos39 days ago0 commentsTrend history
• 2.

  Lemmings(buzzard1337.itch.io)

  13 pointsby bookofjoe39 days ago1 commentsTrend history
• 3.

  The Crypto Industry Lost(greyenlightenment.com)

  4 pointsby paulpauper39 days ago2 commentsTrend history
• 4.

  What We Learned Tracing North Korea's Hidden Workforce Inside American Companies(wsj.com)

  5 pointsby berkeleyjunk39 days ago0 commentsTrend history
• 5.

  Korea's 22% Rebound Puts the Chip Trade Back in the Spotlight(predx-article.fika.bar)

  2 pointsby joeymabia139 days ago0 commentsTrend history
• 6.

  AutoProver: AI agents and formal methods for intent, specs, bugs analysis(app.certora.com)

  2 pointsby wslh39 days ago0 commentsTrend history
• 7.

  Show HN: Session Recorder – an always-on system audio tape for macOS(sessionrecorder.com)

  1 pointsby naffenuf39 days ago0 commentsTrend history
• 8.

  The Cost of Thinking Alike(thesignalist.io)

  1 pointsby kodesko39 days ago0 commentsTrend history
• 9.

  Ask HN: Why not a utility to save your Mac from a software bug killing your SSD?

  1 pointsby amichail39 days ago1 commentsTrend history
• 10.

  Show HN: DynaFX – Simulation meets knowledge graphs(github.com)

  2 pointsby ElegantTrader39 days ago0 commentsTrend history
• 11.

  Building Bibliographic Superwork Clusters for Discovery with Local LLMs(thisismattmiller.com)

  1 pointsby sebg39 days ago0 commentsTrend history
• 12.

  Another partial SSI trick with canonicalize(bernsteinbear.com)

  2 pointsby speckx39 days ago0 commentsTrend history
• 13.

  Show HN: Multi-version management (by xlings) for DeepSeek Harness(openxlings.github.io)

  1 pointsby sunrisepeak39 days ago0 commentsTrend history
• 14.

  Prolific Counterfeiting (2023)(computer.rip)

  Repost1 prior post2 pointsby gregsadetsky39 days ago0 commentsTrend history
• 15.

  SHA pinning GitHub Actions across an organization(semgrep.dev)

  8 pointsby mdean39 days ago2 commentsTrend history
• 16.

  Forklane AI – Public Beta Launch(forklane.ai)

  2 pointsby akshayl28439 days ago1 commentsTrend history
• 17.

  Polestar Dealer Claims Automaker 'Orchestrated' Its U.S. Ban in Lawsuit(wsj.com)

  12 pointsby JumpCrisscross39 days ago0 commentsTrend history
• 18.

  Show HN: Bsdkrun – Instant MicroVMs/Unikernels for macOS and Linux(github.com)

  Repost1 prior post2 pointsby tsiry39 days ago0 commentsTrend history
• 19.

  Show HN: Clixad – Free AI coding agent in the terminal, funded by an offerwall(clixad.io)

  2 pointsby flo_r39 days ago0 commentsTrend history
• 20.

  A Calculator, Compiled into a Transformer(ood.dev)

  2 pointsby sebg39 days ago0 commentsTrend history
• 21.

  How Gödel's Proof Works (2020)(quantamagazine.org)

  Repost1 prior post71 pointsby tzury39 days ago35 commentsTrend history
• 22.

  C3 0.8.3: Feature flags, macOS SDK fetching, and regex support(c3-lang.org)

  6 pointsby ManuLinares39 days ago0 commentsTrend history
• 23.

  The government is recruiting tech companies to help fight its cyber battles(politico.com)

  6 pointsby giuliomagnifico39 days ago1 commentsTrend history
• 24.

  Rodeo, a terminal file manager inspired by Norton/Midnight Commander (Rust)(github.com)

  3 pointsby lordgreg39 days ago1 commentsTrend history
• 25.

  Leveraging Requirements Engineering for AI Coding Tool Success(cacm.acm.org)

  3 pointsby adunk39 days ago0 commentsTrend history
• 26.

  The Harness Is the Bottleneck(chrismdp.com)

  3 pointsby speckx39 days ago0 commentsTrend history
• 27.

  I built a lint for AI-generated evidence(apify.com)

  2 pointsby fmajchrzak39 days ago0 commentsTrend history
• 28.

  Silver Lake in talks to buy Workday, sources say(reuters.com)

  14 pointsby JumpCrisscross39 days ago3 commentsTrend history
• 29.

  SilkCode – Tired of resets/limits with Claude but better than Codex(silkcode.web.app)

  1 pointsby amonte39 days ago0 commentsTrend history
• 30.

  Yaak.ai Physical AI OS: copper-rs(yaak.ai)

  2 pointsby gbin39 days ago0 commentsTrend history

Operational status: system stale