frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

CapROS: The Capability-Based Reliable Operating System

https://www.capros.org/
20•gjvc•1h ago

Comments

mikewarot•22m 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•18m ago
It's just you. seL4, CheriBSD, etc., do not fit your description. Neither did KeyKOS itself. You're presumably looking at research prototypes.
kragen•20m 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•1m 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...

'I've been allergic to AI for a long time': an interview with Peter Thiel

https://www.spectator.co.uk/article/ive-been-allergic-to-ai-for-a-long-time-an-interview-with-pet...
1•kerim-ca•4m ago•1 comments

Hell is other people's markup

https://www.htmhell.dev/adventcalendar/2025/13/
1•emschwartz•6m ago•0 comments

Show HN: web app to match with people nearby on 7 dimensions of needs

https://deep-union-web.vercel.app/
1•arthurstarlake•8m ago•0 comments

Pilot narrowly avoids 'midair collision' with US Air Force plane near Venezuela

https://www.theguardian.com/us-news/2025/dec/14/jetblue-pilot-avoids-midair-collision-air-force-v...
4•prmph•9m ago•1 comments

Feature-First Development

https://jackson.dev/post/feature-first-development/
1•Arcuru•13m ago•0 comments

Role reversal: Meta adopts Qwen as Chinese AI becomes industry foundation

https://www.scmp.com/tech/big-tech/article/3336243/role-reversal-meta-adopts-qwen-chinese-ai-beco...
2•djhu9•18m ago•0 comments

PSRT v2.1 – A Bounded Architecture for Intelligence and Meaning

https://zenodo.org/records/17932629
1•nettalk83•18m ago•1 comments

Redfern Station Christmas artwork to be removed after complaints of 'AI slop'

https://www.smh.com.au/national/nsw/redfern-station-s-ai-generated-christmas-artwork-to-be-remove...
1•healsdata•20m ago•0 comments

The Architects of AI Are TIME's 2025 Person of the Year

https://time.com/7339621/person-of-the-year-2025-ai-architects-choice/
1•pseudolus•21m ago•0 comments

The Copilot Usage Report 2025

https://microsoft.ai/news/its-about-time-the-copilot-usage-report-2025/
2•skeptic_ai•22m ago•0 comments

The Big City; Save the Flophouses

https://www.nytimes.com/1996/01/14/magazine/the-big-city-save-the-flophouses.html
1•ChadNauseam•22m ago•0 comments

Framework-agnostic Select and Toast components built with Web Components

1•dgseo•22m ago•0 comments

Show HN: A model that estimates when AI can do your job

https://dontloseyourjob.com/
2•claywren•24m ago•1 comments

Your Mac has a fast, offline LLM

https://zdgeier.com/macoschat.html
1•zdgeier•28m ago•2 comments

Show HN: Silly website to earn badges for touching grass

https://www.touched-grass.com
2•buildItN0w_•30m ago•0 comments

Dungeon-mode: a dungeon crawler game for Emacs

https://github.com/dungeon-mode/game
1•dustfinger•33m ago•0 comments

Denmark plans to restrict social media use for young people

https://apnews.com/article/denmark-social-media-ban-australia-1e96a3df3276cc2033a6f04effb89f51
5•pseudolus•33m ago•0 comments

ASL interpreters 'intrude' on Trump's right to control image, U.S. DOJ says

https://globalnews.ca/news/11576240/trump-white-house-sign-language-lawsuit-image/
1•rolph•35m ago•0 comments

A healthier sugar substitute: Engineered bacteria yield a sweet solution

https://phys.org/news/2025-12-healthier-sugar-substitute-bacteria-yield.html
1•pseudolus•36m ago•0 comments

The End of Concept Nativism

https://arxiv.org/abs/2505.18277
1•usingla•39m ago•0 comments

Linuxiac.com restricts access based on countries and regions

https://linuxiac.com/when-linus-met-linus-insights-from-torvalds-conversation-with-ltt/
1•Kk_vv•41m ago•0 comments

I'm tired of copying auth tokens as vibe coder

https://github.com/lofibrainwav/SixXon
1•brnestrm•42m ago•0 comments

Mom and daughter find stranger in trunk of Waymo

https://abc7.com/post/los-angeles-viral-video-mom-daughter-find-stranger-trunk-waymo-macarthur-pa...
5•lxm•45m ago•0 comments

Show HN: Turn every website into a scratch-off lottery ticket

https://github.com/AdmTal/scratch-off
1•admtal•46m ago•0 comments

Rural students: more likely to get diplomas but are less likely to go to college

https://theconversation.com/rural-high-school-students-are-more-likely-than-city-kids-to-get-thei...
2•PaulHoule•47m ago•0 comments

He's the Godfather of Modern Robotics. He Says the Field Has Lost Its Way

https://www.nytimes.com/2025/12/14/business/rodney-brooks-robots-roomba.html
2•ripe•50m ago•0 comments

Shakespeare Programming Language

https://en.wikipedia.org/wiki/Shakespeare_Programming_Language
1•dabinat•54m ago•0 comments

Show HN: A Lightweight Hono and Preact Template for Cloudflare Workers

https://github.com/keplerjst/hinoco
1•keplerjst•55m ago•0 comments

Chinese billionaires having dozens of US.-born babies via surrogate

https://www.msn.com/en-us/news/world/the-chinese-billionaires-having-dozens-of-us-born-babies-via...
3•xqcgrek2•1h ago•1 comments

How I Use AI for Product Work

https://elezea.com/2025/12/ai-for-product-management/
2•cebert•1h ago•0 comments