The problem with the article's line of thought is that mathematicians can't control what others do with models that are capable of generating proofs for hard problems. Sure, maybe there's a career in taking known proofs…
I've been working on something similar as well, but not yet ready to be shared. It's a geometry kernel and then an authoring layer on top. The idea is that the constraints are tests that get run after the geometry is…
I switched from Claude to Codex because Claude just doesn't do what you actually tell it to half the time. It dances around the edges and does busy work without actually tackling a tough problem. I'm not sure what…
At a certain point, you don't have a choice. Before China got into the game, the only way to avoid giving Luxotica money if you wanted a pair of glasses was to essentially not buy glasses. This is the same for many…
They became lazy and uncompetitive, and were eventually overrun by Japanese imports. It's probably reasonable to say they never really recovered.
My newest and most expensive car cost $5k in freedom dollars. It gets the job done. I have an older, more clapped out vehicle that cost $1500, and is in surprisingly decent knick for a 30 year old car, but it does need…
Depends on the Mercedes. There was a time where Mercedes made cars that had a reputation for reliability similar to Toyota's today, and those cars are still fairly reasonable to keep running. The problem is that they're…
I think the only thing that stops this from becoming true is what Chinese and European labs decide to do. If they can keep up and keep opening their weights, then we might see some kind of democratization. But right now…
Not necessarily. That's the best case scenario, but proofs can be intrinsically useful in and of themselves. It's just that for problems of that nature, speculative work is often done ahead of time, e.g. the body of…
This is the hope, but I suspect the reality is that we see an ever widening gap between the fortunate and the unfortunate. We're looking at the automation and commodification of all knowledge, and the best models will…
This is the real problem. We're looking at a future where those who control AI have an insurmountable advantage in everything. They can control the amount of intelligence the masses have access to -- for their own…
Surely part of the problem is that intelligence seems to be implicitly conditioned on embodiment, to the point that "covering only cognitive tasks" seems inherently ill-defined or arbitrary. Everything we do is a…
Well now that they own it, they can do whatever they like. They don't necessarily have to be optimizing the models for their hardware, they could just setup preferential pipelines to funnel users to their ecosystem.…
It was a long time ago, so I might have the details wrong. I suspect it may have been expats from Korea taking a short trip to Japan to renew their visa, or even folks switching the type of visa they were on.
Maybe it was for switching visa types. It was almost 20 years ago, so I may have some of the details mixed up.
It's definitely not. I know Japan and Korea had a similar process when I was living there, and I was under the impression that most places operate this way. Your visa grants you right to temporarily stay in the country,…
Sure, if every country did this for every technology, it wouldn't work. But in reality, they don't. Even ongoing industrialization isn't a given once it's been achieved, because the bar for what constitutes "developed"…
I didn't say anything about politics. Whether or not industry believes this is a permanent state of affairs, or destined to end with this administration, has no bearing on whether or not tariffs can be a useful tool. My…
Where did I say anything about politics? My only beef is with the notion that tariffs and protectionism are inherently bad.
The only repeatable path to industrialization and the benefits thereof is the combination of protectionist policies -- be they tariffs or subsidies -- with a focus on exporting goods and competing in the global market.…
Tariffs are a tax that buys you (at least) three things, all of which are difficult to quantify, and usually overlooked by economists: 1. Security. You make your own bullets. You're able to make and maintain your own…
This. Involve your kids in your hobbies. If they aren't interested, that's okay too -- you can be involved in theirs. Some hobbies have a finite life anyway. You aren't going to be a gymnast forever, for example, and…
In my experience, good software engineers are often better "engineers" than those working in more physical disciplines, because they get a lot more practice. But traditional engineers have a far better culture when it…
It's probably worth distinguishing software engineering from the ability to program. Programming is a skill that is similar to reading and writing in that it's a type of literacy, and it shares a common theme with…
I must be hallucinating all of those hybrid BYDs I keep seeing on the roads, then. You say 'EV', but the distinction that matters is battery electric versus high voltage hybrid, and low voltage hybrid. And hybrids,…
The problem with the article's line of thought is that mathematicians can't control what others do with models that are capable of generating proofs for hard problems. Sure, maybe there's a career in taking known proofs…
I've been working on something similar as well, but not yet ready to be shared. It's a geometry kernel and then an authoring layer on top. The idea is that the constraints are tests that get run after the geometry is…
I switched from Claude to Codex because Claude just doesn't do what you actually tell it to half the time. It dances around the edges and does busy work without actually tackling a tough problem. I'm not sure what…
At a certain point, you don't have a choice. Before China got into the game, the only way to avoid giving Luxotica money if you wanted a pair of glasses was to essentially not buy glasses. This is the same for many…
They became lazy and uncompetitive, and were eventually overrun by Japanese imports. It's probably reasonable to say they never really recovered.
My newest and most expensive car cost $5k in freedom dollars. It gets the job done. I have an older, more clapped out vehicle that cost $1500, and is in surprisingly decent knick for a 30 year old car, but it does need…
Depends on the Mercedes. There was a time where Mercedes made cars that had a reputation for reliability similar to Toyota's today, and those cars are still fairly reasonable to keep running. The problem is that they're…
I think the only thing that stops this from becoming true is what Chinese and European labs decide to do. If they can keep up and keep opening their weights, then we might see some kind of democratization. But right now…
Not necessarily. That's the best case scenario, but proofs can be intrinsically useful in and of themselves. It's just that for problems of that nature, speculative work is often done ahead of time, e.g. the body of…
This is the hope, but I suspect the reality is that we see an ever widening gap between the fortunate and the unfortunate. We're looking at the automation and commodification of all knowledge, and the best models will…
This is the real problem. We're looking at a future where those who control AI have an insurmountable advantage in everything. They can control the amount of intelligence the masses have access to -- for their own…
Surely part of the problem is that intelligence seems to be implicitly conditioned on embodiment, to the point that "covering only cognitive tasks" seems inherently ill-defined or arbitrary. Everything we do is a…
Well now that they own it, they can do whatever they like. They don't necessarily have to be optimizing the models for their hardware, they could just setup preferential pipelines to funnel users to their ecosystem.…
It was a long time ago, so I might have the details wrong. I suspect it may have been expats from Korea taking a short trip to Japan to renew their visa, or even folks switching the type of visa they were on.
Maybe it was for switching visa types. It was almost 20 years ago, so I may have some of the details mixed up.
It's definitely not. I know Japan and Korea had a similar process when I was living there, and I was under the impression that most places operate this way. Your visa grants you right to temporarily stay in the country,…
Sure, if every country did this for every technology, it wouldn't work. But in reality, they don't. Even ongoing industrialization isn't a given once it's been achieved, because the bar for what constitutes "developed"…
I didn't say anything about politics. Whether or not industry believes this is a permanent state of affairs, or destined to end with this administration, has no bearing on whether or not tariffs can be a useful tool. My…
Where did I say anything about politics? My only beef is with the notion that tariffs and protectionism are inherently bad.
The only repeatable path to industrialization and the benefits thereof is the combination of protectionist policies -- be they tariffs or subsidies -- with a focus on exporting goods and competing in the global market.…
Tariffs are a tax that buys you (at least) three things, all of which are difficult to quantify, and usually overlooked by economists: 1. Security. You make your own bullets. You're able to make and maintain your own…
This. Involve your kids in your hobbies. If they aren't interested, that's okay too -- you can be involved in theirs. Some hobbies have a finite life anyway. You aren't going to be a gymnast forever, for example, and…
In my experience, good software engineers are often better "engineers" than those working in more physical disciplines, because they get a lot more practice. But traditional engineers have a far better culture when it…
It's probably worth distinguishing software engineering from the ability to program. Programming is a skill that is similar to reading and writing in that it's a type of literacy, and it shares a common theme with…
I must be hallucinating all of those hybrid BYDs I keep seeing on the roads, then. You say 'EV', but the distinction that matters is battery electric versus high voltage hybrid, and low voltage hybrid. And hybrids,…