akkad33

702 karmajoined September 26, 2022On HN

Recent submissions

Ask HN: Good fast IDE for reading and navigating code in multiple languages
6akkad332mo10 comments
Ask HN: Is formal verification of practical use in real world projects?
5akkad338mo4 comments

All submissions and comments on Hacker News.