-
Notifications
You must be signed in to change notification settings - Fork 11
Reading Schedule
dann toliver edited this page Jul 17, 2017
·
141 revisions
- June 9: On the expressive power of programming languages (Leo)
- June 16: On the expressive power of programming languages again
- June 23: The Design of Terralang (Scott)
- June 30: The Mystery of the Tower Revealed 1 (Dann)
- July 7: The Mystery of the Tower Revealed 2 (Dann)
- June 14: The Mystery of the Tower Revealed 3 (Dann)
- July 21: Stealthy Dopant Level Hardware Trojans (Leo)
May 2017:
- May 5: Incommensurability
- May 12: Out of the Tar Pit
- May 19: Type Systems for Optimizing Stack-based Code
- May 26: μKanren
April 2017:
- April 7: Type Systems As Macros
- April 14: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- April 21: Stream fusion: from lists to streams to nothing at all
- April 28: Geometric Approach to tracking mechanical motion
We usually meet at Bento Miso at 6:30pm, but check the schedule to be sure.
We previously read:
Currently reading: SICP
We usually meet at Continuous Labs at 6:30pm, but signup at the above link and check the schedule there.
All of our meetings take place under the Bento Miso Code of Conduct. In addition to the points of contact on the Miso Code of Conduct page you can also contact Dann Toliver (416-731-8610).