Hacker News

1.		The foundations of a provably secure operating system (PSOS) (1979) [pdf] (sri.com)
		30 points by rurban 1 hour ago \| hide \| 10 comments
2.		Where Are the Vibecoded Photoshops? (indiepixel.de)
		86 points by gizmo64k 1 hour ago \| hide \| 52 comments
3.		GenCAD (gencad.github.io)
		338 points by dagenix 13 hours ago \| hide \| 86 comments
4.		Multiple commencement speakers booed for AI comments during graduation speeches (nbcnews.com)
		58 points by wrxd 1 hour ago \| hide \| 27 comments
5.		Crystals found inside wreckage from the first nuclear bomb test (scientificamerican.com)
		89 points by jumploops 7 hours ago \| hide \| 32 comments
6.		It is time to give up the dualism introduced by the debate on consciousness (noemamag.com)
		102 points by ahalbert4 8 hours ago \| hide \| 259 comments
7.		I turned a $80 RK3562 Android tablet into a Debian Linux workstation (github.com/tech4bot)
		377 points by tech4bot 21 hours ago \| hide \| 174 comments
8.		Ask an Astronaut: 333 hours of Q&A footage with astronauts (issinrealtime.org)
		155 points by gaws 13 hours ago \| hide \| 12 comments
9.		Jank now has its own custom IR (jank-lang.org)
		152 points by DASD 13 hours ago \| hide \| 26 comments
10.		kharp – k version 3 Language Interpreter in C# (github.com/erufian)
		32 points by tosh 6 hours ago \| hide \| 4 comments
11.		Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep (github.com/minishlab)
		345 points by Bibabomas 19 hours ago \| hide \| 113 comments
12.		Profunctor Equipment in Haskell (bartoszmilewski.com)
		26 points by g0xA52A2A 6 hours ago \| hide \| 4 comments
13.		Prolog Coding Horror (metalevel.at)
		147 points by RohanAdwankar 13 hours ago \| hide \| 60 comments
14.		WriteUp: 16 Bytes of x86 that turn Matrix rain into sound (111mb.de)
		149 points by HellMood 11 hours ago \| hide \| 31 comments
15.		Why is Google Maps back to showing old satellite images of Altadena? (reddit.com)
		30 points by tgrowazay 2 hours ago \| hide \| 14 comments
16.		A Good Lemma Is Worth a Thousand Theorems (2007) (rutgers.edu)
		64 points by susam 11 hours ago \| hide \| 13 comments
17.		Tesla Solar Roof is on life support as it pivot to panels (electrek.co)
		268 points by celsoazevedo 1 day ago \| hide \| 274 comments
18.		Build a Radio Wave Detector with Balls of Aluminum Foil (wired.com)
		16 points by Brajeshwar 6 hours ago \| hide \| 4 comments
19.		Magical Realism: “Northern Exposure” 25 Years Later (2015) (rogerebert.com)
		118 points by walterbell 16 hours ago \| hide \| 51 comments
20.		Graphing Scientific Calculator Based on the ESP32 (github.com/el-enderj)
		3 points by uticus 3 hours ago \| hide \| discuss
21.		Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely (idahonews.com)
		200 points by ChrisArchitect 13 hours ago \| hide \| 201 comments
22.		CUDA Books (github.com/alternbits)
		199 points by dariubs 22 hours ago \| hide \| 49 comments
23.		Hindenburg’s Smoking Room (airships.net)
		206 points by crescit_eundo 21 hours ago \| hide \| 165 comments
24.		Prolog Basics Explained with Pokémon (unplannedobsolescence.com)
		257 points by birdculture 1 day ago \| hide \| 41 comments
25.		I don't think AI will make your processes go faster (frederickvanbrabant.com)
		603 points by TheEdonian 22 hours ago \| hide \| 410 comments
26.		High-Entropy Alloy (wikipedia.org)
		139 points by leonidasrup 23 hours ago \| hide \| 23 comments
27.		Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries (science.org)
		65 points by gmays 16 hours ago \| hide \| 29 comments
28.		Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting (github.com/abgeo)
		21 points by ABGEO 8 hours ago \| hide \| 7 comments
29.		Trials on veterans suggest ibogaine could provide a new treatment for PTSD (bbc.com)
		98 points by bushwart 22 hours ago \| hide \| 106 comments
30.		Colossus: The Forbin Project (wikipedia.org)
		241 points by doener 1 day ago \| hide \| 96 comments
		More