Hackernews posts about SeL4

SeL4 is a highly-configurable and reliable microkernel operating system designed to provide a robust foundation for building secure and efficient systems in various domains.

Related: Google RISC-V CSIRO KataOS

SeL4: The most highly assured and fastest operating system kernel (sel4.systems)

2 points by doener 21 days ago | discuss
Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4 (arxiv.org)

1 points by lr0 1 day ago | discuss
Show HN: Cohesix 0.4.0-alpha, a no-std control-plane OS (github.com)

2 points by Cohesix 16 days ago | 2 comments
Ask HN: Starting my own startup to increase compute density

2 points by isubasinghe 11 days ago | 1 comments
Skip the Tips: A game to select "No Tip" but dark patterns try to stop you (skipthe.tips)

494 points by randycupertino 8 days ago | 434 comments
End of an era for me: no more self-hosted git (www.kraxel.org)

298 points by dzulp0d 10 days ago | 212 comments
Moltworker: a self-hosted personal AI agent, minus the minis (blog.cloudflare.com)

246 points by ghostwriternr 23 days ago | 71 comments
Show HN: It took 4 years to sell my startup. I wrote a book about it (derekyan.com)

207 points by zhyan7109 17 days ago | 68 comments
Self Driving Car Insurance (www.lemonade.com)

147 points by KellyCriterion 22 days ago | 341 comments
Show HN: Moltis – AI assistant with memory, tools, and self-extending skills (www.moltis.org)

129 points by fabienpenso 8 days ago | 51 comments
The switch to Linux and the beginning of my self-hosting journey (hazemkrimi.tech)

123 points by kingcrimson1000 11 days ago | 149 comments
Volkswagen overtook Tesla as Europe's top EV seller in 2025 (www.reuters.com)

103 points by _fizz_buzz_ 15 days ago | 33 comments
Amazon plunge continues $1T wipeout as AI bubble fears ignite sell-off (www.cnbc.com)

92 points by truegoric 15 days ago | 90 comments
Anthropic AI tool sparks selloff from software to broader market (www.bloomberg.com)

87 points by garbawarb 17 days ago | 73 comments
Court orders Acer and Asus to stop selling PCs in Germany over H.265 patents (videocardz.com)

79 points by ledoge 5 days ago | 32 comments
Show HN: Zuckerman – minimalist personal AI agent that self-edits its own code (github.com)

71 points by ddaniel10 20 days ago | 51 comments
iPhone 16 Best-Selling Smartphone in 2025; Apple Takes 7 Spots in Top Models (counterpointresearch.com)

67 points by TMWNN 22 days ago | 100 comments
Bitcoin drops below $67,000 as selloff heats up and pessimism grows about crypto (www.cnbc.com)

61 points by stalfosknight 15 days ago | 2 comments
SQLite Is a Self Contained System (sqlite.org)

50 points by whatisabcdefgh 21 days ago | 7 comments
Western Digital sells out 2026 HDD capacity as AI demand pushes prices higher (www.eteknix.com)

46 points by GeoAtreides 6 days ago | 4 comments
Selection rather than prediction (voratiq.com)

43 points by languid-photic 17 days ago | 20 comments
X accused of violating sanctions by selling Premium accounts to Iranian leaders (www.wired.com)

32 points by OgsyedIE 9 days ago | discuss
Waymo is asking DoorDash drivers to shut the doors of its self-driving cars (techcrunch.com)

31 points by mfiguiere 8 days ago | 17 comments
Three Cache Layers Between Select and Disk (frn.sh)

20 points by dlt 12 days ago | 2 comments
Selfish AI (www.garfieldtech.com)

20 points by mwcampbell 8 days ago | 1 comments
Show HN: Deadend CLI – Open-source self-hosted agentic pentest tooling (github.com)

18 points by gemini-15 10 days ago | 7 comments
Taming P99s in OpenFGA: How we built a self-tuning strategy planner (auth0.com)

18 points by elbuo 29 days ago | 6 comments
Is America's Cyber Weakness Self-Inflicted? (warontherocks.com)

18 points by mikece 22 days ago | 1 comments
BookLore: A self-hosted, multi-user digital library (github.com)

18 points by thunderbong 27 days ago | 1 comments
Oracle may slash up to 30,000 jobs, sell health unit to pay for AI build-out (www.theregister.com)

18 points by belter 21 days ago | discuss