The Open Logic Project is a collection of teaching materials on mathematical logic aimed at a non-mathematical audience, intended for use in advanced logic courses as taught in many philosophy departments. It is open-source: you can download the LaTeX code. It is open: you’re free to change it whichever way you like, and share your changes. It is collaborative: a team of people is working on it, using the GitHub platform, and we welcome contributions and feedback. And it is written with configurability in mind.
And if you like the Open Logic Project you might also like The Stacks project, an open source textbook and reference work on algebraic geometry.
I like the look of the elixir documentation. I think having the full table of contents on the right hand side is a nice touch. You don’t often see that…
This is great: The smallest and worst HDMI display ever. There’s a write up over here. This guy has plugged an OLED device directly into the HDMI port on his laptop. On a related note, I thought Craig would appreciate this one: Building a tiny steampunk “HDMI” display from the same author (recommend watching at 2x speed).
I enjoyed watching this guy demo his electronics lab: Home Electronics Lab. But mine is better! :)