History of links.lisp
link: Propositions as Types
2024-11-12
Diff
278c278,282
< (:abbr :title "eXtensible Stylesheet Language Transformations" "XSLT") " Tricks"))))
---
> (:abbr :title "eXtensible Stylesheet Language Transformations" "XSLT") " Tricks"))
> (link :href "https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf"
> :title "Propositions as Types"
> :author "Philip Wadler"
> :tags '(pdf))))
song: Lounge Act (Nirvana Cover) - John Frusciante
2024-11-09
Diff
66c66
< (deftag recording (body attrs &key href title artist location year)
---
> (deftag recording (body attrs &key href title cover artist location year)
71c71
< ,title))
---
> ,title ,(when cover `(:span "(" ,cover " Cover)"))))
751c751,755
< :href "https://www.youtube.com/watch?v=fsda00bKeRM"))
---
> :href "https://www.youtube.com/watch?v=fsda00bKeRM")
> (recording :artist "John Frusciante"
> :title "Lounge Act"
> :cover "Nirvana"
> :href "https://www.youtube.com/watch?v=BWsER91JTb0"))
song: Music of the Spheres - Johanna Beyer
2024-10-09
Diff
748c748,751
< :href "https://www.youtube.com/watch?v=QVU4O7AQmls"))
---
> :href "https://www.youtube.com/watch?v=QVU4O7AQmls")
> (song :artist "Johanna Beyer"
> :title "Music of the Spheres"
> :href "https://www.youtube.com/watch?v=fsda00bKeRM"))
song: Height Down - John Frusciante & River Phoenix
2024-09-02
Diff
745c745,748
< :href "https://www.youtube.com/watch?v=rHKcBWzy2gY"))
---
> :href "https://www.youtube.com/watch?v=rHKcBWzy2gY")
> (song :artist '("John Frusciante" "River Phoenix")
> :title "Height Down"
> :href "https://www.youtube.com/watch?v=QVU4O7AQmls"))
meta: add description key
2024-08-23
Diff
45c45
< (deftag link (body attrs &key href title author tags)
---
> (deftag link (body attrs &key href title author tags description)
52c52,56
< ,author))))
---
> ,author))
> ,(when description
> `(:details :class "description"
> (:summary (:span "Toggle Description"))
> ,description))))
441c445,446
< :title "π-Base – A community database of topological counterexamples"))
---
> :title "π-Base"
> :description "A community database of topological counterexamples"))
475a481
> :description "Draw and visualize historical maps"
category: History
2024-08-23
Diff
460c460,461
< :title "History Of Philosophy Without Any Gaps")
---
> :title "History Of Philosophy Without Any Gaps"
> :tags '(podcast))
465c466,476
< :title "Map of influences in philosophy"))
---
> :title "Map of influences in philosophy"))
>
> (category :title "Geschichte" :id "hist"
> (link :href "https://crusadespod.com"
> :title "History of the Crusades"
> :tags '(podcast))
> (link :href "https://www.chinaknowledge.de"
> :title "An Encyclopaedia on Chinese History, Literature and Art")
> (link :href "https://histoatlas.org"
> :title "Histo Atlas"
> :tags '(fr)))
483c494
< :title "What is the PDF format good for?"))
---
> :title "What is the PDF format good for?"))
493c504
< :title "Topological Go")))
---
> :title "Topological Go")))
song: audiobooks - Milan Fashion Week
2024-08-16
Diff
725c725,728
< :href "https://www.youtube.com/watch?v=sJj9y4t9UnU"))
---
> :href "https://www.youtube.com/watch?v=sJj9y4t9UnU")
> (song :artist "audiobooks"
> :title "Milan Fashion Week"
> :href "https://www.youtube.com/watch?v=rHKcBWzy2gY"))
Summary: reformat
2024-08-13
Diff
78,80c78,80
< (:summary ,title)
< ,(when description `(:p ,description))
< (:ul (progn ,@entries)))
---
> (:summary ,title)
> ,(when description `(:p ,description))
> (:ul (progn ,@entries)))
124c124
< :title "The FTP site")
---
> :title "The FTP site")
126c126
< :title "Esoteric Programming Languages Wiki")
---
> :title "Esoteric Programming Languages Wiki")
128c128
< :title "Barendregt's Lambda Cube")
---
> :title "Barendregt's Lambda Cube")
130c130
< :title "P-versus-NP page")
---
> :title "P-versus-NP page")
132c132
< :title "Counterexamples in Type Systems")
---
> :title "Counterexamples in Type Systems")
134,135c134,135
< :title "Type Theory by Example"
< :tags '(pdf))
---
> :title "Type Theory by Example"
> :tags '(pdf))
139c139
< :title "GHC Language extensions")
---
> :title "GHC Language extensions")
141c141
< :title "Type Families in Haskell: The Definitive Guide")
---
> :title "Type Families in Haskell: The Definitive Guide")
143c143
< :title "An Introduction To Typeclass Metaprogramming")
---
> :title "An Introduction To Typeclass Metaprogramming")
145c145
< :title "Monad transformers, free monads, mtl, laws and a new approach")
---
> :title "Monad transformers, free monads, mtl, laws and a new approach")
147,149c147,149
< :title "A Tutorial on Parallel and Concurrent Programming in Haskell"
< :tags '(pdf)
< :author (:abbr :title "Simon Peyton Jones" "spj"))
---
> :title "A Tutorial on Parallel and Concurrent Programming in Haskell"
> :tags '(pdf)
> :author (:abbr :title "Simon Peyton Jones" "spj"))
151c151
< :title "Functional Programming with Overloading and
---
> :title "Functional Programming with Overloading and
153c153
< :tags '(pdf))
---
> :tags '(pdf))
155,156c155,156
< :title "Programming with Arrows"
< :tags '(pdf))
---
> :title "Programming with Arrows"
> :tags '(pdf))
158c158
< :title "Meet Bob The Monadic Lover")
---
> :title "Meet Bob The Monadic Lover")
160c160
< :title "The Evolution of a Haskell Programmer"))
---
> :title "The Evolution of a Haskell Programmer"))
164c164
< :title "Agda Documentation")
---
> :title "Agda Documentation")
166c166
< :title "Programming Language Foundations In Agda")
---
> :title "Programming Language Foundations In Agda")
168c168
< :title "Iowa Agda Library")
---
> :title "Iowa Agda Library")
170c170
< :title "Use Agda Libraries on NixOS")
---
> :title "Use Agda Libraries on NixOS")
172,173c172,173
< :title "Formalizing Category Theory in Agda"
< :tags '(arxiv))
---
> :title "Formalizing Category Theory in Agda"
> :tags '(arxiv))
175c175
< :title "Univalent mathematics in Agda"))
---
> :title "Univalent mathematics in Agda"))
179,180c179,180
< :title "Compiling to Categories"
< :tags '(pdf))
---
> :title "Compiling to Categories"
> :tags '(pdf))
182c182
< :title "Category Theory Illustrated")
---
> :title "Category Theory Illustrated")
184,185c184,185
< :title "27 Unhelpful Facts About Category Theory"
< :tags '(video))
---
> :title "27 Unhelpful Facts About Category Theory"
> :tags '(video))
187,188c187,188
< :title "Category Theory for Programmers"
< :author "Bartosz Milewski")
---
> :title "Category Theory for Programmers"
> :author "Bartosz Milewski")
190c190
< :title "kerodon - homotopy coherent mathematics"))
---
> :title "kerodon - homotopy coherent mathematics"))
194c194
< :title "Coq Tactics Index")
---
> :title "Coq Tactics Index")
196c196
< :title "ssreflect")
---
> :title "ssreflect")
198,199c198,199
< :title "Mathematical Components"
< :tags '(pdf))
---
> :title "Mathematical Components"
> :tags '(pdf))
201,202c201,202
< :title "Certified Programming with Dependent Types"
< :author "Adam Chlipala")
---
> :title "Certified Programming with Dependent Types"
> :author "Adam Chlipala")
204c204
< :title "3 Shocking Ways to Break Mathematics")
---
> :title "3 Shocking Ways to Break Mathematics")
206,207c206,207
< :title "Graph Theory In Coq"
< :tags '(pdf))
---
> :title "Graph Theory In Coq"
> :tags '(pdf))
209c209
< :title "Coq typeclass resolution is Turing-complete"))
---
> :title "Coq typeclass resolution is Turing-complete"))
213c213
< :title "Identity Elimination in HoTT")
---
> :title "Identity Elimination in HoTT")
215c215
< :title "1lab")
---
> :title "1lab")
217c217
< :title "The HoTT Game")
---
> :title "The HoTT Game")
219c219
< :title "HoTTEST Summer School")
---
> :title "HoTTEST Summer School")
221,222c221,222
< :title "Introduction to Homotopy Type Theory"
< :tags '(pdf)))
---
> :title "Introduction to Homotopy Type Theory"
> :tags '(pdf)))
225c225
< :title "Concatenative Language Wiki")
---
> :title "Concatenative Language Wiki")
227c227
< :title "The Theory of Concatenative Combinators")
---
> :title "The Theory of Concatenative Combinators")
229c229
< :title "Mathematical foundations of Joy"))
---
> :title "Mathematical foundations of Joy"))
233,234c233,234
< :title "Idris 2: Quantitative Type Theory in Action"
< :tags '(pdf)))
---
> :title "Idris 2: Quantitative Type Theory in Action"
> :tags '(pdf)))
237,245c237,245
< (link :href "https://www.metalevel.at/prolog"
< :title "The Power of Prolog")
< (link :href "https://prologhub.com"
< :title "PrologHub")
< (link :href "https://arxiv.org/pdf/0911.2899.pdf"
< :title "Coding Guidelines for Prolog"
< :tags '(pdf))
< (link :href "https://book.simply-logical.space/src/simply-logical.html"
< :title "Simply Logical - Intelligent Reasoning by Example"))
---
> (link :href "https://www.metalevel.at/prolog"
> :title "The Power of Prolog")
> (link :href "https://prologhub.com"
> :title "PrologHub")
> (link :href "https://arxiv.org/pdf/0911.2899.pdf"
> :title "Coding Guidelines for Prolog"
> :tags '(pdf))
> (link :href "https://book.simply-logical.space/src/simply-logical.html"
> :title "Simply Logical - Intelligent Reasoning by Example"))
249,251c249,251
< :title "GNU C Language Introduction and Reference Manual"
< :tags '(pdf)
< :author (:abbr :title "Richard Stallman" "rms"))
---
> :title "GNU C Language Introduction and Reference Manual"
> :tags '(pdf)
> :author (:abbr :title "Richard Stallman" "rms"))
253,254c253,254
< :title "Modern C"
< :tags '(pdf))
---
> :title "Modern C"
> :tags '(pdf))
256c256
< :title "C gibberish ↔ English"))
---
> :title "C gibberish ↔ English"))
260,261c260,261
< :title "Algebraic Effects for Functional Programming"
< :tags '(pdf))
---
> :title "Algebraic Effects for Functional Programming"
> :tags '(pdf))
263,265c263,265
< :title "Theorems for free!"
< :author "Philip Wadler"
< :tags '(pdf))
---
> :title "Theorems for free!"
> :author "Philip Wadler"
> :tags '(pdf))
267,268c267,268
< :title "Full Abstraction for PCF"
< :tags '(pdf))
---
> :title "Full Abstraction for PCF"
> :tags '(pdf))
270c270
< :title "OpenSCAD Cheatsheet")
---
> :title "OpenSCAD Cheatsheet")
272,274c272,274
< :title (:span "Gallery of Stupid "
< (:abbr :title "eXtensible Stylesheet Language" "XSL") " and "
< (:abbr :title "eXtensible Stylesheet Language Transformations" "XSLT") " Tricks"))))
---
> :title (:span "Gallery of Stupid "
> (:abbr :title "eXtensible Stylesheet Language" "XSL") " and "
> (:abbr :title "eXtensible Stylesheet Language Transformations" "XSLT") " Tricks"))))
277c277
< :title "Besondere Bücher/Paper"
---
> :title "Besondere Bücher/Paper"
280,281c280,281
< :title (:abbr :title "The Art of Computer Programming" "TAoCP")
< :author "Donald E. Knuth")
---
> :title (:abbr :title "The Art of Computer Programming" "TAoCP")
> :author "Donald E. Knuth")
283c283
< :title (:abbr :title "Gödel, Escher, Bach" "GEB"))
---
> :title (:abbr :title "Gödel, Escher, Bach" "GEB"))
285,287c285,287
< :title "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs"
< :author "John Backus"
< :tags '(pdf))
---
> :title "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs"
> :author "John Backus"
> :tags '(pdf))
289,290c289,290
< :title "Manuscripts of Edsger W. Dijkstra"
< :author "E. W. Dijkstra")
---
> :title "Manuscripts of Edsger W. Dijkstra"
> :author "E. W. Dijkstra")
292c292
< :title "The Philosophy of Roger Bishop Jones"))
---
> :title "The Philosophy of Roger Bishop Jones"))
296c296
< :title "NixOS Wiki")
---
> :title "NixOS Wiki")
298c298
< :title "Nix Book")
---
> :title "Nix Book")
300c300
< :title "Nixpkgs Code Search")
---
> :title "Nixpkgs Code Search")
302c302
< :title "Nix Channel Status")
---
> :title "Nix Channel Status")
304c304
< :title "Home Manager Manual")
---
> :title "Home Manager Manual")
306c306
< :title "Nix development guide")
---
> :title "Nix development guide")
308c308
< :title "noogle (hoogle for nix)"))
---
> :title "noogle (hoogle for nix)"))
311c311
< :title "{,La}TeX"
---
> :title "{,La}TeX"
314,315c314,315
< :title "Modern LaTeX"
< :tags '(pdf))
---
> :title "Modern LaTeX"
> :tags '(pdf))
317c317
< :title "Detexify")
---
> :title "Detexify")
319,320c319,320
< :title "The Comprehensive LaTeX Symbol List"
< :tags '(pdf))
---
> :title "The Comprehensive LaTeX Symbol List"
> :tags '(pdf))
322,323c322,323
< :title "Proof Trees in LaTeX"
< :tags '(pdf))
---
> :title "Proof Trees in LaTeX"
> :tags '(pdf))
325,326c325,326
< :title (progn "User's Guide for the " (:code "amsmath") " Package")
< :tags '(pdf))
---
> :title (progn "User's Guide for the " (:code "amsmath") " Package")
> :tags '(pdf))
328,329c328,329
< :title (progn "The " (:code "nag") " package")
< :tags '(pdf))
---
> :title (progn "The " (:code "nag") " package")
> :tags '(pdf))
331c331
< :title "The TeX Frequently Asked Question List")
---
> :title "The TeX Frequently Asked Question List")
333c333
< :title "Plain XeTeX"))
---
> :title "Plain XeTeX"))
336c336
< :title "git"
---
> :title "git"
339c339
< :title "Git Tutorial")
---
> :title "Git Tutorial")
341c341
< :title "Learn Git Branching")
---
> :title "Learn Git Branching")
343c343
< :title "Learn to use git send-email"))
---
> :title "Learn to use git send-email"))
346c346
< :title "Emacs"
---
> :title "Emacs"
349c349
< :title "Emacs Docs")
---
> :title "Emacs Docs")
351c351
< :title "meow-edit")
---
> :title "meow-edit")
353c353
< :title "The Org Manual")
---
> :title "The Org Manual")
355c355
< :title "The Craft of Text Editing --or-- Emacs for the Modern World"))
---
> :title "The Craft of Text Editing --or-- Emacs for the Modern World"))
358,359c358,359
< :title (:code "{shell,unix}")
< :id "shell"
---
> :title (:code "{shell,unix}")
> :id "shell"
361c361
< :title "Bash Oneliners")
---
> :title "Bash Oneliners")
363c363
< :title "The Bash Hackers Wiki")
---
> :title "The Bash Hackers Wiki")
365c365
< :title "pure sh bible")
---
> :title "pure sh bible")
367c367
< :title "cron helper")
---
> :title "cron helper")
369c369
< :title "Text Editor Wiki")
---
> :title "Text Editor Wiki")
371,372c371,372
< :title "Unix Haters Handbook"
< :tags '(pdf))
---
> :title "Unix Haters Handbook"
> :tags '(pdf))
374c374
< :title "Readline Cheat Sheet"))
---
> :title "Readline Cheat Sheet"))
378c378
< :title "HTML elements reference")
---
> :title "HTML elements reference")
380c380
< :title "Unicode Table")
---
> :title "Unicode Table")
382c382
< :title "Web Development Manifesto")
---
> :title "Web Development Manifesto")
384c384
< :title "colorbrewer")
---
> :title "colorbrewer")
386c386
< :title "Falsehoods Programmers Believe About Time")
---
> :title "Falsehoods Programmers Believe About Time")
388c388
< :href "https://letsblock.it/filters")
---
> :href "https://letsblock.it/filters")
390c390
< :href "https://messwithdns.net"))
---
> :href "https://messwithdns.net"))
394c394
< :title "Security & Privacy Evaluations")
---
> :title "Security & Privacy Evaluations")
396c396
< :title "cryptopals")
---
> :title "cryptopals")
398c398
< :title "cryptohack"))
---
> :title "cryptohack"))
402c402
< :title "nLab")
---
> :title "nLab")
405,406c405,406
< :title "Über die Bausteine der mathematischen Logik"
< :tags '(pdf))
---
> :title "Über die Bausteine der mathematischen Logik"
> :tags '(pdf))
408,409c408,409
< :title "Modal Logic for Open Minds"
< :tags '(pdf))
---
> :title "Modal Logic for Open Minds"
> :tags '(pdf))
411c411
< :title "The collected works of Per Martin-Löf")
---
> :title "The collected works of Per Martin-Löf")
413c413
< :title "A Point Against The Axiom Of Choice")
---
> :title "A Point Against The Axiom Of Choice")
415c415
< :title "In Defense Of The Axiom Of Choice")
---
> :title "In Defense Of The Axiom Of Choice")
417c417
< :title "Logic Matters"))
---
> :title "Logic Matters"))
421,422c421,422
< :title "Algorithmic Game Theory in Coq"
< :tags '(pdf))
---
> :title "Algorithmic Game Theory in Coq"
> :tags '(pdf))
424,425c424,425
< :title "Higher-order Games with Dependent Types"
< :tags '(arxiv)))
---
> :title "Higher-order Games with Dependent Types"
> :tags '(arxiv)))
428,429c428,429
< :href "https://ncatlab.org/nlab/show/Introduction+to+Topology"
< :title "Introduction to Topology")
---
> :href "https://ncatlab.org/nlab/show/Introduction+to+Topology"
> :title "Introduction to Topology")
431,434c431,434
< :href "https://www.math.fau.de/wp-content/uploads/2024/01/Topologie.pdf"
< :title "Topologie"
< :author "Meusburger"
< :tags '(pdf))
---
> :href "https://www.math.fau.de/wp-content/uploads/2024/01/Topologie.pdf"
> :title "Topologie"
> :author "Meusburger"
> :tags '(pdf))
436,439c436,439
< :href "https://www.youtube.com/playlist?list=PLd8NbPjkXPliJunBhtDNMuFsnZPeHpm-0"
< :title "Topology Video Series"
< :author "Marius Furter"
< :tags '(video))
---
> :href "https://www.youtube.com/playlist?list=PLd8NbPjkXPliJunBhtDNMuFsnZPeHpm-0"
> :title "Topology Video Series"
> :author "Marius Furter"
> :tags '(video))
441c441
< :title "π-Base – A community database of topological counterexamples"))
---
> :title "π-Base – A community database of topological counterexamples"))
444c444
< :title "The Point Of The Banach Tarski Theorem")
---
> :title "The Point Of The Banach Tarski Theorem")
446c446
< :title "Platonism in the Philosophy of Mathematics")
---
> :title "Platonism in the Philosophy of Mathematics")
448c448
< :title "Lindenmayer Systems")
---
> :title "Lindenmayer Systems")
450c450
< :title "An introduction to Lindenmayer Systems")
---
> :title "An introduction to Lindenmayer Systems")
452c452
< :title "Easing functions")))
---
> :title "Easing functions")))
456c456
< :title "Stanford Encyclopedia of Philosophy")
---
> :title "Stanford Encyclopedia of Philosophy")
458c458
< :title "Existential Comics")
---
> :title "Existential Comics")
460c460
< :title "History Of Philosophy Without Any Gaps")
---
> :title "History Of Philosophy Without Any Gaps")
462,463c462,463
< :title "Famine, Affluence, and Morality"
< :tags '(pdf))
---
> :title "Famine, Affluence, and Morality"
> :tags '(pdf))
465c465
< :title "Map of influences in philosophy"))
---
> :title "Map of influences in philosophy"))
469c469
< :title "Choose an open source license")
---
> :title "Choose an open source license")
471c471
< :title "EurKey - The European Keyboard Layout")
---
> :title "EurKey - The European Keyboard Layout")
473c473
< :title "The Phrase Finder")
---
> :title "The Phrase Finder")
475,476c475,476
< :title "Font Specimen Creator")
<
---
> :title "Font Specimen Creator")
>
479c479
< :title "snapdrop (LAN)")
---
> :title "snapdrop (LAN)")
481c481
< :title "magic-wormhole")
---
> :title "magic-wormhole")
483c483
< :title "What is the PDF format good for?"))
---
> :title "What is the PDF format good for?"))
487c487
< :title "Paperclips")
---
> :title "Paperclips")
489c489
< :title "Type-Signature")
---
> :title "Type-Signature")
491c491
< :title "Recursive Drawing")
---
> :title "Recursive Drawing")
493c493
< :title "Topological Go")))
---
> :title "Topological Go")))
497c497
< :title "Lieder die ich mag")
---
> :title "Lieder die ich mag")
499c499
< :title "Every Noise at Once")
---
> :title "Every Noise at Once")
505,506c505,506
< :artist "Slowdive"
< :href "https://www.youtube.com/watch?v=6ey4yAgLZlw")
---
> :artist "Slowdive"
> :href "https://www.youtube.com/watch?v=6ey4yAgLZlw")
508,509c508,509
< :artist "John Frusciante"
< :href "https://www.youtube.com/watch?v=0RfQ3m5sjGM")
---
> :artist "John Frusciante"
> :href "https://www.youtube.com/watch?v=0RfQ3m5sjGM")
511,512c511,512
< :artist "The Velvet Underground"
< :href "https://www.youtube.com/watch?v=ydA0bmL-UEk")
---
> :artist "The Velvet Underground"
> :href "https://www.youtube.com/watch?v=ydA0bmL-UEk")
514,516c514,516
< :location "Live on KEXP"
< :year 2019
< :href "https://www.youtube.com/watch?v=iPp2fdHMxTM")
---
> :location "Live on KEXP"
> :year 2019
> :href "https://www.youtube.com/watch?v=iPp2fdHMxTM")
518,519c518,519
< :artist "The Enfields"
< :href "https://www.youtube.com/watch?v=qIcSkgF0TLo")
---
> :artist "The Enfields"
> :href "https://www.youtube.com/watch?v=qIcSkgF0TLo")
521,522c521,522
< :artist "The God Machine"
< :href "https://www.youtube.com/watch?v=2A6uGWCj4Ks")
---
> :artist "The God Machine"
> :href "https://www.youtube.com/watch?v=2A6uGWCj4Ks")
524,525c524,525
< :artist "Macintosh Plus"
< :href "https://www.youtube.com/watch?v=aQkPcPqTq4M")
---
> :artist "Macintosh Plus"
> :href "https://www.youtube.com/watch?v=aQkPcPqTq4M")
527,529c527,529
< :location "Live on KEXP"
< :year 2017
< :href "https://www.youtube.com/watch?v=G5Z4bma_tUM")
---
> :location "Live on KEXP"
> :year 2017
> :href "https://www.youtube.com/watch?v=G5Z4bma_tUM")
531,532c531,532
< :artist "Captain Beefheart"
< :href "https://www.youtube.com/watch?v=PvdrwRs27hE")
---
> :artist "Captain Beefheart"
> :href "https://www.youtube.com/watch?v=PvdrwRs27hE")
534,535c534,535
< :artist "Янка"
< :href "https://www.youtube.com/watch?v=ENv4ro2EklU")
---
> :artist "Янка"
> :href "https://www.youtube.com/watch?v=ENv4ro2EklU")
537,540c537,540
< :title "Life During Wartime"
< :location "Los Angeles"
< :year 1983
< :href "https://www.youtube.com/watch?v=jShMQw2H2cM")
---
> :title "Life During Wartime"
> :location "Los Angeles"
> :year 1983
> :href "https://www.youtube.com/watch?v=jShMQw2H2cM")
542,543c542,543
< :artist "Ozean"
< :href "https://www.youtube.com/watch?v=ppOMMZWagB0")
---
> :artist "Ozean"
> :href "https://www.youtube.com/watch?v=ppOMMZWagB0")
545,546c545,546
< :artist "Pita"
< :href "https://www.youtube.com/watch?v=kSCZVkQJw7U")
---
> :artist "Pita"
> :href "https://www.youtube.com/watch?v=kSCZVkQJw7U")
548,551c548,551
< :title "Beetles"
< :location "Live at Rock Werchter"
< :year 2011
< :href "https://www.youtube.com/watch?v=mdDYpw38xeU")
---
> :title "Beetles"
> :location "Live at Rock Werchter"
> :year 2011
> :href "https://www.youtube.com/watch?v=mdDYpw38xeU")
553,554c553,554
< :title "La gazza ladra (abridged)"
< :href "https://www.youtube.com/watch?v=Ceh0-42FXg0")
---
> :title "La gazza ladra (abridged)"
> :href "https://www.youtube.com/watch?v=Ceh0-42FXg0")
556,557c556,557
< :title "Trans Europa Express (Orginal)"
< :href "https://www.youtube.com/watch?v=XMVokT5e0zs")
---
> :title "Trans Europa Express (Orginal)"
> :href "https://www.youtube.com/watch?v=XMVokT5e0zs")
559,562c559,562
< :title "Blew"
< :location "Live at Reading"
< :year 1992
< :href "https://www.youtube.com/watch?v=97KwmvleRok")
---
> :title "Blew"
> :location "Live at Reading"
> :year 1992
> :href "https://www.youtube.com/watch?v=97KwmvleRok")
564,567c564,567
< :title "Texas Flood"
< :location "Live at the El Mocambo"
< :year 1983
< :href "https://www.youtube.com/watch?v=KC5H9P4F5Uk")
---
> :title "Texas Flood"
> :location "Live at the El Mocambo"
> :year 1983
> :href "https://www.youtube.com/watch?v=KC5H9P4F5Uk")
569,570c569,570
< :artist "John Frusciante"
< :href "https://www.youtube.com/watch?v=SK8suMMbxvE")
---
> :artist "John Frusciante"
> :href "https://www.youtube.com/watch?v=SK8suMMbxvE")
572,573c572,573
< :title "Morning After"
< :artist '("Ariel Pink" "Weyes Blood"))
---
> :title "Morning After"
> :artist '("Ariel Pink" "Weyes Blood"))
575,576c575,576
< :title "Philosophy of the world"
< :href "https://www.youtube.com/watch?v=hxPsXPCR5MU")
---
> :title "Philosophy of the world"
> :href "https://www.youtube.com/watch?v=hxPsXPCR5MU")
578,579c578,579
< :title "Fitness"
< :href "https://www.youtube.com/watch?v=vnP2eZoTzm8")
---
> :title "Fitness"
> :href "https://www.youtube.com/watch?v=vnP2eZoTzm8")
581,583c581,583
< :location "Live on KEXP"
< :year 2019
< :href "https://www.youtube.com/watch?v=TMn1UuEIVvA")
---
> :location "Live on KEXP"
> :year 2019
> :href "https://www.youtube.com/watch?v=TMn1UuEIVvA")
585,586c585,586
< :title "Der Watzmann ruft"
< :href "https://www.youtube.com/watch?v=m_nEzIFXFUg")
---
> :title "Der Watzmann ruft"
> :href "https://www.youtube.com/watch?v=m_nEzIFXFUg")
588,589c588,589
< :title "Verklärte Nacht"
< :href "https://www.youtube.com/watch?v=U-pVz2LTakM")
---
> :title "Verklärte Nacht"
> :href "https://www.youtube.com/watch?v=U-pVz2LTakM")
591,593c591,593
< :location "NPR Tiny Desk Concert"
< :year 2018
< :href "https://www.youtube.com/watch?v=vWLJeqLPfSU")
---
> :location "NPR Tiny Desk Concert"
> :year 2018
> :href "https://www.youtube.com/watch?v=vWLJeqLPfSU")
595,598c595,598
< :title "Latest Disgrace"
< :location "Live at Philadelphia"
< :year 1995
< :href "https://www.youtube.com/watch?v=HPtwIjPx8Gg")
---
> :title "Latest Disgrace"
> :location "Live at Philadelphia"
> :year 1995
> :href "https://www.youtube.com/watch?v=HPtwIjPx8Gg")
600,603c600,603
< :title "On Track"
< :location "Aria Awards"
< :year 2020
< :href "https://www.youtube.com/watch?v=PsHnP2RjCF4")
---
> :title "On Track"
> :location "Aria Awards"
> :year 2020
> :href "https://www.youtube.com/watch?v=PsHnP2RjCF4")
605,607c605,607
< :location "NPR Tiny Desk Concert"
< :year 2017
< :href "https://www.youtube.com/watch?v=JQs5XagfheI")
---
> :location "NPR Tiny Desk Concert"
> :year 2017
> :href "https://www.youtube.com/watch?v=JQs5XagfheI")
609,612c609,612
< :title "Echoes"
< :location "Live at Pompeii"
< :year 1971
< :href "https://www.youtube.com/watch?v=PGwPSPIhohk")
---
> :title "Echoes"
> :location "Live at Pompeii"
> :year 1971
> :href "https://www.youtube.com/watch?v=PGwPSPIhohk")
614,615c614,615
< :title "Prélude 4 in e-moll"
< :href "https://www.youtube.com/watch?v=FDT_gtC5faQ")
---
> :title "Prélude 4 in e-moll"
> :href "https://www.youtube.com/watch?v=FDT_gtC5faQ")
617,620c617,620
< :title "Wakin on a Pretty Day"
< :location "Live on Sound Opinions"
< :year 2013
< :href "https://www.youtube.com/watch?v=UovytItuSkM")
---
> :title "Wakin on a Pretty Day"
> :location "Live on Sound Opinions"
> :year 2013
> :href "https://www.youtube.com/watch?v=UovytItuSkM")
622,623c622,623
< :title "12. Sinfonie (Zum Gedenken an Lenin)"
< :href "https://www.youtube.com/watch?v=srh97TbXN8A")
---
> :title "12. Sinfonie (Zum Gedenken an Lenin)"
> :href "https://www.youtube.com/watch?v=srh97TbXN8A")
625,626c625,626
< :title "Präludium in cis-moll"
< :href "https://www.youtube.com/watch?v=wXQCPAR0EHo")
---
> :title "Präludium in cis-moll"
> :href "https://www.youtube.com/watch?v=wXQCPAR0EHo")
628,631c628,631
< :title "MTT 420 RR"
< :location "From The Basement"
< :year 2022
< :href "https://www.youtube.com/watch?v=2nHWE1NnrA0")
---
> :title "MTT 420 RR"
> :location "From The Basement"
> :year 2022
> :href "https://www.youtube.com/watch?v=2nHWE1NnrA0")
633,635c633,635
< :location "Wellenbrecher"
< :year 2021
< :href "https://www.youtube.com/watch?v=pxLqfKCS1Ww")
---
> :location "Wellenbrecher"
> :year 2021
> :href "https://www.youtube.com/watch?v=pxLqfKCS1Ww")
637,638c637,638
< :title "F# A# ∞ (Full Album)"
< :href "https://www.youtube.com/watch?v=wy4IsC5eb7o")
---
> :title "F# A# ∞ (Full Album)"
> :href "https://www.youtube.com/watch?v=wy4IsC5eb7o")
640,641c640,641
< :title "Echus"
< :href "https://www.youtube.com/watch?v=fjrPpzNeNZ0")
---
> :title "Echus"
> :href "https://www.youtube.com/watch?v=fjrPpzNeNZ0")
643,644c643,644
< :title "only shallow"
< :href "https://www.youtube.com/watch?v=4nzZeUUiG2c")
---
> :title "only shallow"
> :href "https://www.youtube.com/watch?v=4nzZeUUiG2c")
646,648c646,648
< :title "Heliosphan"
< :location "Live"
< :href "https://www.youtube.com/watch?v=MkDkF1psd4U")
---
> :title "Heliosphan"
> :location "Live"
> :href "https://www.youtube.com/watch?v=MkDkF1psd4U")
650,653c650,653
< :location "Live"
< :title "Bourée"
< :year 1969
< :href "https://www.youtube.com/watch?v=iWJgJkVL0xM")
---
> :location "Live"
> :title "Bourée"
> :year 1969
> :href "https://www.youtube.com/watch?v=iWJgJkVL0xM")
655,658c655,658
< :location "Get Back"
< :title "Dig It (Very Alternate Version)"
< :year 1969
< :href "https://www.youtube.com/watch?v=Pc6KjxrbxAk")
---
> :location "Get Back"
> :title "Dig It (Very Alternate Version)"
> :year 1969
> :href "https://www.youtube.com/watch?v=Pc6KjxrbxAk")
660,663c660,663
< :location "Live on KEXP"
< :title "Almost Had to Start a Fight / In and Out of Patience"
< :year 2018
< :href "https://www.youtube.com/watch?v=xiaTB18adYs")
---
> :location "Live on KEXP"
> :title "Almost Had to Start a Fight / In and Out of Patience"
> :year 2018
> :href "https://www.youtube.com/watch?v=xiaTB18adYs")
665,668c665,668
< :location "Live in Amsterdam"
< :title "Ohm Sweet Ohm"
< :year 1976
< :href "https://www.youtube.com/watch?v=UDM79ZEk3t8")
---
> :location "Live in Amsterdam"
> :title "Ohm Sweet Ohm"
> :year 1976
> :href "https://www.youtube.com/watch?v=UDM79ZEk3t8")
670,673c670,673
< :location "Live at Hammersmith Odeon"
< :title "Wuthering Heights"
< :year 1979
< :href "https://www.youtube.com/watch?v=uRQL_B41Bu0")
---
> :location "Live at Hammersmith Odeon"
> :title "Wuthering Heights"
> :year 1979
> :href "https://www.youtube.com/watch?v=uRQL_B41Bu0")
675,678c675,678
< :location "Live"
< :year 1971
< :title "Köln II"
< :href "https://www.youtube.com/watch?v=BIoNn1YQf8c")
---
> :location "Live"
> :year 1971
> :title "Köln II"
> :href "https://www.youtube.com/watch?v=BIoNn1YQf8c")
680,683c680,683
< :location "6 Music Festival"
< :year 2022
< :title "The Doll"
< :href "https://www.youtube.com/watch?v=pr8dU8fGJ1A")
---
> :location "6 Music Festival"
> :year 2022
> :title "The Doll"
> :href "https://www.youtube.com/watch?v=pr8dU8fGJ1A")
685,686c685,686
< :title "Femmes-fleurs"
< :href "https://www.youtube.com/watch?v=zL4QmTNAJvc")
---
> :title "Femmes-fleurs"
> :href "https://www.youtube.com/watch?v=zL4QmTNAJvc")
688,689c688,689
< :title "Alles musz in Flammen stehen"
< :href "https://www.youtube.com/watch?v=W_oJf54ZoRE")
---
> :title "Alles musz in Flammen stehen"
> :href "https://www.youtube.com/watch?v=W_oJf54ZoRE")
691,692c691,692
< :title "(Artificial Intelligence)"
< :href "https://www.youtube.com/watch?v=jaysR-sashY")
---
> :title "(Artificial Intelligence)"
> :href "https://www.youtube.com/watch?v=jaysR-sashY")
694,697c694,697
< :location "BBC"
< :year 1973
< :title "Tubular Bells"
< :href "https://www.youtube.com/watch?v=KXatvzWAzLU")
---
> :location "BBC"
> :year 1973
> :title "Tubular Bells"
> :href "https://www.youtube.com/watch?v=KXatvzWAzLU")
699,701c699,701
< :year 2004
< :title "Jam"
< :href "https://www.youtube.com/watch?v=NwPlsRf-9Ws")
---
> :year 2004
> :title "Jam"
> :href "https://www.youtube.com/watch?v=NwPlsRf-9Ws")
703,706c703,706
< :title "Andromeda"
< :year 2019
< :location "Live on KEXP"
< :href "https://www.youtube.com/watch?v=U-mf2sFcLXA")
---
> :title "Andromeda"
> :year 2019
> :location "Live on KEXP"
> :href "https://www.youtube.com/watch?v=U-mf2sFcLXA")
708,711c708,711
< :title "Wild Time"
< :year 2019
< :location "Live at The Current"
< :href "https://www.youtube.com/watch?v=SOhHj0nGX0c")
---
> :title "Wild Time"
> :year 2019
> :location "Live at The Current"
> :href "https://www.youtube.com/watch?v=SOhHj0nGX0c")
713,716c713,716
< :title "La Femme d'Argent"
< :year 2012
< :location "Live at Studio Atlas"
< :href "https://www.youtube.com/watch?v=1Vxxn_YnLQ4")
---
> :title "La Femme d'Argent"
> :year 2012
> :location "Live at Studio Atlas"
> :href "https://www.youtube.com/watch?v=1Vxxn_YnLQ4")
718,719c718,719
< :title "Moog River"
< :href "https://www.youtube.com/watch?v=cCYl4s5Kjow")
---
> :title "Moog River"
> :href "https://www.youtube.com/watch?v=cCYl4s5Kjow")
721,722c721,722
< :title "Interstate Sex"
< :href "https://www.youtube.com/watch?v=USD_qTm5yNw")
---
> :title "Interstate Sex"
> :href "https://www.youtube.com/watch?v=USD_qTm5yNw")
724,725c724,725
< :title "Поход"
< :href "https://www.youtube.com/watch?v=sJj9y4t9UnU"))
---
> :title "Поход"
> :href "https://www.youtube.com/watch?v=sJj9y4t9UnU"))
728c728
< :title "Roland Studio")
---
> :title "Roland Studio")
730c730
< :title "Web Music Apps For Everybody")
---
> :title "Web Music Apps For Everybody")
732c732
< :title "Music Theory Cheatsheet"))
---
> :title "Music Theory Cheatsheet"))
736c736
< :href "https://grimgrains.com"))
---
> :href "https://grimgrains.com"))
739,744c739,744
< (link :href "https://www.atlas-alltagssprache.de"
< :title "Atlas Alltagssprache")
< (link :href "https://prowiki.ids-mannheim.de/bin/view/AADG"
< :title "Atlas zur Aussprache des deutschen Gebrauchsstandards")
< (link :href "http://www.segerman.org/autological.html"
< :title "Autological Words"))
---
> (link :href "https://www.atlas-alltagssprache.de"
> :title "Atlas Alltagssprache")
> (link :href "https://prowiki.ids-mannheim.de/bin/view/AADG"
> :title "Atlas zur Aussprache des deutschen Gebrauchsstandards")
> (link :href "http://www.segerman.org/autological.html"
> :title "Autological Words"))
748c748
< :title "List of hat styles")
---
> :title "List of hat styles")
750c750
< :title "List of obsolete units of measurement")
---
> :title "List of obsolete units of measurement")
752c752
< :title "Abstract nonsense")
---
> :title "Abstract nonsense")
754c754
< :title "Wikipedia: Lamest edit wars")
---
> :title "Wikipedia: Lamest edit wars")
756c756
< :title "Verwandtschaftsbeziehung")
---
> :title "Verwandtschaftsbeziehung")
758c758
< :title "Typeface samples"))
---
> :title "Typeface samples"))
762c762
< :href "https://wwwcip.cs.fau.de/~oj14ozun/links.html")
---
> :href "https://wwwcip.cs.fau.de/~oj14ozun/links.html")
764c764
< :href "https://wwwcip.cs.fau.de/~qy15sije/links.html"))))))
---
> :href "https://wwwcip.cs.fau.de/~qy15sije/links.html"))))))
link: mess with dns
2024-08-10
Diff
388c388,390
< :href "https://letsblock.it/filters"))
---
> :href "https://letsblock.it/filters")
> (link :title "mess with dns"
> :href "https://messwithdns.net"))
link: update nixos wiki to official
2024-08-01
Diff
295c295
< (link :href "https://nixos.wiki"
---
> (link :href "https://wiki.nixos.org"
link: Every Noise at Once
2024-07-28
Diff
495a496,497
> (link :href "https://everynoise.com"
> :title "Every Noise at Once")
link: Gallery of Stupid XSL and XSLT Tricks
2024-07-23
Diff
270c270,274
< :title "OpenSCAD Cheatsheet")))
---
> :title "OpenSCAD Cheatsheet")
> (link :href "https://incrementaldevelopment.com/xsltrick"
> :title (:span "Gallery of Stupid "
> (:abbr :title "eXtensible Stylesheet Language" "XSL") " and "
> (:abbr :title "eXtensible Stylesheet Language Transformations" "XSLT") " Tricks"))))
meta: reordering
2024-06-14
Diff
121,138c121,122
<
< (category :title "Nix" :id "nix"
< (link :href "https://nixos.wiki"
< :title "NixOS Wiki")
< (link :href "https://book.divnix.com"
< :title "Nix Book")
< (link :href "https://search.nix.gsc.io"
< :title "Nixpkgs Code Search")
< (link :href "https://status.nixos.org"
< :title "Nix Channel Status")
< (link :href "https://nix-community.github.io/home-manager"
< :title "Home Manager Manual")
< (link :href "https://nix.dev"
< :title "Nix development guide")
< (link :href "https://noogle.dev"
< :title "noogle (hoogle for nix)"))
<
< (category :title "Programmiersprachen" :id "plt"
---
>
> (category :title (:abbr :title "Theoretical Computer Science" "TCS") :id "plt"
304a289,304
>
> (category :title "Nix" :id "nix"
> (link :href "https://nixos.wiki"
> :title "NixOS Wiki")
> (link :href "https://book.divnix.com"
> :title "Nix Book")
> (link :href "https://search.nix.gsc.io"
> :title "Nixpkgs Code Search")
> (link :href "https://status.nixos.org"
> :title "Nix Channel Status")
> (link :href "https://nix-community.github.io/home-manager"
> :title "Home Manager Manual")
> (link :href "https://nix.dev"
> :title "Nix development guide")
> (link :href "https://noogle.dev"
> :title "noogle (hoogle for nix)"))
meta: fix/rm dead links
2024-06-14
Diff
314c314
< (link :href "https://math.mit.edu/~dspivak/files/symbols-all.pdf"
---
> (link :href "https://mirror.informatik.hs-fulda.de/tex-archive/info/symbols/comprehensive/symbols-a4.pdf"
383,384d382
< (link :href "https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-believe-about-titles"
< :title "Falsehoods Programmers Believe About Titles")
427c425
< :href "https://faubox.rrze.uni-erlangen.de/dl/fi58aN6vhfMSDdqCsZM5Xc7H/?inline"
---
> :href "https://www.math.fau.de/wp-content/uploads/2024/01/Topologie.pdf"
429c427,428
< :author "Meusburger")
---
> :author "Meusburger"
> :tags '(pdf))
728,729d726
< (link :title "Cracking The Bread Code"
< :href "https://github.com/hedricius/the-bread-code")
link: Type Theory by Example
2024-06-14
Diff
148a149,151
> (link :href "https://cjquines.com/files/typetheory.pdf"
> :title "Type Theory by Example"
> :tags '(pdf))
link: Counterexamples in Type Systems
2024-06-14
Diff
146a147,148
> (link :href "https://counterexamples.org"
> :title "Counterexamples in Type Systems")
meta: resolve complaints of https://validator.w3.org/nu
2024-06-13
Diff
37,38c37
< :format '(:year #\- (:month) #\- (:day 2) " "
< :short-weekday " "
---
> :format '(:year #\- (:month 2) #\- (:day 2) "T"
78,83c77,80
< `(:section :id ,id
< ,@attrs
< (:details
< (:summary ,title)
< ,(when description `(:p ,description))
< (:ul (progn ,@entries))))
---
> `(:details :id ,id ,@attrs
> (:summary ,title)
> ,(when description `(:p ,description))
> (:ul (progn ,@entries)))
link: Autological Words
2024-05-28
Diff
735c735,737
< :title "Atlas zur Aussprache des deutschen Gebrauchsstandards"))
---
> :title "Atlas zur Aussprache des deutschen Gebrauchsstandards")
> (link :href "http://www.segerman.org/autological.html"
> :title "Autological Words"))
link: Topological Go
2024-05-28
Diff
484c484,486
< :title "Recursive Drawing")))
---
> :title "Recursive Drawing")
> (link :href "http://www.segerman.org/topologo"
> :title "Topological Go")))
link : π-Base
2024-05-16
Diff
432c432,434
< :tags '(video)))
---
> :tags '(video))
> (link :href "https://topology.pi-base.org"
> :title "π-Base – A community database of topological counterexamples"))
link: typeface samples
2024-05-03
Diff
743c743,745
< :title "Verwandtschaftsbeziehung"))
---
> :title "Verwandtschaftsbeziehung")
> (link :href "https://commons.wikimedia.org/wiki/Category:Typeface_samples_%28Font_Specimen_Creator%29"
> :title "Typeface samples"))
link: Font Specimen Creator
2024-05-03
Diff
464a465,466
> (link :href "http://shell.aiei.ch/typography"
> :title "Font Specimen Creator")
link: easings.net
2024-05-02
Diff
441c441,443
< :title "An introduction to Lindenmayer Systems")))
---
> :title "An introduction to Lindenmayer Systems")
> (link :href "https://easings.net"
> :title "Easing functions")))
song: Siberiade theme
2024-04-27
Diff
704,705c704,708
< :title "Innerstate Sex"
< :href "https://www.youtube.com/watch?v=USD_qTm5yNw"))
---
> :title "Interstate Sex"
> :href "https://www.youtube.com/watch?v=USD_qTm5yNw")
> (song :artist "Эдуард Артемьев"
> :title "Поход"
> :href "https://www.youtube.com/watch?v=sJj9y4t9UnU"))
one step closer to world domination
2024-04-17
Diff
740c740,742
< :href "https://wwwcip.cs.fau.de/~oj14ozun/links.html"))))))
---
> :href "https://wwwcip.cs.fau.de/~oj14ozun/links.html")
> (link :title "Links"
> :href "https://wwwcip.cs.fau.de/~qy15sije/links.html"))))))
song: Innerstate Sex - John Frusciante
2024-04-02
Diff
702c702,705
< :href "https://www.youtube.com/watch?v=cCYl4s5Kjow"))
---
> :href "https://www.youtube.com/watch?v=cCYl4s5Kjow")
> (song :artist "John Frusciante"
> :title "Innerstate Sex"
> :href "https://www.youtube.com/watch?v=USD_qTm5yNw"))
meta: add link to songs.html
2024-03-21
Diff
481,486c481,482
< (link :href "https://roland50.studio"
< :title "Roland Studio")
< (link :href "https://webmusic.pages.dev/apps"
< :title "Web Music Apps For Everybody")
< (link :href "https://muted.io/cheat-sheet"
< :title "Music Theory Cheatsheet")
---
> (link :href "/~oc45ujef/misc/songs.html"
> :title "Lieder die ich mag")
706c702,709
< :href "https://www.youtube.com/watch?v=cCYl4s5Kjow")))
---
> :href "https://www.youtube.com/watch?v=cCYl4s5Kjow"))
>
> (link :href "https://roland50.studio"
> :title "Roland Studio")
> (link :href "https://webmusic.pages.dev/apps"
> :title "Web Music Apps For Everybody")
> (link :href "https://muted.io/cheat-sheet"
> :title "Music Theory Cheatsheet"))
link: Atlas zur Aussprache des deutschen Gebrauchsstandards
2024-03-16
Diff
716c716,718
< :title "Atlas Alltagssprache"))
---
> :title "Atlas Alltagssprache")
> (link :href "https://prowiki.ids-mannheim.de/bin/view/AADG"
> :title "Atlas zur Aussprache des deutschen Gebrauchsstandards"))
link: OpenSCAD cheatsheet
2024-02-25
Diff
282c282,284
< :tags '(pdf))))
---
> :tags '(pdf))
> (link :href "https://openscad.org/cheatsheet"
> :title "OpenSCAD Cheatsheet")))
meta: consolidate `C` subcategory
2024-02-25
Diff
261c261
< (category :title "Sonstiges"
---
> (category :title "C" :id "c"
268a269,272
> (link :href "https://cdecl.org"
> :title "C gibberish ↔ English"))
>
> (category :title "Sonstiges"
278,280c282
< :tags '(pdf))
< (link :href "https://cdecl.org"
< :title "C gibberish ↔ English")))
---
> :tags '(pdf))))
meta: rename tcs category
2024-02-25
Diff
141c141
< (category :title "Theoretische Informatik" :id "plt"
---
> (category :title "Programmiersprachen" :id "plt"
link: Atlas Alltagssprache
2024-02-21
Diff
708a709,712
>
> (category :title "Linguistik"
> (link :href "https://www.atlas-alltagssprache.de"
> :title "Atlas Alltagssprache"))
link: readline cheatsheet
2024-02-21
Diff
362c362,364
< :tags '(pdf)))
---
> :tags '(pdf))
> (link :href "https://readline.kablamo.org/emacs.html"
> :title "Readline Cheat Sheet"))
song: Moog River - Funki Porcini
2024-02-20
Diff
697c697,700
< :href "https://www.youtube.com/watch?v=1Vxxn_YnLQ4")))
---
> :href "https://www.youtube.com/watch?v=1Vxxn_YnLQ4")
> (song :artist "Funki Porcini"
> :title "Moog River"
> :href "https://www.youtube.com/watch?v=cCYl4s5Kjow")))
song: La Femme d'Argent - AIR
2024-02-20
Diff
692c692,697
< :href "https://www.youtube.com/watch?v=SOhHj0nGX0c")))
---
> :href "https://www.youtube.com/watch?v=SOhHj0nGX0c")
> (recording :artist "Air (French band)"
> :title "La Femme d'Argent"
> :year 2012
> :location "Live at Studio Atlas"
> :href "https://www.youtube.com/watch?v=1Vxxn_YnLQ4")))
fix errors
2024-02-13
Diff
320c320
< (link :href "[ttps://texfaq.or]"
---
> (link :href "https://texfaq.org"
691,692c691,692
< :title "Live at The Current"
< :href "https://www.youtube.com/watch?v=SOhHj0nGX0c"))
---
> :location "Live at The Current"
> :href "https://www.youtube.com/watch?v=SOhHj0nGX0c")))
song: Wild Time - Weyes Blood
2024-02-12
Diff
687c687,692
< :href "https://www.youtube.com/watch?v=U-mf2sFcLXA")))
---
> :href "https://www.youtube.com/watch?v=U-mf2sFcLXA")
> (recording :artist "Weyes Blood"
> :title "Wild Time"
> :year 2019
> :title "Live at The Current"
> :href "https://www.youtube.com/watch?v=SOhHj0nGX0c"))
link: kerodon
2024-02-11
Diff
202c202,204
< :author "Bartosz Milewski"))
---
> :author "Bartosz Milewski")
> (link :href "https://kerodon.net"
> :title "kerodon - homotopy coherent mathematics"))
misc: name section appropriately
2024-02-05
Diff
299c299
< :title "LaTeX"
---
> :title "{,La}TeX"
link: plain XeTeX
2024-02-05
Diff
319c319,321
< :title "The TeX Frequently Asked Question List"))
---
> :title "The TeX Frequently Asked Question List")
> (link :href "https://plain-xetex.neocities.org"
> :title "Plain XeTeX"))
insert rcs timestamp
2024-01-29
Diff
1a2
> ;; $Id$
link: An introduction to Lindenmayer Systems
2024-01-19
Diff
428c428,430
< :title "Lindenmayer Systems")))
---
> :title "Lindenmayer Systems")
> (link :href "https://www1.biologie.uni-hamburg.de/b-online/e28_3/lsys.html"
> :title "An introduction to Lindenmayer Systems")))
link: Philosopher's Web
2024-01-17
Diff
439c439,441
< :tags '(pdf)))
---
> :tags '(pdf))
> (link :href "https://kumu.io/GOliveira/philosophers-web"
> :title "Map of influences in philosophy"))
pdf: Introduction to Homotopy Type Theory
2024-01-15
Diff
230c230,233
< :title "HoTTEST Summer School"))
---
> :title "HoTTEST Summer School")
> (link :href "https://raw.githubusercontent.com/martinescardo/HoTTEST-Summer-School/main/HoTT/hott-intro.pdf"
> :title "Introduction to Homotopy Type Theory"
> :tags '(pdf)))
link: Lindenmayer Systems
2024-01-15
Diff
423c423,425
< :title "Platonism in the Philosophy of Mathematics")))
---
> :title "Platonism in the Philosophy of Mathematics")
> (link :href "https://rue-a.github.io/L-Systems"
> :title "Lindenmayer Systems")))
link: The Phrase Finder
2024-01-09
Diff
441c441,443
<
---
> (link :href "https://www.phrases.org.uk"
> :title "The Phrase Finder")
>
link: Unix Haters Handbook
2024-01-05
Diff
351c351,354
< :title "Text Editor Wiki"))
---
> :title "Text Editor Wiki")
> (link :href "https://web.mit.edu/~simsong/www/ugh.pdf"
> :title "Unix Haters Handbook"
> :tags '(pdf)))
link to new history file
2024-01-04
Diff
108c108
< (:a :href "/~oc45ujef/diffs" "History")
---
> (:a :href "/~oc45ujef/links.diff.html" "History")
Half a year of changes
2024-01-04
Diff
392c392,394
< :title "In Defense Of The Axiom Of Choice"))
---
> :title "In Defense Of The Axiom Of Choice")
> (link :href "https://www.logicmatters.net"
> :title "Logic Matters"))
449c451,453
< :title "Type-Signature")))
---
> :title "Type-Signature")
> (link :href "http://recursivedrawing.com/draw.html"
> :title "Recursive Drawing")))
655c659,668
< :href "https://www.youtube.com/watch?v=KXatvzWAzLU")))
---
> :href "https://www.youtube.com/watch?v=KXatvzWAzLU")
> (recording :artist '("Omar Rodriguez-Lopez" "John Frusciante" "Flea")
> :year 2004
> :title "Jam"
> :href "https://www.youtube.com/watch?v=NwPlsRf-9Ws")
> (recording :artist "Weyes Blood"
> :title "Andromeda"
> :year 2019
> :location "Live on KEXP"
> :href "https://www.youtube.com/watch?v=U-mf2sFcLXA")))
659c672,674
< :href "https://github.com/hedricius/the-bread-code"))
---
> :href "https://github.com/hedricius/the-bread-code")
> (link :title "Plant-based cooking website"
> :href "https://grimgrains.com"))
670c685
< (link :href "https://de.m.wikipedia.org/wiki/Verwandtschaftsbeziehung"
---
> (link :href "https://de.wikipedia.org/wiki/Verwandtschaftsbeziehung"
link: P-versus-NP page
2023-10-16
Diff
121c121
< :style "/~oc45ujef/style/links.css"
---
> :style "/~oc45ujef/style/pages/links.css"
140c140
< (category :title (:abbr :title "Programming Language Theory" "PLT") :id "plt"
---
> (category :title "Theoretische Informatik" :id "plt"
146a147,148
> (link :href "https://www.win.tue.nl/%7Ewscor/woeginger/P-versus-NP.htm"
> :title "P-versus-NP page")
242c244,246
< (category :title "{Lambda,}Prolog"
---
> (category :title "{λ,}Prolog" :id "prolog"
> (link :href "https://www.metalevel.at/prolog"
> :title "The Power of Prolog")
244c248,253
< :title "PrologHub"))
---
> :title "PrologHub")
> (link :href "https://arxiv.org/pdf/0911.2899.pdf"
> :title "Coding Guidelines for Prolog"
> :tags '(pdf))
> (link :href "https://book.simply-logical.space/src/simply-logical.html"
> :title "Simply Logical - Intelligent Reasoning by Example"))
331,332c340,341
< :title (:code "{shell,unix}")
< :id "shell"
---
> :title (:code "{shell,unix}")
> :id "shell"
link: PrologHub
2023-09-11
Diff
241a242,245
> (category :title "{Lambda,}Prolog"
> (link :href "https://prologhub.com"
> :title "PrologHub"))
>
link: Platonism in Mathematics
2023-09-04
Diff
11,13c11,14
< ;; Im Netz der Täuschung,
< ;; Spinne lauert, arglistig,
< ;; Opfer in den Fäden.
---
> ;; Die Klammern wie ein Labyrinth, verschlungen und verflochten,
> ;; Enthüllten sie Geheimnisse, die dem Verstand entfloh'n,
> ;; Ein Schatz, verborgen tief im Wald, den nur die Weisen mochten,
> ;; In ihrer Programmierkunst fanden sie den gold'nen Lohn.
402c403,405
< :title "The Point Of The Banach Tarski Theorem")))
---
> :title "The Point Of The Banach Tarski Theorem")
> (link :href "https://plato.stanford.edu/entries/platonism-mathematics"
> :title "Platonism in the Philosophy of Mathematics")))
link: cdecl.org
2023-07-30
Diff
258c258,260
< :tags '(pdf))))
---
> :tags '(pdf))
> (link :href "https://cdecl.org"
> :title "C gibberish ↔ English")))
recording: Tubular Bells - Mike Oldfield
2023-07-23
Diff
632c632,637
< :href "https://www.youtube.com/watch?v=jaysR-sashY")))
---
> :href "https://www.youtube.com/watch?v=jaysR-sashY")
> (recording :artist "Mike Oldfield"
> :location "BBC"
> :year 1973
> :title "Tubular Bells"
> :href "https://www.youtube.com/watch?v=KXatvzWAzLU")))
link: What is the PDF format good for?
2023-07-13
Diff
423c423,425
< :title "magic-wormhole"))
---
> :title "magic-wormhole")
> (link :href "http://www.complang.tuwien.ac.at/anton/why-not-pdf.html"
> :title "What is the PDF format good for?"))
album: (Artificial Intelligence) - Various Artists
2023-07-10
Diff
627c627,630
< :href "https://www.youtube.com/watch?v=W_oJf54ZoRE")))
---
> :href "https://www.youtube.com/watch?v=W_oJf54ZoRE")
> (song :artist "Various artists"
> :title "(Artificial Intelligence)"
> :href "https://www.youtube.com/watch?v=jaysR-sashY")))