HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
211.
▲
Safety and Liveness Properties
hillelwayne.com
discuss
3 years ago
eating555
2 points
212.
▲
Sources of Complexity: Constraints
hillelwayne.com
discuss
3 years ago
verdagon
2 points
213.
▲
Software Mimicry
hillelwayne.com
discuss
4 years ago
BerislavLopac
2 points
214.
▲
Software Mimicry
hillelwayne.com
discuss
4 years ago
todsacerdoti
2 points
215.
▲
Metamorphic Testing (2019)
hillelwayne.com
discuss
4 years ago
mooreds
2 points
216.
▲
Python Path Objects
hillelwayne.com
discuss
4 years ago
cturtle
2 points
217.
▲
Negative Types in Python
hillelwayne.com
discuss
4 years ago
pcr910303
2 points
218.
▲
What engineering can teach (and learn from) us (2021)
hillelwayne.com
discuss
4 years ago
webmaven
2 points
219.
▲
Using Abstract Data Types in TLA+
hillelwayne.com
discuss
5 years ago
todsacerdoti
2 points
220.
▲
Alloy 6: It's About Time
hillelwayne.com
discuss
5 years ago
tonyhb
2 points
221.
▲
How to Solve the Sudoku Puzzle with Programming
hillelwayne.com
discuss
5 years ago
azhenley
2 points
222.
▲
How to solve the sudoku puzzle with programming
hillelwayne.com
discuss
5 years ago
azhenley
2 points
223.
▲
The Crossover Project
hillelwayne.com
discuss
5 years ago
flanfly
2 points
224.
▲
Specification Refinement
hillelwayne.com
discuss
5 years ago
Tomte
2 points
225.
▲
Specification Refinement
hillelwayne.com
discuss
5 years ago
headalgorithm
2 points
226.
▲
Cross-Branch Testing
hillelwayne.com
discuss
5 years ago
Tomte
2 points
227.
▲
A Brief Introduction to Esoteric Languages
hillelwayne.com
discuss
5 years ago
ingve
2 points
228.
▲
Instructive and Persuasive Examples (2017)
hillelwayne.com
discuss
5 years ago
todsacerdoti
2 points
229.
▲
What engineering can teach (and learn from) us
hillelwayne.com
discuss
5 years ago
wheresvic4
2 points
230.
▲
At least one Vim trick you might not know
hillelwayne.com
discuss
5 years ago
sundarurfriend
2 points
231.
▲
What engineering can teach (and learn from) us
hillelwayne.com
discuss
5 years ago
BadInformatics
2 points
232.
▲
There's Always More History
hillelwayne.com
discuss
6 years ago
umangkeshri
2 points
233.
▲
Metamorphic Testing (2019)
hillelwayne.com
discuss
6 years ago
headalgorithm
2 points
234.
▲
Hypermodeling Hyperproperties
hillelwayne.com
discuss
6 years ago
headalgorithm
2 points
235.
▲
Feature Interaction Bugs
hillelwayne.com
discuss
6 years ago
myth_drannon
2 points
236.
▲
Constructive vs. Predicative Data Types
hillelwayne.com
discuss
6 years ago
fanf2
2 points
237.
▲
A Better Cheatsheet
hillelwayne.com
discuss
6 years ago
todsacerdoti
2 points
238.
▲
The Hard Part of Learning a Language
hillelwayne.com
discuss
6 years ago
BerislavLopac
2 points
239.
▲
Most(ly dead) Influential Programming Languages
hillelwayne.com
discuss
6 years ago
pcr910303
2 points
240.
▲
Formally Modeling Database Migrations
hillelwayne.com
discuss
6 years ago
a7b3fa
2 points
More