or_am_i

Temporarily binding the up arrow in the shell to echo "Use Ctrl-R" is probably the quickest way to un-/re-learn

How does 12 years required for this scheme to pay for itself stack up against the typical house battery's lifetime?

Isn't it today/wouldn't it be in the close future relatively trivial to port most of the already formalized results between languages with help of LLMs?

The article explicitly calls out selection bias (this is entirely based on 90% that opted into using the tutor, there was no control group), I wish the headline did as well. "Engaged students score 0.71 - 1.30 SD better in tests" sounds like a much simpler explanation.

Brilliant! IMO could be even better if the number of points/comments was easier to scan.

Lemmas ~ library code, theorems ~ application code.

Same. Plenty of perfectly valid reasons to outright ban generated PRs, but "Look, I asked ChatGPT to generate a PR which would break SDL, and it did not bother reading AGENTS.md" is a pretty weak take - gotta know thy enemy a little bit better than that.

It's always easier to blame the model and convince yourself that you have some sort of talent in reviewing LLM's work that others don't.

In my experience the differences are mostly in how the code produced by LLM is prompted and what context is given to the agent. Developers who have experience delegating their work are more likely to prevent downstream problems from happening immediately and complain their colleagues cannot prompt as efficiently without a lot of hand holding. And those who rarely or never delegated their work are invariably going to miss crucial context details and rate the output they get lower.

Have owned a couple iPads starting ~2010 -- mainly for reading pdfs, and comics in electronic form. Occasionally drawing / jamming some tunes - almost all via 3rd party apps. There are still plenty of decent apps in the ecosystem, even though their eventual obsolescence is as good as built in, and a lot of stuff I previously loved the platform for has now been gone for years with no replacement. Native apps have never been great at pretty much anything, with a notable exception of Garage Band which is an absolute banger for its money. Books is... passable I guess?

But the reading pdfs part is important -- and really hard to beat for me, the iOS drag/scroll/pinch/zoom UX perceived responsiveness is still unmatched IMO. It would take some real creativity beyond liquid glass to enshittify this aspect out.

Steam phone incoming in 3... 2... 1...

Wish it was only the keyboard enshittified. Literally everything became worse with the update, I had to google how to turn off the silly transparency (Accessibility Settings -> Display -> Reduce Transparency) so that the battery that used to happily last for the entire day on iOS 18 does not die in a matter of some 4 hours. And don't even get me started on now-always-lagging home screen swipes and the Safari overhaul madness! Wanna close the active tab? That will be three taps, thank you very much. Oh, you want them taps to register _every time_, too? This basic phone UX used to be Apple's major USP over Android, now fewer and fewer reasons to stick to this ecosystem.

The subscription revenues is a decent chunk of your lifetime value (LTV) as a customer, but it's not all of it. The goal here is to squeeze as much value from you aside from that as possible, measured mostly by two things, really: the direct ad revenue, measured by dollars that go on the balance sheet, and the indirect "engagement" value measured by the KPIs (think daily, weekly, monthly active users) that go into the quarterlies. The more time you spend on the platform, the more "things" you have got used to interacting with (aka day-to-day, week-to-week "retention"), the more they can potentially "sell" to you -- and it's not just ads / youtube subscription upsells, it can be and often is other "products" on the same platform: their music streaming, their search, their documents and emails, maps, drive, etc. etc. And it just so happens that the short format is _really, really_ engaging for many folks.

The more time you spend in the mall, the fuller are the bags on the way out, be it out of chance, habit, or convenience.

Jonathan Blow's The Witness is a notable example (minor spoiler alert)! Past a certain point in the game, it becomes REALLY challenging to just walk through the IRL woods without over-concentrating on things.

In JetBrains editors it's possible to highlight mutable variables, at least in the languages where the distinction exists. My go to setting in Kotlin is to underscore all `var`'s, for two reasons:

- this makes them really stand out, much easier to track the mutation visually,

- the underscore effect is intrusive just-enough to nudge you to think twice when adding a new `var`.

Nothing like diving into a >3k lines PR peppered with underscores.

Mathematics trains a lot of skills that are generally applicable in engineering. Decomposing complex problems into non-trivial sequences of manageable steps, being able to prove that the design works, spotting appropriate invariants to build type hierarchies/abstractions around, communicating it all in an intentional and comprehensible way where each of the next steps follows from some of the previous, etc., etc.