New Links | Hacker News

1.		How a Non-Theorist and Two AIs Proved a Theorem (ssrn.com)
		1 point by dmweinhold 2 minutes ago \| hide \| past \| discuss
2.		Deep Research for Infra (twitter.com/tekbog)
		1 point by tekbog 2 minutes ago \| hide \| past \| discuss
3.		NBA in Active Talks with Kalshi, Polymarket on Prediction Market Deal (realgm.com)
		1 point by cdrnsf 3 minutes ago \| hide \| past \| discuss
4.		Show HN: Ternary Bonsai, delivering top intelligence at 1.58 bits (twitter.com/prismml)
		1 point by bansaltushar92 4 minutes ago \| hide \| past \| discuss
5.		Claude Opus 4.7's new tokenizer: 1.47x on English, 1.01x on Chinese (claudecodecamp.com)
		1 point by aray07 5 minutes ago \| hide \| past \| discuss
6.		We're AvantiRMG – helping practices profit and increase revenue (avantirmg.com)
		1 point by rbani 6 minutes ago \| hide \| past \| discuss
7.		Kent Beck: Parkinson's (tidyfirst.substack.com)
		2 points by umbula 6 minutes ago \| hide \| past \| discuss
8.		Catai – Virtual pixel art cats for macOS that chat with you via Ollama (github.com/wil-pe)
		1 point by will-pe 8 minutes ago \| hide \| past \| discuss
9.		Show HN: Honeymux, a TUI wrapper for tmux that simplifies agent-driven workflows (hmx.dev)
		1 point by aarcamp 9 minutes ago \| hide \| past \| discuss
10.		Show HN: Lazyspotify, a Beautiful TUI for Spotify (github.com/dubeykartikay)
		1 point by dubeyKartikay 9 minutes ago \| hide \| past \| discuss
11.		Why Is Everyone's Robot Folding Clothes? (itcanthink.substack.com)
		1 point by sebg 12 minutes ago \| hide \| past \| 1 comment
12.		Waves hit different on other planets (news.mit.edu)
		1 point by gnabgib 12 minutes ago \| hide \| past \| discuss
13.		NYC Automated Employment Decision Tools: Frequently Asked Questions (2023) [pdf] (nyc.gov)
		1 point by petethomas 13 minutes ago \| hide \| past \| discuss
14.		Lyra 2.0: Explorable Generative 3D Worlds (arxiv.org)
		2 points by gmays 15 minutes ago \| hide \| past \| discuss
15.		LLMs and Agents: How do they Work? (mattrogish.com)
		1 point by MattRogish 16 minutes ago \| hide \| past \| discuss
16.		Legos vs. 3D Printers (koaning.io)
		1 point by sebg 16 minutes ago \| hide \| past \| 1 comment
17.		From SIMT to Systolic: A Foundation for GPU and TPU Architecture (twitter.com/mainzonx)
		1 point by matt_d 16 minutes ago \| hide \| past \| discuss
18.		Sapient Perception Raised €2M to Help Drones See Everything (siliconsnark.com)
		1 point by SaaSasaurus 18 minutes ago \| hide \| past \| discuss
19.		Robots Don't Work (squarehammerlabs.com)
		1 point by gsteph22 21 minutes ago \| hide \| past \| discuss
20.		Generate coherent personas from pop culture universes (npmjs.com)
		1 point by theorchid 24 minutes ago \| hide \| past \| discuss
21.		Atomic Operations in Go (iampavel.dev)
		2 points by birdculture 28 minutes ago \| hide \| past \| discuss
22.		The Case for AI "Cooperatives" (nunodonato.com)
		1 point by nunodonato 28 minutes ago \| hide \| past \| discuss
23.		Free airport ride exchange platform (airportswap.com)
		2 points by PaulHoule 29 minutes ago \| hide \| past \| discuss
24.		A Better R Programming Experience Thanks to Tree-sitter (ropensci.org)
		14 points by sebg 30 minutes ago \| hide \| past \| discuss
25.		AI's Next Frontier: People Skills (theatlantic.com)
		1 point by paulpauper 30 minutes ago \| hide \| past \| discuss
26.		I built a game: convince an AI bouncer you're also an AI in 3 messages (clankerpass.com)
		3 points by alex-onecard 31 minutes ago \| hide \| past \| discuss
27.		History Is Running Backwards (theatlantic.com)
		1 point by paulpauper 31 minutes ago \| hide \| past \| discuss
28.		WordPress needs to refactor, not redecorate (joost.blog)
		1 point by gmays 32 minutes ago \| hide \| past \| discuss
29.		The Iterated Surgeon's Dilemma (substack.com)
		1 point by paulpauper 34 minutes ago \| hide \| past \| discuss
30.		New AI Paradigm: Communitized RL (audn.substack.com)
		2 points by ozgurozkan999 34 minutes ago \| hide \| past \| 2 comments
		More