Submissions from bham.ac.uk

		Anti-Cheat: Attacks and the Effectiveness of Client-Side Defences [pdf] (bham.ac.uk)
		1 point by PaulHoule on Oct 31, 2024 \| past
		A Typed Foundation for Directional Logic Programming [pdf] (bham.ac.uk)
		1 point by todsacerdoti on Oct 24, 2024 \| past
		Writing a Simple Operating System – From Scratch [pdf] (bham.ac.uk)
		4 points by alexzeitler on Oct 23, 2024 \| past \| 1 comment
		Call-by-push-value. (1999) [pdf] (bham.ac.uk)
		1 point by fanf2 on June 16, 2024 \| past
		Call-by-push-value: decomposing call-by-value and call-by-name [pdf] (bham.ac.uk)
		2 points by fanf2 on June 5, 2024 \| 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

HN For You