Hacker News
- Formalizing 100 Theorems https://www.cs.ru.nl/~freek/100/ 52 comments
- Formal Proof Sketches (2003) [pdf] https://www.cs.ru.nl/F.Wiedijk/pubs/sketches2.pdf 17 comments
- Evaluating the performance of open source static analysis tools [pdf] https://www.cs.ru.nl/bachelors-theses/2018/Jonathan_Moerman___4436555___Evaluating_the_performance_of_open_source_static_analysis_tools.pdf 2 comments
- Formalizing 100 Theorems http://www.cs.ru.nl/~freek/100/ 25 comments
- The Discoveries of Continuations (1993) [pdf] http://www.cs.ru.nl/~freek/courses/tt-2011/papers/cps/histcont.pdf 3 comments
- Re-implementing the XMonad window manager core in Coq: PDF http://www.cs.ru.nl/~wouters/Talks/BrouwerExtraction.pdf 3 comments
Lobsters
- QED Manifesto http://www.cs.ru.nl/~freek/qed/qed.html 3 comments math
- Epigram: Practical Programming with Dependent Types (2004) http://cs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/epigram-notes.pdf 26 comments pdf , plt
- A list of the top 100 greatest theorems and progress on formalizing them http://www.cs.ru.nl/~freek/100/ 53 comments math
- Understanding the CSIDH protocol. [Post quantum cryptography] https://www.cs.ru.nl/~jrenes/publications/csidh.pdf 3 comments crypto
- [PDF] 2003 paper on "Comparing mathematical provers" (e.g. HOL, Mizar, Coq, Agda, Metamath, etc.) - does anyone know of any more recent surveys covering more recent developments (e.g. Lean)? http://cs.ru.nl/~freek/comparison/diffs.pdf 10 comments math
- Only 7 left from this list of 100 popular theorems that have yet to be formalized! http://www.cs.ru.nl/f.wiedijk/100/ 40 comments math
- A Categorical Basis for Conditional Probability http://www.cs.ru.nl/b.jacobs/papers/cat-prob-th.pdf 2 comments haskell
- Introduction to Coalgebra :: PDF http://www.cs.ru.nl/b.jacobs/clg/jacobscoalgebraintro.pdf 38 comments programming
- A Tutorial on (Co)Algebras and (Co)Induction (Jacobs & Rutten) http://www.cs.ru.nl/b.jacobs/papers/jr.pdf 5 comments math
- Re-implementing the XMonad window manager core in Coq :: PDF http://www.cs.ru.nl/~wouters/talks/brouwerextraction.pdf 14 comments programming
- Re-implementing XMonad's core in Coq : Wouter Swiestra :: PDF http://www.cs.ru.nl/~wouters/talks/brouwerextraction.pdf 13 comments haskell
- A tutorial on (co)algebras and (co)induction, by Bart Jacobs and Jan Rutten, 1997 (pdf) -- discusses the dualization of the F-algebra to model infinite data spaces like streams and infinite lists, not Haskell-specific but important and written in a very accessible way (no category theory required!) http://www.cs.ru.nl/b.jacobs/papers/jr.pdf 6 comments haskell
- The Making of Algol 68 http://www.cs.ru.nl/~kees/home/papers/psi96.pdf 3 comments programming
- Mathematician explains apparent contradictions in tetra lemma that appears is Buddhist texts. http://www.cs.ru.nl/~henk/bp/bp1.html#section00027000000000000000 6 comments math
- Bart Jacobs: Introduction to Coalgebra [pdf] http://www.cs.ru.nl/b.jacobs/clg/jacobscoalgebraintro.pdf 3 comments programming
- Arrows, like Monads, are Monoids :: PDF http://www.cs.ru.nl/%7Eheunen/publications/2006/arrows/arrows.pdf 2 comments programming
- Another Functional Programming Language: "Clean" http://www.cs.ru.nl/~clean/about_clean/about_clean.html 4 comments reddit.com
Lambda the Ultimate
- Collection of links to monad implementations in various languages. http://www.cs.ru.nl/~clean/Download/Download_Libraries/Std_Env/StdFunc/stdfunc.html 18 comments Software Engineering
- Distributive laws for the Coinductive Solution of Recursive Equations http://www.cs.ru.nl/B.Jacobs/PAPERS/iandc-solutions.pdf 7 comments Category Theory
- A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages http://www.cs.ru.nl/research/reports/info/ICIS-R05003.html 0 comments Category Theory