| 1. | | Bauer: An Emacs+Nix IDE (matthewbauer.us) |
|
4 points by agentofuser on Aug 14, 2021 | past
|
|
| 2. | | Innovations in Emacs Touch Interfacing (ingebrigtsen.no) |
|
2 points by agentofuser on Aug 10, 2021 | past
|
|
| 3. | | Morloc: Foreign languages unified under common functional type system (github.com/morloc-project) |
|
93 points by agentofuser on July 29, 2021 | past | 20 comments
|
|
| 4. | | Lawvere: A categorical programming language with effects (github.com/jameshaydon) |
|
3 points by agentofuser on July 18, 2021 | past
|
|
| 5. | | Lightweight Scheme IDE on macOS and iOS (objecthub.net) |
|
3 points by agentofuser on July 17, 2021 | past | 1 comment
|
|
| 6. | | BLisp: A Statically Typed Lisp Like Language (ytakano.github.io) |
|
121 points by agentofuser on June 26, 2021 | past | 50 comments
|
|
| 7. | | At the roots of dictionary compression: string attractors (acm.org) |
|
2 points by agentofuser on June 24, 2021 | past
|
|
| 8. | | User Interfaces for Programming Languages (umich.edu) |
|
2 points by agentofuser on June 13, 2021 | past
|
|
| 9. | | Yatima: A programming language for the decentralized web (github.com/yatima-inc) |
|
89 points by agentofuser on June 7, 2021 | past | 62 comments
|
|
| 10. | | Open Source Clojure-Datalog Databases Comparison Matrix (clojurelog.github.io) |
|
3 points by agentofuser on June 6, 2021 | past
|
|
| 11. | | GroupDAG–Decentralized Communities of Self-Replicating Small Cohort Meetups (agentofuser.com) |
|
1 point by agentofuser on April 16, 2021 | past
|
|
| 12. | | GoodDollar: Global UBI on Blockchain (gooddollar.org) |
|
2 points by agentofuser on Aug 11, 2020 | past
|
|
| 13. | | A Re-Implementation of TeX in Rust (github.com/xymostech) |
|
3 points by agentofuser on Aug 15, 2019 | past
|
|
| 14. | | SoniControl – ultrasonic firewall against acoustic tracking (github.com/fhstp) |
|
1 point by agentofuser on Aug 1, 2019 | past
|
|
| 15. | | Mirth – a type-safe concatenative purely functional programming language (github.com/mirth-lang) |
|
119 points by agentofuser on July 12, 2019 | past | 73 comments
|
|
| 16. | | Cloudflare CTO: “If we did [take on GitHub] what features would you like?” (twitter.com/jgrahamc) |
|
128 points by agentofuser on May 30, 2019 | past | 75 comments
|
|
| 17. | | Digital Ad Ecosystem and the Impact of Data Privacy and Competition Policy (senate.gov) |
|
1 point by agentofuser on May 21, 2019 | past | 1 comment
|
|
| 18. | | The Complete Beginner's Guide to Deploying Your First Static Website to IPFS (dev.to) |
|
1 point by agentofuser on May 13, 2019 | past
|
|
| 19. | | Create-Pastel-App: Build CLI Apps Using React (github.com/vadimdemedes) |
|
1 point by agentofuser on May 2, 2019 | past
|
|
| 20. | | Show HN: IPFS-Deploy – Zero-Config CLI to Deploy Static Websites to IPFS (github.com/agentofuser) |
|
150 points by agentofuser on May 1, 2019 | past | 34 comments
|
|
| 21. | | Achievement Unlocked: The 2019 IPFS Roadmap (ipfs.io) |
|
7 points by agentofuser on April 6, 2019 | past | 1 comment
|
|
| 22. | | Hurricane Electric secondary DNS adds support for TSIG authentication (ctrl.blog) |
|
3 points by agentofuser on March 6, 2019 | past
|
|
| 23. | | ProtonMail vs. Mailbox.org Comparison (ctrl.blog) |
|
1 point by agentofuser on March 6, 2019 | past
|
|
| 24. | | Distributed web not ready for Runet cutoff from the Internet (ctrl.blog) |
|
85 points by agentofuser on Feb 14, 2019 | past | 45 comments
|
|
| 25. | | Libricochet-Go: Experimental Implementation of v3Onion Ricochet Protocol in Go (openprivacy.ca) |
|
1 point by agentofuser on Jan 14, 2019 | past
|
|
