opnitro
- Karma
- 586
- Created
- September 24, 2013 (12y ago)
- Submissions
- 0
- Breaking Free from Neural Networks and Dynamical Systems (2021) (lifeiscomputation.com)
- Democracy at Work, Talks at Google (2017) (youtu.be)
- What Is Democracy [video] (youtu.be)
- Idris 2: Type Driven Development of Idris (youtube.com)
- Long Live Shadow Socks (github.com)