HN Explorer

DPDmancul

↗ HN profile [ 35.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Use Zoxide to change Nemo file manager location (gitlab.com)

    I like Zoxide too much that I missed it in the file manager. So I am writing a Nemo extension to allow changing location querying Zoxide. I just finished a first working version, but in my opinion it misses two points…

    1 points 0
  2. N-Th Numbers (dpdmancul.gitlab.io)
    2 points 0
  3. "A monad is a monoid in the category of endofunctors" But what does that mean? [video] (youtube.com)
    1 points 0
  4. PHP and TypeScript Types Comparison (gitlab.com)
    2 points 0
  5. Understanding Type Theory Eliminators (zenodo.org)
    2 points 1
  6. Regard Time Machines [pdf] (philpapers.org)
    3 points 2