Hacker News

1.		Type Theory and Functional Programming (1999) [pdf] (cornell.edu)
		67 points by fanf2 2 hours ago \| hide \| 14 comments
2.		Category Theory Illustrated – Natural Transformations (abuseofnotation.github.io)
		32 points by boris_m 1 hour ago \| hide \| 2 comments
3.		Our efforts, in part, define us (weakty.com)
		13 points by todsacerdoti 37 minutes ago \| hide \| discuss
4.		CDC File Transfer (github.com/google)
		223 points by GalaxySnail 7 hours ago \| hide \| 58 comments
5.		High-resolution efficient image generation from WiFi Mapping (arxiv.org)
		53 points by oldfuture 3 hours ago \| hide \| 16 comments
6.		Sora 2 (openai.com)
		751 points by skilled 17 hours ago \| hide \| 733 comments
7.		Defer: Resource cleanup in C with GCCs magic (oshub.org)
		25 points by joexbayer 3 hours ago \| hide \| 29 comments
8.		Intelligent Kubernetes Load Balancing at Databricks (databricks.com)
		57 points by ayf 4 hours ago \| hide \| 16 comments
9.		The Prehistory of Computing, Part II (oranlooney.com)
		22 points by olooney 4 hours ago \| hide \| 1 comment
10.		Imgur pulls out of UK as data watchdog threatens fine (express.co.uk)
		466 points by ANewbury 20 hours ago \| hide \| 483 comments
11.		Blockdiff: We built our own file format for VM disk snapshots (cognition.ai)
		52 points by cyanf 6 hours ago \| hide \| 9 comments
12.		NJ theme park puts animatronic dinosaurs on Facebook Marketplace (gizmodo.com)
		77 points by ohjeez 8 hours ago \| hide \| 25 comments
13.		Fundamental of Virtual Memory (nghiant3223.github.io)
		30 points by signa11 4 hours ago \| hide \| 8 comments
14.		Diff Algorithms (znkr.io)
		213 points by znkr 13 hours ago \| hide \| 42 comments
15.		Washi: The Japanese paper crafted to last 1000 years [video] (bbc.com)
		72 points by rmason 9 hours ago \| hide \| 20 comments
16.		Introduction to Multi-Armed Bandits (2019) (arxiv.org)
		110 points by Anon84 12 hours ago \| hide \| 21 comments
17.		Designing agentic loops (simonwillison.net)
		216 points by simonw 18 hours ago \| hide \| 93 comments
18.		Boeing has started working on a 737 MAX replacement (wsj.com)
		252 points by bookofjoe 16 hours ago \| hide \| 390 comments
19.		Leaked Apple M5 9 core Geekbench scores (geekbench.com)
		269 points by aurareturn 17 hours ago \| hide \| 404 comments
20.		Founder sentenced to seven years in prison for fraudulent sale to JPMorgan (cnn.com)
		223 points by mandeepj 21 hours ago \| hide \| 276 comments
21.		Basic Dialects, IDEs, and Tutorials (github.com/johnblood)
		9 points by andsoitis 4 hours ago \| hide \| discuss
22.		Inflammation now predicts heart disease more strongly than cholesterol (empirical.health)
		515 points by brandonb 13 hours ago \| hide \| 262 comments
23.		Styx Emulator Public Release (stumbl.ing)
		9 points by lukastyrychtr 4 hours ago \| hide \| discuss
24.		Mind the encryptionroot: How to save your data when ZFS loses its mind (sambowman.tech)
		112 points by 6581 13 hours ago \| hide \| 33 comments
25.		An opinionated critique of Duolingo (isomorphism.xyz)
		205 points by agnishom 20 hours ago \| hide \| 226 comments
26.		Launch HN: Airweave (YC X25) – Let agents search any app (github.com/airweave-ai)
		154 points by lennertjansen 17 hours ago \| hide \| 24 comments
27.		Pasta Cooking Time (jefftk.com)
		173 points by bariumbitmap 21 hours ago \| hide \| 168 comments
28.		Software essays that shaped me (refactoringenglish.com)
		219 points by mtlynch 11 hours ago \| hide \| 33 comments
29.		Kagi News (kagi.com)
		846 points by grappler 18 hours ago \| hide \| 397 comments
30.		Tiny worlds: A minimal implementation of DeepMind's Genie world model (github.com/almondgod)
		32 points by simonpure 7 hours ago \| hide \| 3 comments
		More