HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
181.
▲
At least one Vim trick you might not know
hillelwayne.com
discuss
7 years ago
hellerve
3 points
182.
▲
Proving Games Are Winnable with Alloy
hillelwayne.com
discuss
7 years ago
Luc
3 points
183.
▲
Finding Property Tests (2019)
hillelwayne.com
discuss
7 years ago
gmcabrita
3 points
184.
▲
Metamorphic Testing
hillelwayne.com
discuss
7 years ago
bibyte
3 points
185.
▲
STAMPing on event-stream
hillelwayne.com
discuss
7 years ago
Jtsummers
3 points
186.
▲
Solving Knights and Knaves with Alloy
hillelwayne.com
discuss
7 years ago
mcguire
3 points
187.
▲
STAMPing on the NPM event-stream compromise
hillelwayne.com
discuss
7 years ago
fanf2
3 points
188.
▲
A Better Interview
hillelwayne.com
discuss
8 years ago
octosphere
3 points
189.
▲
Constraint Solving with Minizinc
hillelwayne.com
discuss
8 years ago
homarp
3 points
190.
▲
Constraint Solving with MiniZinc
hillelwayne.com
discuss
8 years ago
mzl
3 points
191.
▲
Decision Tables
hillelwayne.com
discuss
8 years ago
dailymorn
3 points
192.
▲
The problem with APLs
hillelwayne.com
discuss
8 years ago
quazar
3 points
193.
▲
The Best Software Engineering Paper You Haven't Read
hillelwayne.com
discuss
8 years ago
hyperpape
3 points
194.
▲
Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Names
hillelwayne.com
discuss
8 years ago
mjb
3 points
195.
▲
How is a Class like a Microservice?
hillelwayne.com
discuss
9 years ago
ingve
3 points
196.
▲
Introduction to Contract Programming
hillelwayne.com
discuss
9 years ago
arunc
3 points
197.
▲
Unit Tests Aren't Tests
hillelwayne.com
discuss
9 years ago
telotortium
3 points
198.
▲
Handwriting Programs in J
hillelwayne.com
discuss
9 years ago
ah-
3 points
199.
▲
How Do We Trust Our Science Code?
hillelwayne.com
discuss
9 years ago
kiyanwang
3 points
200.
▲
What is the best answer to divide by 0
hillelwayne.com
3 comments
2 years ago
systems
2 points
201.
▲
A early history of algebraic data types
hillelwayne.com
2 comments
9 months ago
fanf2
2 points
202.
▲
Chicago vs. New York Pizza Is the Wrong Argument
hillelwayne.com
1 comment
a month ago
ethanhawksley
2 points
203.
▲
Two workers are quadratically better than one: modelling a queue with PRISM
hillelwayne.com
1 comment
8 months ago
fanf2
2 points
204.
▲
A Early History of Algebraic Data Types
hillelwayne.com
1 comment
9 months ago
matt_d
2 points
205.
▲
Are We Engineers? (2021)
hillelwayne.com
1 comment
10 months ago
walterbell
2 points
206.
▲
What engineering can teach (and learn from) us (2021)
hillelwayne.com
discuss
7 months ago
smj-edison
2 points
207.
▲
Software Friction
hillelwayne.com
discuss
2 years ago
nalgeon
2 points
208.
▲
Indiana Almost Made π 3.2
hillelwayne.com
discuss
3 years ago
weird_user
2 points
209.
▲
Let's Prove Leftpad
hillelwayne.com
discuss
3 years ago
pkkm
2 points
210.
▲
Augmenting Agile with Formal Methods
hillelwayne.com
discuss
3 years ago
tim_sw
2 points
More