hungry bouncy code person. tech interests include accessibility, decentralized & offline-first data models, type systems, and extensibility.
Block or Report
Block or report shrouxm
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Noah S-C
Strum355
Bazel Wrangler @sourcegraph. Compilers, DX, O11y, Performance, Infra, Containers, Graphics, Nix
@sourcegraph @UCCNetsoc Ireland
JCSIVO
JCSIVO
Finding Passion in the Back-End Developer World: C# | .NET | Python | Java | Spring | Git | JUnit | JavaScript | PHP | Laravel | Symfony | SQL
Juniper Travel Technology España, Spain
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Shenzhen / Heidelberg