| 1. | | Sharpness Is Power (baku89.com) |
| 53 points by prathyvsh 12 days ago | past | discuss |
|
| 2. | | Evolution of the Spreadsheet Interface (prabros.com) |
| 5 points by prathyvsh 3 months ago | past |
|
| 3. | | [flagged] Garment Notation Language: Formal descriptive language for clothing construction (github.com/khalildh) |
| 136 points by prathyvsh 7 months ago | past | 36 comments |
|
| 4. | | An Introduction to String Diagrams for Computer Scientists (arxiv.org) |
| 2 points by prathyvsh on Aug 14, 2025 | past |
|
| 5. | | Lists and Lists: Basics of Lisp through interactive fiction (1996) (eblong.com) |
| 82 points by prathyvsh on Aug 7, 2025 | past | 15 comments |
|
| 6. | | Catalog of semantic zoom interface pattern (github.com/prathyvsh) |
| 3 points by prathyvsh on July 28, 2025 | past |
|
| 7. | | What is Realtalk’s relationship to AI? (2024) (dynamicland.org) |
| 282 points by prathyvsh on July 10, 2025 | past | 92 comments |
|
| 8. | | Space Pins: Spatial annotation layer for OSes (prabros.com) |
| 3 points by prathyvsh on May 30, 2025 | past |
|
| 9. | | Scrappy: Make little apps for you and your friends (granstrom.me) |
| 4 points by prathyvsh on May 20, 2025 | past |
|
| 10. | | Catalog of Novel Operating Systems (github.com/prathyvsh) |
| 187 points by prathyvsh on May 17, 2025 | past | 63 comments |
|
| 11. | | Algebraic Datatypes, Combinatorial Structures, and Generating Functions (corca.app) |
| 2 points by prathyvsh on May 1, 2025 | past | 1 comment |
|
| 12. | | Complex Systems and Möbius Inversion (abeljansma.nl) |
| 7 points by prathyvsh on Feb 4, 2025 | past |
|
| 13. | | Corca: Collaborative Math Editor (corca.io) |
| 2 points by prathyvsh on Jan 30, 2025 | past | 1 comment |
|
| 14. | | Dualities in functional programming (dicioccio.fr) |
| 72 points by prathyvsh on Jan 23, 2025 | past | 24 comments |
|
| 15. | | The imprecision is the point: How to design UIs for AIs (thieny.me) |
| 1 point by prathyvsh on Jan 10, 2025 | past |
|
| 16. | | From Quantum to Cosmos: Interactive visualization of scales of universe (quantumtocosmos.ca) |
| 3 points by prathyvsh on June 24, 2023 | past |
|
| 17. | | Bridging the gap between neural networks and functions (sebinsua.com) |
| 73 points by prathyvsh on June 23, 2023 | past | 6 comments |
|
| 18. | | Interface Futures: Catalog of Futuristic UIs (interfacefutures.com) |
| 2 points by prathyvsh on June 8, 2023 | past |
|
| 19. | | Adjacent Possible: Experiments in creating novel user interfaces (prabros.com) |
| 2 points by prathyvsh on June 7, 2023 | past | 1 comment |
|
| 20. | | Array Algebra (arrayalgebra.info) |
| 1 point by prathyvsh on May 23, 2023 | past |
|
| 21. | | What Design Can Teach Us (peterbloem.nl) |
| 1 point by prathyvsh on May 22, 2023 | past |
|
| 22. | | Inversion in Movie Tropes: Introductory group theory through Hollywood movies (patternatlas.com) |
| 1 point by prathyvsh on April 27, 2023 | past |
|
| 23. | | Lambda Calculus Visualizations Repo (github.com/prathyvsh) |
| 1 point by prathyvsh on April 13, 2023 | past |
|
| 24. | | Interface Ideas for Chat Apps (prabros.com) |
| 133 points by prathyvsh on Dec 2, 2022 | past | 64 comments |
|
| 25. | | Visual introduction to numerical optimization techniques (benfrederickson.com) |
| 3 points by prathyvsh on Nov 13, 2022 | past |
|
| 26. | | Metaphor Systems: A search engine based on generative AI (metaphor.systems) |
| 151 points by prathyvsh on Nov 10, 2022 | past | 58 comments |
|
| 27. | | HaSKI: An FPGA-based SKI calculus evaluator written in Haskell/Cλash (yager.io) |
| 4 points by prathyvsh on May 9, 2022 | past |
|
| 28. | | Diagrammatic Algebra for Hegelian Dialectics (twitter.com/diracshore) |
| 2 points by prathyvsh on April 29, 2022 | past |
|
| 29. | | Algebraic Effects: From Algebra to Programs (abstractfun.com) |
| 2 points by prathyvsh on Dec 16, 2021 | past |
|
| 30. | | Hypergraph Rewriting System in JavaScript (met4citizen.github.io) |
| 2 points by prathyvsh on Dec 7, 2021 | past |
|
|
| More |
