Submissions from ic.ac.uk

		How to Write Unmaintainable Code (1999) (ic.ac.uk)
		44 points by downbad_ 16 hours ago \| past \| 12 comments
		Cycling Game (Mini Neural Net Demo) (ic.ac.uk)
		23 points by ungreased0675 3 months ago \| past \| 5 comments
		When You Have a Fuzzer, Everything Looks Like a Reachability Problem [pdf] (ic.ac.uk)
		1 point by matt_d 6 months ago \| past
		Helping Engineers Learn Mathematics (ic.ac.uk)
		3 points by pillars 7 months ago \| past
		Gaussian random number generators [pdf] (ic.ac.uk)
		1 point by fanf2 on April 1, 2025 \| past
		Ratte: Fuzzing Multi-Level Compilers Using Composable Semantics [pdf] (ic.ac.uk)
		2 points by matt_d on March 27, 2025 \| past
		Formalising CXL Cache Coherence [pdf] (ic.ac.uk)
		2 points by matt_d on March 27, 2025 \| past
		The British Nationality Act as a Prolog Program (1986) [pdf] (ic.ac.uk)
		35 points by Tomte on March 16, 2025 \| past \| 17 comments
		Pi in the Mandelbrot Set [pdf] (ic.ac.uk)
		1 point by anigbrowl on March 14, 2025 \| past
		Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (ic.ac.uk)
		42 points by matt_d on Jan 21, 2025 \| past \| 2 comments
		Analysing Futex-Based Synchronisation Primitives Using Model Checking [pdf] (ic.ac.uk)
		1 point by matt_d on Jan 21, 2025 \| past
		Algorithm = Logic and Control [pdf] (ic.ac.uk)
		72 points by acmerfight on Oct 31, 2024 \| past \| 12 comments
		Verified Programming in Dafny [pdf] (ic.ac.uk)
		3 points by todsacerdoti on Oct 20, 2024 \| past
		The early years of logic programming (1988) [pdf] (ic.ac.uk)
		2 points by smartmic on Feb 28, 2024 \| past
		Algorithm = Logic and Control (1979) [pdf] (ic.ac.uk)
		2 points by tosh on Jan 31, 2024 \| past
		How to Write Unmaintainable Code (1999) (ic.ac.uk)
		1 point by slackner on Dec 8, 2023 \| past \| 1 comment
		RustSmith: Random Differential Compiler Testing for Rust [pdf] (ic.ac.uk)
		3 points by matt_d on July 14, 2023 \| past
		GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf] (ic.ac.uk)
		42 points by luu on June 11, 2023 \| past \| 2 comments
		Key themes in Embodiment and the Inner Life (2010) (ic.ac.uk)
		1 point by cardosof on May 26, 2023 \| past
		Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs [pdf] (ic.ac.uk)
		1 point by luu on May 1, 2023 \| past
		Industrial Deployment of Compiler Fuzzing Techniques for GPU Shading Languages [pdf] (ic.ac.uk)
		2 points by matt_d on April 18, 2023 \| past
		Program Reconditioning: Avoiding Undefined Behavior When Finding and Reducing [pdf] (ic.ac.uk)
		8 points by matt_d on April 18, 2023 \| past
		Model Checking Futexes (ic.ac.uk)
		1 point by matt_d on March 14, 2023 \| past \| 1 comment
		You Can Have It All: Abstraction and Good Cache Performance [pdf] (ic.ac.uk)
		1 point by zackoverflow on Feb 27, 2023 \| past \| 1 comment
		Why I Switched from Vim to Visual Studio Code? (ic.ac.uk)
		3 points by behnamoh on Nov 21, 2022 \| past
		The Verity Stob Cruft Index: “a suitable metric, an index of cruftidity.” (ic.ac.uk)
		1 point by lproven on Aug 4, 2022 \| past
		Grothendieck's Approach to Equality [pdf] (ic.ac.uk)
		137 points by mathgenius on May 30, 2022 \| past \| 37 comments
		Two Mechanisations of WebAssembly 1.0 (ic.ac.uk)
		3 points by matt_d on Jan 2, 2022 \| past
		Bitcoin – Committing to Quantum Resistance [pdf] (ic.ac.uk)
		1 point by pcw888 on Dec 16, 2021 \| past
		How to Write Unmaintainable Code (1999) (ic.ac.uk)
		4 points by rmason on June 15, 2021 \| past
		More

HN For You