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
- GHC Language extensions
- Type Families in Haskell: The Definitive Guide
- An Introduction To Typeclass Metaprogramming
- Monad transformers, free monads, mtl, laws and a new approach
- A Tutorial on Parallel and Concurrent Programming in Haskell
- Functional Programming with Overloading and Higher-Order Polymorphism
- Programming with Arrows
- Meet Bob The Monadic Lover
- The Evolution of a Haskell Programmer
Agda
Kategorientheorie
Coq
HoTT
Konkatenative Sprachen
Idris
{λ,}Prolog
C
Sonstiges
- Algebraic Effects for Functional Programming
- Theorems for free!
- Full Abstraction for PCF
- OpenSCAD Cheatsheet
- Gallery of Stupid XSL and XSLT Tricks
- Propositions as Types
- Lambda Diagrams
- To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
- Combinator Table: Combinators, Birds, Spelling & More
Besondere Bücher/Paper
Nix
{,La}TeX
git
Emacs
{shell,unix}
Web
Kryptographie
Mathematik
- nLab
Logik
Spieltheorie
Topologie
- Introduction to Topology
- Topologie
- Topology Video Series
- π-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
Musik
- Lieder die ich mag
- Every Noise at Once
Lieder
Live-Aufnahmen / Lieder die nicht auf einschlägigen Streaming-Plattformen (außer YouTube) erhältlich sind.
- SleepSlowdive
- AntsJohn Frusciante
- Ride Into The SunThe Velvet Underground
- Los BitchosLive on KEXP2019
- I'm for things you doThe Enfields
- Pictures of a Bleeding BoyThe God Machine
- リサフランク420 / 現代のコンピュー Macintosh Plus
- King Gizzard & The Lizard WizardLive on KEXP2017
- Pachuco CadaverCaptain Beefheart
- Печаль моя светлаЯнка
- Life During Wartime Talking HeadsLos Angeles1983
- ScenicOzean
- 3 Pita
- BeetlesWarpaint Live at Rock Werchter2011
- La gazza ladra (abridged)Gioachino Rossini
- Trans Europa Express (Orginal)Kraftwerk
- BlewNirvana Live at Reading 1992
- Texas FloodStevie Ray VaughanLive at the El Mocambo1983
- Of BeforeJohn Frusciante
- Morning AfterAriel Pink, Weyes Blood
- Philosophy of the world The Shaggs
- FitnessSorry3000
- black midiLive on KEXP2019
- Der Watzmann ruftAmbros, Tauchen, Prokopetz
- Verklärte NachtArnold Schönberg
- KhruangbinNPR Tiny Desk Concert2018
- Latest DisgraceFugazi Live at Philadelphia1995
- On TrackTame Impala Aria Awards2020
- Courtney Barnett, Kurt VileNPR Tiny Desk Concert 2017
- EchoesPink Floyd Live at Pompeii 1971
- Prélude 4 in e-mollFrédéric Chopin
- Wakin on a Pretty Day Kurt VileLive on Sound Opinions 2013
- 12. Sinfonie (Zum Gedenken an Lenin)Dmitri Schostakowitsch
- Präludium in cis-moll Sergei Rachmaninoff
- MTT 420 RRIDLES From The Basement 2022
- rauchenWellenbrecher 2021
- F# A# ∞ (Full Album) Godspeed You! Black Emperor
- EchusBoards of Canada
- only shallowmy bloody valentine
- HeliosphanAphex Twin Live
- BouréeJethro Tull Live1969
- Dig It (Very Alternate Version)The BeatlesGet Back 1969
- Almost Had to Start a Fight / In and Out of Patience Parquet Courts Live on KEXP2018
- Ohm Sweet OhmKraftwerk Live in Amsterdam 1976
- Wuthering HeightsKate BushLive at Hammersmith Odeon1979
- Köln IIKraftwerk Live1971
- The Dollaudiobooks 6 Music Festival 2022
- Femmes-fleursWapassou
- Alles musz in Flammen stehenDas Flug
- (Artificial Intelligence)Various artists
- Tubular BellsMike OldfieldBBC1973
- JamOmar Rodriguez-Lopez, John Frusciante, Flea2004
- AndromedaWeyes Blood Live on KEXP2019
- Wild TimeWeyes Blood Live at The Current2019
- La Femme d'Argent Air (French band)Live at Studio Atlas 2012
- Moog RiverFunki Porcini
- Interstate SexJohn Frusciante
- ПоходЭдуард Артемьев
- Milan Fashion Weekaudiobooks
- Height DownJohn Frusciante, River Phoenix
- Music of the Spheres Johanna Beyer
- Lounge Act( Nirvana Cover)John Frusciante
- Roland Studio
- Web Music Apps For Everybody
- Music Theory Cheatsheet