Hacker News

1.		OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI (simonwillison.net)
		199 points by simonw 5 hours ago \| hide \| 129 comments
2.		macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt (developer.apple.com)
		314 points by guiand 7 hours ago \| hide \| 175 comments
3.		GNU Unifont (unifoundry.com)
		178 points by remywang 7 hours ago \| hide \| 50 comments
4.		Ferrari's Formula 1 Handovers: Handovers from Surgery to Intensive Care 2008;pdf (gwern.net)
		17 points by bookofjoe 2 hours ago \| hide \| 5 comments
5.		Rats Play DOOM (ratsplaydoom.com)
		216 points by ano-ther 8 hours ago \| hide \| 84 comments
6.		Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig (github.com/ringtailsoftware)
		89 points by trj 6 hours ago \| hide \| 5 comments
7.		So What Should We Call This – A Grue Jay? (utexas.edu)
		29 points by surprisetalk 3 hours ago \| hide \| 12 comments
8.		50 years of proof assistants (lawrencecpaulson.github.io)
		53 points by baruchel 5 hours ago \| hide \| 5 comments
9.		Show HN: I made a spreadsheet where formulas also update backwards (victorpoughon.github.io)
		83 points by fouronnes3 6 hours ago \| hide \| 32 comments
10.		Ensuring a National Policy Framework for Artificial Intelligence (whitehouse.gov)
		93 points by andsoitis 7 hours ago \| hide \| 148 comments
11.		Sick of smart TVs? Here are your best options (arstechnica.com)
		175 points by fleahunter 11 hours ago \| hide \| 184 comments
12.		Show HN: Claude Code Recipes for Knowledge Workers (Open Source) (github.com/sgharlow)
		4 points by sgharlow 42 minutes ago \| hide \| discuss
13.		1300 Still Images from the Animated Films of Hayao Miyazaki's Studio Ghibli (ghibli.jp)
		8 points by vinhnx 1 hour ago \| hide \| discuss
14.		Capsudo: Rethinking Sudo with Object Capabilities (ariadne.space)
		48 points by fanf2 6 hours ago \| hide \| 21 comments
15.		SQLite JSON at full index speed using generated columns (dbpro.app)
		330 points by upmostly 15 hours ago \| hide \| 102 comments
16.		Freeing a Xiaomi humidifier from the cloud (0l.de)
		44 points by stv0g 6 hours ago \| hide \| 27 comments
17.		Oliver Sacks fabricated key details in his books (boingboing.net)
		20 points by talonx 1 hour ago \| hide \| 2 comments
18.		The Checkerboard (99percentinvisible.org)
		25 points by thread_id 3 hours ago \| hide \| 5 comments
19.		Slax: Live Pocket Linux (slax.org)
		3 points by Ulf950 1 hour ago \| hide \| discuss
20.		Motion (YC W20) Is Hiring Senior Staff Front End Engineers (ashbyhq.com)
		7 hours ago \| hide
21.		Security issues with electronic invoices (secvuln.info)
		78 points by todsacerdoti 8 hours ago \| hide \| 47 comments
22.		The Coming Need for Formal Specification (benjamincongdon.me)
		4 points by todsacerdoti 1 hour ago \| hide \| 1 comment
23.		Pg_ClickHouse: A Postgres extension for querying ClickHouse (clickhouse.com)
		80 points by spathak 8 hours ago \| hide \| 29 comments
24.		String theory inspires a brilliant, baffling new math proof (quantamagazine.org)
		122 points by ArmageddonIt 12 hours ago \| hide \| 122 comments
25.		Building small Docker images faster (hootr.club)
		34 points by steinuil 6 hours ago \| hide \| 10 comments
26.		Google Removes Sci-Hub Domains from U.S. Search Results Due to Dated Court Order (torrentfreak.com)
		26 points by t-3 1 hour ago \| hide \| 3 comments
27.		CM0 – A new Raspberry Pi you can't buy (jeffgeerling.com)
		175 points by speckx 13 hours ago \| hide \| 44 comments
28.		Home Depot GitHub token exposed for a year, granted access to internal systems (techcrunch.com)
		214 points by kernelrocks 10 hours ago \| hide \| 127 comments
29.		Async DNS (tedunangst.com)
		107 points by todsacerdoti 11 hours ago \| hide \| 37 comments
30.		C64 Maze Chomp.BAS (basic-code.bearblog.dev)
		23 points by ibobev 6 hours ago \| hide \| 2 comments
		More