diff options
Diffstat (limited to 'README')
-rw-r--r-- | README | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -1,4 +1,4 @@ -Labs I've written for classes +Labs I've written for classes: - sat-chaff: implement a basic DPLL SAT solver, profile it, then optimize it with the watched literals trick from Chaff @@ -8,3 +8,10 @@ Labs I've written for classes - static-analysis: implement a mini static analysis pass that finds some bugs in the Linux kernel + +There are some "work-in-progress labs:" + + - neural-net: implement a simple feed-forward neural net training & + inference program. the code is kind of a mess right now, but it's the + smallest/simplest backprop implementation I know of. one of our 240lx + students (Luca Pistor) even got it running on the pi. |