Hacker News

1.		Type Theory and Functional Programming (1999) [pdf] (cornell.edu)
		22 points by fanf2 58 minutes ago \| hide \| 1 comment
2.		CDC File Transfer (github.com/google)
		190 points by GalaxySnail 5 hours ago \| hide \| 43 comments
3.		High-resolution efficient image generation from WiFi Mapping (arxiv.org)
		26 points by oldfuture 1 hour ago \| hide \| 4 comments
4.		Sora 2 (openai.com)
		708 points by skilled 15 hours ago \| hide \| 708 comments
5.		Defer: Resource cleanup in C with GCCs magic (oshub.org)
		13 points by joexbayer 1 hour ago \| hide \| 8 comments
6.		Intelligent Kubernetes Load Balancing at Databricks (databricks.com)
		43 points by ayf 2 hours ago \| hide \| 11 comments
7.		The gaslit asset class (dshr.org)
		114 points by zdw 4 hours ago \| hide \| 61 comments
8.		NJ theme park puts animatronic dinosaurs on Facebook Marketplace (gizmodo.com)
		69 points by ohjeez 6 hours ago \| hide \| 17 comments
9.		Blockdiff: We built our own file format for VM disk snapshots (cognition.ai)
		39 points by cyanf 4 hours ago \| hide \| 6 comments
10.		Imgur pulls out of UK as data watchdog threatens fine (express.co.uk)
		440 points by ANewbury 18 hours ago \| hide \| 437 comments
11.		Diff Algorithms (znkr.io)
		199 points by znkr 11 hours ago \| hide \| 38 comments
12.		Washi: The Japanese paper crafted to last 1000 years [video] (bbc.com)
		64 points by rmason 7 hours ago \| hide \| 16 comments
13.		Introduction to Multi-Armed Bandits (2019) (arxiv.org)
		104 points by Anon84 10 hours ago \| hide \| 19 comments
14.		The Prehistory of Computing, Part II (oranlooney.com)
		9 points by olooney 2 hours ago \| hide \| 1 comment
15.		Designing agentic loops (simonwillison.net)
		200 points by simonw 16 hours ago \| hide \| 85 comments
16.		Boeing has started working on a 737 MAX replacement (wsj.com)
		238 points by bookofjoe 14 hours ago \| hide \| 373 comments
17.		Inflammation now predicts heart disease more strongly than cholesterol (empirical.health)
		490 points by brandonb 11 hours ago \| hide \| 251 comments
18.		Leaked Apple M5 9 core Geekbench scores (geekbench.com)
		255 points by aurareturn 15 hours ago \| hide \| 373 comments
19.		Founder sentenced to seven years in prison for fraudulent sale to JPMorgan (cnn.com)
		214 points by mandeepj 19 hours ago \| hide \| 269 comments
20.		Mind the encryptionroot: How to save your data when ZFS loses its mind (sambowman.tech)
		105 points by 6581 10 hours ago \| hide \| 32 comments
21.		Launch HN: Airweave (YC X25) – Let agents search any app (github.com/airweave-ai)
		147 points by lennertjansen 15 hours ago \| hide \| 23 comments
22.		An opinionated critique of Duolingo (isomorphism.xyz)
		190 points by agnishom 18 hours ago \| hide \| 201 comments
23.		Pasta Cooking Time (jefftk.com)
		162 points by bariumbitmap 19 hours ago \| hide \| 155 comments
24.		Kagi News (kagi.com)
		830 points by grappler 16 hours ago \| hide \| 389 comments
25.		Atuin Desktop: Runbooks That Run – Now Open Source (atuin.sh)
		215 points by digdugdirk 11 hours ago \| hide \| 66 comments
26.		Software essays that shaped me (refactoringenglish.com)
		188 points by mtlynch 9 hours ago \| hide \| 29 comments
27.		Organize your Slack channels by "How Often", not "What" (aggressivelyparaphrasing.me)
		92 points by todsacerdoti 11 hours ago \| hide \| 46 comments
28.		Coding a new BASIC interpreter in 2025 to replace a slow one (nanochess.org)
		67 points by nanochess 11 hours ago \| hide \| 15 comments
29.		Random Attractors – Found using Lyapunov Exponents (2001) (paulbourke.net)
		118 points by cs702 16 hours ago \| hide \| 27 comments
30.		Basic Dialects, IDEs, and Tutorials (github.com/johnblood)
		3 points by andsoitis 2 hours ago \| hide \| discuss
		More