boltless.me
Student developer
Punchcard 0 commits
All followers
Primarily interested in compilers, denotational semantics, formal methods, and reverse engineering.
Autistic Filipino open-sourcerer at @recaptime.dev, writer/blogger, NixOS (daily-driver) + Alpine (containers and CI), BSIT college student at STI College Meycauayan
Curious engineer digging large-scale legacy Ruby/Rails apps. Organizing drug.org.pl meetup and wroclove.rb conference.
A Bluesky/AT Proto nerd that has a love/hate relationship with git.
Dad, programmer, and runner. Aspiring swimmer and French speaker. I live in Edmonton, Canada. Married to @mattwoodley.bluesky.social
A software engineer from Seoul. An advocate of F/OSS, fediverse, and cypherpunk. Hack into East Asian languages.
