coderenegade

7 ms·

1.
by coderenegade 3d ago
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 spat
2.
by coderenegade 4d ago
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 defined, so i
3.
by coderenegade 4d ago
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 others are doing
4.
by coderenegade 5d ago
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 industries -- consol
5.
by coderenegade 5d ago
They became lazy and uncompetitive, and were eventually overrun by Japanese imports. It's probably reasonable to say they never really recovered.
6.
by coderenegade 5d ago
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 a paint job and some
7.
by coderenegade 5d ago
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 now becomi
8.
by coderenegade 5d ago
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 it looks like the ga
9.
by coderenegade 5d ago
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 work that alre
10.
by coderenegade 5d ago
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 be kept locked be
11.
by coderenegade 5d ago
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 safety, of course --
12.
by coderenegade 13d ago
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 cognitive task. A
13.
by coderenegade 20d ago
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. That seems fairly p
14.
by coderenegade 20d ago
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.
15.
by coderenegade 20d ago
Maybe it was for switching visa types. It was almost 20 years ago, so I may have some of the details mixed up.
16.
by coderenegade 21d ago
It's a clever move if that's what they're doing. They're restricted in China, and are likely to face stiff competition from Chinese chipmakers in the coming years. Acquiring the largest repository of trainable models and
17.
by coderenegade 21d ago
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, and if you don&
18.
by coderenegade 23d ago
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 "develop
19.
by coderenegade 24d ago
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 issue is with t
20.
by coderenegade 24d ago
Where did I say anything about politics? My only beef is with the notion that tariffs and protectionism are inherently bad.
21.
by coderenegade 24d ago
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. This is historically
22.
by coderenegade 25d ago
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 military hardware.
23.
by coderenegade 29d ago
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 that&#x2
24.
by coderenegade 1mo ago
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 comes to tes
25.
by coderenegade 1mo ago
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 literacy in that
26.
by coderenegade 1mo ago
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, which are uncon
27.
by coderenegade 1mo ago
A few companies have tried small APU range extenders, but there wasn't really a market for it at the time. The point was more that complexity is relative and not necessarily a given, and it's not necessarily a bad thing if it&#x27
28.
by coderenegade 1mo ago
Methanol is the obvious choice, because there are so many ways to make it. Shipping certainly looks to be moving in that direction, though ammonia is also being trialled. Ethanol via fermentation is also doable at scale, but most effective
29.
by coderenegade 1mo ago
This is what the person that I was responding to wrote, and it's objectively wrong: >Hybrids are the worst of both worlds when it comes to maintenance. They have their benefits and are key to fighting climate change, but mechanicall
30.
by coderenegade 1mo ago
If we're talking synthetic fuels, you'd probably run cars on methanol rather than a hydrocarbon. Planes absolutely need kerosene, but cars can claw back most of the performance of petrol with alcohol fuels, and methanol is the sim

More ›