Husband, Father, JIT compiler guy, chief architect for IBM Java (Semeru Runtimes), co-project lead for Eclipse OMR and Eclipse OpenJ9, views are my own
@Blaisorblade@mathstodon.xyz PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell
That _other_ Vernon made me do it
he/him
I'm pretty sure I'm @tgerz every where if you care to look me up ¯\_(ツ)_/¯
Writing: rushabhdoshi.com Formerly @hellodigit @facebook @google @microsoft Tweets older than 30 days deleted
42
@alf239@sfba.social
computer programmer. self-taught. #golang
Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠
Professor of Computer Science. Director, AIFARMS National AI Institute. Co-Director, Center for Digital Agriculture.
Favourite colour: #fdd2ed
coding // music // games
I develop and test HPC software for computer simulations run on supercomputers having multicores or GPUs on them. Opinions are my own. he/him.
#LLVM #Rust C/C++
#Android
Magic: the Gathering
(#OldSchoolMTG - Founding member of @BeastsOfTheBay)
He/Him