| | Anti-Cheat: Attacks and the Effectiveness of Client-Side Defences [pdf] (bham.ac.uk) |
|
1 point by PaulHoule 5 months ago | past
|
|
| | A Typed Foundation for Directional Logic Programming [pdf] (bham.ac.uk) |
|
1 point by todsacerdoti 5 months ago | past
|
|
| | Writing a Simple Operating System – From Scratch [pdf] (bham.ac.uk) |
|
4 points by alexzeitler 5 months ago | past | 1 comment
|
|
| | Call-by-push-value. (1999) [pdf] (bham.ac.uk) |
|
1 point by fanf2 10 months ago | past
|
|
| | Call-by-push-value: decomposing call-by-value and call-by-name [pdf] (bham.ac.uk) |
|
2 points by fanf2 10 months ago | past
|
|
| | Infinite versions of minesweeper are Turing complete [pdf] (bham.ac.uk) |
|
1 point by robin_reala on March 28, 2024 | past
|
|
| | Introduction to Univalent Foundations of Mathematics with Agda (bham.ac.uk) |
|
114 points by haltist on Nov 11, 2023 | past | 6 comments
|
|
| | Writing a Simple Operating System from Scratch (2010) [pdf] (bham.ac.uk) |
|
3 points by nateb2022 on Nov 6, 2023 | past
|
|
| | From the Chinese Room Argument to the Church-Turing Thesis [pdf] (bham.ac.uk) |
|
3 points by amar-laksh on Oct 30, 2022 | past
|
|
| | Kinds of Programming for Learners (2015) (bham.ac.uk) |
|
1 point by Jtsummers on July 26, 2022 | past
|
|
| | The Pop-11 Programming Language (bham.ac.uk) |
|
44 points by url on July 26, 2022 | past | 14 comments
|
|
| | Virtual Machines And Consciousness (2015) [pdf] (bham.ac.uk) |
|
2 points by optimalsolver on June 23, 2022 | past
|
|
| | Introduction to Univalent Foundations of Mathematics with Agda (bham.ac.uk) |
|
3 points by 4ad on May 28, 2022 | past
|
|
| | Writing a simple operating system from scratch (2010) [pdf] (bham.ac.uk) |
|
346 points by agomez314 on March 25, 2022 | past | 86 comments
|
|
| | Domain Theory (1994) [pdf] (bham.ac.uk) |
|
41 points by cybernautique on Oct 28, 2021 | past | 3 comments
|
|
| | Looking through the windows in Stoker’s Dracula (2020) (bham.ac.uk) |
|
1 point by tosh on Oct 11, 2021 | past
|
|
| | Writing a Simple Operating System from Scratch [pdf] (bham.ac.uk) |
|
4 points by hliyan on Sept 25, 2021 | past
|
|
| | Introduction to Univalent Foundations of Mathematics with Agda (bham.ac.uk) |
|
3 points by vg_head on June 24, 2021 | past
|
|
| | Compositor: A database of eighteenth-century printers’ ornaments (bham.ac.uk) |
|
41 points by polm23 on May 22, 2021 | past | 5 comments
|
|
| | Infinite versions of Minesweeper are Turing complete [pdf] (bham.ac.uk) |
|
2 points by segfaultbuserr on Feb 24, 2021 | past
|
|
| | Jane Austen's concept of information (Not Claude Shannon's) (2013) (bham.ac.uk) |
|
73 points by benbreen on Feb 18, 2021 | past | 28 comments
|
|
| | Writing an Operating System – From Scratch [pdf] (bham.ac.uk) |
|
8 points by max0563 on Nov 29, 2020 | past
|
|
| | Data Structures and Algorithms [pdf] (bham.ac.uk) |
|
3 points by jeremylevy on Sept 24, 2020 | past
|
|
| | Constructive Mathematics and Higher Topos Theory [pdf] (bham.ac.uk) |
|
2 points by adamnemecek on Sept 11, 2019 | past
|
|
| | The Essence of Reynolds – “The Master” of PL Theory [pdf] (bham.ac.uk) |
|
1 point by earthicus on May 9, 2019 | past
|
|
| | Continuations in Natural Language (2004) [pdf] (bham.ac.uk) |
|
30 points by quazar on March 2, 2019 | past | 2 comments
|
|
| | Linear Logic and Linear Algebra (2013) [pdf] (bham.ac.uk) |
|
2 points by adamnemecek on March 2, 2019 | past | 1 comment
|
|
| | Midlands Graduate School in the Foundations of Computing Science (bham.ac.uk) |
|
2 points by jxub on Feb 8, 2019 | past
|
|
| | Spinner: Semi-Automatic Detection of Pinning Without Hostname Verification [pdf] (bham.ac.uk) |
|
2 points by lainon on Oct 7, 2018 | past
|
|
| | Minesweeper is NP-complete [pdf] (bham.ac.uk) |
|
3 points by FelipeCortez on April 9, 2018 | past
|
|
|
|
More |
