We meet once a month (underground, usually on the third Monday) to talk about tech, yeah!
Date | Who | What |
---|---|---|
Oct 22
|
Max |
Fluidics + Chemicals = ?? |
Nov 19
|
Pavel |
E-Graphs |
Dec 17
|
Holiday break |
No PUTTY |
Apr 22
|
Martin |
building a typechecker is easy and I prove it to you by doing it |
May 29
|
Pavel |
Statistics |
put stuff here