Users following cdesktopenv
Thanawat suparongsuwan
tdealer01-crypto
Building deterministic AI execution with formal verification.
Core: Z3 SMT solver, CCVS evidence chains, cryptographic proofs.
Believer in provable governanc
dsg.pics
OrthodoxToolkits
OrthodoxWindows
ThemeSwitcherScripts developper ; passionate about the graphics toolkit, Win32, old Unix Toolkit, and OS in general. Against any method of censorship or spying.
Southern France
Jonathan D Moore
jonathandarwinmoore
48, UVa Alumni Computer Science, Royal Society of the Arts Fellow, Lifetime Windows Internals Certified. Clio Awardee with Macromedia in 2000.
Microsoft Solutions Partner Digital & App Innovation Johnson City, TN