Sammlung Interessanter Websiten
Abenteuer aus dem Cyperspace – Eine öffentliche Sammlung von Hyper-„Lesezeichen“

• Introduction to Algorithms (CLRS)
• The Art of Computer Programming (TAOCP)
• Introduction to Automata Theory, Languages, and Computation (Cinderella Book)
• Gödel, Escher, Bach (GEB, MIT Vorlesung)
• The Cathedral and the Bazaar (CatB, fragwürdig)
• Programming Pearls
  • Pearls of Functional Algorithm Design
• Software Foundations ⍟
• Concepts, Techniques, and Models of Computer Programming
• Computer Systems: A Programmer’s Perspective, 3rd Edition
• Artificial Intelligence: A Modern Approach
• Programming Languages: Application and Interpretation

• Hyperpolyglot: Commonly used features in a side-by-side format
• Learn X in Y minutes: Take a whirlwind tour of your next favorite language.
• Rosetta Code ⍟
• Grammar Zoo, eine Sammlung von formalen Grammatiken für echte (Computer) Sprachen
• The Hello World Collection
• HOPL: an interactive Roster of Programming Languages
• Humourous looks at programming languages
• Programming Languages: Eine Sammlung von Einführungen
• The seven programming ur-languages
• Computer Languages History
• Syntax Across Languages per Language
• Fundamental Concepts in Programming Languages, Christopher Strachey (1967)
• Interessante, kleinere Programmiersprachen:
  • Curry
  • Unison
  • Idris
  • Aldor
  • E
  • Quipper
  • Austral
  • Uiua
  • Euclid und Turing
  • Charity
  • Shen ⍝
• Programming Language Implementation Zoo
• The Computer Language Benchmarks Game
• Cheatsheets von „programming-idioms.org“
• Poignant Guide to Ruby von _why (einfach so lesbar)
• Great Works in Programming Languages

• ArXiv Archiv für CS (auch interessant ar5iv.org)
  • SciRate: eine „Top Papers“ Seite
  • ArXiv Sanity: empfehlungs Seite für Paper
• Growing a Language (Guy Steele, Video) ⍟
• „Invited Talk“ (Guy Steele, Video)
• Fermat’s Library kommentiert unter anderem CS paper
• Papers We Love
• Mathematical Writing

• „Busy Beavers!“, An interactive intro to Computability Theory
• Building Blocks for Theoretical Computer Science
• Models of Computation
• Exact String Matching Algorithms
• Mathematical Foundations of Automata Theory
  • Mechanical Turing Machine in Wood
• Graph of NP-Complete Problems
• Notions of computation and monads, Eugenio Moggi
• Computing over the Reals: Where Turing Meets Newton
• Correspondence between ALGOL 60 and Church’s Lambda-notation, Peter Landin
• Buch: The Annotated Turing, mit Kommentaren zu Turings ursprünglicher Arbeit
  • Website zu Alan Turing
• The Undecidability of BB(748), Understanding Gödel’s Incompleteness Theorems
• Programming language semantics: It’s easy as 1, 2, 3

(Die schwammige Kategorie )

• Buch The Art of Electronics
• USB in a NutShell
• Vintage Calculators Web Museum
  • Learning About the HP 48
• FPG-1 is a PDP-1 implementation in FPGA
• What If Bacteria Designed Computers?
• A few things I know about LISP Machines
  • The Lisp Machine Software Development Environment
• On the Origin of Circuits
• Comic The Manga Guide to Electricity
• FlexScan EV2730Q, Bildschirm mit 1:1 Proportionen
• Getting started in electronics (website)
• The Architecture of Symbolic Computers
• What Every Programmer Should Know About Memory
• Learn to decode QR codes by hand!
• Nand Game
• Algorithms for Modern Hardware ⍝

• Buch: Compilers: Principles, Techniques, and Tools (Dragon Book)
• Buch: Crafting Interpreters
• QBE, is a compiler backend that aims to provide 70% of the performance of industrial optimizing compilers in 10% of the code.
  • Resources for Amateur Compiler Writers
