HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Show HN: Researching politics with Claude Code and 55 years of UN speeches
un.koenvangilst.nl
discuss
5 months ago
vnglst
4 points
2.
▲
Ask HN: How are OS able to support such a number of devices?
2 comments
4 years ago
s3micolon0
2 points
3.
▲
Show HN: Pad is an API to improve privacy over shared information
1 comment
5 years ago
kozarev_atanas
2 points
4.
▲
Writing a simple operating system from scratch (2010) [pdf]
cs.bham.ac.uk
86 comments
4 years ago
agomez314
346 points
5.
▲
Writing a simple operating system from scratch (2010) [pdf]
cs.bham.ac.uk
47 comments
12 years ago
jwdunne
280 points
6.
▲
A Short Introduction to the Lambda Calculus (2004) [pdf]
cs.bham.ac.uk
18 comments
10 years ago
kumaranvpl
166 points
7.
▲
Introduction to Univalent Foundations of Mathematics with Agda
cs.bham.ac.uk
6 comments
3 years ago
haltist
114 points
8.
▲
A short fable of software engineering vs. regular engineering
researchblogs.cs.bham.ac.uk
91 comments
10 years ago
theaeolist
111 points
9.
▲
The limits of type theory: computation vs. interaction
researchblogs.cs.bham.ac.uk
66 comments
11 years ago
danghica
81 points
10.
▲
Jane Austen's concept of information (Not Claude Shannon's) (2013)
cs.bham.ac.uk
28 comments
5 years ago
benbreen
73 points
11.
▲
Writing a Simple Operating System From Scratch (2010) [pdf]
cs.bham.ac.uk
10 comments
10 years ago
ingve
73 points
12.
▲
A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom
cs.bham.ac.uk
15 comments
8 years ago
jessup
57 points
13.
▲
What things compute?
researchblogs.cs.bham.ac.uk
29 comments
11 years ago
theaeolist
50 points
14.
▲
Computability: The Greatest Law of Physics
researchblogs.cs.bham.ac.uk
14 comments
11 years ago
theaeolist
48 points
15.
▲
Inventing an algebraic knot theory for eight year olds (III)
researchblogs.cs.bham.ac.uk
20 comments
11 years ago
theaeolist
46 points
16.
▲
The Pop-11 Programming Language
cs.bham.ac.uk
14 comments
4 years ago
url
44 points
17.
▲
Imperative Functional Programming (1996) [pdf]
cs.bham.ac.uk
31 comments
11 years ago
brudgers
42 points
18.
▲
Algebraic knot theory for kids: equations
researchblogs.cs.bham.ac.uk
3 comments
11 years ago
danghica
42 points
19.
▲
Compositor: A database of eighteenth-century printers’ ornaments
compositor.bham.ac.uk
5 comments
5 years ago
polm23
41 points
20.
▲
Domain Theory (1994) [pdf]
cs.bham.ac.uk
3 comments
5 years ago
cybernautique
41 points
21.
▲
The biological bases of mathematical competences
cs.bham.ac.uk
3 comments
15 years ago
Willprice94
32 points
22.
▲
Continuations in Natural Language (2004) [pdf]
cs.bham.ac.uk
2 comments
7 years ago
quazar
30 points
23.
▲
Why large IT development projects are problematic
cs.bham.ac.uk
1 comment
16 years ago
motters
26 points
24.
▲
A Synonym-Substitution Based Algorithm for Text Steganography (2012) [pdf]
cs.bham.ac.uk
18 comments
11 years ago
n-s-f
24 points
25.
▲
Towards native higher-order remote procedure calls [pdf]
cs.bham.ac.uk
discuss
11 years ago
luu
11 points
26.
▲
Inventing an algebraic knot theory for eight year olds, part 4: Equations
researchblogs.cs.bham.ac.uk
2 comments
11 years ago
theaeolist
9 points
27.
▲
Writing an Operating System – From Scratch [pdf]
cs.bham.ac.uk
discuss
6 years ago
max0563
8 points
28.
▲
Using Yoneda rather than J to present the identity type
cs.bham.ac.uk
discuss
11 years ago
colinprince
7 points
29.
▲
So what is a “pure programming language” anyway?
researchblogs.cs.bham.ac.uk
discuss
10 years ago
danghica
5 points
30.
▲
Writing a Simple Operating System – From Scratch [pdf]
cs.bham.ac.uk
1 comment
2 years ago
alexzeitler
4 points
More