Simple Theorem Prover
Users following stp
fermiq
FermiQ
Im an InterGalactic Dust Particle; hanging on a Limited LifeSpan; anticipating a LightYr. old Ray of Luv 2 Consummate me with QFT; QT; QC; & Mode Collapsing AMI
Science Neutrino
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.
Lafayette, Indiana
mocenigo
mocenigo
Father, Composer, Mathematician, Cryptologist. Former security architect at ARM, now back at Qualcomm. QARMA. Kyber. Chaotic good. Notorious craic killer.
Qualcomm Munich, Bavaria, Germany
