The seL4 microkernel - Hackdot

Hackdot

News for hackers. Stuff that matters.

Sections

Top
Latest
Ask HN
Show HN
Jobs
Polls
Older Stuff
Search

About

Every story and comment from the Hacker News API, in a layout borrowed from 2001.

A comment on The seL4 microkernel. Parent comment

Re:The seL4 microkernel by bjourne on Tuesday July 29, 2014 @04:19PM (#8104750)

Thanks

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Which agent harness do you use for working with multiple Models?
Fable 5.1 or Opus 5.5?
Is it possible the field's course gets readjusted to normalcy again?
How are you making sites/APIs agent-ready?
What's on Your Learning List?
Is AI good enough for math exercises?

Show HN

Fount – Verifiably private AI for your spreadsheets and documents
After a decade of reversing, I got co-op working in DOS Wing Commander
Safe and lightweight VMs for Coding agents
GraphPilot, a GraphQL edge cache that purges by entity
Atlas – Let AI agents use your Mac without taking over your screen
HackerDatasets-Discover remarkable datasets on HN

Jobs

Ashby (YC W19) Is Hiring EMs
Sava Trust (YC F25) Is Hiring a Founding Engineer in NYC
Bitmovin (YC S15) Is Hiring Technical Graduates in Denver (Engineering/CS Focus)
Wasmer (YC S19) Is Hiring OS/Hypervisor Experts in Europe

Stories and comments come from the Hacker News API and belong to their authors. Not affiliated with Y Combinator or Slashdot.