Skip to content

keeping simple

where to purchase disulfiram @vy@mastodon.social

Menu

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

Day: August 16, 2007

GPL Interface arguments and proprietary kernel modules

(rewritten for clarity Aug 21, 22, 2007) Changing interfaces of GPL software is permitted under the GPL. The license specifically permits anyone to make any changes in the code. There is no limitation concerning the intentions of the coder or

yodaiken August 16, 2007 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.