soupspaces's favorites

1.		Formal methods and the future of programming (janestreet.com)
		318 points by eatonphil 1 day ago \| 99 comments
2.		United States vs. Swartz (wikipedia.org)
		1 point by FillardMillmore on June 23, 2020
3.		Making a vintage LLM from scratch (crlf.link)
		101 points by croqaz 4 days ago \| 29 comments
4.		Pokémon Go Scans Trained the Navigation Tech for Military Drones (dronexl.co)
		715 points by vrganj 4 days ago \| 316 comments
5.		Ask HN: What was your "oh shit" moment with GenAI?
		737 points by andrehacker 10 days ago \| 1123 comments
6.		Pwnd Blaster: Hacking your PC using your speaker without ever touching it (nns.ee)
		699 points by xx_ns 12 days ago \| 122 comments
7.		Use your Nvidia GPU's VRAM as swap space on Linux (github.com/c0dejedi)
		472 points by tanelpoder 12 days ago \| 126 comments
8.		Corporate America Is Starting to Ration AI as Cost Skyrockets (wsj.com)
		188 points by 1vuio0pswjnm7 16 days ago \| 179 comments
9.		Math-to-Manim (github.com/harleycoops)
		64 points by georgewsinger 19 days ago \| 7 comments
10.		The dead economy theory (owenmcgrann.com)
		1359 points by WillDaSilva 16 days ago \| 1426 comments
11.		Navier-Stokes fluid simulation explained with Godot game engine (myzopotamia.dev)
		245 points by myzek 19 days ago \| 35 comments
12.		Human Bottlenecks (borretti.me)
		149 points by zdw 22 days ago \| 39 comments
13.		How Shamir's Secret Sharing Works (ente.com)
		397 points by subract 20 days ago \| 83 comments
14.		The Art of Money Getting (kk.org)
		409 points by dxs 23 days ago \| 225 comments
15.		Hengefinder: Finding when the sun aligns with your street (victoriaritvo.com)
		201 points by evakhoury 23 days ago \| 45 comments
16.		Formal Verification Gates for AI Coding Loops (reubenbrooks.dev)
		144 points by pyrex41 25 days ago \| 34 comments
17.		Show HN: Number Gacha, a gacha game distilled to its essence (isabisabel.com)
		268 points by babel16 32 days ago \| 143 comments
18.		The Four Horsemen of the LLM Apocalypse (anarc.at)
		60 points by edward 28 days ago \| 10 comments
19.		I love Linux, but I can't quit Windows (jpain.io)
		121 points by speckx 30 days ago \| 221 comments
20.		Futhark by example (2020) (futhark-lang.org)
		125 points by tosh 30 days ago \| 38 comments
21.		Using YouTube to steal your files (lyra.horse)
		176 points by breakingcups on Sept 21, 2024 \| 24 comments
22.		Economic costs of war (brown.edu)
		666 points by hncurious on Aug 16, 2021 \| 573 comments
23.		NYT and vaping: How to lie by saying only true things (2022) (gwern.net)
		127 points by Ariarule 30 days ago \| 82 comments
24.		'No way to prevent this,' says only package manager where this regularly happens (kevinpatel.xyz)
		452 points by alligatorplum 30 days ago \| 218 comments
25.		Explore Wikipedia Like a Windows XP Desktop (samismith.com)
		539 points by smusamashah 31 days ago \| 122 comments
26.		Gödel Machine (wikipedia.org)
		118 points by jonbaer on March 28, 2019 \| 37 comments
27.		Fixed-point combinator (wikipedia.org)
		54 points by tosh on Feb 23, 2024 \| 26 comments
28.		Local AI needs to be the norm (unix.foo)
		1903 points by cylo 35 days ago \| 749 comments
29.		Think Linear Algebra (2023) (allendowney.github.io)
		225 points by tamnd 36 days ago \| 35 comments
30.		Loess Regression (wikipedia.org)
		27 points by dedalus on March 24, 2023 \| 5 comments
		More