The foundations of a provably secure operating system (PSOS) (1979) [pdf] (csl.sri.com)

44 points by rurban 2 hours ago | 24 comments

GenCAD (gencad.github.io)

353 points by dagenix 14 hours ago | 91 comments

Crystals found inside wreckage from the first nuclear bomb test (scientificamerican.com)

102 points by jumploops 3 days ago | 35 comments

It is time to give up the dualism introduced by the debate on consciousness (noemamag.com)

127 points by ahalbert4 9 hours ago | 309 comments

Dogme 25 – Vow of Chastity (dogma25.dk)

7 points by internet_points 2 hours ago | 2 comments

I turned a $80 RK3562 Android tablet into a Debian Linux workstation (github.com)

385 points by tech4bot a day ago | 185 comments

NASA still maintains some of the Voyager spacecraft code from the 70s era (spacedaily.com)

19 points by redbell an hour ago | 11 comments

Ask an Astronaut: 333 hours of Q&A footage with astronauts (askanastronaut.issinrealtime.org)

158 points by gaws 3 days ago | 15 comments

Jank now has its own custom IR (jank-lang.org)

165 points by DASD 3 days ago | 33 comments

Where Are the Vibecoded Photoshops? (indiepixel.de)

142 points by gizmo64k 3 hours ago | 141 comments

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep (github.com)

354 points by Bibabomas 20 hours ago | 119 comments

kharp – k version 3 Language Interpreter in C# (github.com)

39 points by tosh a day ago | 6 comments

Prolog Coding Horror (metalevel.at)

154 points by RohanAdwankar 15 hours ago | 61 comments

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound (hellmood.111mb.de)

155 points by HellMood 13 hours ago | 31 comments

Profunctor Equipment in Haskell (bartoszmilewski.com)

27 points by g0xA52A2A 2 days ago | 5 comments

Tesla Solar Roof is on life support as it pivot to panels (electrek.co)

279 points by celsoazevedo a day ago | 288 comments

Why is Google Maps back to showing old satellite images of Altadena? (reddit.com)

38 points by tgrowazay 4 hours ago | 20 comments

Math Jokes in Alice in Wonderland (storica.club)

5 points by yekbun123 4 days ago | 3 comments

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely (idahonews.com)

211 points by ChrisArchitect 14 hours ago | 204 comments

Magical Realism: “Northern Exposure” 25 Years Later (2015) (rogerebert.com)

120 points by walterbell 2 days ago | 56 comments

CUDA Books (github.com)

202 points by dariubs a day ago | 51 comments

A Good Lemma Is Worth a Thousand Theorems (2007) (sites.math.rutgers.edu)

68 points by susam 2 days ago | 13 comments

Build a Radio Wave Detector with Balls of Aluminum Foil (wired.com)

18 points by Brajeshwar 3 days ago | 6 comments

Hindenburg’s Smoking Room (airships.net)

209 points by crescit_eundo 4 days ago | 167 comments

Prolog Basics Explained with Pokémon (unplannedobsolescence.com)

259 points by birdculture 3 days ago | 42 comments

I don't think AI will make your processes go faster (frederickvanbrabant.com)

618 points by TheEdonian a day ago | 416 comments

Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting (github.com)

24 points by ABGEO 3 days ago | 8 comments

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries (science.org)

71 points by gmays 4 days ago | 30 comments

Graphing Scientific Calculator Based on the ESP32 (github.com)

7 points by uticus 3 days ago | 4 comments

High-Entropy Alloy (en.wikipedia.org)

141 points by leonidasrup 4 days ago | 23 comments