Viewing profile — smallnamespace

> attempt to reduce wealth inequality is a sign itself that it's a very wealthy country Poor countries also reduce wealth inequality. In fact, China went through a Communist revolu…

> The problem with the filesystem could have been solved by optimizing the Windows kernel Over time this would tie the Windows kernel’s requirements so that they matched the Linux …

AI revenue has been going up while the cost per token has been rapidly falling. The Jevons paradox applies here. The cheaper software is, the more software is written. There is not…

It’s not useless, because you can, for example, ask multiple frontier models to do the formalization and see if they agree. And if they have surface-level differences in formalizat…

Yes, and the child comment’s point is that formalizing the problem is likely easier than having the LLM verify that each step of a long deduction is correct, which is why Lean migh…

T-bills are highly liquid. You can sell them before they mature for very low transaction cost and get back their true market value, including the accrued interest, meaning there’s …

It’s architecturally not a good approach. System RAM is much slower so you should put data that doesn’t need to be used often on it. That knowledge is at the application layer. Add…

The market cap is unambiguous, a more correct estimate of "how much to buy all the shares?" is situational and would just distract from getting the point across.

> According to the researchers, an unpatched Windows PC connected to the Internet will last for only about 20 minutes before it's compromised by malware, on average. That figure is…

Three facts to consider: 1. CLAUDE.md is not part of the system prompt 2. The Claude Code system prompt almost certainly gives directions about how to deal with MCP tools, and may …

I didn't think of it ;) Now that you bring it up, the M3 ultra Mac Studio goes up to 512GB for about a $10k config with around 850 GB/s bandwidth, for those who "need" a near front…

An 14-inch M4 Max Macbook Pro with 128GB of RAM has a list price of $4700 or so and twice the memory bandwidth. For inference decode the bandwidth is the main limitation so if runn…

The platter is a circle so using the uniform distribution [0, 1] is incorrect, you should use the unit circular distribution of [0, 2pi] and also since the platter also spins in a …

> If you're copying and pasting something, there probably isn't a good reason for that. I would embrace copying and pasting for functionality that I want to be identical in two pla…

If you're going to be using USB drives anyway, then using them to move files into the country would be faster.

Typescript ecosystem calls these "branded types" (branded like cattle, presumably) which I found to be a good evocative name.

It's unjust in the same sense that some people complain about capitalism being unjust: some people are wealthy who didn't cosmically deserve it, but just got lucky. There is disagr…

> Being in contact with reality can be actively harmful to reproductive fitness if it leads you to, say, decide not to have kids because you are pessimistic about the future. The f…

If you can define your problem well then you can write tests up front. An ML person would call tests a "verifier". Verifiers let you pump compute into finding solutions.

> by the time I write an exact detailed step-by-step prompt for them, I could have written the code by hand The improved prompt or project documentation guides every future line of…

Vibe code an eval harness with a web dashboard

Those other models lack native mechanical sympathy with the hardware. Let's be practical about it: the reason you might want to say map_tree is so it could potentially be optimized…

Because your code is actual running serially so no matter what there is an iteration order, and the order matters for performance even if your code does not care. For example if yo…

All the AI tools end up converging on a similar workflow: type what you want and interrupt if you're not getting what you want.

Advances in AI are bringing down the cost of processing audio by perhaps 5x a year, and has been doing so for several years now. The risk is that it becomes worthwhile for someone …