Hacker News
- Introduction to Univalent Foundations of Mathematics with Agda https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html 6 comments
- The Pop-11 Programming Language https://www.cs.bham.ac.uk/research/projects/poplog/retrieved/adrian-howard-pop11.html 14 comments
- Writing a simple operating system from scratch (2010) [pdf] https://www.cs.bham.ac.uk/~exr/lectures/opsys/10_11/lectures/os-dev.pdf 86 comments
- Domain Theory (1994) [pdf] https://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf 3 comments
- Jane Austen's concept of information (Not Claude Shannon's) (2013) https://www.cs.bham.ac.uk/research/projects/cogaff/misc/austen-info.html 28 comments
- Continuations in Natural Language (2004) [pdf] http://www.cs.bham.ac.uk/~hxt/cw04/barker.pdf 2 comments
- A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom http://www.cs.bham.ac.uk/~mhe/agda-new/UnivalenceFromScratch.html 15 comments
- A Short Introduction to the Lambda Calculus (2004) [pdf] http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf 18 comments
- Writing a Simple Operating System From Scratch (2010) [pdf] https://www.cs.bham.ac.uk/~exr/lectures/opsys/10_11/lectures/os-dev.pdf 10 comments
- A Synonym-Substitution Based Algorithm for Text Steganography (2012) [pdf] http://www.cs.bham.ac.uk/~nagarajs/papers/J.gardiner-MScReport.pdf 18 comments
- Imperative Functional Programming (1996) [pdf] http://www.cs.bham.ac.uk/~udr/papers/imperative-functional.pdf 31 comments
- Writing a simple operating system from scratch (2010) [pdf] http://www.cs.bham.ac.uk/~exr/lectures/opsys/10_11/lectures/os-dev.pdf 47 comments
- The biological bases of mathematical competences http://www.cs.bham.ac.uk/research/projects/cogaff/misc/agi-2011-talk-sloman.html 3 comments
Lobsters
- Introduction to Homotopy Type Theory and Univalent Foundations (HoTT/UF) with Agda https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html 2 comments math , plt
- A Short Introduction to the Lambda Calculus http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf 18 comments compsci , pdf
- Univalence from Scratch, by Martín Escardó: "the univalence axiom is typically explained by handwaving. This gives rise to several misconceptions" http://www.cs.bham.ac.uk/~mhe/agda-new/univalencefromscratch.html 4 comments math
- Banking apps vulnerable to MITM. Spinner: Semi-Automatic Detection of Pinning without Hostname Verification http://www.cs.bham.ac.uk/~garciaf/publications/spinner.pdf 4 comments netsec
- Lecture notes on Categories and Functors [PDF]: "The view point we take ... is that category theory is a 'type theory.'" http://www.cs.bham.ac.uk/~udr/notes/mgs2013.pdf 5 comments math
- Introduction to the Lambda Calculus http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf 8 comments programming
- Towards Native Higher-Order Remote Procedure Calls (pdf) http://www.cs.bham.ac.uk/~drg/papers/ifl14.pdf 4 comments haskell
- 8 Puzzle: is the number of inversions an admissible heuristic? http://www.cs.bham.ac.uk/~mdr/teaching/modules04/java2/TilesSolvability.html 6 comments compsci
- Writing a simple operating system from scratch (2010) [pdf] http://www.cs.bham.ac.uk/~exr/lectures/opsys/10_11/lectures/os-dev.pdf 10 comments programming
- [HoTT] [Agda] If all functions (ℕ → ℕ) → ℕ are continuous then 0 ≡ 1 http://www.cs.bham.ac.uk/~mhe/continuity-false/continuity-false.html 67 comments math
- What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common http://www.cs.bham.ac.uk/~mhe/papers/msfp2010/escardo-oliva-msfp2010.pdf 5 comments programming
Lambda the Ultimate
- Contextual isomorphisms http://www.cs.bham.ac.uk/~pbl/papers/contextiso.pdf 11 comments Type Theory
- Seemingly impossible programs http://www.cs.bham.ac.uk/~mhe/.talks/popl2012/escardo-popl2012.pdf 36 comments Category Theory , Fun , Functional , Paradigms , Semantics , Theory
- The Essence of Reynolds http://www.cs.bham.ac.uk/~udr/papers/EssenceOfReynolds.pdf 0 comments History
- What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common http://www.cs.bham.ac.uk/~mhe/papers/msfp2010/ 9 comments Semantics
- Function Interface Models for Hardware Compilation http://www.cs.bham.ac.uk/~drg/papers/tech.rep.csr-08-04.pdf 5 comments General
- Jumbo Lambda Calculus http://www.cs.bham.ac.uk/~pbl/papers/ 3 comments Lambda Calculus , Semantics , Type Theory
- CW'04 Advance Program http://www.cs.bham.ac.uk/~hxt/cw04/cw04-program.html 0 comments theory
- Thielecke: Contrasting exceptions and continuations http://www.cs.bham.ac.uk/~hxt/research/exncontjournal.pdf 2 comments theory
- Domain Theory http://www.cs.bham.ac.uk/~axj/pub/papers/handy.ps.gz 0 comments theory
- Domains and Denotational Semantics: History, Open Problems http://www.cs.bham.ac.uk/~axj/pub/papers/tenyears.ps.gz 0 comments theory