HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
Why TDD isn't crap
hillelwayne.com
161 comments
9 years ago
mzl
159 points
32.
▲
Clever vs. Insightful Code
hillelwayne.com
111 comments
5 years ago
goranmoomin
156 points
33.
▲
Performance Matters (2019)
hillelwayne.com
73 comments
6 years ago
azhenley
153 points
34.
▲
The Great Theorem Prover Showdown
hillelwayne.com
22 comments
8 years ago
panic
150 points
35.
▲
A brief introduction to esoteric programming languages
hillelwayne.com
44 comments
5 years ago
henrik_w
143 points
36.
▲
Software Friction
hillelwayne.com
79 comments
2 years ago
saikatsg
141 points
37.
▲
The social side of science seen in the research on programming language quality
hillelwayne.com
84 comments
6 years ago
hwayne
137 points
38.
▲
1/0 = 0 (2018)
hillelwayne.com
231 comments
2 years ago
revskill
135 points
39.
▲
The Frink Is Good, the Unit Is Evil
hillelwayne.com
41 comments
6 years ago
weinzierl
132 points
40.
▲
Modeling Redux with TLA+
hillelwayne.com
33 comments
8 years ago
hellerve
132 points
41.
▲
Why do interviewers ask linked list questions?
hillelwayne.com
153 comments
5 years ago
pyb
130 points
42.
▲
Weird things you can buy online
hillelwayne.com
51 comments
3 years ago
marvinborner
127 points
43.
▲
Modeling Adversaries with TLA+
hillelwayne.com
13 comments
7 years ago
Supermighty
126 points
44.
▲
Finding Goroutine Bugs with TLA+
hillelwayne.com
40 comments
6 years ago
headalgorithm
125 points
45.
▲
Breaking the limits of TLA+ model checking
hillelwayne.com
4 comments
3 years ago
todsacerdoti
122 points
46.
▲
Somehow AutoHotKey is kinda good now
hillelwayne.com
94 comments
3 years ago
psxuaw
121 points
47.
▲
How fast do I talk?
hillelwayne.com
48 comments
7 years ago
colinprince
118 points
48.
▲
Constraint Solving with MiniZinc
hillelwayne.com
38 comments
8 years ago
mzl
118 points
49.
▲
NP-complete isn't always hard
hillelwayne.com
73 comments
3 years ago
zdw
115 points
50.
▲
The Business Case for Formal Methods
hillelwayne.com
65 comments
6 years ago
whack
115 points
51.
▲
Decision Table Patterns
hillelwayne.com
22 comments
6 years ago
MindGods
112 points
52.
▲
Augmenting Agile with Formal Methods
hillelwayne.com
15 comments
8 years ago
joshuacc
112 points
53.
▲
Why Specifications Don't Compose
hillelwayne.com
63 comments
5 years ago
msiemens
111 points
54.
▲
Two Workers Are Quadratically Better Than One
hillelwayne.com
51 comments
6 years ago
headalgorithm
111 points
55.
▲
TLA+ Action Properties
hillelwayne.com
36 comments
5 years ago
ingve
109 points
56.
▲
Two workers are quadratically better than one (2020)
hillelwayne.com
41 comments
4 years ago
Tomte
106 points
57.
▲
Handwriting Programs in J
hillelwayne.com
29 comments
9 years ago
qznc
100 points
58.
▲
Uncle Bob and Silver Bullets (2017)
hillelwayne.com
92 comments
5 years ago
wheresvic4
91 points
59.
▲
I Heart Microscopes
hillelwayne.com
43 comments
4 years ago
hwayne
90 points
60.
▲
The Problem With APLs
hillelwayne.com
51 comments
8 years ago
mr_golyadkin
82 points
More