Hacker News

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