May 2019 -> ?
Lisp and some classic AI algorithms, what could possibly go wrong? Kick-off session is Friday May 3rd, 2019 and we will work our way through the book over the summer.
April 2019 - July 2018: Things were read, wikis weren't updated.
June 2018
- June 29: Holiday break!!
- June 22: Numerical Linear Algebra, section 1
- June 15: Show and Tell: Linear logic thingies!
- June 8: Taste of Linear Logic Tutorial
- June 1: https://www.cs.cmu.edu/~cmartens/lpnmr13.pdf
May 2018
- May 25: Secrets of the Glasgow Haskell Compiler inliner
- May 18: Making a fast curry: push/enter vs. eval/apply for higher-order languages
- May 11: How to prove a compiler fully abstract
- May 4: Breaktime! We're not meeting in person this week, but we'll be together virtually in real life.
April 2018
- April 27: John Backus's Turing Award lecture on FP
- April 20: Interpreter and compiler show and tell, live coding, and lively discussion!
- April 13: 90 minute Scheme to C compiler
- April 6: We're planning out the next story arc of our adventure together, which opens in theatres everywhere on Friday the 13th!
March 2018
- March 16, 23, 30: March break! We're taking a few weeks off for travel and recuperation. See you in April!
- March 9: From Datalog to FLIX: A Declarative Language for Fixed Points on Lattices
- March 2: Logic and Lattices for Distributed Programming
February 2018
- February 23: Consistency Analysis in Bloom: a CALM and Collected Approach
- February 16: Bloom's Day! Make something in Bloom!
- February 9: Dedalus: Datalog in Time and Space
- February 2: Datafun: A Functional Datalog
January 2018
- January 26: A potpourii of homotopy:
- January 19: A Modal Analysis of Staged Computation
- January 12: A Modal Analysis of Staged Computation
- January 5: A Modal Analysis of Staged Computation
December 2017
- December 15: Holiday Party and retrospective!
- December 8: Teaching Programming Languages in a Post-Linnaean Age (Leo)
- December 1: Hazelnut (Huma)
November 2017
- November 24: Hazelnut (Huma)
- November 17: Why Dependent Types Matter (Ben)
- November 10: Turing Machines: Sets, Logic, and Computation, Chapter 10 (Scott)
- November 3: PICOBIT: A Compact Scheme System for Microcontrollers (Huma)
October 2017
- October 27: Robust first computing (Leo)
- October 20: Fast and Loose Reasoning is Morally Correct (Pete)
- October 13: Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire (James)
- October 6: RRB program show and tell (Scott and Leo)
September 2017
- September 29: Fast and Loose Reasoning is Morally Correct (Pete)
- September 22: Efficient Immutable Vectors (Jim)
- September 15: Supercompilation: Ideas and Methods (Greg)
- September 8: Hygienic Resugaring of Compositional Desugaring (Huma)
- September 1: The Imitation Game (Scott)
August 2017
- August 25: Practical Coinduction? (Dann)
- August 18: Marble Mingling (Pete)
- August 11: A self-intepreter for System T (Ben)
- August 4: Breaking through the normalization barrier: a self-interpreter for F-omega (Ben)
July 2017
- July 28: Breaking through the normalization barrier: a self-interpreter for F-omega (Ben)
- July 21: Stealthy Dopant Level Hardware Trojans (Leo)
- June 14: The Mystery of the Tower Revealed 3 (Dann)
- July 7: The Mystery of the Tower Revealed 2 (Dann)
June 2017
- June 30: The Mystery of the Tower Revealed 1 (Dann)
- June 23: The Design of Terralang (Scott)
- June 16: On the expressive power of programming languages 2
- June 9: On the expressive power of programming languages (Leo)
May 2017:
- May 26: μKanren
- May 19: Type Systems for Optimizing Stack-based Code
- May 12: Out of the Tar Pit
- May 5: Incommensurability
April 2017:
- April 28: Geometric Approach to tracking mechanical motion
- April 21: Stream fusion: from lists to streams to nothing at all
- April 14: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- April 7: Type Systems As Macros
We usually meet at Lighthouse Labs 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).