Terence Tao: Machine Assistance and the Future of Research Mathematics [video] (youtube.com)
2 points by abetusk 4 hours ago | 1 comment
91Ghidra by NSA (github.com)
4 points by handfuloflight 4 hours ago | 0 comments
92Show HN: MicroVibe – minimal JSX web starter (github.com)
3 points by melendezgg 4 hours ago | 1 comment
93OpenAI attempts "First Proof" challenge (twitter.com)
3 points by energy123 4 hours ago | 1 comment
94Gauntlet AI (Legit or Scam?) (qualify.gauntletai.com)
1 points by evo_9 4 hours ago | 0 comments
95Are the Mysteries of Quantum Mechanics Beginning to Dissolve? (quantamagazine.org)
4 points by aard 4 hours ago | 0 comments
96Show HN: A text-only reasoning core for LLMs (MIT, system prompt and self-test) (github.com)
1 points by wfgy-github 4 hours ago | 0 comments
97Weird System Prompt Artefacts (blog.nilenso.com)
1 points by ath_ray 4 hours ago | 0 comments
98Show HN: Musecl-memory – Zero-dependency memory sync for AI agents bash and Git (github.com)
2 points by musecl 4 hours ago | 0 comments
99Show HN: Verify-before-release x402 gateway for AI agent transactions
2 points by settlddotwork 4 hours ago | 0 comments
100Ask HN: My OpenClaw doesn't respond. Anybody met with the same problem?
3 points by Fendy1 4 hours ago | 4 comments
101I made an interactive fiction x personality quiz dating SIM for valentine's day (my.trove.is)
2 points by herenhuang 4 hours ago | 1 comment
102Amazon's Ring ends deal with surveillance firm after backlash (bbc.com)
5 points by 1vuio0pswjnm7 4 hours ago | 1 comment
103Elephant trunk whiskers exhibit material intelligence (mpg.de)
3 points by gmays 4 hours ago | 0 comments
104Buddhist monks vs. Trump's fake "Board of Peace" (salon.com)
2 points by hkhn 4 hours ago | 1 comment
105Why ads are coming to your AI chatbot (ft.com)
2 points by 1vuio0pswjnm7 4 hours ago | 0 comments
106On the philosophical relevance of Gödel's incompleteness theorems [pdf] (philpapers.org)
1 points by Paracompact 5 hours ago | 0 comments
107Ask HN: Exceptionally well-written research papers in CS/ML/AI?
2 points by b3rkus 5 hours ago | 0 comments
108Oh, good: Discord's age verification rollout has ties to Palantir co-founder (pcgamer.com)
62 points by absqueued 5 hours ago | 14 comments
109Zvec is a lightweight, fast, in-process vector database (github.com)
2 points by tanelpoder 5 hours ago | 0 comments
110OpenAI accuses DeepSeek of "free-riding" on American R&D (restofworld.org)
6 points by billybuckwheat 5 hours ago | 3 comments
111Painting Is a Program, Poetry Is a Prompt: Rethinking AI's Role
1 points by mikasisiki 5 hours ago | 0 comments
112US FTC ramps up scrutiny of Microsoft over AI, cloud practices (reuters.com)
6 points by 1vuio0pswjnm7 5 hours ago | 2 comments
113RevenueBack: Simple payment recovery for Stripe (revenueback.pages.dev)
1 points by ezra_cos 5 hours ago | 0 comments
114Ask HN: Why Open-Source for Products/Startups?
2 points by dv35z 5 hours ago | 2 comments
115Oxide plans new rack attack (theregister.com)
4 points by bcantrill 5 hours ago | 0 comments
116Tool to Surgically Remove Jail-Breaks from Open Weights LLM Models (twitter.com)
1 points by Osiris30 5 hours ago | 0 comments
117Worldspace (worldspace.is)
1 points by isaacbowen 5 hours ago | 0 comments
118Against the State: A Primer on Terrorism, Insurgency, and Protest (acoup.blog)
4 points by claytonwramsey 5 hours ago | 0 comments
119The Death of the Author (en.wikipedia.org)
2 points by SmartHypercube 5 hours ago | 0 comments
120