prathyvsh
Evolution of the Spreadsheet Interface
Garment Notation Language: Formal descriptive language for clothing construction
An Introduction to String Diagrams for Computer Scientists
Re:Lists and Lists: Basics of Lisp through interactive fiction
on Wednesday August 13, 2025 @07:31AM (#44887166)
Yeah, found all of this as a part of spelunking through the Inform adjacent space for this thread: https://x.com/prathyvsh/status/1953471554504863962
Lists and Lists: Basics of Lisp through interactive fiction
Catalog of semantic zoom interface pattern
Bret Victor on why current trend of AIs is at odds with his work
Space Pins: Spatial annotation layer for OSes
Scrappy: Make little apps for you and your friends
Catalog of Novel Operating Systems
Algebraic Datatypes, Combinatorial Structures, and Generating Functions
Re:Algebraic Datatypes, Combinatorial Structures, and Generating Funct...
on Thursday May 01, 2025 @07:02AM (#43856099)
An introductory article that connects algebraic datatypes, combinatorial structures, and generating functions. Includes a bibliography on the fascinating literature around this.
Complex Systems and Möbius Inversion
Corca: Collaborative Math Editor
Dualities in Functional Programming
The imprecision is the point: How to design UIs for AIs
From Quantum to Cosmos: Interactive visualization of scales of universe
A software engineer’s guide to understanding neural networks and transformers
Interface Futures: Catalog of Futuristic UIs
Re:Adjacent Possible: Experiments in creating novel user interfaces
on Wednesday June 07, 2023 @07:32PM (#36235152)
We have started this project where we explore novel interface ideas by taking current interface patterns and experimenting with them to understand what they will be like if we strike a different trade-off with the design choices. Would love to have your feedback and thoughts if you get a chance to check it out.
Thanks!
Adjacent Possible: Experiments in creating novel user interfaces
Array Algebra
What Design Can Teach Us
Inversion in Movie Tropes: Introductory group theory through Hollywood movies
Lambda Calculus Visualizations Repo
Re:Interface Ideas for Chat Apps
on Friday December 02, 2022 @11:06AM (#33832333)
An exploration of interface design ideas for chat applications.
Interface Ideas for Chat Apps
Visual introduction to numerical optimization techniques
Re:Metaphor Systems: A search engine based on generative AI
on Thursday November 10, 2022 @01:42PM (#33551132)
Metaphor is a search engine based on generative AI, the same sorts of techniques behind DALL-E 2 and GPT-3