jwdunne

Beginner resources for formalizing lambda calculi

3 points by jwdunne 1 month ago | 0 comments

Bifurcate the Problem Space

3 points by jwdunne 2 months ago | 0 comments

Lode Coding

3 points by jwdunne 2 months ago | 0 comments

Finding Your Weak Spots

3 points by jwdunne 2 years ago | 0 comments

The real “must have” tools for programming

114 points by jwdunne 2 years ago | 25 comments

Small Functions Considered Harmful (2017)

1 point by jwdunne 2 years ago | 0 comments

I have complicated feelings about TDD

323 points by jwdunne 2 years ago | 441 comments

The Essence of Programming (2021)

96 points by jwdunne 2 years ago | 64 comments