Skip to content

keeping simple

happen @vy@mastodon.social

UK medication cytotec misoprostol buy online Menu

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

scam

AIG and me

The New York Times has an article explaining the business model of theÂ failed insurer AIG that is giving me a new perspective on why I walked out of a bank in New Mexico wondering whether it was worth it

yodaiken March 1, 2009 software business Read more

Archives

Archives

Tags

apple automata automata products big data C c language computer science c standard fault tolerance formal methods free software green computing innovation intellectual property linux manufacturing milner modularity moore machines non-determinism ntp operating systems patents paxos process algebra processor architecture ptp real-time recursion rtlinux software software engineering software patents software security specification state machines sun synchronization technology timekeeper timestamp time synchronization undefined behavior verification wg14

Pages

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Categories

academics
algebra
archived
auragen
business
C standard
computer architecture
current reading
economics
operating systems
programming languages
rtlinux
security
software business
software security
state maps
systems
theory
timekeeper
Uncategorized
vy papers

Pages

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Archives

Copyright © 2026 keeping simple. All rights reserved. Theme Spacious by ThemeGrill. Powered by: WordPress.