Links zu interessanten Themen

TCS

The FTP site
Esoteric Programming Languages Wiki
Barendregt's Lambda Cube
P-versus-NP page
Counterexamples in Type Systems
Type Theory by Example
Haskell
Agda
Kategorientheorie
Coq
HoTT
Konkatenative Sprachen
Idris
- Idris 2: Quantitative Type Theory in Action
{λ,}Prolog
C
Sonstiges
- Algebraic Effects for Functional Programming
- Theorems for free!Philip Wadler
- Full Abstraction for PCF
- OpenSCAD Cheatsheet
- Gallery of Stupid XSL and XSLT Tricks
- Propositions as TypesPhilip Wadler

Besondere Bücher/Paper

TAoCP Donald E. Knuth
GEB
Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of ProgramsJohn Backus
Manuscripts of Edsger W. Dijkstra E. W. Dijkstra
The Philosophy of Roger Bishop Jones

Nix

{,La}TeX

git

Emacs

`{shell,unix}`

Web

Kryptographie

Mathematik

nLab
Logik
Spieltheorie
- Algorithmic Game Theory in Coq
- Higher-order Games with Dependent Types
Topologie
- Introduction to Topology
- Topologie Meusburger
- Topology Video SeriesMarius Furter
- π-Base
  
  Toggle Description
  A community database of topological counterexamples
Diverses

Philosophie

Geschichte

History of the Crusades
An Encyclopaedia on Chinese History, Literature and Art
Histo Atlas

Toggle Description
Draw and visualize historical maps

Sonstiges

Choose an open source license
EurKey - The European Keyboard Layout
The Phrase Finder
Font Specimen Creator
File Sharing
„Spiele“

Musik

Kochen

Plant-based cooking website

Linguistik

Interessante Wikipedia-Seiten

Andere Link-Sammlungen