frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

CapROS: The Capability-Based Reliable Operating System

https://www.capros.org/
37•gjvc•2h ago•14 comments

2002: Last.fm and Audioscrobbler Herald the Social Web

https://cybercultural.com/p/lastfm-audioscrobbler-2002/
157•cdrnsf•5h ago•91 comments

Elevated errors across many models

https://status.claude.com/incidents/9g6qpr72ttbr
269•pablo24602•5h ago•132 comments

JSDoc is TypeScript

https://culi.bearblog.dev/jsdoc-is-typescript/
119•culi•7h ago•147 comments

Hashcards: A plain-text spaced repetition system

https://borretti.me/article/hashcards-plain-text-spaced-repetition
256•thomascountz•10h ago•106 comments

Ask HN: What Are You Working On? (December 2025)

154•david927•10h ago•547 comments

In the Beginning was the Command Line (1999)

https://web.stanford.edu/class/cs81n/command.txt
101•wseqyrku•6d ago•44 comments

History of Declarative Programming

https://shenlanguage.org/TBoS/tbos_15.html
33•measurablefunc•4h ago•11 comments

An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter

https://im-just-lee.ing/forth-why-cb234c03.txt
21•todsacerdoti•1w ago•10 comments

The Typeframe PX-88 Portable Computing System

https://www.typeframe.net/
93•birdculture•9h ago•28 comments

Interview with Kent Overstreet (Bcachefs) [audio]

https://linuxunplugged.com/644
43•teekert•3d ago•29 comments

Advent of Swift

https://leahneukirchen.org/blog/archive/2025/12/advent-of-swift.html
60•chmaynard•6h ago•19 comments

Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem

https://trigger.dev/blog/shai-hulud-postmortem
193•nkko•16h ago•115 comments

AI and the ironies of automation – Part 2

https://www.ufried.com/blog/ironies_of_ai_2/
215•BinaryIgor•13h ago•92 comments

DARPA GO: Generative Optogenetics

https://www.darpa.mil/research/programs/go
15•birriel•3h ago•1 comments

Microsoft Copilot AI Comes to LG TVs, and Can't Be Deleted

https://www.techpowerup.com/344075/microsoft-copilot-ai-comes-to-lg-tvs-and-cant-be-deleted
63•akyuu•2h ago•53 comments

GraphQL: The enterprise honeymoon is over

https://johnjames.blog/posts/graphql-the-enterprise-honeymoon-is-over
188•johnjames4214•9h ago•164 comments

Developing a food-safe finish for my wooden spoons

https://alinpanaitiu.com/blog/developing-hardwax-oil/
155•alin23•4d ago•97 comments

Price of a bot army revealed across online platforms

https://www.cam.ac.uk/stories/price-bot-army-global-index
96•teleforce•10h ago•34 comments

Checkers Arcade

https://blog.fogus.me/games/checkers-arcade.html
25•fogus•2d ago•1 comments

Baumol's Cost Disease

https://en.wikipedia.org/wiki/Baumol_effect
93•drra•14h ago•97 comments

Claude CLI deleted my home directory and wiped my Mac

https://old.reddit.com/r/ClaudeAI/comments/1pgxckk/claude_cli_deleted_my_entire_home_directory_wi...
173•tamnd•3h ago•135 comments

Checkpointing the Message Processing

https://event-driven.io/en/checkpointing_message_processing/
8•ingve•6d ago•0 comments

Show HN: Dograh – an OSS Vapi alternative to quickly build and test voice agents

https://github.com/dograh-hq/dograh
8•a6kme•6d ago•2 comments

SPhotonix – 360TB into 5-inch glass disc with femtosecond laser

https://www.tomshardware.com/pc-components/storage/sphotonix-pushes-5d-glass-storage-toward-data-...
15•peter_d_sherman•2h ago•4 comments

Our emotional pain became a product

https://www.theguardian.com/us-news/ng-interactive/2025/dec/14/trauma-mental-health
24•worik•3h ago•7 comments

Compiler Engineering in Practice

https://chisophugis.github.io/2025/12/08/compiler-engineering-in-practice-part-1-what-is-a-compil...
113•dhruv3006•19h ago•23 comments

GNU recutils: Plain text database

https://www.gnu.org/software/recutils/
125•polyrand•7h ago•35 comments

Efficient Basic Coding for the ZX Spectrum (2020)

