chpatrick

I don't know why you're being downvoted, the US has been way more belligerent towards the EU recently than China.

Your point being?

Humans also get into accidents all the time, that's not a great benchmark.

I think the idea is that they could go full speed in sync, then afterwards they could still take you to your doorstep.

Maybe we don't need to simulate a brain to simulate a human in the text domain.

Yeah a few terabytes worth of extra steps.

They're being trialled in London right now.

The whole section from Reading to Iver is outside London. Also 20% of the UK lives around London so it makes total sense to invest in the area.

I know you know, just practical intuition for 3D graphics in case someone finds it useful:

There's a 1-1 mapping between complex numbers and 2D rotation matrices that only do rotation and scaling. The benefit is that the complex number only has two coefficients, not four like the matrix. Multiplying these complex numbers is the same as multiplying the equivalent matrices. Quaternions are the same idea just in 3 dimensions (so with 3 imaginary units i j k, not just i, one per plane).

It's a massive investment in the areas near its stations.

They could have used their AI skills to vibe code this for a few quid :)

That's only a very vague description.

I know about this issue so it's great that something is being done about it, but the page really needs a text explainer instead of the just a video.

To be honest, how much staff do you need to run a file transfer service.

Modern heat pump dryers also work at a lower temperature because they cool the air to evaporate the moisture so they don't need to be as hot to start with.

In Hungary it gets sorted out locally. We also recently implemented a bottle return system that (although it's annoying) produces clean stacks of PET, aluminium and glass, all of which are recyclable.

Unlike the time the US banned a millions of people on the basis of religion, pure socialism.

This has been happening for decades in the UK and the US regardless of the regime.

I think that definition is pretty obsolete for the last 20 years.

To me "AI" is machine learning, statistical algorithms trained on data. That's not true for Lean.

Consumer local AI? Maybe.

On the other hand everyone non-technical I know under 40 uses LLMs and my 74 year old dad just started using ChatGPT.

You could use a search engine and hope someone answered a close enough question (and wade through the SEO slop), or just get an AI to actually help you.

I've been buying LPs after concerts just to have a nice souvenir, I can always listen to them on Spotify. I only just got a turntable this Christmas and it's cool to actually listen to them.

I know, it's just very unergonomic.

Its type system is miles better than Python and it has some basic stuff Python doesn't have like block scope. Functional programming is also intentionally kind of a pain in Python with the limited lambdas.

If TypeScript had the awesome python stdlib and the Numpy/ML ecosystem I would use it over Python in a heartbeat.

I went to a top university and most people's mental health was definitely in the gutter so I think it is worth talking about it.

Because FFmpeg is a swiss army knife with a million blades and I don't think any easy interface is really going to do the job well. It's a great LLM use case.

Common Side Effects anyone?

All of my non techy friends use it, it's the new search engine. I think at this point people refusing to use it are the echo chamber.

They only have the previous path in as much as n-gram Markov text generators have the previous path.

By that definition n-gram Markov chain text generators also include previous state because you always put the last n grams. :) It's exactly the same situation as LLMs, just with higher, but still fixed n.