HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
AI will make formal verification go mainstream
martin.kleppmann.com
434 comments
6 months ago
evakhoury
827 points
2.
▲
Writing a book: is it worth it?
martin.kleppmann.com
287 comments
6 years ago
vivekseth
642 points
3.
▲
Accounting for Computer Scientists
martin.kleppmann.com
75 comments
15 years ago
martinkl
520 points
4.
▲
CRDTs: The Hard Parts [video]
martin.kleppmann.com
124 comments
6 years ago
benrbray
404 points
5.
▲
Improving the security of your SSH private key files
martin.kleppmann.com
101 comments
13 years ago
martinkl
330 points
6.
▲
How to do distributed locking
martin.kleppmann.com
71 comments
10 years ago
martinkl
277 points
7.
▲
Making CRDTs Byzantine Fault Tolerant [pdf]
martin.kleppmann.com
40 comments
4 years ago
g0xA52A2A
266 points
8.
▲
Having a launched product is hard
martin.kleppmann.com
60 comments
16 years ago
martinkl
248 points
9.
▲
How to do distributed locking (2016)
martin.kleppmann.com
95 comments
2 years ago
yusufaytas
244 points
10.
▲
Local-First Software:You Own Your Data, in Spite of the Cloud (2019) [pdf]
martin.kleppmann.com
90 comments
5 years ago
JeanMarcS
216 points
11.
▲
Accounting for computer scientists (2011)
martin.kleppmann.com
50 comments
3 years ago
Anon84
208 points
12.
▲
Please stop calling databases CP or AP
martin.kleppmann.com
34 comments
11 years ago
martinkl
200 points
13.
▲
Turning the database inside-out (2015)
martin.kleppmann.com
95 comments
a year ago
andection
192 points
14.
▲
Accounting for Computer Scientists (2011)
martin.kleppmann.com
73 comments
6 months ago
tosh
187 points
15.
▲
Using Bloom filters to efficiently synchronise hash graphs
martin.kleppmann.com
18 comments
6 years ago
ignoramous
171 points
16.
▲
Please stop calling databases CP or AP (2015)
martin.kleppmann.com
51 comments
6 years ago
reese_john
151 points
17.
▲
Rethinking caching in web apps
martin.kleppmann.com
39 comments
14 years ago
martinkl
151 points
18.
▲
Thinking in Events: From Databases to Distributed Collaboration Software [video]
martin.kleppmann.com
20 comments
5 years ago
simonpure
151 points
19.
▲
How to Do Distributed Locking (2016)
martin.kleppmann.com
13 comments
7 years ago
appwiz
120 points
20.
▲
The Python Paradox is now the Scala Paradox
martin.kleppmann.com
43 comments
15 years ago
hendler
118 points
21.
▲
Decentralised content moderation
martin.kleppmann.com
129 comments
5 years ago
AstroNoise58
113 points
22.
▲
Martin Kleppmann talk on local-first (LoFi)
bsky.app
27 comments
2 years ago
yonz
111 points
23.
▲
Hermitage: Testing the “I” in ACID
martin.kleppmann.com
33 comments
12 years ago
martinkl
110 points
24.
▲
How to do distributed locking (2016)
martin.kleppmann.com
18 comments
3 years ago
thealig
103 points
25.
▲
What's so special about Y Combinator?
martin.kleppmann.com
41 comments
15 years ago
martinkl
99 points
26.
▲
The probability of data loss in large clusters
martin.kleppmann.com
21 comments
9 years ago
pimeys
87 points
27.
▲
The Python Paradox Is Now the Scala Paradox (2009)
martin.kleppmann.com
105 comments
10 years ago
tomrod
72 points
28.
▲
Why Java's Object.hashCode() is unsafe for use in distributed systems
martin.kleppmann.com
43 comments
14 years ago
martinkl
72 points
29.
▲
Book Review: The Future of Fusion Energy
martin.kleppmann.com
37 comments
4 years ago
bschne
55 points
30.
▲
Using Bloom filters to efficiently synchronise hash graphs
martin.kleppmann.com
2 comments
6 years ago
vonadz
50 points
More