Type-level Programming, Proof-carrying Code, Agda, Type Safety
55 Months, 1 Day
satisfice.com·4d
Creative ways to fund open source projects
blog.pragmaticengineer.com·3d
Thoughts on creating a tracking pointer class, part 9: Conversion
devblogs.microsoft.com·3d
Picking an Old Operating System
hackaday.com·21h
M5Cardputer Morse Code Suite
hackster.io·3d
Loading...Loading more...