Skip to content
keeping simple
@vy@sciencemastodon.com
Menu
Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code
Goodbye to all that
See
our announcement
and
press reports
.
Goodbye to all that
←
Operating system interfaces are what you bump into…
Difference between theory and practice in security and reliability.
→