fp.

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

http://www.csl.sri.com/users/neumann/psos.pdf

43•rurban•2h ago•17 comments

The Global Fertility Crisis Is Worse Than You Probably Think

https://www.derekthompson.org/p/why-the-whole-world-stopped-having

4•momentmaker•19m ago•0 comments

GenCAD

https://gencad.github.io/

351•dagenix•14h ago•89 comments

Crystals found inside wreckage from the first nuclear bomb test

https://www.scientificamerican.com/article/strange-crystals-found-inside-wreckage-from-the-first-...

97•jumploops•2d ago•35 comments

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

https://www.noemamag.com/there-is-no-hard-problem-of-consciousness/

116•ahalbert4•8h ago•295 comments

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

https://github.com/tech4bot/rk3562deb

383•tech4bot•22h ago•179 comments

NASA still maintains some of the Voyager spacecraft code from the 70s era

https://spacedaily.com/nasa-still-maintains-some-of-the-voyager-spacecraft-code-in-a-1970s-era-pr...

17•redbell•1h ago•7 comments

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

https://askanastronaut.issinrealtime.org/

157•gaws•2d ago•14 comments

Where Are the Vibecoded Photoshops?

https://indiepixel.de/blog/posts/where-are-the-vibecoded-photoshops/

130•gizmo64k•2h ago•124 comments

Jank now has its own custom IR

https://jank-lang.org/blog/2026-05-08-optimization/

165•DASD•2d ago•30 comments

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

https://github.com/MinishLab/semble

353•Bibabomas•20h ago•119 comments

kharp – k version 3 Language Interpreter in C#

https://github.com/ERufian/ksharp

39•tosh•1d ago•5 comments

Prolog Coding Horror

https://www.metalevel.at/prolog/horror

152•RohanAdwankar•14h ago•61 comments

Profunctor Equipment in Haskell

https://bartoszmilewski.com/2026/05/16/profunctor-equipment-in-haskell/

27•g0xA52A2A•1d ago•5 comments

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

https://hellmood.111mb.de//wake_up_16b_writeup.html

151•HellMood•12h ago•31 comments

A Good Lemma Is Worth a Thousand Theorems (2007)

https://sites.math.rutgers.edu/~zeilberg/Opinion82.html

67•susam•2d ago•13 comments

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

https://www.reddit.com/r/pasadena/s/94BHlkE84r

38•tgrowazay•3h ago•20 comments

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

https://electrek.co/2026/05/14/tesla-solar-roof-promise-vs-reality-pivot-panels/

278•celsoazevedo•1d ago•283 comments

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

https://idahonews.com/news/local/two-f-18-fighter-jets-have-crashed-during-an-airshow-at-mountain...

208•ChrisArchitect•13h ago•204 comments

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

https://www.rogerebert.com/streaming/magical-realism-nothern-exposure-25-years-later

119•walterbell•2d ago•54 comments

Build a Radio Wave Detector with Balls of Aluminum Foil

https://www.wired.com/story/build-a-radio-wave-detector-with-balls-of-aluminum-foil/

17•Brajeshwar•2d ago•5 comments

CUDA Books

https://github.com/alternbits/awesome-cuda-books

202•dariubs•22h ago•51 comments

Hindenburg’s Smoking Room

https://www.airships.net/hindenburg-smoking-room/

209•crescit_eundo•3d ago•166 comments

Prolog Basics Explained with Pokémon

https://unplannedobsolescence.com/blog/prolog-basics-pokemon/

258•birdculture•3d ago•42 comments

Graphing Scientific Calculator Based on the ESP32

https://github.com/El-EnderJ/NeoCalculator

6•uticus•2d ago•1 comments

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

https://frederickvanbrabant.com/blog/2026-05-15-i-dont-think-ai-will-make-your-processes-go-faster/

613•TheEdonian•23h ago•413 comments

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

https://www.science.org/content/article/scientists-id-corkscrew-killer-behind-gruesome-seal-deaths

71•gmays•3d ago•30 comments

High-Entropy Alloy

https://en.wikipedia.org/wiki/High-entropy_alloy

139•leonidasrup•4d ago•23 comments

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

https://github.com/ABGEO/mezz

23•ABGEO•2d ago•8 comments

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

https://www.bbc.com/future/article/20260514-how-hallucinogenic-ibogaine-helps-veterans-overcome-ptsd

101•bushwart•23h ago•112 comments

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

The Global Fertility Crisis Is Worse Than You Probably Think

GenCAD

Crystals found inside wreckage from the first nuclear bomb test

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

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

NASA still maintains some of the Voyager spacecraft code from the 70s era

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

Where Are the Vibecoded Photoshops?

Jank now has its own custom IR

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

kharp – k version 3 Language Interpreter in C#

Prolog Coding Horror

Profunctor Equipment in Haskell

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

A Good Lemma Is Worth a Thousand Theorems (2007)

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

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

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

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

Build a Radio Wave Detector with Balls of Aluminum Foil

CUDA Books

Hindenburg’s Smoking Room

Prolog Basics Explained with Pokémon

Graphing Scientific Calculator Based on the ESP32

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

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

High-Entropy Alloy

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

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

Graphing Scientific Calculator Based on the ESP32

Comments

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

The Global Fertility Crisis Is Worse Than You Probably Think

GenCAD

Crystals found inside wreckage from the first nuclear bomb test

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

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

NASA still maintains some of the Voyager spacecraft code from the 70s era

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

Where Are the Vibecoded Photoshops?

Jank now has its own custom IR

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

kharp – k version 3 Language Interpreter in C#

Prolog Coding Horror

Profunctor Equipment in Haskell

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

A Good Lemma Is Worth a Thousand Theorems (2007)

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

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

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

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

Build a Radio Wave Detector with Balls of Aluminum Foil

CUDA Books

Hindenburg’s Smoking Room

Prolog Basics Explained with Pokémon

Graphing Scientific Calculator Based on the ESP32

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

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

High-Entropy Alloy

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

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