diff options
| author | Matthew Sotoudeh <matthew@masot.net> | 2023-08-22 23:37:01 -0700 |
|---|---|---|
| committer | Matthew Sotoudeh <matthew@masot.net> | 2023-08-22 23:37:01 -0700 |
| commit | 9924c2d54693db09a334240f2a4863b4023c0cc9 (patch) | |
| tree | 6174625d8c93bdac36d03994dd73a0ae8f406912 /README | |
| parent | 65ceac5d8c2a82f3dd69980971d6bf3b6101b67c (diff) | |
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. |