frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

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

http://www.csl.sri.com/users/neumann/psos.pdf
30•rurban•1h ago

Comments

lkos•40m ago
I would honestly like to understand why Miagg's comment has been flagged.
dmoy•34m ago
Might be people just flagging so mods can make an "Is this an LLM not?" determination. I see a lot of new accounts get flagged like this (and scanning the previous comments, ehhhhh yea maybe?).

Idk, just guessing

jdougan•24m ago
At a guess, looking at his history, it's AI slop. Basic facts appear correct though.
darkwater•14m ago
Which history? it's their only comment.

It's probably a bot nonetheless, which poses the question: why do people do that? What do they gain by posting resume comments on HN with LLM bots?

jdougan•9m ago
I'm seeing about 9 comments, all flagged dead. Do you have showdead on?
usrbinenv•26m ago
I understand why in 1979 and perhaps until mid 1990s capability OS architecture might have been irrelevant and excessive. But after that, it sounds like the only architecture suitable for the internet age, where you can download and run anything from anywhere. Instead, we're stuck with legacy systems, which now contain layers of layers of abstractions and security measures. User rights, anti-virus software, vetting (signatures, hashes, app-store verification) - all become obsolete or near-obsolete in a capability-based system where a program simply doesn't have access to anything by default. Part of the appeal of virtualization is also due to the fact that it isolates programs (for instance, I only run npm inside Docker container these days, because chances are some package will contain malware at some point).

Part of it is inertia, but part of it is ignorance. Enthusiasts spend tons of money and effort building another GPU enabled terminal or safe programming languages - and maybe that's fine, but I wonder what we could've accomplished if people were simply aware what a well-designed capability OS could be like, because this is literally the only OS paradigm in existence (that I know of) that's even worth any serious effort.

haunter•20m ago
> it sounds like the only architecture suitable for the internet age, where you can download and run anything from anywhere

Wasn’t that the reason why Microsoft went allout against Java? Write once, run anywhere. JVM was a “trojan horse” and theoretically could have dominated the world.

usrbinenv•12m ago
I didn't mean it in the Java way. I meant that whatever operating system you're on, you can download random programs from the internet (compiled specifically for your OS or portable) and run it on your machine. It doesn't matter what they're written in or how they're run, it's possible on any OS connected to the internet and an OS with capabilities as first class citizens would isolate any program by default, denying it access to anything by default and severely limiting program's ability to cause harm, intentionally or unintentionally.
jdougan•6m ago
If you go through old CS OS texts on the matter, they really didn't have the same understanding of capabilities as the later object-capabilities (ocap) model. Typically they would show an access control matrix, note that acls were rows and capabilities columns and note that they are duals of one another. They're the same, acls are easier to manage, done.

OP is arguably the first paper that introduces ocaps. Sme of the issues are discussed in "Capability Mythts Demolished" https://papers.agoric.com/assets/pdf/papers/capability-myths...

Joel_Mckay•4m ago
The Market has spoken, and people use standard consumer CPU/GPU-bodge architecture in cloud data centers. Sure there are a few quality of life features different from budget retail products, but we abandoned what Sun solved with a simple encrypted mmu decades ago.

The paper adds little to TCSEC/"Orange Book"/FOLDOC publications. Yet the poster doesn't deserve all the negative karma.

On a consumer CPU/GPU/NPU, software just isn't going to be enough to fix legacy design defects. Have a great day. =3

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

http://www.csl.sri.com/users/neumann/psos.pdf
33•rurban•1h ago•10 comments

Where Are the Vibecoded Photoshops?

https://indiepixel.de/blog/posts/where-are-the-vibecoded-photoshops/
90•gizmo64k•1h ago•57 comments

GenCAD

https://gencad.github.io/
340•dagenix•13h ago•86 comments

Multiple commencement speakers booed for AI comments during graduation speeches

https://www.nbcnews.com/video/multiple-commencement-speakers-booed-for-ai-comments-during-graduat...
60•wrxd•1h ago•31 comments

Crystals found inside wreckage from the first nuclear bomb test

https://www.scientificamerican.com/article/strange-crystals-found-inside-wreckage-from-the-first-...
91•jumploops•2d ago•32 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/
104•ahalbert4•8h ago•264 comments

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

https://github.com/tech4bot/rk3562deb
378•tech4bot•21h ago•174 comments

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

https://askanastronaut.issinrealtime.org/
155•gaws•2d ago•12 comments

kharp – k version 3 Language Interpreter in C#

https://github.com/ERufian/ksharp
33•tosh•1d ago•4 comments

Jank now has its own custom IR

https://jank-lang.org/blog/2026-05-08-optimization/
154•DASD•2d ago•27 comments

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

https://github.com/MinishLab/semble
345•Bibabomas•19h ago•115 comments

Profunctor Equipment in Haskell

https://bartoszmilewski.com/2026/05/16/profunctor-equipment-in-haskell/
26•g0xA52A2A•1d ago•4 comments

Prolog Coding Horror

https://www.metalevel.at/prolog/horror
147•RohanAdwankar•13h ago•60 comments

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

https://hellmood.111mb.de//wake_up_16b_writeup.html
149•HellMood•11h ago•31 comments

A Good Lemma Is Worth a Thousand Theorems (2007)

https://sites.math.rutgers.edu/~zeilberg/Opinion82.html
64•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
31•tgrowazay•2h ago•16 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/
270•celsoazevedo•1d ago•274 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

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

https://www.rogerebert.com/streaming/magical-realism-nothern-exposure-25-years-later
118•walterbell•2d ago•51 comments

Graphing Scientific Calculator Based on the ESP32

https://github.com/El-EnderJ/NeoCalculator
3•uticus•2d ago•0 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...
201•ChrisArchitect•13h ago•201 comments

CUDA Books

https://github.com/alternbits/awesome-cuda-books
200•dariubs•22h ago•50 comments

Hindenburg’s Smoking Room

https://www.airships.net/hindenburg-smoking-room/
207•crescit_eundo•3d ago•165 comments

Prolog Basics Explained with Pokémon

https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
257•birdculture•3d ago•41 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/
605•TheEdonian•22h ago•410 comments

High-Entropy Alloy

https://en.wikipedia.org/wiki/High-entropy_alloy
139•leonidasrup•4d ago•23 comments

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

https://www.science.org/content/article/scientists-id-corkscrew-killer-behind-gruesome-seal-deaths
66•gmays•3d ago•29 comments

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

https://github.com/ABGEO/mezz
21•ABGEO•2d ago•7 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
98•bushwart•23h ago•106 comments

Colossus: The Forbin Project

https://en.wikipedia.org/wiki/Colossus:_The_Forbin_Project
241•doener•3d ago•96 comments