news, !paper 2025-06-20

1271 Frequent reauth doesn't make you more secure / tailscale.com / 518

1247 A receipt printer cured my procrastination / laurieherault.com / 599

939 Magistral — the first reasoning model by Mistral AI / mistral.ai / 424

933 If the moon were only 1 pixel: A tediously accurate solar system model (2014) / joshworth.com / 261

798 Jemalloc Postmortem / jasone.github.io / 235

770 Research suggests Big Bang may have taken place inside a black hole / port.ac.uk / 604

731 US-backed Israeli company's spyware used to target European journalists / apnews.com / 382

683 I convinced HP's board to buy Palm and watched them kill it / philmckinney.substack.com / 495

668 Chatterbox TTS / github.com/resemble-ai / 188

614 How I program with agents / crawshaw.io / 294

580 Launch HN: Vassar Robotics (YC X25) – $219 robot arm that learns new skills / news.ycombinator.com / 219

507 Waymo rides cost more than Uber or Lyft and people are paying anyway / techcrunch.com / 886

480 I have reimplemented Stable Diffusion 3.5 from scratch in pure PyTorch / github.com/yousef-rafat / 77

468 Meta invests $14.3B in Scale AI to kick-start superintelligence lab / nytimes.com / 477

420 Rendering Crispy Text on the GPU / osor.io / 131

416 Show HN: I made a 3D printed VTOL drone / tsungxu.com / 144

391 Endometriosis is an interesting disease / owlposting.com / 277

388 iPhone 11 emulation done in QEMU / github.com/ChefKissInc / 33

377 Show HN: Spark, An advanced 3D Gaussian Splatting renderer for Three.js / sparkjs.dev / 86

366 Microsoft Office migration from Source Depot to Git / danielsada.tech / 276

351 Menstrual tracking app data is gold mine for advertisers that risks women safety / cam.ac.uk / 382

343 Seven replies to the viral Apple reasoning paper and why they fall short / garymarcus.substack.com / 312

328 TimeGuessr / timeguessr.com / 64

312 Show HN: Tritium – The Legal IDE in Rust / tritium.legal / 168

311 OxCaml - a set of extensions to the OCaml programming language. / oxcaml.org / 118

297 Plants hear their pollinators, and produce sweet nectar in response / cbc.ca / 66

289 OpenAI o3-pro / help.openai.com / 199

287 Rust compiler performance / kobzol.github.io / 259

283 Maximizing Battery Storage Profits via High-Frequency Intraday Trading / arxiv.org / 268

273 Solar Orbiter gets world-first views of the Sun's poles / esa.int / 28

250 The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More / wsj.com / 191

249 I will do anything to end homelessness except build more homes (2018) / mcsweeneys.net / 352

244 Peano arithmetic is enough, because Peano arithmetic encodes computation / math.stackexchange.com / 139

244 Self-Adapting Language Models / arxiv.org / 75

236 Phoenix.new – Remote AI Runtime for Phoenix / fly.io / 113

235 A dark adtech empire fed by fake CAPTCHAs / krebsonsecurity.com / 119

232 Learn Makefiles / makefiletutorial.com / 118

223 SIMD-friendly algorithms for substring searching (2016) / 0x80.pl / 35

218 Why Koreans ask what year you were born / bryanhogan.com / 358

218 Q-learning is not yet scalable / seohong.me / 48

216 Last fifty years of integer linear programming: Recent practical advances (2024) / inria.hal.science / 82

216 Implementing Logic Programming / btmc.substack.com / 77

214 Infinite Grid of Resistors / mathpages.com / 109

213 Show HN: A “Course” as an MCP Server / mastra.ai / 32

209 First thoughts on o3 pro / latent.space / 237

204 Student discovers fungus predicted by Albert Hoffman / wvutoday.wvu.edu / 152

198 Helion: A modern fast paced Doom FPS engine in C# / github.com/Helion-Engine / 67

192 Congestion pricing in Manhattan is a predictable success / economist.com / 288

192 Fine-tuning LLMs is a waste of time / codinginterviewsmadesimple.substack.com / 88

190 Break Up Big Tech: Civil Society Declaration / peoplevsbig.tech / 153

174 The Many Sides of Erik Satie / thereader.mitpress.mit.edu / 44

173 Cray versus Raspberry Pi / aardvark.co.nz / 130

173 Inside the Apollo “8-Ball” FDAI (Flight Director / Attitude Indicator) / righto.com / 39

171 Asterinas: A new Linux-compatible kernel project / lwn.net / 61

166 Quantum Computation Lecture Notes (2022) / math.mit.edu / 48

162 The curious case of shell commands, or how "this bug is required by POSIX" (2021) / notes.volution.ro / 125

152 Faster, easier 2D vector rendering [video] / youtube.com / 43

152 Show HN: McWig – A modal, Vim-like text editor written in Go / github.com/firstrow / 27

146 Chicken Eyeglasses / en.wikipedia.org / 76

137 Show HN: Eyesite – Experimental website combining computer vision and web design / blog.andykhau.com / 25

136 JavaScript broke the web (and called it progress) / jonoalderson.com / 152

136 Lessons from That 1834 Landscape Gardening Guidebook / fi-le.net / 26

135 Unsupervised Elicitation of Language Models / arxiv.org / 24

135 Text-to-LoRA: Hypernetwork that generates task-specific LLM adapters (LoRAs) / github.com/SakanaAI / 17

133 AMD's AI Future Is Rack Scale 'Helios' / morethanmoore.substack.com / 82

130 Filedb: Disk-based key-value store inspired by Bitcask / github.com/rajivharlalka / 14

128 Debunking HDR [video] / yedlin.net / 74

128 Oklo, the Earth's Two-billion-year-old only Known Natural Nuclear Reactor (2018) / iaea.org / 45

125 When random people give money to random other people (2017) / quomodocumque.wordpress.com / 88

124 How to Build Conscious Machines / osf.io / 145

124 The international standard for identifying postal items / akpain.net / 27

123 Show HN: High End Color Quantizer / github.com/big-nacho / 34

121 100 years of Zermelo's axiom of choice: What was the problem with it? (2006) / research.mietek.io / 129

117 Meta announces Oakley smart glasses / theverge.com / 209

116 The hunt for Marie Curie's radioactive fingerprints in Paris / bbc.com / 97

112 Show HN: DIY virtual HDMI monitor using "AR" glasses / github.com/mgschwan / 79

112 Cure Dolly's Japanese Grammar Lessons / kellenok.github.io / 29

109 Meta-analysis of three different notions of software complexity / typesanitizer.com / 19

106 OpenPlanetData – Free Daily Planet OSM PBF and GOL Indexed Snapshots / openplanetdata.com / 14

105 Chemical knowledge and reasoning of large language models vs. chemist expertise / nature.com / 79

105 Virtual cells / udara.io / 18

102 Wrong ways to use the databases, when the pendulum swung too far / luu.io / 103

102 Visualizing environmental costs of war in Hayao Miyazaki's Nausicaä / jgeekstudies.org / 34

101 Me an' Algernon – grappling with (temporary) cognitive decline / tidyfirst.substack.com / 75

101 Using computers more freely and safely (2023) / akkartik.name / 22

100 Reflections on Sudoku, or the Impossibility of Systematizing Thought / rjp.io / 66

a hack by dynin labs