HNHN on the Go

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

(www.csl.sri.com)rurban
30
1h9

Where Are the Vibecoded Photoshops?

(indiepixel.de)gizmo64k
85
2h52

GenCAD

(gencad.github.io)dagenix
338
13h86

Multiple commencement speakers booed for AI comments during graduation speeches

(www.nbcnews.com)wrxd
58
2h26

Crystals found inside wreckage from the first nuclear bomb test

(www.scientificamerican.com)jumploops
89
2d32

It is time to give up the dualism introduced by the debate on consciousness

(www.noemamag.com)ahalbert4
102
8h258

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

(github.com)tech4bot
377
22h174

Ask an Astronaut: 333 hours of Q&A footage with astronauts

(askanastronaut.issinrealtime.org)gaws
155
3d12

Jank now has its own custom IR

(jank-lang.org)DASD
152
3d26

kharp – k version 3 Language Interpreter in C#

(github.com)tosh
32
1d4

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

(github.com)Bibabomas
345
19h113

Profunctor Equipment in Haskell

(bartoszmilewski.com)g0xA52A2A
26
2d4

Prolog Coding Horror

(www.metalevel.at)RohanAdwankar
147
14h60

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound

(hellmood.111mb.de)HellMood
149
12h31

Why is Google Maps back to showing old satellite images of Altadena?

(www.reddit.com)tgrowazay
30
3h14

A Good Lemma Is Worth a Thousand Theorems (2007)

(sites.math.rutgers.edu)susam
64
2d13

Tesla Solar Roof is on life support as it pivot to panels

(electrek.co)celsoazevedo
268
1d274

Build a Radio Wave Detector with Balls of Aluminum Foil

(www.wired.com)Brajeshwar
16
3d4

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

(www.rogerebert.com)walterbell
118
2d51

Graphing Scientific Calculator Based on the ESP32

(github.com)uticus
3
3d0

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

(idahonews.com)ChrisArchitect
200
13h201

CUDA Books

(github.com)dariubs
199
22h49

Hindenburg’s Smoking Room

(www.airships.net)crescit_eundo
206
4d165

Prolog Basics Explained with Pokémon

(unplannedobsolescence.com)birdculture
257
3d41

I don't think AI will make your processes go faster

(frederickvanbrabant.com)TheEdonian
603
23h410

High-Entropy Alloy

(en.wikipedia.org)leonidasrup
139
4d23

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

(www.science.org)gmays
65
4d29

Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting

(github.com)ABGEO
21
3d7

Trials on veterans suggest ibogaine could provide a new treatment for PTSD

(www.bbc.com)bushwart
98
23h106

Colossus: The Forbin Project

(en.wikipedia.org)doener
241
4d96

Mozilla to UK regulators: VPNs are essential privacy and security tools

(blog.mozilla.org)WithinReason
757
1d321

VoIP brings back old-fashioned pay phones to rural Vermont (2025)

(spectrum.ieee.org)bookofjoe
155
15h49

The SGI Buyer's Guide (2003)

(hardware.majix.org)uticus
33
3d19

C++26 Shipped a SIMD Library Nobody Asked For

(lucisqr.substack.com)signa11
192
3d156

Hosting a website on an 8-bit microcontroller

(maurycyz.com)zdw
241
1d22

AI is a technology not a product

(daringfireball.net)ch_sm
416
22h179

How diamonds are made

(diamond.jaydip.me)lemonberry
96
2d59

Microsoft admits Windows 11's dedicated Copilot key breaks certain workflows

(www.windowscentral.com)01-_-
16
2h3

Native all the way, until you need text

(justsitandgrin.im)dive
424
23h282

Mercurial, 20 years and counting: how are we still alive and kicking? [video]

(fosdem.org)ibobev
197
3d220

Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth

(www.youtube.com)tzury
33
6h4

Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP

(xca-attacks.github.io)negura
51
13h23

The History of ThinkPad: From IBM’s Bento Box to Lenovo’s AI Workstations

(www.jdhodges.com)zdw
101
13h50

Museum of Imaginary Musical Instruments

(imaginaryinstruments.org)bookofjoe
10
10h0

Zerostack – A Unix-inspired coding agent written in pure Rust

(crates.io)gidellav
549
2d303

Apple Silicon costs more than OpenRouter

(www.williamangel.net)datadrivenangel
317
23h274

Don’t Outsource the Learning

(addyosmani.com)korecodes
72
19h35

The Four Horsemen of the LLM Apocalypse

(anarc.at)edward
36
15h3

Reverse engineering Android malware from popular Chinese projectors

(zanestjohn.com)3abiton
50
10h9

Where OpenClaw Security Is Heading

(openclaw.ai)paulofeliciano
33
14h16

America's Most-Spoken Languages After English and Spanish

(www.visualcapitalist.com)RyeCombinator
48
7h26

Mado: Fast Markdown linter written in Rust

(github.com)nateb2022
60
4d2

Design posters showcasing your country's electrical grid

(github.com)lyoncy
88
12h18

Schanuel's Conjecture and the Semantics of Triton's FPSan

(cp4space.hatsya.com)c1ccccc1
26
2d5

The Third Hard Problem

(mmapped.blog)surprisetalk
153
4d64

Illusions of understanding in the sciences

(link.springer.com)sebg
106
4d54

Most Americans don't trust AI – or the people in charge of it (2025)

(www.theverge.com)cdrnsf
101
9h76

The occasional ECONNRESET

(movq.de)zdw
113
18h25

Sense Humans with WiFi – Ruview

(cognitum.one)unixhero
17
2d13

University of Arizona students boo Eric Schmidt's AI cheerleading

(www.theverge.com)latexr
86
16h1