Top-rated Resources
Top-rated Webpages
4-Dimensional Space
- Strange Horizons - Spirits, Art, and the Fourth Dimension By Bryan Clair
- Notes on the Fourth Dimension -- The Public Domain Review
Agile Development
- Agile Principles: What does it mean sustainable development? - Project Management Stack Exchange
- In Scrum, do we really let people self-organize around their work? - Project Management Stack Exchange
- scrum - The contradictions between agile approach and the growth of individual team member - Project Management Stack Exchange
- Flow – Treemagineers Blog
Apple II
Chaos Theory
Computational Complexity
- Computability and Complexity (Stanford Encyclopedia of Philosophy)
- Computational Complexity: So You Think You Settled P verus NP
- Computational Complexity: A Simple PSPACE-Complete Problem
Constraint Programming
DOS
Electronics
- Circuit Simulator Applet
- Depot Repair
- pcb - Environmentally sustainable electronics - Electrical Engineering Stack Exchange
Electronics Projects
Formal Language
Formal Specification
Functional Programming
Game Assets
Game Design
Game Development
Games
JavaScript
- Constructors Considered Mildly Confusing
- The JavaScript Event Loop: Explained
- Concurrency model and the event loop - JavaScript \| MDN
- We have a problem with promises
Logic
- Natural Deduction \| Internet Encyclopedia of Philosophy
- The Herbrand Manifesto
- Are opinions considered sentences in logic? - Philosophy Stack Exchange
Modal Logic
Numerical Analysis
- What numerical methods are used in circuit simulation? How can I get an overview? - Electrical Engineering Stack Exchange
- numerics - C, Julia, Python, Maxima, Mathematica, ChatGPT and numerical errors - Computational Science Stack Exchange
Philosophy
- What, if anything, can be said about what is unsayable? \| Aeon Essays
- HTMLGIANT / The Beginner's Guide to Hegel
- The Deep Insights of Alan Kay - mythz blog
Physics
Probability Theory
- probability - In a family with two children, what are the chances, if one of the children is a girl, that both children are girls? - Mathematics Stack Exchange
- probability - A and B are independent. Does P(A ∩ B\|C) = P(A\|C) · P(B\|C) hold? - Cross Validated
- Q: Is it possible to choose an item from an infinite set of items such that each one has an equal chance of being selected? | Ask a Mathematician / Ask a Physicist
- probability - Do Bayesians accept Kolmogorov\'s axioms? - Cross Validated
Refinement Calculus
Relational Programming
Software Engineering
- Making Wrong Code Look Wrong -- Joel on Software
- Things You Should Never Do, Part I -- Joel on Software
Theorem Proving
- The Incredible Proof Machine
- formal methods - Do theorems provers demonstrate their own correctness\"? - Computer Science Stack Exchange
Type Systems
- type safety - What is the difference between a strongly typed language and a statically typed language? - Stack Overflow
- The algebra (and calculus!) of algebraic data types
Top-rated Books
Algebraic Logic
- Logic as Algebra (borrow @ archive.org)
BASIC
- Write your own Adventure Programs for your Microcomputer (online @ usborne.com, archive.org, archive.org, archive.org, archive.org)
Commodore 64
- Commodore 64 Programmer's Reference Guide (online @ www.commodore.ca, archive.org, archive.org)
- 1001 Things to Do With your Commodore 64 (online @ archive.org)
Constraint Programming
- Constraint Programming Languages: Their Specification and Generation (borrow @ archive.org)
Coq
- Software Foundations (online @ softwarefoundations.cis.upenn.edu)
Electronics
- Getting Started in Electronics (borrow @ archive.org)
Game Design
- The Art of Computer Game Design (online @ archive.org)
Literature
- I am a Cat (borrow @ archive.org (2002 edition), archive.org (1972 edition))
Mathematics
- The Magical Maze (borrow @ archive.org)
Matroid Theory
- Introduction to Matroids (borrow @ archive.org)
Modal Logic
- Introductory Modal Logic (borrow @ archive.org)
- First Steps in Modal Logic (borrow @ archive.org)
PLDI
- A Practical Introduction to Denotational Semantics (borrow @ archive.org)
- Formal Syntax and Semantics of Programming Languages (borrow @ archive.org)
Philosophy
- The Cognitive Connection: Thought and Language in Man and Machine (borrow @ archive.org)
- Patterns of Software: Tales from the Software Community (online @ archive.org) (borrow @ archive.org)
Probability Theory
- Probability Theory (Jaynes) (online @ www.med.mcgill.ca, bayes.wustl.edu, archive.org, archive.org)
Prolog
- The Art of Prolog (borrow @ archive.org)
Relational Programming
- Relational Methods in Computer Science (borrow @ archive.org)
Retrocomputing
- Microprocessor Programming for Computer Hobbyists (borrow @ archive.org)
Software Engineering
- The Mythical Man-Month (online @ archive.org, archive.org) (borrow with print disabilities @ archive.org, archive.org)
- Object-Oriented Modelling and Design (borrow @ archive.org)
Theory of Computation
- The Universal Turing Machine (borrow @ archive.org)
- Theory of Deductive Systems and its Applications (borrow @ archive.org)
Topology
- Counterexamples in Topology (borrow @ archive.org)
Top-rated Papers
Combinatorics
- Boltzmann Samplers for the Random Generation of Combinatorial Structures (online @ algo.inria.fr)
- What Lies Between Order and Chaos? (online @ csc.ucdavis.edu)
Compiler Construction
- The essence of compiling with continuations (online @ web.archive.org)
Computational Complexity
- Why Philosophers Should Care About Computational Complexity (online @ www.scottaaronson.com, arxiv.org)
Equational Logic
Formal Specification
Forth
Functional Programming
- A tutorial on the universality and expressiveness of fold (online @ www.cs.nott.ac.uk)
Lambda Calculus
- The Lambda Calculus is Algebraic (online @ www.mscs.dal.ca)
Mathematics
- Infinity - A simple, but not too simple introduction (online @ arxiv.org)
Modal Logic
- Topological semantics of modal logic (online @ tsinghualogic.net)
Order Theory
- Deriving Laws from Ordering Relations (online @ archive.org)
PLDI
- Trampolined style (online @ dl.acm.org)
Partial Evaluation
Philosophy
Reactive Systems
- Statecharts (online @ www.inf.ed.ac.uk)
- State Machines for Event-Driven Systems (online @ barrgroup.com)
- Misunderstandings about state machines (online @ www.stateworks.com)
Refinement Calculus
- Algorithmics (online @ ir.cwi.nl, www.kestrel.edu)
- Laws of Programming (online @ ox.ac.uk)
- Algebraic Identities for Program Calculation (online @ academic.oup.com)
Software Engineering
- Why software jewels are rare (online @ www.yodaiken.com)
- Use of Formal Methods at Amazon Web Services (online @ lamport.azurewebsites.net)
Theorem Proving
- The Future of Mathematics? (online @ www.andrew.cmu.edu)
Type Systems
- Should Your Specification Language Be Typed? (online @ lamport.azurewebsites.net)
- On Understanding Data Abstraction, Revisited (online @ cs.utexas.edu)
- In Search of Types (online @ kent.ac.uk)
- Unfolding Abstract Datatypes (online @ www.cs.ox.ac.uk)