• Buch: SSA Book
• movfuscator, ein C-Übersetzer welches nur die x86 mov Instruktion benutzt
  • trapcc, ein C-Übersetzer welches auf dem Auslösen von Traps auf x86 basiert
• Reflections on Trusting Trust, Ken Thompson (Turing Award Lecture)
• Buch: Practical Compiler Construction
• Bücher: Modern Compiler Implementation in {Java,C,ML} (1997)
• An Incremental Approach to Compiler Construction ⍟
  • Compilers: Backend to Frontend; and Back to Front Again (erweiterte Version)
• Confessions Of A Compiler Writer (1964)
• Let’s Build a Compiler (1988-1995)
• The next 700 virtual machines, in Referenz auf The Next 700 Programming Languages von Peter Ladin
• Compiling With Constraints ⍝

Siehe auch meine Sammlung von Links zu „Compilern“, auf meiner Tutor-Seite.

• The TTY demystified
  • Terminals Are Weird
  • XTerm Control Sequences
• Cool, but obscure X11 tools
• Fossil VCS
• Pijul VCS
• Useful One-Line Scripts For sed
• Notes on the M4 Macro Language
• dvtm, ein „window manager“ im Terminal
• Systemd by example

• Multicians, eine Webseite über das Multics Betriebssystem
  • Multics Demonstration (Video, 1972) ⍟
  • Introduction and Overview of the Multics System
  • Multics Myths
  • Multics Simulator
  • Source code for Multics Release 12.7
  • Thirty Years Later: Lessons from the Multics Security Evaluation
• Quelltext vom Incompatible Timesharing System (ITS)
• Plan 9 from Bell Labs (und die „moderne“ Inkarnation, 9front)
  • Plan 9 System Calls
• A Tao of Regular Expressions

Siehe auch meine Sammlung von Links zu „Betriebsystemen“, auf meiner Tutor-Seite.

• https://web.archive.org/
• https://archive.is/
• https://archive.ph/ (aka „archive.today“)
• Ghost Archive

• List of lists of lists, spezifisch
  • List of Latin phrases (full)
  • List of common misconceptions
  • List of animal sounds
    • List of animal names
  • List of unsolved problems in physics
• Meta-Artikel
  • Wikipedia:Unusual articles
  • Wikipedia:Good_articles
  • Special:LongPages
  • Wikipedia:Wikipedia_records
• Comparison of European road signs
• Illegal number
• Energy efficiency in transport
• Syllogism#Types
• Wallpaper group

• https://0x0.st
• https://ix.io/
• https://ttm.sh/
• https://paste.rs/
• https://dpaste.com/
• https://paste.mozilla.org/
• https://bpa.st/
• https://paste.textboard.org/
• https://bashupload.com/
• https://mathb.in/ (Für TeX)
• https://temp.sh/

Eine alternativer Ansatz: Magic Wormhole Protocol oder croc, welche P2P Übertragungen ermöglichen

• Jargon File (nicht die ESR Version!) ⍟
• Geschichten
  • The Story of Mel ⍟ (40. Jahrestag)
  • The case of the 500-mile email
• Real Programmers Don’t Use PASCAL
• The Halloween Documents
• How do we tell truths that might hurt? (Dijkstra)
• The Decline of Computers as a General Purpose Technology ⍟
• How To Ask Questions The Smart Way
• The History of the GPL
• Rootless Root: The Unix Koans of Master Foo
• AI Koans
• Laugh along with GNU
• Computer Lib/Dream Machines, Ted Nelson
• Quote Database
• The Future of Programming (Bret Victor, Video) ⍟
• Gallery of CSS Descramblers ⍟
• A Brief, Incomplete, and Mostly Wrong History of Programming Languages
• WikiWikiWeb (Die klassische Wiki mit vielen interessanten Artikel)
  • What is a Wiki?
