Search: bham.ac.uk | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Minesweeper is NP-complete

for.mat.bham.ac.uk

12 years ago

4 points

32.

Writing a Simple Operating System from Scratch [pdf]

5 years ago

4 points

33.

Basic introduction to functional programming using OCaml

researchblogs.cs.bham.ac.uk

10 years ago

4 points

34.

Compilers are lazy denotational interpreters

researchblogs.cs.bham.ac.uk

10 years ago

4 points

35.

Two views of programming language design (2014)

researchblogs.cs.bham.ac.uk

11 years ago

3 points

36.

ANTLR Parsing made easy [pdf]

supportweb.cs.bham.ac.uk

11 years ago

3 points

37.

The category of cardboard rectangles and bits of wool string

researchblogs.cs.bham.ac.uk

12 years ago

3 points

38.

Writing a Simple Operating System from Scratch (2010) [pdf]

3 years ago

3 points

39.

From the Chinese Room Argument to the Church-Turing Thesis [pdf]

4 years ago

3 points

40.

Introduction to Univalent Foundations of Mathematics with Agda

4 years ago

3 points

41.

Introduction to Univalent Foundations of Mathematics with Agda

5 years ago

3 points

42.

Data Structures and Algorithms [pdf]

6 years ago

3 points

43.

Minesweeper is NP-complete [pdf]

web.mat.bham.ac.uk

8 years ago

3 points

44.

Machine Learning and Alternative Data Approach to Investing [pdf]

socscistaff.bham.ac.uk

9 years ago

3 points

45.

Dana Scott tells the real story of why the lambda in the lambda-calculus

researchblogs.cs.bham.ac.uk

10 years ago

3 points

46.

Linear Logic and Linear Algebra (2013) [pdf]

7 years ago

2 points

47.

ShowHN: Building an OS... From Scratch

12 years ago

2 points

48.

Call-by-push-value: decomposing call-by-value and call-by-name [pdf]

2 years ago

2 points

49.

Call-By-Push-Value

15 years ago

2 points

50.

Virtual Machines And Consciousness (2015) [pdf]

4 years ago

2 points

51.

Infinite versions of Minesweeper are Turing complete [pdf]

web.mat.bham.ac.uk

5 years ago

2 points

52.

Proving Minesweeper NP-Complete and Making it Behave Like a Computer

web.mat.bham.ac.uk

15 years ago

2 points

53.

Constructive Mathematics and Higher Topos Theory [pdf]

7 years ago

2 points

54.

Midlands Graduate School in the Foundations of Computing Science

events.cs.bham.ac.uk

7 years ago

2 points

55.

Spinner: Semi-Automatic Detection of Pinning Without Hostname Verification [pdf]

8 years ago

2 points

56.

Inventing a knot theory for eight year olds (I) (2015)

researchblogs.cs.bham.ac.uk

9 years ago

2 points

57.

What Sequential Games, Tychonoff Theorem and Double-Negation Shift Have in Common

10 years ago

2 points

58.

Categorical semantics for digital circuits

researchblogs.cs.bham.ac.uk

10 years ago

2 points

59.

Logical Relations and Parametricity [pdf]

10 years ago

2 points

60.

Infinite sets that admit fast exhaustive search (2007) [pdf]

11 years ago

2 points