bramadityaw

Karma: 118
Created: 1 year ago

About

github.com/bramadityaw linkedin.com/in/r-bramaditya

Recent Submissions

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

All submissions on HN · View profile on HN