Readit NewsWhen I scroll up my brain breaks because the display goes in the opposite direction to what I expect.
You'd think it would be a key feature because every game provides direction inversion.
I'm trying out using the Obsidian Web Clipper extension, which essentially does this (and using it for anything I'd previously have bookmarked).
The compressor would come on for a few seconds then shut off.
After 2 different HVAC companies quoted me $275 to come out (plus hourly and the repair once they find the issue) and then also told me it would be 10 days before they had availability I finally bit the bullet, bought a $30 multimeter, watched a few videos on how capacitor failure is super common and how to hopefully not kill myself, and after confirming with the multimeter and buying the $7 capacitor everything was right back to working with 2 minutes of work.
I did have a moment where I dreaded thinking I'd need to replace the unit and if so whether I'd want a split put in but for $53K I'd better get a third job... Quite glad not to have had to get too far down this road.
You teach this in a classroom?
I have an interactive tutorial I wrote and teach with which is here: https://github.com/JulianEducation/CommandLineBasics in case it's useful as well. I only have 90 minutes in my case so it's a constant battle to tweak what I can get to with my audience, so there's still lots of things I want to change.
But I think it's very important to have lots of resources here so I'm excited to look at yours.
Deleted Comment
I'm curious if there is a scenario in which a large automated proof is achieved but there would be no practical means of getting any understanding of what it means.
I'm an engineer. Think like this: a large complex program that compiles but you don't understand what it does or how to use it. Is such a thing possible?
That's true though of Lean code written by a human mathematician.
AI systems are capable (and generally even predisposed to) producing long and roundabout proofs which are a slog to decipher. So yes the feeling is somewhat similar at times to an LLM giving you a large and sometimes even redundant-in-parts program.