Hacker News

1.		GenCAD (gencad.github.io)
		188 points by dagenix 7 hours ago \| hide \| 40 comments
2.		Freelang – a Libc-free, direct sys/kernel call language with weird concurrency (freelang.dev)
		5 points by keepamovin 26 minutes ago \| hide \| 1 comment
3.		I turned a $80 RK3562 Android tablet into a Debian Linux workstation (github.com/tech4bot)
		290 points by tech4bot 15 hours ago \| hide \| 132 comments
4.		Ask an Astronaut: 333 hours of Q&A footage with astronauts (issinrealtime.org)
		76 points by gaws 7 hours ago \| hide \| 8 comments
5.		Prolog Coding Horror (metalevel.at)
		79 points by RohanAdwankar 7 hours ago \| hide \| 27 comments
6.		A Good Lemma Is Worth a Thousand Theorems (2007) (rutgers.edu)
		27 points by susam 5 hours ago \| hide \| 5 comments
7.		Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely (idahonews.com)
		149 points by ChrisArchitect 7 hours ago \| hide \| 125 comments
8.		Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep (github.com/minishlab)
		239 points by Bibabomas 13 hours ago \| hide \| 69 comments
9.		WriteUp: 16 Bytes of x86 that turn Matrix rain into sound (111mb.de)
		37 points by HellMood 5 hours ago \| hide \| 3 comments
10.		Sense Humans with WiFi – Ruview (cognitum.one)
		11 points by unixhero 3 hours ago \| hide \| 3 comments
11.		Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries (science.org)
		51 points by gmays 10 hours ago \| hide \| 11 comments
12.		Magical Realism: “Northern Exposure” 25 Years Later (2015) (rogerebert.com)
		89 points by walterbell 10 hours ago \| hide \| 39 comments
13.		Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting (github.com/abgeo)
		4 points by ABGEO 2 hours ago \| hide \| discuss
14.		The SGI Buyer's Guide (2003) (majix.org)
		11 points by uticus 4 hours ago \| hide \| 5 comments
15.		Jank now has its own custom IR (jank-lang.org)
		69 points by DASD 7 hours ago \| hide \| 7 comments
16.		Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP (xca-attacks.github.io)
		38 points by negura 6 hours ago \| hide \| 21 comments
17.		CUDA Books (github.com/alternbits)
		161 points by dariubs 16 hours ago \| hide \| 33 comments
18.		Most Americans don't trust AI – or the people in charge of it (2025) (theverge.com)
		61 points by cdrnsf 3 hours ago \| hide \| 41 comments
19.		Tesla Solar Roof is on life support as it pivot to panels (electrek.co)
		201 points by celsoazevedo 1 day ago \| hide \| 201 comments
20.		I don't think AI will make your processes go faster (frederickvanbrabant.com)
		527 points by TheEdonian 16 hours ago \| hide \| 372 comments
21.		Prolog Basics Explained with Pokémon (unplannedobsolescence.com)
		220 points by birdculture 20 hours ago \| hide \| 34 comments
22.		Hindenburg’s Smoking Room (airships.net)
		170 points by crescit_eundo 15 hours ago \| hide \| 134 comments
23.		High-Entropy Alloy (wikipedia.org)
		120 points by leonidasrup 17 hours ago \| hide \| 23 comments
24.		Mercurial, 20 years and counting: how are we still alive and kicking? [video] (fosdem.org)
		175 points by ibobev 12 hours ago \| hide \| 176 comments
25.		VoIP brings back old-fashioned pay phones to rural Vermont (2025) (ieee.org)
		133 points by bookofjoe 9 hours ago \| hide \| 40 comments
26.		Trials on veterans suggest ibogaine could provide a new treatment for PTSD (bbc.com)
		85 points by bushwart 16 hours ago \| hide \| 90 comments
27.		Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth (youtube.com)
		3 points by tzury 19 minutes ago \| hide \| discuss
28.		The History of ThinkPad: From IBM’s Bento Box to Lenovo’s AI Workstations (jdhodges.com)
		75 points by zdw 7 hours ago \| hide \| 41 comments
29.		A nicer voltmeter clock (lcamtuf.substack.com)
		322 points by surprisetalk 1 day ago \| hide \| 43 comments
30.		Colossus: The Forbin Project (wikipedia.org)
		224 points by doener 1 day ago \| hide \| 90 comments
		More