• infinitemac.org, Emulatoren für alte Macintosh Systeme
  • Sammlung alter Macintosh Programme, im Browser ausführbar
• Kurzfilm: Hackers: Wizards of the Electronic Age (1985)
• RFC 1149: A Standard for the Transmission of IP Datagrams on Avian Carriers
• RFC 2324: Hyper Text Coffee Pot Control Protocol
• textfiles.com, eine Sammlung von Textdateien zu verschiedenen Themen
• The Mother of All Demos (1968, website) von Doug Engelbart
  • Engelbart’s Violin
• The XY Problem
• Konzept von dem Eternal September
• IRC logs aus den 90ern, während geschichtlichen Ereignissen (Zerfall der Sovient Union, Zweiter Golfkrieg)
• Free On-line Dictionary of Computing
• Early Computer Central
• The Interim Computer Museum des SDF
• Screenshots of Desktops (zeigt das früher alles besser aussah)
• A Cypherpunk’s Manifesto
• Vortrag Joe Armstrong interviews Alan Kay, wo diese Texte erwähnt werden:
  • Sketchpad: A Man-Machine Graphical Communication System (Sutherland, 1963)
  • Computation: finite and infinite machines (Minsky, 1967)
  • Situations, Actions, And Causal Laws (McCarthy, 1963)
  • Semantic Information Processing (Minsky, 1968)
  • META II: Syntax-Oriented Compiler Writing Language (Schorre, 1964)
  • PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot (Hewitt, 1970)
  • Members and Affiliates of the Intergalactic Computer Network (Licklider, 1963)
• Vortrag The computer revolution hasnt happened yet, Alan Kay (1997)
• Outline of a Paper to accompany Prof. Weizenbaum’s Paper on ELIZA ⍝
• A Brief History of the Internet ⍝

• GNU Nano
• Textadept
• Acme
  • Video A Tour of the Acme Editor, von Russ Cox ⍟
  • Verfügbar via Plan 9 from User Space
• ed
  • Ed, man! !man ed
• Sam
• Vim/Neovim
  • „Your problem with Vim is that you don’t grok vi.“
  • Vim Kōans
  • Unix as an IDE
  • Heirloom’s Traditional Vi
  • Open Vi (portabele Version aus OpenBSD)
• Vis
• Micro
• Helix

Siehe auch TextEditors.org für eine umfassende Übersicht.

Ich verweise in diesem Abschnitt absichtlich nur auf Android Anwendungen welche mit F-Droid verwaltet werden können. Wer Anwendungen aus dem Google-Play Store installiert, kann mittels Exodus Privacy schauen wie viele Tracker in den jeweiligen Anwendungen enthalten sind.

• Termux, Terminal Emulator mit Paket Manager
• Mull, ein gehärteter Firefox (bzw. Fennec) Fork vom DivestOS Projekt
  • Mulch, analog für Chromium
• NewPipe, ein Client für Seiten wie YouTube vergleichbar zu youtube-dl/yt-dlp
  • Alternativ auch mit SponsorBlock integration (Fork)
• Molly, Signal-Fork mit zusätzlichen Sicherheit Vorkehrungen
• Delta Chat, ein Android Client für ein Chat System, basierend auf Email
• Organic Maps, ein OpenStreetMaps Client

Die meisten dieser Firefox Erweiterungen gibt es auch in (ggf. geschwächter Form) auf anderen Browsern. Alternativ kann ich auch Ungoogled Chromium empfehlen.

• uBlock Origin (Ad-Blocker, es empfiehlt sich zusätzliche Blacklists wie „Annoyances“ zu aktivieren)
• ClearURLs (Bereinigt URLs von Tracker-Info)
• SponsorBlock (Automatisches Überspringen von Teilen eines Videos)
• Consent-O-Matic (Automatisches ablehnen von DS-GVO Anfragen)
• Cookie Autodelete (Verwaltet das löschen von Cookies)
• jShelter (Javascript-Beschänker)
• NoScript (Javascript-Entferner)
• Privacy Redirect (Automatisches Umleiten zu sicheren Alternativen)
• LocalCDN (CDN Emulation, ein Fork von Decentraleyes)
• Firefox Translations (In-Browser Website Übersetzer, eingebaut seit Firefox 118)
• Greasemonkey (Verwalten von „User Scripts“, welche das einfache Erweitern von Webseiten ermöglicht)
  • Userscript „Publication Auto PDF“
  • Userscript „Remove web limits“
  • Userscript „Select text inside a link“
