A curated list of thinking tools
- As We May Think by Vannevar Bush
- Man-computer Symbiosis by J.C.R. Licklider
- Augmenting Human Intellect by Douglas Engelbert
- Mother of All Demos [video] by Douglas Engelbert
- A Few Words on Douglas Engelbert by Bret Victor
- Machines to Think With [Chap 7] by Howard Reingold
- Personal Dynamic Media by Alan Kay and Adele Goldberg
- Thought as Technology by Michael Neilsen
- Magic Paper by Michael Neilsen
- Using Artificial Intelligence to Augment Human Intelligence by Michael Nielsen
- Toward an exploratory medium for mathematics by Michael Nielsen
- Against the Current by Chris Granger
- Coding is Not the New Literacy by Chris Granger
- Eve: tackling a giant with a change in perspective [video] by Chris Granger
- Inventing on Principle by Bret Victor
- Media for Thinking the Unthinkable by Bret Victor
- Kill Math by Bret Victor
- How can we develop transformative tools for thought? by Andy Matuschak and Michael Neilsen
- Intuition Pumps [video] by Daniel Dennett
- Putting Turing to Work [video] by Alan Kay
- Three Tribes of Programming by Joseph Gentle
- Programming as Theory Building by Peter Naur
- On the Expressive Power of Programming Languages by Shriram Krishnamurthi
- Systems not Programs by Shalabh Chaturvedi
- No Silver Bullet by Fred Brooks
- Summary by Adrian Colyer
- Out of the Tar Pit by Ben Moseley and Peter Marks
- Summary by Adrian Colyer
- Learnable Programming by Bret Victor
- Law of Leaky Abstractions by Joel Spolsky
- Up and Down the Ladder of Abstraction by Bret Victor
- Yes You should Understand Backprop by Andrej Karpathy
- Tangible Functional Programming [video] by Conal Elliot
- We don't really know how to compute by Gary Sussman
- The faster you unlearn Object-Orientated Programming the better for you
- The Power to Create Chaos by Konrad Hinsen
- The problem with programming and how to fix it by Jonathan Edwards
- Compression, Complexity and Software System Design by Simon Arneaud
- Future of Software By Paul Chiusano
- Constraint Logic Propagation Conflict Spreadsheets By William Taysom
- Future of Programming by Bret Victor
- B-thread programming by Luca Metteis
- I don't like notebooks [video] slides by Joel Grus
- The First Notebook Wars by Yihui Xie
- I see what you mean by Peter Alvaro
- Serverless: slower and more expensive
- Datalog
- Eve - Rethinking programming
- 0.2 Reference
- 0.3 Reference
- Eve Series Part I: How Eve unifies your entire programming stack
- Eve Series Part II: When Logic Programming Meets CQRS
- Eve Series Part III: Throwing off our scope chains
- Eve Series Part Iv: Smalltalk and protein programming
- Eve Series Part V: The rock-solid foundation for Eve's big vision
- Eve Series Part VI: Why Eve will be perfect for real-time apps
- After Eve - Jamie Branson
- Eve Concerns -
- Precept - A declarative programming framework
- Ceu Lang - Structured Synchronous Reactive Programming
- Dyna - extending Datalog for modern AI
- Imp: sets and funs - an emacs-y live self-modifying environment for working with structured data across multiple devices
- Alloy - Formal methods for verifying code execution
- TreeNotation - A notation for writing code with two dimensions
- Bel - Lisp variant going hard on formalism
- LogLisp - Attempt to merge functional (lisp) with relational (prolog)
- Userland - Spreadsheet-like Terminal
- Bloom
- Bud - Bloom prototype in Ruby
- Dex - Research language for array processing in the Haskell/ML family
- MakerPad
- Notion - All in one workspace to write, plan, collaborate, and get organized.
- MintData
- Hyperfiddle
- Jupyter
- Observable
- Streamlit
- Grid Studio
- Hyperfiddle
- Polynote - Notebook to leverage Scala
- Swish - Notebook for Prolog
- Excel - Microsoft's Popular Spreadsheet
- Mesh Spreadsheet
- Dynamicland - The building is the computer
- Hivemind - By Corey Montella, taking some of the lessons he learned from Eve
- SIEUFERD: A Visual Query System
- Beaker and Dat
- Apparatus
- Apparatus: A Hybrid Graphics Editor by Toby Schachman
- Project Mentat [deprecated]
- Aquameta - Entire web stack implemented in Postgres
- Need to do Curate Of the projects circulating around this community I see - Kayia/Kaya @David Broderick @David - Hilltop @Dan Swirsky - Infusion @Bosmon - Maraca @jon - Mech @Corey That may be similar to Eve and Onex in this regard. Perhaps the authors could
- Timely Dataflow
- Differential Dataflow
- Differential Dataflow Tutorial
- Six graph algorithms in differential dataflow
- Frank McSherry's Blog
- Differential Datalog by Vmware
- Datafrog by Frank McSherry
- Functional, Reactive, and Distributed Systems Bibliography
- Computer Utopias by Chris Novello at RISD
- Readings in Distributed Systems by Christopher Meiklejohn
- Spreadsheet of list of current projects <- Triage
Contributions welcome! Read the contribution guidelines first.
To the extent possible under law, Wil Chung has waived all copyright and related or neighboring rights to this work.