HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
121.
▲
A Early History of Algebraic Data Types
hillelwayne.com
1 comment
9 months ago
yehoshuapw
4 points
122.
▲
A Early History of Algebraic Data Types
hillelwayne.com
1 comment
9 months ago
todsacerdoti
4 points
123.
▲
Toolbox Languages
hillelwayne.com
1 comment
2 years ago
librasteve
4 points
124.
▲
Are We Really Engineers?
hillelwayne.com
1 comment
5 years ago
yesenadam
4 points
125.
▲
Why Vim Uses hjkl & Why JavaScript months start from 0
hillelwayne.com
1 comment
5 years ago
dsr12
4 points
126.
▲
What engineers can teach (and learn from) programmers
hillelwayne.com
1 comment
5 years ago
fanf2
4 points
127.
▲
Gamer Games for Non-Gamers
hillelwayne.com
discuss
5 months ago
bschne
4 points
128.
▲
Why Don't People Use Formal Methods?
hillelwayne.com
discuss
2 years ago
rramadass
4 points
129.
▲
A better explanation of the Liskov Substitution Principle
hillelwayne.com
discuss
3 years ago
chriskrycho
4 points
130.
▲
Are We Really Engineers? (2021)
hillelwayne.com
discuss
3 years ago
lolinder
4 points
131.
▲
In Praise of AutoHotKey
hillelwayne.com
discuss
4 years ago
pcr910303
4 points
132.
▲
Alloy 6: it's about Time
hillelwayne.com
discuss
5 years ago
Tomte
4 points
133.
▲
Why Does “=” Mean Assignment?
hillelwayne.com
discuss
5 years ago
swyx
4 points
134.
▲
Two Workers Are Quadratically Better Than One
hillelwayne.com
discuss
6 years ago
headalgorithm
4 points
135.
▲
Two workers are quadratically better than one
hillelwayne.com
discuss
6 years ago
headalgorithm
4 points
136.
▲
J Notation as a Tool of Thought
hillelwayne.com
discuss
6 years ago
MindGods
4 points
137.
▲
Formally specifying UIs (2018)
hillelwayne.com
discuss
6 years ago
azhenley
4 points
138.
▲
Constructive vs. Predicative Data
hillelwayne.com
discuss
6 years ago
todsacerdoti
4 points
139.
▲
The Hard Part of Learning a Language
hillelwayne.com
discuss
6 years ago
imgabe
4 points
140.
▲
Learning a Language
hillelwayne.com
discuss
6 years ago
moomin
4 points
141.
▲
The Business Case for Formal Methods
hillelwayne.com
discuss
6 years ago
eaguyhn
4 points
142.
▲
The Business Case for Formal Methods
hillelwayne.com
discuss
6 years ago
BerislavLopac
4 points
143.
▲
Power up your unit-tests with property-based testing
hillelwayne.com
discuss
7 years ago
nlm
4 points
144.
▲
Formally Modeling Database Migrations
hillelwayne.com
discuss
7 years ago
lelf
4 points
145.
▲
The great theorem prover showdown
hillelwayne.com
discuss
8 years ago
msangi
4 points
146.
▲
Intro to Contract Programming
hillelwayne.com
discuss
8 years ago
jxub
4 points
147.
▲
We've Already Thought the Unthinkable
hillelwayne.com
discuss
8 years ago
mpweiher
4 points
148.
▲
Property Tests and Contracts = Integration Tests
hillelwayne.com
discuss
9 years ago
X4lldux
4 points
149.
▲
Introduction to Contract Programmming
hillelwayne.com
discuss
9 years ago
carlchenet
4 points
150.
▲
Are We Engineers?
hillelwayne.com
2 comments
5 years ago
cwyers
3 points
More