Hacker News
- The Symbol Grounding Problem (1990) [pdf] https://www.cs.ox.ac.uk/activities/ieg/e-library/sources/harnad90_sgproblem.pdf 5 comments
- Continuation-Passing Style, Defunctionalization, Accumulations and Associativity https://www.cs.ox.ac.uk/jeremy.gibbons/publications/continued.pdf 2 comments
- Unifying Structured Recursion Schemes [pdf] (2013) https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf 7 comments
- Functional Pearl: Enumerating the Rationals [pdf] https://www.cs.ox.ac.uk/jeremy.gibbons/publications/rationals.pdf 6 comments
- Comprehending Ringads (2016) [pdf] http://www.cs.ox.ac.uk/jeremy.gibbons/publications/ringads.pdf 3 comments
- Quicksort (1961) [pdf] https://www.cs.ox.ac.uk/files/6226/H2006%20-%20Historic%20Quicksort.pdf 20 comments
- The Fun of Programming – Gibbons, de Moer and Bird (2003) http://www.cs.ox.ac.uk/publications/books/fop/ 6 comments
- On the Security of Password Manager Database Formats (2012) [pdf] https://www.cs.ox.ac.uk/files/6487/pwvault.pdf 20 comments
- Oxford University Machine Learning Course https://www.cs.ox.ac.uk/people/nando.defreitas/machinelearning 18 comments
- Where is all the Node.js malware? http://www.cs.ox.ac.uk/blogs/sss/2013/04/02/why-isnt-there-any-nodejs-malware/ 46 comments
- A calculus of functions for program derivation (1987) http://www.cs.ox.ac.uk/files/3384/PRG64.pdf 5 comments
- Quantum Physics & Natural Language Processing (pp. 8-11) http://www.cs.ox.ac.uk/industry/content/IndustryNewsSummer2011.pdf 2 comments
Lobsters
- Precise Verification of C Programs (2014) (dissertation) https://www.cs.ox.ac.uk/people/matt.lewis/thesis.pdf 5 comments compsci , pdf , programming
- Reason Isomorphically! https://www.cs.ox.ac.uk/people/daniel.james/iso/iso.pdf 6 comments haskell
- Zonking via Monads and Traversals https://www.cs.ox.ac.uk/people/richard.bird/online/BirdPaterson99DeBruijn.pdf 5 comments haskell
- Which functors are "strong with respect to Either"? https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf 7 comments haskell
- Question about Weaving Effect Handlers https://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf 3 comments haskell
- The School of Squiggol: A History of the Bird–Meertens Formalism http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/squiggol-history.pdf 5 comments haskell
- What are the advantages of profunctor optics over van Laarhoven optics? https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf 10 comments haskell
- Applying Type-Level and Generic Programming in Haskell [PDF] https://www.cs.ox.ac.uk/projects/utgp/school/andres.pdf 5 comments haskell
- What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl) [PDF, 27p] https://www.cs.ox.ac.uk/jeremy.gibbons/publications/proyo.pdf 5 comments haskell
- Oxford Uni Software Engineering Mathematics. Does anyone know of an equivalent book / online course? http://www.cs.ox.ac.uk/softeng/subjects/sem.html 7 comments compsci
- 5G AKA analysis - security flaws found in the 5G draft's authentication protocols https://www.cs.ox.ac.uk/5g-analysis/ 8 comments crypto
- Could you solve these Oxford Interview questions? https://www.cs.ox.ac.uk/admissions/undergraduate/how_to_apply/sample_interview_problems.html 158 comments math
- Profunctor optics: modular data accessors http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf 28 comments haskell
- The Essence of the Iterator Pattern - Jeremy Gibbons and Bruno C. d. S. Oliveira [pdf] https://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf 2 comments haskell
- Open Data Types and Open Functions (pdf) https://www.cs.ox.ac.uk/people/ralf.hinze/publications/ppdp06.pdf 10 comments haskell
- Just do it: Simple monadic equational reasoning http://www.cs.ox.ac.uk/publications/publication4877-abstract.html 6 comments haskell
- Can anyone give any references on Naperian/logarithmic datatypes? http://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf 14 comments haskell
- Functional Pearl: F for Functor http://www.cs.ox.ac.uk/people/daniel.james/functor/functor.pdf 14 comments haskell
- Jeremy Gibbons' Unfolding Abstract Datatypes http://www.cs.ox.ac.uk/jeremy.gibbons/publications/adt.pdf 7 comments haskell
- Runcifest! (Celebrating Colin Runciman's 40th anniversary at York) http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/ 6 comments haskell
- The Essence of the Iterator Pattern (Gibbons, Oliveira) [PDF http://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf 9 comments compsci
Lambda the Ultimate
- Comprehending Ringads http://www.cs.ox.ac.uk/jeremy.gibbons/publications/ringads.pdf 0 comments Category Theory , Semantics , Type Theory