GenCAD
Translating...
(gencad.github.io)
201 points by dagenix 2026-05-18 05:40:35 | 42 comments
A Good Lemma Is Worth a Thousand Theorems (2007)
Translating...
(sites.math.rutgers.edu)
30 points by susam 2026-05-16 13:56:41 | 5 comments
I turned a $80 RK3562 Android tablet into a Debian Linux workstation
Translating...
(github.com)
294 points by tech4bot 2026-05-17 21:16:27 | 133 comments
Sense Humans with WiFi – Ruview
Translating...
(cognitum.one)
16 points by unixhero 2026-05-16 15:16:48 | 9 comments
Jank now has its own custom IR
Translating...
(jank-lang.org)
74 points by DASD 2026-05-16 01:17:04 | 7 comments
Prolog Coding Horror
Translating...
(www.metalevel.at)
87 points by RohanAdwankar 2026-05-18 05:15:51 | 27 comments
Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely
Translating...
(idahonews.com)
154 points by ChrisArchitect 2026-05-18 05:45:30 | 127 comments
Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep
Translating...
(github.com)
247 points by Bibabomas 2026-05-17 23:37:07 | 78 comments
WriteUp: 16 Bytes of x86 that turn Matrix rain into sound
Translating...
(hellmood.111mb.de)
53 points by HellMood 2026-05-18 07:10:09 | 3 comments
Ask an Astronaut: 333 hours of Q&A footage with astronauts
Translating...
(askanastronaut.issinrealtime.org)
83 points by gaws 2026-05-16 03:25:43 | 8 comments