Over Points | Hacker News

1.		Kagi Small Web (kagi.com)
		544 points by trueduke 7 hours ago \| 148 comments
2.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		687 points by Poudlardo 20 hours ago \| 162 comments
3.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		1193 points by smitec 12 hours ago \| 275 comments
4.		Meta’s renewed commitment to jemalloc (fb.com)
		489 points by hahahacorn 23 hours ago \| 220 comments
5.		The American Healthcare Conundrum (github.com/rexrodeo)
		473 points by rexroad 1 day ago \| 517 comments
6.		The “small web” is bigger than you might think (kevinboone.me)
		506 points by speckx 1 day ago \| 208 comments
7.		Every layer of review makes you 10x slower (apenwarr.ca)
		443 points by greyface- 14 hours ago \| 267 comments
8.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		695 points by djoldman 17 hours ago \| 412 comments
9.		Why I love FreeBSD (dragas.net)
		492 points by enz 1 day ago \| 247 comments
10.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		405 points by Vaslo 1 day ago \| 129 comments
11.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1546 points by defly 1 day ago \| 990 comments
12.		Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
		719 points by PaulHoule 1 day ago \| 382 comments
13.		Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain (michaelgeist.ca)
		989 points by opengrass 1 day ago \| 329 comments
14.		MoD sources warn Palantir role at heart of government is threat to UK security (thenerve.news)
		651 points by vrganj 1 day ago \| 277 comments
15.		US Job Market Visualizer (karpathy.ai)
		474 points by andygcook 1 day ago \| 346 comments
16.		The 49MB web page (thatshubham.com)
		796 points by kermatt 1 day ago \| 357 comments
17.		How I write software with LLMs (stavros.io)
		516 points by indigodaddy 1 day ago \| 503 comments
18.		Chrome DevTools MCP (2025) (chrome.com)
		590 points by xnx 1 day ago \| 232 comments
19.		Stop Sloppypasta (stopsloppypasta.ai)
		652 points by namnnumbr 2 days ago \| 253 comments
20.		LLM Architecture Gallery (sebastianraschka.com)
		570 points by tzury 1 day ago \| 42 comments
21.		Palestinian boy, 12, describes how Israeli forces killed his family in car (bbc.com)
		1183 points by tartoran 22 hours ago \| 361 comments
22.		1M context is now generally available for Opus 4.6 and Sonnet 4.6 (claude.com)
		1213 points by meetpateltech 3 days ago \| 519 comments
23.		Ask HN: How is AI-assisted coding going for you professionally?
		413 points by svara 2 days ago \| 594 comments
24.		Can I run AI locally? (canirun.ai)
		1500 points by ricardbejarano 4 days ago \| 350 comments
25.		Nasdaq's Shame (keubiko.substack.com)
		412 points by imichael 1 day ago \| 159 comments
26.		$96 3D-printed rocket that recalculates its mid-air trajectory using a $5 sensor (github.com/novatic14)
		435 points by ZacnyLos 2 days ago \| 377 comments
27.		Rack-mount hydroponics (lj.am)
		351 points by cdrnsf 2 days ago \| 100 comments
28.		A Visual Introduction to Machine Learning (2015) (r2d3.us)
		395 points by vismit2000 2 days ago \| 34 comments
29.		How kernel anti-cheats work (s4dbrd.github.io)
		359 points by davikr 2 days ago \| 324 comments
30.		Qatar helium shutdown puts chip supply chain on a two-week clock (tomshardware.com)
		701 points by johnbarron 4 days ago \| 631 comments
		More