1
The foundations of a provably secure operating system (PSOS) (1979) [pdf]csl.sri.com
33 points by rurban 1 hours ago | 10 comments
2
Where Are the Vibecoded Photoshops?indiepixel.de
90 points by gizmo64k 2 hours ago | 58 comments
3
GenCADgencad.github.io
340 points by dagenix 13 hours ago | 86 comments
4
Multiple commencement speakers booed for AI comments during graduation speechesnbcnews.com
60 points by wrxd 2 hours ago | 31 comments
5
Crystals found inside wreckage from the first nuclear bomb testscientificamerican.com
91 points by jumploops 2 days ago | 32 comments
6
It is time to give up the dualism introduced by the debate on consciousnessnoemamag.com
104 points by ahalbert4 8 hours ago | 265 comments
7
I turned a $80 RK3562 Android tablet into a Debian Linux workstationgithub.com
378 points by tech4bot 22 hours ago | 174 comments
8
Ask an Astronaut: 333 hours of Q&A footage with astronautsaskanastronaut.issinrealtime.org
155 points by gaws 3 days ago | 12 comments
9
kharp – k version 3 Language Interpreter in C#github.com
33 points by tosh 1 days ago | 4 comments
10
Jank now has its own custom IRjank-lang.org
154 points by DASD 3 days ago | 27 comments
11
Show HN: Semble – Code search for agents that uses 98% fewer tokens than grepgithub.com
345 points by Bibabomas 19 hours ago | 115 comments
12
Profunctor Equipment in Haskellbartoszmilewski.com
26 points by g0xA52A2A 2 days ago | 4 comments
13
Prolog Coding Horrormetalevel.at
147 points by RohanAdwankar 14 hours ago | 60 comments
14
WriteUp: 16 Bytes of x86 that turn Matrix rain into soundhellmood.111mb.de
149 points by HellMood 12 hours ago | 31 comments
15
A Good Lemma Is Worth a Thousand Theorems (2007)sites.math.rutgers.edu
64 points by susam 2 days ago | 13 comments
16
Why is Google Maps back to showing old satellite images of Altadena?reddit.com
31 points by tgrowazay 3 hours ago | 16 comments
17
Tesla Solar Roof is on life support as it pivot to panelselectrek.co
270 points by celsoazevedo 1 days ago | 274 comments
18
Build a Radio Wave Detector with Balls of Aluminum Foilwired.com
17 points by Brajeshwar 3 days ago | 5 comments
19
Magical Realism: “Northern Exposure” 25 Years Later (2015)rogerebert.com
118 points by walterbell 2 days ago | 51 comments
20
Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safelyidahonews.com
201 points by ChrisArchitect 13 hours ago | 201 comments
21
Graphing Scientific Calculator Based on the ESP32github.com
3 points by uticus 3 days ago | 0 comments
22
CUDA Booksgithub.com
200 points by dariubs 22 hours ago | 50 comments
23
Hindenburg’s Smoking Roomairships.net
207 points by crescit_eundo 4 days ago | 165 comments
24
Prolog Basics Explained with Pokémonunplannedobsolescence.com
257 points by birdculture 3 days ago | 41 comments
25
I don't think AI will make your processes go fasterfrederickvanbrabant.com
606 points by TheEdonian 23 hours ago | 410 comments
26
High-Entropy Alloyen.wikipedia.org
139 points by leonidasrup 4 days ago | 23 comments
27
Cannibalistic attacks between gray seals leave telltale “corkscrew” injuriesscience.org
66 points by gmays 4 days ago | 29 comments
28
Trials on veterans suggest ibogaine could provide a new treatment for PTSDbbc.com
98 points by bushwart 23 hours ago | 106 comments
29
Show HN: Mezz, a curl-able WiFi sandbox for IoT pentestinggithub.com
21 points by ABGEO 3 days ago | 7 comments