I'm into programming languages, formal methods, and synthesis stuff.
Awarded for writing and sharing your first DEV post! Continue sharing your work to earn the 4 Week Writing Streak Badge.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least five years.
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.
Skills/Languages
Lua, JS, Python, Java
Currently learning
Nim, Rust, Racket, some C
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.