smallnamespace

8 ms·

1.
by smallnamespace 1mo ago
> 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 revolution where all private landowners’ wealth was taken
2.
by smallnamespace 3mo ago
> 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 kernel’s due to expectations from WSL1 users. This of cou
3.
by smallnamespace 4mo ago
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 a finite demand for software.
4.
by smallnamespace 5mo ago
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 formalization, you can also ask them whether apparently-different defi
5.
by smallnamespace 5mo ago
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 might be helpful.
6.
by smallnamespace 5mo ago
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 not much monetary benefit to staggering them week by week. Y
7.
by smallnamespace 6mo ago
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. Adding a CUDA shim makes system RAM appear like VRAM, which get
8.
by smallnamespace 9mo ago
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.
9.
by smallnamespace 9mo ago
> 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 down from around 40 minutes, the group's estim
10.
by smallnamespace 10mo ago
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 also include the list of tools 3. Instruction adherence is h
11.
by smallnamespace 11mo ago
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 frontier large model. I think 4x the RAM is n
12.
by smallnamespace 11mo ago
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 running LLMs is your use case you should probably get a Mac inst
13.
by smallnamespace 1y ago
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 single direction the distance is only computed going one way
14.
by smallnamespace 1y ago
> 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 places right now, but I’m not sure ought to be ide
15.
by smallnamespace 1y ago
If you're going to be using USB drives anyway, then using them to move files into the country would be faster.
16.
by smallnamespace 1y ago
Typescript ecosystem calls these "branded types" (branded like cattle, presumably) which I found to be a good evocative name.
17.
by smallnamespace 1y ago
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 disagreement over in which way they were lucky (random l
18.
by smallnamespace 1y ago
> 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 fact that you can write this sentence, consider it to be t
19.
by smallnamespace 1y ago
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.
20.
by smallnamespace 1y ago
> 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 code written, whether by a human or an AI. It pays divid
21.
by smallnamespace 1y ago
Vibe code an eval harness with a web dashboard
22.
by smallnamespace 1y ago
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 to run more quickly, e.g. via automatic parallelizatio
23.
by smallnamespace 1y ago
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 you literally don’t care about the order then your code can ma
24.
by smallnamespace 1y ago
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.
25.
by smallnamespace 2y ago
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 to record everything now and process it later at their own
26.
by smallnamespace 2y ago
People go to Tokyo and Osaka because that's where it's easier to find good-paying jobs.
27.
by smallnamespace 2y ago
> I don't think anyone today would seriously argue that Hanja is preferable It's necessary to use Hanja today in educated contexts because Hangul has too many homophones, and most educated (technical, literary, scientific) voca
28.
by smallnamespace 2y ago
This is not a reason for Japanese people to keep Kanji, but Chinese tourists can read Japanese at about 50% comprehension level just due to Kanji without knowing at all how the words are pronounced in Japanese.
29.
by smallnamespace 2y ago
> A professor isn't a school teacher that needs to look after each student individually There's a line of research that shows that high quality one-on-one instruction gets you up to 2stdev gains in learning performance. If you
30.
by smallnamespace 2y ago
> using max(0, exp(x)-1) instead of exp(x) Won't this cause the gradient to vanish on the left half, causing problems with training?

More ›