Chris Fallin
cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at Fastly.
Fastly Sunnyvale, CA, USA
Jasper Bekkers
Jasper-Bekkers
CEO at Traverse Research. Previously at Frostbite, OTOY, EA/SEED and Embark Studios.
DMs open on Twitter.
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Christa Jenkins
cwjnkins
Postdoctoral researcher at Stony Brook University, working on programming language theory and security. Ph.D from University of Iowa.
Stony Brook University
Aaron Stump
astump
I am a professor of Computer Science at The University of Iowa.
The University of Iowa Iowa City, Iowa, United States
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Sophia J. Turner
sophiajt
Previously: @nushell core team / @rust-lang / TypeScript core team.
New Zealand
Jake Taylor
yupferris
dad(jokes), demoscene, rendering, compilers, compression, FPGA, emulation, music production
Ascenium Oslo, Norway
Adrien Champion
AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)
anzenlang La Rochelle, France
PreviousNext