• Tor Snowflake (Hilft Menschen ohne Zugriff auf Tor via deinen Browser als Entry-Guard Zensur zu Umgehen)
• Authenticator, ein TOTP/2FA-client im Browser, mit Firefox Sync integration

Ansonsten kann ich auch empfehlen Keyword Search für häufig benutzte Seiten einzurichten.

• How Facebook tracks you on Android, CCC18
• Alternativen zu Google Dienstleistugen
• Online Spyware Watchdog
• Privacy Guides

• ProofWiki (Übersicht verschiedener Kalküle)
• Natural Deduction Proof Generator
• Open Logic Project Bücher Reihe
• Constructive Logic Vorlesungsskript
• Buch Logic Primer (MIT Press)
• The Handbook of the History of Logic (Volume 1, Volume 5)
• Truth Table Generator
• Book Of Proof
• Undecidability of First-Order Logic
• A Friendly Introduction to Mathematical Logic
• On the Unusual Effectiveness of Logic in Computer Science
• Proofs from the Book
• Linear Logik, Girard
• Grundzüge der theoretischen Logik, Hilbert & Ackermann
• Comic Logicomix, über Logik und die Geschichte der Logik (recht oberflächlich)
• Logic in color
• Languages in Which Self Reference is Possible, Raymond M. Smullyan (Verallgemeinerung von Gödels Unvollständigkeitsbeweisen)

• nLab, eine „Wiki“ zu Category Theory ⍟
  • Stuff, structure, and properties
  • Concept with an Attitude
  • Computational Trilogy
  • Hegel’sche Science of Logic (Wissenschaft der Logik)
  • mLab, eine automatisch-generierte Parodie von nLab
• Einführungen
  • Basic Category Theory for Computer Scientists, Benjamin C. Pierce
  • Basic Category Theory
  • Category Theory: a concise course ⍟
  • A crash course on Category Theory
  • A category theory primer
• Physics, Topology, Logic and Computation: A Rosetta Stone ⍟
• Monads are monoid objects
• Applied Category Theory in Chemistry, Computing, and Social Networks
• Video: A Sensible Introduction to Category Theory
• Of Groups And Monads
• General Theory Of Natural Equivalences, erstes Paper zum Thema
• Buch Categories for the working mathematician, von Saunders Mac Lane (online, alt, alt’, alt’’)
• Topos Theory in a Nutshell
  • Kurz-Video Serie zu Topos Theorie
  • An informal introduction to topos theory
  • Uses and Abuses of Topos Theory ⍝
• Category Theory in Context, Emily Riehl
• When is one thing equal to some other thing?
• The Joy of Cats

• Topology: A Categorical Approach
• Introduction to Topology, von nLab
• Introduction to Topology, Tomoo Matsumura
• Video Serie Intuitive Topology
• A history of Topology
• TypeTopology, eine Formalisierung in Agda
• Ask a Topologist, altes Forum

• The HoTT Book, Univalent Foundations of Mathematics
• Introduction to Univalent Foundations of Mathematics with Agda
• A Basic Introduction To Homotopy Type Theory
• Introduction to Homotopy Type Theory
• Types and Programming Languages
• Intuitionistic Type Theory
• The Little Typer ⍟

• Game Theory: An Open Textbook, von Giacomo Bonanno
• Video Serie: Game Theory 101
• Video Serie: Game Theory, Ben Polak
• Algorithmic Game Theory (dazugehörige Vorlesung an der FAU)

