Hacker News

1.		The foundations of a provably secure operating system (PSOS) (1979) [pdf] (sri.com)
		44 points by rurban 2 hours ago \| hide \| 22 comments
2.		GenCAD (gencad.github.io)
		353 points by dagenix 14 hours ago \| hide \| 91 comments
3.		Crystals found inside wreckage from the first nuclear bomb test (scientificamerican.com)
		102 points by jumploops 8 hours ago \| hide \| 35 comments
4.		It is time to give up the dualism introduced by the debate on consciousness (noemamag.com)
		127 points by ahalbert4 8 hours ago \| hide \| 307 comments
5.		Dogme 25 – Vow of Chastity (dogma25.dk)
		7 points by internet_points 1 hour ago \| hide \| 1 comment
6.		I turned a $80 RK3562 Android tablet into a Debian Linux workstation (github.com/tech4bot)
		385 points by tech4bot 22 hours ago \| hide \| 185 comments
7.		NASA still maintains some of the Voyager spacecraft code from the 70s era (spacedaily.com)
		18 points by redbell 1 hour ago \| hide \| 11 comments
8.		Ask an Astronaut: 333 hours of Q&A footage with astronauts (issinrealtime.org)
		158 points by gaws 14 hours ago \| hide \| 15 comments
9.		Jank now has its own custom IR (jank-lang.org)
		165 points by DASD 14 hours ago \| hide \| 33 comments
10.		Where Are the Vibecoded Photoshops? (indiepixel.de)
		139 points by gizmo64k 2 hours ago \| hide \| 139 comments
11.		Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep (github.com/minishlab)
		354 points by Bibabomas 20 hours ago \| hide \| 119 comments
12.		kharp – k version 3 Language Interpreter in C# (github.com/erufian)
		39 points by tosh 7 hours ago \| hide \| 6 comments
13.		Prolog Coding Horror (metalevel.at)
		154 points by RohanAdwankar 14 hours ago \| hide \| 61 comments
14.		Profunctor Equipment in Haskell (bartoszmilewski.com)
		27 points by g0xA52A2A 7 hours ago \| hide \| 5 comments
15.		WriteUp: 16 Bytes of x86 that turn Matrix rain into sound (111mb.de)
		154 points by HellMood 12 hours ago \| hide \| 31 comments
16.		Tesla Solar Roof is on life support as it pivot to panels (electrek.co)
		279 points by celsoazevedo 1 day ago \| hide \| 288 comments
17.		Why is Google Maps back to showing old satellite images of Altadena? (reddit.com)
		38 points by tgrowazay 3 hours ago \| hide \| 20 comments
18.		Math Jokes in Alice in Wonderland (storica.club)
		5 points by yekbun123 3 hours ago \| hide \| 2 comments
19.		Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely (idahonews.com)
		211 points by ChrisArchitect 14 hours ago \| hide \| 204 comments
20.		Magical Realism: “Northern Exposure” 25 Years Later (2015) (rogerebert.com)
		120 points by walterbell 17 hours ago \| hide \| 56 comments
21.		CUDA Books (github.com/alternbits)
		202 points by dariubs 23 hours ago \| hide \| 51 comments
22.		A Good Lemma Is Worth a Thousand Theorems (2007) (rutgers.edu)
		68 points by susam 12 hours ago \| hide \| 13 comments
23.		Build a Radio Wave Detector with Balls of Aluminum Foil (wired.com)
		18 points by Brajeshwar 7 hours ago \| hide \| 6 comments
24.		Hindenburg’s Smoking Room (airships.net)
		209 points by crescit_eundo 22 hours ago \| hide \| 166 comments
25.		Prolog Basics Explained with Pokémon (unplannedobsolescence.com)
		259 points by birdculture 1 day ago \| hide \| 42 comments
26.		I don't think AI will make your processes go faster (frederickvanbrabant.com)
		617 points by TheEdonian 23 hours ago \| hide \| 415 comments
27.		Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting (github.com/abgeo)
		24 points by ABGEO 9 hours ago \| hide \| 8 comments
28.		Graphing Scientific Calculator Based on the ESP32 (github.com/el-enderj)
		7 points by uticus 4 hours ago \| hide \| 3 comments
29.		Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries (science.org)
		71 points by gmays 17 hours ago \| hide \| 30 comments
30.		High-Entropy Alloy (wikipedia.org)
		141 points by leonidasrup 1 day ago \| hide \| 23 comments
		More