chongli

5 ms·

61.
by chongli 3mo ago
It's not a path, it's a tree, and a downward-facing one at that. To understand the root, you have to understand all of the leaves first, and all of the nodes above them, all the way up. Most people, if they haven't studied ma
62.
by chongli 3mo ago
Soon we'll have explainer agents that translate these according to my level so I can, with effort and interest, follow along and stretch my understanding boundary bit by bit. That's not going to happen. Mathematics isn't ju
63.
by chongli 3mo ago
No, I'd say ambiguous means "context dependent" and the context is unclear. Pronouns like you/me/he/she/they/them are context dependent in everyday English writing but they're only ambiguous wh
64.
by chongli 3mo ago
That's false. Z[n] in rings does not mean "an array of integers of length n", it means the subring generated by Z union with {n}, where n is an element of some other set. For example: Z[ i ], the Gaussian integers, is the sub
65.
by chongli 3mo ago
No, math is difficult to approach because it's genuinely deep . Trying to verbalize what is going on is extremely difficult, because you end up saying stuff like "and then do that to all of these things, and then do it again to a
66.
by chongli 3mo ago
Mathematics would be much more approachable if it just used plain English like `sum(0, Infinity, my_func)` instead of a big Greek sigma with nested function nomenclature First of all, no, mathematics would be far less approachable if it d
67.
by chongli 3mo ago
I remember reading some of his columns growing up and I used to intensely dislike him for his dismissive takes on a lot of products and technologies I thought were important (most infamously, he dismissed the mouse)! Later on, I saw him as
68.
by chongli 3mo ago
And that intervention was just an accidental discovery. Someone thousands of years ago stumbled onto a freak plant with no seeds and had the foresight to take a cutting of it. I don't think so. There are a ton of varieties of banana
69.
by chongli 3mo ago
A hundred million is table stakes. They get better results by stoking the fires (bluffing) and keeping their opponents locked in a war of raising and re-raising the stakes. By amping up the pressure, they drive more and more investment into
70.
by chongli 3mo ago
You don't have to believe it. It's a bet. If you're wrong, everybody loses their money. If you're right, you want to be the biggest winner.
71.
by chongli 3mo ago
The premise I was responding to was that the energy infrastructure would be built during the rise of the AI "bubble" and subsequently be repurposed after the collapse. If we're just connecting data centres to the grid then I
72.
by chongli 3mo ago
Energy infrastructure for powering a data centre isn't the same as energy infrastructure for powering a city. One is a simple point-to-point link (power plant to data centre), the other is a grid. It's like comparing a railway lin
73.
by chongli 3mo ago
Doesn't that only apply if the capital is reusable? If we end up with a bunch of data centre GPUs after an AI bubble collapse, there's no guarantee those GPUs will find productive use for other things. It's like the tulip bub
74.
by chongli 3mo ago
That definition of wealth is all well and good for books about how markets are magical fix-everything pixie dust No, it actually means something. We have access to refrigeration, climate control, near-limitless computation, entertainment,
75.
by chongli 3mo ago
Stockfish already does that. You run it as long as you want. When it's calculating evaluations for move k+1, it already knows what move k was, because it has that evaluation. It can explore that tree first, before exploring other trees
76.
by chongli 3mo ago
Note this is different than knowing how to orient yourself in a million line codebase quickly. Hence my library mention. Humans have been doing this for millennia: orienting ourselves within a library (the physical kind, full of books) an
77.
by chongli 3mo ago
Humans built codebases many millions of lines long, well before LLMs existed. Human memory has not been a restriction on us in a long time. Look at all the libraries full of books we've built. It's useful for more than mere traini
78.
by chongli 3mo ago
Why are people upvoting this? I thought I was missing something.
79.
by chongli 3mo ago
The person had a 6 figure job. They’d end up having their salary garnished to pay the debt. It would be far worse than just giving the money back.
80.
by chongli 3mo ago
By that point I've lost interest in the project. Not a very good elevator pitch if you're losing people before they even see what it looks like.
81.
by chongli 3mo ago
But in a world where AI is able to both produce math theorems, and figure out practical applications for them, human understanding has minimal practical value to society. We have examples of AI producing theorems but there is no evidence
82.
by chongli 3mo ago
They got into their field because they love the beauty of mathematics… As someone who isn't a mathematician, the main value I get out of math is its practical applications in science and technology I have some sad news for you. 99% o
83.
by chongli 3mo ago
Carbon dioxide is produced as a metabolic waste product from exercise. Any sort of fat-burning you want to do is limited by the rate at which you can exhale CO2. This is why vigorous exercise is accompanied by heavy breathing. This includes
84.
by chongli 4mo ago
And what happens if your zig app happens to be a network driver running on a microcontroller?
85.
by chongli 4mo ago
Adding pumps isn’t the same as adding battery storage. More batteries means more peak power. Peak power for hydro is limited by the peak power output of the turbines, not the dam capacity.
86.
by chongli 4mo ago
Overcast winter days tend to be very calm as well. These are periods of minimal solar+wind generation and maximal heating demand. Having a grid with no baseload generation and only storage is going to spell disaster during extended cold+cal
87.
by chongli 4mo ago
I don't know of they fail to see this because they are blinded by their hope or there is a more complex viewpoint I'm missing. There is. "We want to escape" is a very different viewpoint from "we want to liberate
88.
by chongli 4mo ago
We're talking about Ontario. I live in Ontario. The sky is overcast 8 months of the year. We're not building enough storage to charge for 4 months and drain for 8.
89.
by chongli 4mo ago
Doesn’t have to be a naked scam though. Dario could be caught in the dictator’s dilemma: he was a believer at first but now he’s on the tiger’s back so he dare not get off.
90.
by chongli 4mo ago
The positives aren’t there though, beyond what people are already using it for (pair programming aid, fancy auto complete, refactoring tool). Hence the article’s thesis: the doom justifies the valuation.

More ›