avatar

giladwo

@giladwo@fosstodon.org

Joined: 11/10/2022



About giladwo

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

Lists

giladwo has no public lists

Timeline

giladwo has no activity yet