Hacker News

1.		Type Theory and Functional Programming (1999) [pdf] (cornell.edu)
		53 points by fanf2 1 hour ago \| hide \| 7 comments
2.		Category Theory Illustrated – Natural Transformations (abuseofnotation.github.io)
		11 points by boris_m 58 minutes ago \| hide \| discuss
3.		CDC File Transfer (github.com/google)
		207 points by GalaxySnail 6 hours ago \| hide \| 53 comments
4.		High-resolution efficient image generation from WiFi Mapping (arxiv.org)
		38 points by oldfuture 2 hours ago \| hide \| 12 comments
5.		Sora 2 (openai.com)
		731 points by skilled 16 hours ago \| hide \| 717 comments
6.		Intelligent Kubernetes Load Balancing at Databricks (databricks.com)
		51 points by ayf 3 hours ago \| hide \| 12 comments
7.		Defer: Resource cleanup in C with GCCs magic (oshub.org)
		20 points by joexbayer 2 hours ago \| hide \| 16 comments
8.		NJ theme park puts animatronic dinosaurs on Facebook Marketplace (gizmodo.com)
		74 points by ohjeez 7 hours ago \| hide \| 19 comments
9.		Imgur pulls out of UK as data watchdog threatens fine (express.co.uk)
		452 points by ANewbury 19 hours ago \| hide \| 457 comments
10.		Blockdiff: We built our own file format for VM disk snapshots (cognition.ai)
		45 points by cyanf 5 hours ago \| hide \| 7 comments
11.		The Prehistory of Computing, Part II (oranlooney.com)
		14 points by olooney 3 hours ago \| hide \| 1 comment
12.		Diff Algorithms (znkr.io)
		207 points by znkr 12 hours ago \| hide \| 39 comments
13.		Washi: The Japanese paper crafted to last 1000 years [video] (bbc.com)
		70 points by rmason 8 hours ago \| hide \| 16 comments
14.		The gaslit asset class (dshr.org)
		129 points by zdw 5 hours ago \| hide \| 81 comments
15.		Introduction to Multi-Armed Bandits (2019) (arxiv.org)
		107 points by Anon84 11 hours ago \| hide \| 19 comments
16.		Fundamental of Virtual Memory (nghiant3223.github.io)
		26 points by signa11 3 hours ago \| hide \| 6 comments
17.		Designing agentic loops (simonwillison.net)
		208 points by simonw 17 hours ago \| hide \| 92 comments
18.		Boeing has started working on a 737 MAX replacement (wsj.com)
		245 points by bookofjoe 15 hours ago \| hide \| 383 comments
19.		Leaked Apple M5 9 core Geekbench scores (geekbench.com)
		262 points by aurareturn 16 hours ago \| hide \| 381 comments
20.		Founder sentenced to seven years in prison for fraudulent sale to JPMorgan (cnn.com)
		218 points by mandeepj 20 hours ago \| hide \| 272 comments
21.		Inflammation now predicts heart disease more strongly than cholesterol (empirical.health)
		504 points by brandonb 12 hours ago \| hide \| 252 comments
22.		Mind the encryptionroot: How to save your data when ZFS loses its mind (sambowman.tech)
		110 points by 6581 12 hours ago \| hide \| 33 comments
23.		Basic Dialects, IDEs, and Tutorials (github.com/johnblood)
		5 points by andsoitis 3 hours ago \| hide \| discuss
24.		Launch HN: Airweave (YC X25) – Let agents search any app (github.com/airweave-ai)
		152 points by lennertjansen 16 hours ago \| hide \| 23 comments
25.		Pasta Cooking Time (jefftk.com)
		169 points by bariumbitmap 20 hours ago \| hide \| 162 comments
26.		An opinionated critique of Duolingo (isomorphism.xyz)
		195 points by agnishom 19 hours ago \| hide \| 214 comments
27.		Kagi News (kagi.com)
		837 points by grappler 17 hours ago \| hide \| 395 comments
28.		Software essays that shaped me (refactoringenglish.com)
		205 points by mtlynch 10 hours ago \| hide \| 31 comments
29.		Tiny worlds: A minimal implementation of DeepMind's Genie world model (github.com/almondgod)
		26 points by simonpure 6 hours ago \| hide \| 2 comments
30.		Coding a new BASIC interpreter in 2025 to replace a slow one (nanochess.org)
		73 points by nanochess 12 hours ago \| hide \| 16 comments
		More