Viewing profile — or_am_i

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. "Engag…

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" i…

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…

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…

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 -> Dis…

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 a…

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 o…

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, …

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 th…

Yes, and the press release makes no mention of this extra context -- hardly good journalism.

Yeah, the `numpy` version still looks relatively cryptic (like, "line > 0" is still fine, but the numpy arrays broadcasting rules can quickly get out of hand) compared to the autho…

It sucks when your communication preferences are overridden! To be fair though, many valid reasons to prefer a quick call over a message (a potentially infinite sequence of message…

“If you would escape moral and physical assassination, do nothing, say nothing, be nothing — court obscurity, for only in oblivion does safety lie.” E. Hubbard, ca. 1989

> If you try to humanise the place you will lose your mind. If you ask yourself what the woman at the hair-braiding stand left behind to be here, and why, you will lose your mind. …

Would you give to charity? You are pointing at the heart of the prisoner's dilemma endlessly recreated by the very existence of capital: why choose long-term public benefit over a …

Yeah, I guess I'm silently assuming the developer's time is more valuable than the API costs (which is true in the majority of use cases in US+EU, unless using parallel/multi-shot …

A lot of the same kind of skill goes into prompting AI and delegating work to other humans. Delegation requires building intellectual empathy for the task recipient, giving them an…

Analogy would have been correct if prompting didn't influence the output (which I hope you agree is not the case). And yes, the model keeps changing under you -- much like a horse …

> The “bullshit” here is the implicit claim of an author that such jargon is needed. Maybe it is to explain advanced applications (like attempts to do “inference in Bayesian networ…

What if we built a strong culture around actively avoiding advertising? What if we educated the general public about adverse effects of time after time giving up your attention, wi…

Am an "outliner", currently working together with a "discovery coder" on a project. We are half a year in and have no common working build, just my "outline" and a bunch of non-int…