I'm into programming languages, formal methods, and synthesis stuff.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least four years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Currently learning
Nim, Rust, Racket, some C
Skills/Languages
Lua, JS, Python, Java
Currently hacking on
Languages, compilers, solvers, synthesizer, and more...
Create an account to connect with Caleb Winston. You can also sign in below to proceed if you already have an account.
We're a place where coders share, stay up-to-date and grow their careers.
Want to connect with Caleb Winston?
Create an account to connect with Caleb Winston. You can also sign in below to proceed if you already have an account.