Found some good info concerning the ATtiny85. The ATtiny85 is an 8-bit RISC based microcontroller I’m interested in.
ATtiny85
Reply
Monthly Archives: September 2022
Programming as Theory Building
I’m in the middle of reading Programming as Theory Building (which was referenced from here) but I’m weary so off to bed. Will finish reading tomorrow. Hopefully.
Open Logic Project
See Open Logic Project Builds for a 1,000 page book on math fundamentals. From the home page:
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.
Nice doco
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…
Rust
This article makes a compelling case for Rust: Why the developers who use Rust love it so much.
Also there’s a good write up about Rust features over here: Understanding Rust futures by going way too deep .
The smallest and worst HDMI display ever
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).
Home Electronics Lab
I enjoyed watching this guy demo his electronics lab: Home Electronics Lab. But mine is better! :)
Self-hosting email
I empathise with the concerns of this guy: After self-hosting my email for twenty-three years I have thrown in the towel. The oligopoly has won.
Counting
I was pleased to see “the simplest tally starts with judgments about what counts” when reading the blurb for Counting: How We Use Numbers to Decide What Matters. This is an idea I’ve had in mind for quite a while, and I’m happy to see it bubbling out into the mainstream. The final quote in the blurb was good too: “being in thrall to numbers is misguided and dangerous”.
TIS-100
I have just discovered TIS-100. So much fun! It came with my Level Up and Learn: Programming Games Humble Bundle. From Wikipedia:
TIS-100 is a programming/puzzle video game developed by Zachtronics Industries. The game has the player develop mock assembly language code to perform certain tasks on a fictional, virtualized 1970s computer that has been corrupted. The game was released for Microsoft Windows, OS X, and Linux personal computers in July 2015.