https://blog.jafma.net/2020/02/24/efficient-basic-coding-for-the-zx-spectrum/
51•rcarmo•14h ago•13 comments

Getting into Public Speaking

https://james.brooks.page/blog/getting-into-public-speaking
111•jbrooksuk•4d ago•35 comments
Open in hackernews

CapROS: The Capability-Based Reliable Operating System

https://www.capros.org/
37•gjvc•2h ago

Comments

mikewarot•1h ago
Why is it that every Capability based system seems to be a toolkit for running a single program instead of an OS ready for daily use? Is it just me?
kragen•59m ago
It's just you. seL4, CheriBSD, etc., do not fit your description. Neither did KeyKOS itself. You're presumably looking at research prototypes.
ratmice•39m ago
I'd also note capros doesn't fit that description either. I don't know that there were examples that ran more than a single process.

That's probably not true, for anything relying on drivers since user mode drivers are basically processes there... but in the way that people might think of a process.

kragen•22m ago
I mean, there isn't exactly a thriving ecosystem of existing software built for CapROS. Right now I don't think anybody even has CapROS itself building.

The problem has gotten a lot easier since the EROS days, thanks to Xen, QEMU, UEFI (?), and the explosion of cheap hardware, but it looks like maybe Charlie got sick or lost interest or something?

ratmice•5m ago
Yeah, I did see a email on a capabilities list from him about him no longer working on it because of lack of feedback & wanting to just enjoy his retirement. That was the impression I got.

When he had resumed his work on it, I personally had been going through a back injury. I still feel bad that I didn't get a chance to contribute any of the hardware ports and software I wrote for it.

kragen•3m ago
Hmm, do you know when?
spencerflem•37m ago
Check out Genode Sculpt for a vision of a workable desktop !

It’s capable of dynamic flows, adding and removing programs, has ports of Chromium and Virtual Box. The devs daily drive it :)

wmf•31m ago
A lot of OS projects develop the kernel then run out of steam. It's especially hard for capabilities because there's no established standard like Unix/Posix to copy. Capability OSes are still a research topic.
kragen•1h ago
Seems like Charlie hasn't been merging pull requests in three years: https://github.com/capros-os/capros

And the list has been idle since then: https://sourceforge.net/p/capros/mailman/capros-devel/

I wonder if something has happened to him? I hope he's okay.

mfedderly•42m ago
I had the privilege of taking two classes with Dr Shapiro while I was in undergrad. The second class revolved around a related operating system named Coyotos. One of the most memorable classes was a 3 hour session where we worked through the boot sequence step by step [1]. The single lecture helped us all appreciate the delicate dance to bring up an x86 processor, a history lesson in the various features that had been bolted onto x86 over time, and a bunch of helpful debugging tips when your options are limited (it prints "Co" "yo" and "tos" in different stages!).

This was easily one of my most memorable lectures from undergrad, and it really helped to show me that even your operating system is just more software that you can read and understand.

1. https://github.com/vsrinivas/coyotos/blob/c68719b851e253aa11...

kragen•15m ago
Coyotos and CapROS are two continuations of EROS.
btilly•35m ago
The fact that we went with access control lists instead of true capabilities has long been a disappointment to me.

For people who understand OO, capabilities are the simplest model in the world. You hand out objects. You can call methods on the object. What that method call has access to depends on the permissions on the object, not your permissions. Entire classes of security mistakes (most notably the "confused deputy" become impossible.

The only commercial success that was a true capability system was the AS/400. Not coincidently, single stand alone machines averaged 99.99%-99.999% uptime. And it never had a significant security compromise. (Individual systems did, of course, have problems due to weak passwords and poor configuration. But they were still remarkably resistant.

Capability systems work so well that when people wanted to improve security on Linux, they called it capabilities. Even though it wasn't.

Unfortunately, the world went with ACLs. That's baked in to the design of things like Windows and POSIX. Which means that all of the consumer software out there expects ACLs. In order to get them to run on a pure capability system, you have to do things like create a POSIX subsystem. At which point, you've just thrown away the whole reason to use capabilities in the first place.

pyrolistical•3m ago
https://en.wikipedia.org/wiki/Capability-based_security

It’s like sharing google doc link. You configure the link to be read only or read/write.

Now imagine you can create as many links as you want with all possible permission combinations. Then you have a capability based system