• 1.

  Formally verifying AI-generated GPU kernels(gimletlabs.ai)

  Repost2 prior posts2 pointsby nserrino2 days ago0 commentsTrend history
• 2.

  The Human Cost of DOGE's War on USAID(newyorker.com)

  Repost1 prior post33 pointsby tastyface2 days ago10 commentsTrend history
• 3.

  Show HN: Crucible – your AI wrote the tests, so who tested the tests?(github.com)

  2 pointsby jott21212 days ago0 commentsTrend history
• 4.

  NTSB Report on NetJets first fatality in 40 years (Josh Baer RIP)(data.ntsb.gov)

  12 pointsby r2sk5t2 days ago2 commentsTrend history
• 5.

  Show HN: DashApply – Your Complete Job Search Toolkit(dashapply.ai)

  3 pointsby debaghtk2 days ago0 commentsTrend history
• 6.

  Show HN: The Polyglot(crux.quest)

  3 pointsby saretup2 days ago1 commentsTrend history
• 7.

  Why Copyright Analysis Alone Is Not Enough for Open Source Licensing(shujisado.org)

  3 pointsby Brajeshwar2 days ago1 commentsTrend history
• 8.

  Wildest claims in Apple's lawsuit against OpenAI(theverge.com)

  4 pointsby _12 days ago1 commentsTrend history
• 9.

  Show HN: Super Dario(superdario.pawb.de)

  355 pointsby thepasch2 days ago90 commentsTrend history
• 10.

  Ukraine Lands Armed Robot Ashore in Russian-Held Territory via Drone Boat(twz.com)

  9 pointsby uticus2 days ago1 commentsTrend history
• 11.

  Superfile: A fancy, modern terminal file manager(superfile.dev)

  Repost1 prior post7 pointsby thunderbong2 days ago3 commentsTrend history
• 12.

  Show HN: Finterm.ai Bloomberg terminal for Claude Code(finterm.ai)

  5 pointsby cheeseblubber2 days ago0 commentsTrend history
• 13.

  Januscape vulnerability CVE-2026-53359 mitigations available (KVM breakout)(ubuntu.com)

  3 pointsby alexellisuk2 days ago1 commentsTrend history
• 14.

  Words Are Power(segue.app)

  2 pointsby stoicfungi2 days ago1 commentsTrend history
• 15.

  Hackmate (don't scroll if u want macOS on ur PC)(github.com)

  Repost1 prior post2 pointsby hackmate2 days ago1 commentsTrend history
• 16.

  Death to Prison, Freedom to Protest (2011)(pussyriot.love)

  2 pointsby jruohonen2 days ago1 commentsTrend history
• 17.

  Logseq 2.0 Beta (DB version) is here(github.com)

  82 pointsby karencarits2 days ago53 commentsTrend history
• 18.

  Ask HN: How do you see 3D Gaussian Splats could be used in industry?

  4 pointsby jesseandringa2 days ago0 commentsTrend history
• 19.

  Show HN: OpenClawMachines – Extending OpenClaw to the Enterprise(github.com)

  16 pointsby mathaix2 days ago15 commentsTrend history
• 20.

  How to build AI agents business teams want(theaithinker.com)

  3 pointsby adamfaik2 days ago0 commentsTrend history
• 21.

  Vāgdhenu: A Sanskrit Chanting TTS System(prathosh.in)

  Repost2 prior posts1 pointsby subinalex2 days ago0 commentsTrend history
• 22.

  Microgrants for your project(github.com)

  Repost3 prior posts1 pointsby audreyfei2 days ago0 commentsTrend history
• 23.

  Taking (some) guesswork out of brewing beer(alshain.fi)

  1 pointsby mgronhol2 days ago0 commentsTrend history
• 24.

  Apple Acquiring SigScalr(macrumors.com)

  2 pointsby Brajeshwar2 days ago1 commentsTrend history
• 25.

  Blume: Open-source, Markdown-first documentation powered by Astro and Vite(useblume.dev)

  1 pointsby handfuloflight2 days ago0 commentsTrend history
• 26.

  Show HN: AffineUI a 2 file C++ GPU/HTML5 UI that can replace Electron(github.com)

  1 pointsby bc10000032 days ago0 commentsTrend history
• 27.

  Collapse of romantic infrastructure an engineering fail, not GenZ character flaw(slowboring.com)

  2 pointsby prmph2 days ago1 commentsTrend history
• 28.

  Applying Tau Scaling to AI Datacenters(polymath707.substack.com)

  1 pointsby HSO2 days ago0 commentsTrend history
• 29.

  Cyberattacks Are Becoming Compute Wars(magzimof.com)

  2 pointsby shaimagz2 days ago0 commentsTrend history
• 30.

  Beware of Sync Platforms (2013)(kssreeram.org)

  1 pointsby ahmed1hsn2 days ago0 commentsTrend history

Operational status: system stale