gf000

Memcpy of what? I'm fairly sure Firefox's internal representation is different from Chrome's, so you just replaced parsing from X with parsing from Y.

That's probably the very reason it's arguably not the best language ever created. It has way too large surface area, getting close to C++ levels.

Sure, it's a valid language design, but it's also a negative in "understandability of each line of code", and thus maintainability, and even stuff like tooling, verification.

I don't think it's a fair comparison. Maybe against deepseek pro would be more similar in terms of model size

I don't think it would be all that useful, give the very way it works (modulating motor speed) - your rotation would not be consistent in speed during even a single turn, which makes exposure times different each frame, and possibly too low.

Not disagreeing you, but can we please stop using tiobe? It's by far the worst metric that doesn't mean anything (even though it is correct here, but so is a broken clock twice a day)

Scala has refined implicits into givens and extension methods.

Mathematicians and software engineers have very different career progressions and financing, so similar AI effects affect them differently.

Better fundamental understanding makes every future studying much more efficient and gives deeper understanding of topics built on top.

With all due respect yours is a very short sighted take that only thinks in passing tests. That's not the purpose of education.

The career path of a mathematician is far different than that of a software engineer.

> I don't know what would be a good career path, but most certainly avoid anything that AI is having the most success at in 2026.

This hinges on an assumption that means our whole society is turned upside down completely with no way to predict anything. But this is an assumption only. So you can either plan for a known path and do something valuable there, OR just put up your hand and prepare for.. what? Like not even physical jobs are safe because who will hire anyone if a good chunk of all humans will be out of jobs? Your best bet would probably be to build a bunker and stock up on canned food.

Luxury items burn well. So your take may be true in a mathematical model of capitalism, it's at most a spherical cow in reality where people do like to not starve to death.

So unless there is a change towards UBI in your take (which is still not an all around solution. Many people only fit properly in a society because they are occupied 8 hours a day with something), that will probably result in the biggest revolution ever seen.

And there is not enough high walls to save the rich from that.

> Production would just reorient to who owns capital, the state, and other AI systems buying from each other.

Until those who don't own capital get upset and put the whole thing on fire.

But I don't think this video was meant to cover this case, and in the more pessimistic predictions you are not better with any other profession either. Given his assumptions I think it is an absolutely fair take. If AI becomes better in all 4 areas of math he lists, then private funding may decrease - BUT if there is ever any need for human problem solving skills, academia will not break down and this has always been the majority where mathematicians are employed/financed from.

And if this latter assumption breaks, we are in far greater trouble than whatever you chosen as a career and society will become unrecognizable to today's.

Kotlin is absolutely massive, and they often add n small features instead of a single more complicated one, so I don't think the comparision to Scala fits.

Funnily enough kotlin added some rushed, delivered syntax sugar in the form of `when` and java just came and added proper pattern matching with algebraic data types and exhaustiveness checking into the platform itself, making it better than the guest language at its own game. Meanwhile I never felt this "landing page growing" mindset with Scala.

I would argue that it's pretty damn far from the Agda/Coq/lean world.

You really have to wrap your head around dependent types and _≡_. In my experience it was far more mind blowing than just FP.

It's a thruster and a fan, in a car made specifically for this stunt, that won't be produced and has all passenger seats occupied by high pressure gas tanks that can do this like once.

Which of these is impressive or novel?

What's the accomplishment here? It's 50 years old tech.

What does it prevent? At most it makes you fall in the water in the correct orientation.

At the price of your passenger seats being occupied by gas tanks, that surely are safe in a collision that's far more likely occurrence.

It's PR stunt, nothing more.

How does 20 minutes of idling work? Is that jellyfin shutting itself down?

Ergonomics matter even for LLMs. Also, compile speed, quality of error messages, how easy it is to get something right (especially that LLMs are "blind" unless you want to burn a lots of tokens, so they sort of just reason without the visual output) absolutely matter and can turn a one-shot LLM prompt into a multi-turn agent churning wasting tokens for no good reason.

I'm not saying that it's necessarily the case here, but typst is past the very early phase and LLMs are decent at generating it. Also, many formatting templates have been converted to typst as well.

Then why not typst? Much faster to render and far more ergonomic/human-understandable when you eventually have to touch something inside.

The people are in control at all time, so I don't think this slippery slope argument is correct here (it's a logical fallacy for a reason).

You just have to remind the politicians from time to time - the French are a great example in that.

Android's market share is far larger than even Windows'. It's not just in the interest of a small community, there is plenty of financial interest as well to keep it healthy.

Also, it's a false equivalence - it's also easier to buy a walkie talkie, but that's also not replacing Android smartphones. "Gnu/Linux" userspace is simply not even close.

I like the "9 women can't birth 1 baby in one month"

> exactly the fact that a reviewer had to develop a mental model

But do they? In my experience, at most workplaces it's simply a meat linter phase with the occasional useless comment about style (which should probably be handled by proper CI/CD).

Like if you don't even check out the code (generalized 'you'), then they can hardly build up that model. And even checked out, viewed in its proper context, Naur's famous paper comes to mind - the author who wrote it is the only one who has properly built the theory (which might have included alternative implementations that failed but have no visible artifact).

I'm not claiming that there are no places that go absolutely above and beyond with their review sessions, but I would argue it's really rare - and AIs are great at figuring out some of the context the PR description lacks.

FWIW, it's a great little "trick" to always ask for red-green tests. In my experience it's enough to ask for that and LLMs know what to do.

Is it user hostile, or more complex as in a car is also more complex than a bicycle for obvious benefits?

A png image is a binary. A zip file, which apks are are just binaries.

If you mean executable formats, they're their own different things, it's just machine code wrapped OS-specially. I don't see how they are fundamentally different "from an app" - you also have a bunch of metadata in there and an entry point. Just because it's an XML file in Android's case which can just as well jump to machine code (you can have Android apps written in CPP/Rust whatnot), it's all just an implementation detail.

Well, do you mean xclock to draw over different windows/activities? Because that's just a different similarly to how Wayland is different from X -- it's generally frowned upon to not have a central entity manage who can draw where.

Otherwise, you can trivially do whatever you want, including drawing manually similarly to X's API, or using OpenGL or similar hardware accelerated apis.

If you have selinux then you may not be "absolute God either", and arguably it's never necessary to have that much control. I would much prefer to have sane security boundaries so something blowing up won't bring everything down with it.

And there are quite a few devices with unlockable bootloaders so you can feel to hack whatever you want with AOSPs.

Okay, so what's the signal for a Linux desktop app to save its state issued by the OS, after it will shortly be stopped and killed?

It's a social problem not a technical. Apps themselves have to support that kind of cooperative life.

Yeah it's solved. It's called android + a normal userspace that can tell apps to suspend and apps are cooperative and do so before getting stopped.

It's not a technical problem, it's a social one (for the apps/programs)