@giladwo@fosstodon.org
Joined: 11/10/2022
Talks either too much or not at all.
Interested in all things programming; especially programming languages, free libre software, linux, bsd, logic, category theory & homotopy type theory.
AKA Dr Function, Cool Shirt Person.
he/him
giladwo has no public lists
giladwo has no activity yet