DPDmancul
- Karma
- 11
- Created
- 1 year ago
Recent Submissions
- 1. ▲ Show HN: Use Zoxide to change Nemo file manager location (gitlab.com)
- 2. ▲ N-Th Numbers (dpdmancul.gitlab.io)
- 3. ▲ "A monad is a monoid in the category of endofunctors" But what does that mean? [video] (youtube.com)
- 4. ▲ PHP and TypeScript Types Comparison (gitlab.com)
- 5. ▲ Understanding Type Theory Eliminators (zenodo.org)
- 6. ▲ Regard Time Machines [pdf] (philpapers.org)