Hacker News

61.		OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)
		170 points by ibobev 15 hours ago \| hide \| 170 comments
62.		Larger Pacific striped octopus (wikipedia.org)
		131 points by olalonde 1 day ago \| hide \| 67 comments
63.		Thinking with Looped Flows (arxiv.org)
		7 points by E-Reverance 8 hours ago \| hide \| 1 comment
64.		Embedding a bitmap font in your HyperCard stack (leadedsolder.com)
		30 points by zdw 15 hours ago \| hide \| 3 comments
65.		Creativity is the new moat (inventbuild.studio)
		160 points by virgil_disgr4ce 18 hours ago \| hide \| 96 comments
66.		Knap – Turn Data into Markdown (knap.md)
		31 points by coinfused 17 hours ago \| hide \| 2 comments
67.		Shopify acquires Tailwind (tailwindcss.com)
		1126 points by EdwinHoksberg 1 day ago \| hide \| 442 comments
68.		Show HN: A browser IDE for m68000, Z80 assembly (and more), with graphics (specy.app)
		27 points by specy 14 hours ago \| hide \| 2 comments
69.		Macbeth and His Problems (porticoquarterly.com)
		76 points by apophatic 22 hours ago \| hide \| 31 comments
70.		Show HN: DOOM in the kernel, or fibers in eBPF (ayles.github.io)
		47 points by ayles 20 hours ago \| hide \| 11 comments
71.		What algorithm did Windows XP use to choose your initial user picture? (devblogs.microsoft.com/oldnewthing)
		353 points by soheilpro 1 day ago \| hide \| 176 comments
72.		GPT‑Live‑1 in the API (openai.com)
		48 points by arittr 7 hours ago \| hide \| 49 comments
73.		Show HN: MultiMatte, a Promptable Image Background Removal Model (usefeyn.com)
		49 points by snyy 21 hours ago \| hide \| 8 comments
74.		Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls (pv-magazine.com)
		311 points by thelastgallon 1 day ago \| hide \| 271 comments
75.		Stockfish 19 (stockfishchess.org)
		276 points by atiedebee 1 day ago \| hide \| 163 comments
76.		Show HN: What if the speed of light was 5 km/h? (dmitrybrant.com)
		590 points by dmitrybrant 1 day ago \| hide \| 268 comments
77.		Google will buy half the electricity from one of Finland's nuclear power plants (bbc.com)
		217 points by lukaspetersson 12 hours ago \| hide \| 224 comments
78.		What do Visa and Mastercard do? An intro to card networks (tautology.town)
		660 points by evakhoury 1 day ago \| hide \| 396 comments
79.		Automattic's board forces CEO Matt Mullenweg into leave of absence (techcrunch.com)
		445 points by LeoPanthera 1 day ago \| hide \| 336 comments
80.		The UN challenges five centuries of cartography (not-ship.com)
		128 points by speckx 1 day ago \| hide \| 297 comments
81.		Roame (YC S23) Is Hiring Viral Content Editor (ycombinator.com)
		2 days ago \| hide
82.		Setting up OpenCode with Ollama and sbx on Mac (tensorsandtokens.com)
		27 points by etoxin 12 hours ago \| hide \| 13 comments
83.		The Four-Color Theorem Gets a Rare New Proof (quantamagazine.org)
		51 points by pavel_lishin 22 hours ago \| hide \| 9 comments
84.		On Next-Gen Transformer: Loops Are Not What You Need (zartbot.github.io)
		26 points by matt_d 18 hours ago \| hide \| 1 comment
85.		Apple Watch Series 12 (apple.com)
		279 points by Lealen 1 day ago \| hide \| 379 comments
86.		The Gemini app is now available for Windows (blog.google)
		51 points by quysala12 8 hours ago \| hide \| 42 comments
87.		Casablanca: How an unproduced play marched into movie history (thecollector.com)
		51 points by mdp2021 21 hours ago \| hide \| 17 comments
88.		GNU Radio in the browser (gnuradioworld.com)
		223 points by kristianpaul 1 day ago \| hide \| 34 comments
89.		Countries 15x10 Pixel Flags (github.com/igor-couto)
		15 points by lionello 13 hours ago \| hide \| 5 comments
90.		Aardman (Wallace and Gromit) Is Selling Its Original Movie Puppets (gizmodo.com)
		81 points by Gaishan 1 day ago \| hide \| 21 comments
		More