Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
solomonb
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
28 ms
·
481.
▲
by
solomonb
7y ago
Why do these sorts of articles always give vague definitions of Soundness and act like it exists on a spectrum? Soundness = Progress & Preservation. From Pierce's Types And Programming Languages: "Progress: A well typed term i
482.
▲
by
solomonb
7y ago
Location: Los Angeles Remote: Yes Technologies: Haskell, Javascript, Python, Functional Programming Resume: https://github.com/ssbothwell/resume/blob/master/SolomonBoth... email: ssbothwell@gmail.com