rck's favorites | Hacker News

1.		Case study: Creative math – How AI fakes proofs (tomaszmachnik.pl)
		122 points by musculus 1 day ago \| 91 comments
2.		Vibe coding kills open source (arxiv.org)
		307 points by kgwgk 19 hours ago \| 267 comments
3.		MapLibre Tile: a modern and efficient vector tile format (maplibre.org)
		416 points by todsacerdoti 22 hours ago \| 81 comments
4.		FAA institutes nationwide drone no-fly zones around ICE operations (aerotime.aero)
		292 points by dayofthedaleks 1 day ago \| 213 comments
5.		Maze Algorithms (2017) (jamisbuck.org)
		175 points by surprisetalk 3 days ago \| 38 comments
6.		Ask HN: What's the current best local/open speech-to-speech setup?
		254 points by dsrtslnd23 3 days ago \| 61 comments
7.		Extracting verified C++ from the Rocq theorem prover at Bloomberg (bloomberg.github.io)
		129 points by clarus 6 days ago \| 35 comments
8.		What has Docker become? (tuananh.net)
		262 points by tuananh 3 days ago \| 283 comments
9.		What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute (buzzsprout.com)
		14 points by matt_d 10 days ago \| 1 comment
10.		Why does SSH send 100 packets per keystroke? (eieio.games)
		658 points by eieio 4 days ago \| 362 comments
11.		Design Thinking Books (2024) (designorate.com)
		305 points by rrm1977 4 days ago \| 143 comments
12.		Show HN: Sweep, Open-weights 1.5B model for next-edit autocomplete (huggingface.co)
		532 points by williamzeng0 5 days ago \| 152 comments
13.		In Europe, wind and solar overtake fossil fuels (yale.edu)
		711 points by speckx 4 days ago \| 772 comments
14.		Qwen3-TTS family is now open sourced: Voice design, clone, and generation (qwen.ai)
		739 points by Palmik 4 days ago \| 225 comments
15.		Linux from Scratch (linuxfromscratch.org)
		411 points by Alupis 5 days ago \| 103 comments
16.		Nvidia Stock Crash Prediction (entropicthoughts.com)
		454 points by todsacerdoti 6 days ago \| 373 comments
17.		Which AI Lies Best? A game theory classic designed by John Nash (so-long-sucker.vercel.app)
		194 points by lout332 6 days ago \| 80 comments
18.		Electricity use of AI coding agents (simonpcouch.com)
		118 points by linolevan 6 days ago \| 65 comments
19.		Starting from scratch: Training a 30M Topological Transformer (tuned.org.uk)
		144 points by tuned 8 days ago \| 58 comments
20.		An Elizabethan mansion's secrets for staying warm (bbc.com)
		185 points by Tachyooon 9 days ago \| 180 comments
21.		Use of Bayesian methodology in clinical trials of drug and biological products [pdf] (fda.gov)
		71 points by brendanashworth 12 days ago \| 22 comments
22.		Pocket TTS: A high quality TTS that gives your CPU a voice (kyutai.org)
		635 points by pain_perdu 12 days ago \| 158 comments
23.		My Gripes with Prolog (buttondown.com/hillelwayne)
		155 points by azhenley 11 days ago \| 102 comments
24.		The 3D Software Rendering Technology of 1998's Thief: The Dark Project (2019) (nothings.org)
		159 points by suioir 11 days ago \| 58 comments
25.		AI generated music barred from Bandcamp (reddit.com)
		949 points by cdrnsf 13 days ago \| 726 comments
26.		Running Lean at Scale (harmonic.fun)
		67 points by eab- 13 days ago \| 6 comments
27.		Games Workshop bans staff from using AI (ign.com)
		232 points by jsheard 13 days ago \| 127 comments
28.		The U.S. Government Just Followed Through on Its Ban of DJI Drones (popularmechanics.com)
		202 points by DamnInteresting 18 days ago \| 308 comments
29.		I'm making a game engine based on dynamic signed distance fields (SDFs) [video] (youtube.com)
		451 points by imagiro 18 days ago \| 78 comments
30.		AI coding assistants are getting worse? (ieee.org)
		451 points by voxadam 18 days ago \| 740 comments
		More