Hacker News

1.		Qwen2.5-VL-32B: Smarter and Lighter (qwenlm.github.io)
		285 points by tosh 5 hours ago \| hide \| 137 comments
2.		Gatehouse – a composable, async-friendly authorization policy framework in Rust (github.com/thepartly)
		23 points by hardbyte 1 hour ago \| hide \| 10 comments
3.		Triforce – a beamformer for Apple Silicon laptops (crates.io)
		415 points by tosh 9 hours ago \| hide \| 166 comments
4.		Aircraft Detection at Planetary Scale (planet.com)
		38 points by jjwiseman 3 hours ago \| hide \| 37 comments
5.		CO2 laser enables long-range detection of radioactive material (physicsworld.com)
		47 points by EA-3167 5 hours ago \| hide \| 10 comments
6.		Arc-AGI-2 and ARC Prize 2025 (arcprize.org)
		49 points by gkamradt 3 hours ago \| hide \| 17 comments
7.		Intel: A Bug and a Pro – By Bradford Morgan White (abortretry.fail)
		21 points by rbanffy 2 hours ago \| hide \| 5 comments
8.		The Prospero Challenge (mattkeeter.com)
		61 points by jstanley 5 hours ago \| hide \| 20 comments
9.		The Peano Axioms: Building Blocks of Arithmetic (principlesofcryptography.com)
		51 points by ulugh 4 hours ago \| hide \| 20 comments
10.		Mastering Delphi 5 2025 Annotated Edition Is Now Complete (marcocantu.com)
		139 points by mariuz 8 hours ago \| hide \| 70 comments
11.		Project Operation Whitecoat (2010) (csusb.edu)
		95 points by smegger001 7 hours ago \| hide \| 67 comments
12.		600M years of shared environmental stress response found in algae and plants (phys.org)
		51 points by PaulHoule 8 hours ago \| hide \| 4 comments
13.		The game designer playing through his own psyche (newyorker.com)
		125 points by FinnLobsien 11 hours ago \| hide \| 61 comments
14.		Goblin.tools: simple, single-task tools to help neurodivergent people with tasks (goblin.tools)
		280 points by ValentineC 9 hours ago \| hide \| 152 comments
15.		The earliest versions of the first C compiler known to exist (github.com/mortdeus)
		292 points by diginova 16 hours ago \| hide \| 122 comments
16.		MRubyD: A new mruby virtual machine implemented in pure C# (github.com/hadashia)
		8 points by ksec 2 hours ago \| hide \| 2 comments
17.		Rickover's Lessons (chinatalk.media)
		88 points by pepys 11 hours ago \| hide \| 78 comments
18.		I won't connect my dishwasher to your cloud (jeffgeerling.com)
		199 points by HieronymusBosch 6 hours ago \| hide \| 137 comments
19.		The Wright brothers invented the airplane, right? Not if you're in Brazil (washingtonpost.com)
		195 points by benbreen 17 hours ago \| hide \| 422 comments
20.		Researchers search for more precise ways to measure pain (washingtonpost.com)
		60 points by Petiver 11 hours ago \| hide \| 61 comments
21.		Mruby/C and picoruby: high level langs in low-level devices? (github.com/picoruby)
		49 points by rahil627 10 hours ago \| hide \| 13 comments
22.		Show HN: LinkedIn sucks, so I built a better one (heyopenspot.com)
		355 points by fliellerjulian 1 day ago \| hide \| 305 comments
23.		Autology: A Lisp with access to its own interpreter (github.com/kimbsy)
		100 points by simonpure 15 hours ago \| hide \| 43 comments
24.		Cottagecore Programmers (tjmorley.com)
		63 points by morleytj 3 hours ago \| hide \| 108 comments
25.		Project Aardvark: reimagining AI weather prediction (turing.ac.uk)
		284 points by bentobean 1 day ago \| hide \| 127 comments
26.		Mathematicians uncover the logic behind how people walk in crowds (news.mit.edu)
		27 points by geox 3 hours ago \| hide \| 9 comments
27.		A proof checker meant for education (jsiek.github.io)
		120 points by alabhyajindal 17 hours ago \| hide \| 25 comments
28.		Langfuse (YC W23) Is Hiring in Berlin, Germany (langfuse.com)
		14 hours ago \| hide
29.		Quadlet: Running Podman containers under systemd (mo8it.com)
		260 points by gjvc 23 hours ago \| hide \| 60 comments
30.		Aiter: AI Tensor Engine for ROCm (amd.com)
		164 points by hochmartinez 1 day ago \| hide \| 64 comments
		More