epsylon

There's a lot of claim and so little technical details on that page.

How was the formalization of Python accomplished? What formal proof framework do you use?

How do you reproduce the optimizations across several instances / runs of the program? (since the source code doesn't change... assuming you don't redo the same work over and over?)

What visibility, tracking and logging is there into the actual code running? Debugging is an extremely important part of building software, especially if there's a demon switching out binary code constantly underneath. Even if the recompiler is perfect (it won't be), user code never is.

Why is the superoptimization and visibility into the data not surfaced back to the level of the source code? This seems like a waste.

How dare the Chinese government use mass surveillance against its own citizens.

I don't think Apple will hear your complaint if you keep giving them money.

> Midway through the day, though, we ran into a huge problem: it turns out bus schedules are different on Sundays, and more limited. Which meant we couldn't actually go to our primary destination (the Model Village), and had to cut the trip short.

Why trust an LLM with information like bus schedules? They fuck up things like this routinely.

What sort of legitimate requests do you get refused?

> SpaceX was pushing the envelope of "interplanetary" travel/species

We already have a perfectly usable planet. It just need to be taken care of.

> Junior devs have always been useless. You used to give them tasks that take them a week or two even though a senior engineer could do it in a couple hours, not because you wanted them to contribute, but because you wanted them to learn to contribute.

I don't know, I've known kids who can run circles around a lot of seniors, whether it's knowledge, coding chops or just intuition. The reason a newcomer takes a week to complete a task that requires two hours is because the senior has already learn all the ins and outs of the crappy software lifetime processes (usually dealing with half broken build / code review / ticket systems)

Public transportation is the backbone of a functioning economy. It doesn't need to be fully paid by riders precisely because the rest of society benefits from it multiple times over.

Most of the world's population lives in places where trains and public transit works far better than cars. Density doesn't move around, people do.

many services that require SMS 2FA outright won't work on VOIP providers

the transfer fee isn't the main appeal of Wise, the currency exchange rate is. I've never seen a bank that offered anywhere near close as theirs.

> Honest question, what does Bandcamp provide?

Actual money going to the actual people who make the music you listen to on spotify.

The killer app of cryptocurrency is tax evasion

Classic Faustian bargain. Offer people money, obtain control in exchange.

I'm pretty sure that this took more than 1 junior engineer-month.