Caleb Winston
I'm into programming languages, formal methods, and synthesis stuff.
Badges
Writing Debut
Awarded for writing and sharing your first DEV post! Continue sharing your work to earn the 4 Week Writing Streak Badge.
Five Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least five years.
Four Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least four years.
Three Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
Two Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
One Year Club
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...
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.