bramadityaw

Recent Submissions

1. 1. ▲ Counterexamples in type systems (2021) (counterexamples.org) 60 points · 7 days ago · 4 comments
2. 2. ▲ Blade Language Server (github.com) 2 points · 1 month ago · 0 comments
3. 3. ▲ From design patterns to category theory (2017) (blog.ploeh.dk) 1 point · 7 months ago · 0 comments
4. 4. ▲ Episoden – Talk with English Speakers Online (episoden.com) 1 point · 7 months ago · 0 comments
5. 5. ▲ Unofficial, rules-compliant, browser based Arkham Horror: The Card Game (arkhamhorror.app) 4 points · 7 months ago · 2 comments
6. 6. ▲ Goto Considered Harmless (bramadityaw.github.io) 16 points · 7 months ago · 12 comments
7. 7. ▲ Increasing the Readability and Comprehensibility of Programs (1990) [pdf] (apps.dtic.mil) 2 points · 7 months ago · 0 comments
8. 8. ▲ Venn Diagram for 7 Sets (moebio.com) 167 points · 8 months ago · 46 comments
9. 9. ▲ Functional Programming and Climate Impact Research (github.com) 1 point · 8 months ago · 0 comments
10. 10. ▲ Voting Machine Hacking (grc.com) 2 points · 9 months ago · 1 comment