Justin Jaffray
justinj
databases. subscribe to my free database newsletter https://buttondown.email/jaffray
Brooklyn, NY
Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
EtchedPixels
The live version of all of these projects has moved to Codeberg.
https://codeberg.org/EtchedPixels
Cymru
Brendan Duncan
brendan-duncan
Staff software engineer at Unity Technologies. Past: Apple, Google, DreamWorks Animation, Disney Animation.
Projects here are for my personal amusement.
Santa Fe, NM
David Crawshaw
crawshaw
CEO and co-founder of exe.dev.
Before that: CTO and co-founder of Tailscale
exe.dev Berkeley, CA
Victor Zverovich
vitaut
🤍❤️🤍 Carbon-based open sourcerer, author of {fmt}, C++20 std::format and C++23 std::print
Meta Laniakea Supercluster
Garrett Johnson
gkjohnson
Working on graphics, space robots, path tracing, and learning some new stuff. Get in touch if you want to work together.
Tokyo, Japan
Andreas Kling
awesomekling
Building a truly independent web browser with the help of friends around the world :^)
@LadybirdBrowser Sweden
Matteo Capucci
mattecapu
Independent Researcher.
Applied Category Theory + ε.
Retired web dev.
Glasgow, UK
Pietro Monticone
pitmonticone
AI for Mathematics @harmonic-ai || Formalising Mathematics and Software in @leanprover || Developing FOSS in @leanprover, @JuliaLang and @python.
Harmonic London, United Kingdom
PreviousNext