Viewing profile — chriswarbo

I've found DeepSeek v4 models to run well in pi.dev I agree they're not as capable as Claude Sonnet, but they're much cheaper.

I jsut did some digging and it seems you're right, it's only for methods which call themselves (which indeed get compiled into a loop, as an entirely local transformation). So not …

Sounds similar to @tailrec in Scala I personally use the phrase "tail call elimination" when it's a requirement that can be relied on; and "tail call optimisation" when it might be…

> Is there an inverse Pareto front? Yes, trivially. Just look at the opposite end of each metric. Pareto optimality doesn't know/care what each metrics means, since it keeps them a…

If we have a set of things (e.g. language models) and some measures we care about (e.g. cost, speed, whether weights are open, scores for a few benchmarks, etc.), then some of thos…

Magit allows selective staging/unstaging, either of hunks, or by selecting lines (AKA Emacs's "region"). I avoid staging from the git commandline, unless I'm just doing whole files…

> How long do you spend on transit that most of those are necessary? Toilets are useful immediately (speaking from experience!) Tables are useful even on short trips of a few minut…

The Nix commands have a decent approach: passing `--help` will invoke `man` on the relevant manual (sub-commands tend to have individual man pages).

Define "nicely". For example, many pagers don't work well when stdin is line-buffered (they assume they'll see individual key presses as they happen) Pagers can also conflict with …

Why would anyone working on such code send it anywhere (other than, say, to AWS for hosting)? Source: I work on such code. We don't allow devs to use (cloud-based) LLMs.

This doesn't seem to account for Jevons paradox: if driving is made faster and more convenient, then more people will drive more; which can lead to an overall increase in CO2 emiss…

> Most cars can fit 5 people So you agree that most cars are far larger and heavier than required? First search result for "average car occupancy"[1]: > In 2022 the Average Number …

> If every road were free of traffic, every destination had unlimited parking at the door, everyone already owned a car, and driving carried no direct or indirect costs, almost eve…

I was responding to this part: > if our universe is undecidable My point is, there would be no way to empirically test this; and therefore, it would make no observable difference, …

> I think the day needs time units which are factors of 10x or 1000x to match SI prefixes The nice thing about metric/SI prefixes is that they're generic multipliers, which can be …

There's no way to empirically spot an uncomputable process, since it would require infinitely-many observations. For example, if aliens claim their machine solves the halting probl…

> Information and computation are not the same thing. Shannon information, sure. However, algorithmic information (Kolmogorov complexity, etc.) is based on computation.

They're not tied to anything physical; but they are a mathematical sweet spot. 24ths and 60ths are useful fractions because 24 and 60 are highly composite numbers, i.e. they have m…

I tend to run all my terminals in Emacs, which TUIs tend to interfere with (e.g. providing their own keybindings which clash with those of Emacs; providing their own panes/scrollba…

LLMs seem to love certain languages (Python, Bash, etc.), but they all seem to struggle with Lisp (e.g. Racket or Emacs Lisp). I've tried various iterations of Claude, as well as c…

> I think the slider would be recognized as a toggle in its usual context of a settings screen by most people who have seen a settings screen before, but not that specific design f…

> In Windows 95, those toolbar icons were still actual buttons. In Windows 2000, they are recognizable as a button when activated, but in their default state they're not and you ha…

I've switched my git projects to push their objects into IPFS and their refs to pkkarr. That feels more distributed than the sorts of HTTP servers mentioned in TFA. Anybody who car…

> the same principles apply to US dollars Currencies are a little different, since they are required to pay taxes; and payment of taxes is enforced (to varying degrees) by state vi…

> Isn't Not Just Bikes some US expat/biking maximalist? According to their videos, they prefer trams within cities; generally take trains between cities; and acknowledge that cars …