Galois, Inc.
Users following GaloisInc
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.
@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy
Franco
0xpantera
Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions.
Berlin, Germany
@clflushopt
clflushopt
I am exploring hacking hardware and working in the guts of data systems with a focus on compiler adjacent topics. I used to play CTFs
Canada
Eric "सन्तोष" Zoerner
ezoerner
"When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath!"
--Simon Peyton Jones
@gemfire Laurelwood, Oregon
glory
goldenglorys
a million years from fire to knives.
another million years until transistors..
then everything happens all at once...
⚡️universe
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Blake Edwards
blakete
AI × Robots × Aerospace @ MIT,
Previously AI + Autonomous Vehicles @ Boeing, DARPA
MIT Earth
PengqianHan
pengqianhan
Ph.D. candidate of The University of Auckland, New Zealand
The University of Auckland
Kiarash Sedghi
kiarashsedghigh
Post-Quantum Cryptography Researcher | C/C++, Python
University of South Florida Tampa, FL, USA
PreviousNext