2023 Company Retreat
AWeber Communications
Why Elm
Matthew Griffith
Functional Programming with Bananas, Lenses, Envelopes and Barbed ...
Erik Meijer, Maarten Fokkinga, Ross Paterson
Hacking your way around in Emacs
Marcin Borkowski
Categories for the Working Mathematician
Saunders Mac Lane
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Anathem
Neal Stephenson
The Manga Guide to Statistics
Shin Takahashi
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer