Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
kjs3
on May 9, 2023
|
parent
|
context
|
favorite
| on:
ACM Software System Award Given to seL4 Microkerne...
Which...is not the same thing as 'secure' (although it helps).
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
