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
22•rurban•1h ago

Comments

lkos•19m ago
I would honestly like to understand why Miagg's comment has been flagged.
dmoy•13m 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

usrbinenv•5m 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 and vetting (signatures, hashes, app-store verification) - all becomes 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 - 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.

The Trouble with AI Investment Writing

https://behaviouralinvestment.com/2026/05/12/the-trouble-with-ai-investment-writing/
1•rwmj•54s ago•0 comments

Fast16 Malware Was Sabotaging Nuclear Weapons Tests, Likely in Iran

https://www.zetter-zeroday.com/experts-confirm-the-fast16-malware-was-sabotaging-nuclear-weapons-...
1•payamb•4m ago•0 comments

Common Lisp names all sixteen binary logic gates

https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node131.html#SECTION001670000000000000000
1•optimalsolver•5m ago•0 comments

Ghost for Publishers

https://ghost.org/publishers
1•aralsamuel•6m ago•0 comments

UGen: An Agentic Framework for Generating Microarchitectural Attack PoCs

https://arxiv.org/abs/2605.15503
1•Timofeibu•11m ago•0 comments

Who Owns This Agent? Tracing AI Agents Back to Their Owners

https://arxiv.org/abs/2605.16035
1•Timofeibu•11m ago•0 comments

WHO declares major outbreak of Ebola virus species an international emergency

https://www.science.org/content/article/major-outbreak-rare-ebola-virus-species-northern-congo-al...
2•pseudolus•13m ago•0 comments

Sennebogen shows off electric, autonomous material handler

https://electrek.co/2026/05/16/sennebogen-shows-off-electric-autonomous-material-handler/
1•thelastgallon•14m ago•0 comments

Blogging like a nerd: Cloudflare Pages is all you need

https://martinvol.pe/blog/2026/05/18/cloudflare-pages-is-all-you-need-for-your-blog/
2•martinvol•23m ago•0 comments

Running AI agents without losing my keys

https://zriyansh.medium.com/running-agents-without-losing-my-keys-a-month-with-authsome-039690fe5e6f
3•pkhodiyar•23m ago•0 comments

Gnome 51 Could End Up Replacing System Tools with "Resources" App

https://www.phoronix.com/news/GNOME-51-Resources-Possible
4•rbanffy•27m ago•0 comments

Heat pumps and EVs can save EU households over €2,200 a year – report

https://www.euronews.com/2026/05/18/eu-households-could-save-more-than-2200-every-year-by-switchi...
5•rustoo•28m ago•0 comments

How China's Shadow AI API Market Works

https://www.vincentschmalbach.com/chinas-shadow-api-market/
2•vincent_s•29m ago•0 comments

I Updated Virtual Bookshelf

https://petargyurov.com/bookshelf/
1•petargyurov•29m ago•1 comments

Reviving old scanners with an in-browser Linux VM bridged to WebUSB over USB/IP

https://yes-we-scan.app/details
3•gmac•33m ago•0 comments

Dogme 25 – Vow of Chastity

https://dogma25.dk/
2•internet_points•36m ago•0 comments

FluidX3D Lands a Big Speed-Up for This OpenCL CFD Software

https://www.phoronix.com/news/FluidX3D-3.7-Released
1•rbanffy•37m ago•0 comments

Show HN: Libc-free, direct sys/kernel call language with weird concurrency

https://github.com/DO-SAY-GO/freelang
1•keepamovin•45m ago•1 comments

See You at Y10K: From Millennium Bugs to Quantum Midnight

https://space.gekko.de/from-y2k-to-q-day/
1•ekadagami•54m ago•0 comments

Show HN: Latlng – open-source geospatial object engine written in Rust

https://latlng.cloud/
1•tobilg•55m ago•0 comments

The Mysterious Crypto Judges Who Settle Polymarket Disputes

https://www.wsj.com/finance/polymarket-bet-disputes-fb1b8c6a
3•thm•57m ago•0 comments

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

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

A Node Based Brush Engine – PixiEditor 2.1

https://pixieditor.net/blog/2026/04/30/21-release/
2•axi_n•1h ago•1 comments

Zero Day Clock

https://zerodayclock.com/
3•jonbaer•1h ago•0 comments

Ebola outbreak with uncommon strain erupts in Congo and Uganda; 65 deaths

https://arstechnica.com/health/2026/05/ebola-outbreak-confirmed-in-congo-and-uganda-246-suspected...
2•rbanffy•1h ago•1 comments

An Empty Room: Each voice fades after 21 days

https://www.icried.today/
2•Teever•1h ago•0 comments

Protéger Mastodon contre les bots IA avec Anubis – Techno-Fil et faits divers

https://blogs.gayfr.social/barbapulpe/proteger-mastodon-contre-les-bots-ia-avec-anubis
3•rodrigo975•1h ago•0 comments

Where Are the Vibecoded Photoshops?

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

Open and Free Security Books

https://nocomplexity.com/documents/securityarchitecture/securitylibrary/libraryintro.html#open-an...
1•runningmike•1h ago•1 comments

Safety Paradox: How RLHF Creates the AI Psychosis Problem It's Meant to Prevent

https://www.promptinjection.net/p/ai-psychosis-the-safety-paradox-how-rlhf-creates
1•JustMyNews•1h ago•2 comments