Skip to content

Commit 3469be0

Browse files
committed
link to kragen-hacks, thanks to John Dougan
1 parent e8de4ea commit 3469be0

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

README.md

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,6 +41,10 @@ Hopefully I'll add critical remarks, though I'm lazy.
4141
* "Design of computer programs" on Udacity https://www.udacity.com/course/design-of-computer-programs--cs212
4242
* on CodingBat http://codingbat.com/home/peter@norvig.com
4343

44+
## Kragen Sitaker
45+
46+
* [kragen-hacks](https://www.mail-archive.com/kragen-hacks@canonical.org/index.html) has lots of interesting short programs.
47+
4448
## Barbara Liskov and John Guttag, Abstraction and Specification in Program Development
4549

4650
It's hard to find good models of contracts and invariants driving and
@@ -139,7 +143,6 @@ https://github.com/rswier/swieros
139143

140144
# Others' suggestions, or otherwise pending
141145

142-
* kragen-hacks seems to be gone from the web now
143146
* [Physically Based Rendering: From Theory to Implementation](http://www.pbrt.org/)
144147
* [Lisp in Small Pieces](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiSP.html)
145148
* [Implementing Elliptic Curve Cryptography](http://www.manning.com/rosing/)

0 commit comments

Comments
 (0)