• The Perry Bible Fellowship
• XKCD
• SMBC (Saturday Morning Breakfast Cereal)
• Poorly Drawn Lines
• False Knees
• Abstruse Goose
• War and Peas
• Beetle Moses (leider keine bessere Seite)
• Mr Lovenstein

Dieser Abschnitt ist etwas lang, aber ich finde oft interessante Lieder die ich wieder verliere. Damit das wenig häufig passiert sammele ich die hier.

Die meisten alle Links hier verweisen auf YouTube. Ich empfehle sich im die Firefox Addons im Abschnitt „Firefox Extensions“ anzuschauen.

• Achilles Last Stand, Led Zeppelin
• A Fifth of Beethoven, Walter Murphy
• Alice’s Restaurant, Arlo Guthrie
• All Of Me, Billie Holiday
• Am Fenster, City
• Antenne, Kraftwerk (Version vom Album Radio-Aktivität, 1975)
• Any Colour You Like, Pink Floyd, Live in Brighton
• Aus meinem Tagebuch, Reinhard Mey
• Autumn Leaves, von Cannonball Adderley (auch gut, Interpretationen von Nat King Cole, Chet Baker/Paul Desmond, Yves Montand)
• Ball & Chain, Janis Joplin beim Monterey International Pop Festival (1967)
• Bam Bam, Sister Nancy
• Bandiera Rossa
• Born Under a Bad Sign, Albert King
• Bring on the Night, The Police, Rockpalast (1980)
• Čaje Šukarije und Romano Horo, Esma Redžepova
• Cocaine Blues, Johnny Cash as dem Album „Live at Folsom State Prison“
• Computer Sind Doof, Spliff
• Corcovado, Astrud Gilberto
• Cry Baby, Janis Jopin in Toronto (1970)
• Da rata ne bude, Djordje Balasevic (1998, erster Auftritt eines serbischen Künstlers nach dem Krieg in Sarajevo), Portret mog zivota (lyrics)
• Day Dreaming, Aretha Franklin
• D>E>A>T>H>M>E>T>A>L, Panchiko (Album mit interessanter Geschichte)
• Desaparecido, Manu Chao
• Devut, Bôa
• Die Nacht ist nicht allein zum Schlafen da, Gustaf Gründgens (auch bekannt für seine Inszenierung von Goethes Faust)
• Dom Omladine Konzert von Azra (Belgrad, 1981)
• Dom Omladine Konzert von EKV (Novi Sad, 1989)
• Echoes, Pink Floyd
• Ein bißchen Goethe, ein bißchen Bonaparte, France Gall
• El Paso, Marty Robbins
• Emotional Rescue, The Rolling Stones
• English Suites, J.S. Bach interpretiert von Glenn Gould
• Erschießen, Ideal
• Etazhi, Molchat Doma
• Eye in the Sky, The Alan Parsons Project
• Falling Apart (Drake’s Theme), Hesoyamjhithi
• Farewell Cheyenne, Ennio Morricone (aus Once Upon a Time in the West von Sergio Leone)
• Fela Soul, Fela Kuti & De La Soul
• Fly, Roman Kouder & Patawawa
• Genius of Love, Tom Tom Club
• Gethsemane, Ian Gillan (Frontsänger von Deep Purple)
• Goodbye Moscow/Goodbye Sochi
• Gyöngyhajú lány, Omega
• Heartattack And Vine, Tom Waits
• Hello Walls, Willie Nelson
• Herz ist Trumpf, Trio
• Huajra, Inti Illimani
• Ich ging einmal spazieren (Marschlied)
• I Don’t Care, Chimpo ⍝
• I’d Rather Go Blind, Etta James
• If It Wasn’t For The Nights, Abba vom Album „Voulez-Vous“
• Israeli Salad, The Alchemist
• It’s like Love, Coubo
• I Wish You Love, Dean Martin (oder Joe Bataan)
• I Wonder, Sixto Rodriguez (siehe auch die Doku Searching for Sugar Man)
• Jimi Hendrix, Stockholm 1969
• 안개, Jung Hoon Hee
• Last Chance to Dance, EKKAH
• La vie en rose, Zaz
• Led Zeppelin im „Gladsaxe Teen Club“, Dänemark (1969)
• Les Contes d’Hoffmann: Barcarolle, Offenbach aufgeführt von Anna Netrebko & Elīna Garanča
• Les Délices de la Solitude, Michel Corrette
• Liebestraum nº3, von Franz Liszt aufgeführt von Artur Rubinstein
• Little Dark Age, MGMT
• Lovers Rock, TV Girl
• Love To Love You Baby, Donna Summer (48-Minuten Remix von DJDiscoCat)
• Maison De Radio Konzert von Muddy Waters (Paris 1976)
• Mañana (Is Soon Enough For Me), Jackie Davis
• Mean Old World, T-Bone Walker
• Méditation, aus der Oper Thaïs
• Mirno Idem Krivim Putem, Rezonansa
• Misty, Erroll Garner
• Monster Mash, Bobby Pickett
• Moonlight Serenade, Glenn Miller
• Music from Saharan Cellphones
• My Own Way, Duran Duran
• Neue Männer braucht das Land, Ina Deter Band
• Nice, Kleenex
• Nikriz Sirto, Tanburi Cemil Bey
• Nur geträumt, Nena
• Old Time Rock & Roll, Bob Seger
• On & On, Piri & Tommy
• Orange County Suite, The Doors
• Pain, Boy Harsher
• Parastoohaye Khasteh, Faramarz Aslani
• Pourquoi Pourquoi, Corine
• Psycho Killer, Talking Heads vom Konzert-Film „Stop Making Sense“
• Rakıya Su Katamam, Altın Gün
• Ravi Shankar bei dem Monterey International Pop Festival
• Real Love, Funk LeBlanc ft. Holland Greco
• Rises the Moon, Liana Flores
• Rock N Roll, The Runaways
• Samba Pa Ti, Carlos Santana
• Seems Like Old Times, Diane Keaton im Film Annie Hall (1977)
• Sehnsucht, Die neue Heimat
• Seven Souls, William S. Burroughs/Bill Laswell
• She Talks in Stereo, Gary Myrick and The Figures
• Sitar Chop und Pizzi Chop, Gramatik
• Sonate Pacifique, L’Impératrice
• Sounds Like A Melody, Alphaville
• Spanish Eyes, Al Martino (Darsteller von „Johnny Fontane“ in der Pate)
• Stranac, Arsen Dedić (Reinterpretation von Georges Moustaki’s Le Meteque) oder Tvoje nježne godine
• Summer Lament, Ken Muramuatsu
• Summer Madness, Kool & The Gang
• Sve Smo Mogli Mi, Jadranka Stojakovic (siehe auch, japanisch Version)
• The Hit, Crazy P Present the Syndromes
• The Look of Love, Dusty Springfield
• The Open Goldberg Variations, Kimiko Ishizaka (CC0) ⍝
• There Must Be An Angel, Eurythmics
• These Eyes (Crying Every Night), Stranger Cole
• The Tribute, Colossus
• Toccata and Fugue von J. S. Bach aufgeführt von Sergei Teleshev (Akkordeon)
• Too-Ra-Loo-Ra-Loo-Ral (Thats an Irish Lullaby), Bing Crosby
• U nedogled, Darkwood Dub
• Vérité, Claire Laffut
• Violin Partita no. 2 in D minor, J.S. Bach interpretiert von Shunske Sato
• War, The Sound Defects
• What Difference A Day Makes, Dinah Washington
• Wonderful Tonight, Eric Clapton
• You Stepped Into My Life, Melba Moore
• О. Копенков. Воспоминания („Erinnerungen“, von Oleg Kopenkov)
• 哀しみは夜の向こう (Sorrow Is Beyond The Night), Takako Mamiya
• 痛みの永遠, Macroblank