hamiecod

Karma: 13
Created: 3 years ago

About

Personal: hargunbeer.com Company: xclip.in Email: hbs@hargunbeer.com

Recent Submissions

1. ▲ Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com) 1 point · 10 days ago · 0 comments
2. ▲ Infopium: Addiction to information is holding us back (hargunbeer.com) 2 points · 3 months ago · 0 comments
3. ▲ Infopium – The Newest Drug on the Market (hargunbeer.com) 4 points · 3 months ago · 1 comment

All submissions on HN · View profile on HN