lou1306

he had spent the entire weekend trying and failing to prove it. I, on the other hand, had put all my energy into finding a counterexample and had one within an hour.

For a more extreme (although somewhat inverted) version of this, see Zeeman. He spent years trying to find a knotted sphere in a 5D space. Then realised this was impossible and got a proof for it in a few hours. [1]

[1] https://ima.org.uk/28009/sir-erik-christopher-zeeman-the-mat...

Better at Go for automated reasoning tools, this means quite a lot of array lookups within tight loops. I asked because I noticed some AI agents quickly want to jump on the "eliminate all bounds checks" wagon as soon as the low-hanging optimization fruits have been picked, and it takes some hard data to put some sense into them. My question really was: is this kind of preliminary profiling enough, are there other pitfalls of arrays/slices in Go I am missing, etc.

probably you do not need to do any of that.

Indeed, I find that at least in my case, on a pretty average Intel machine these checks add very little overhead, especially compared to the benefits. I do not really understand how the examples in the blog post can get 100% (1st one) or even 10% (2nd one) faster.

(And yeah, I know that the obvious solution is to develop these tools in C/C++: I am just exploring the capabilities of Go in that space).

Another lesson that Americans have already learned is the peril of excessive financialization of the economy

Don't mean to be blunt, but when did that happen? How has a country where you can finance your burrito [1] "learned the perils of excessive financialization"?

Also, a lot of this (especially the slower recovery after 2008) reads more as the perils of being the periphery of an empire vs being the core.

[1] https://finance.yahoo.com/markets/stocks/articles/uber-techn...

Question from someone trying to get better at Go: _before_ going all in with unsafe pointer operations, would it make sense to write a function harness & profile it with/without the -B flag to determine the actual impact of bounds check?

Sure, but those were likely bugs in the compiler's codebase that in principle could be isolated and fixed. With an LLM there is no bug and there is no fixing procedure: all outcomes are context-driven and (more or less) nondeterministic by design. I don't mean this in a dismissive way, but there is clearly a difference there.

Oof that's not a good look. You can trivially avoid this by just prefixing all variable names with a salt. By the way this (or a variant thereof) is called "avoiding unwanted name capture" if you want to sound all sophisticated :)

it's more of a problem that it's so heavily dominated by US politics.

I agree the default Discovery feed is not great, but you can just switch to a different feed like For You or the recent Eurosky version of it, called 'fu'. It vastly improves the experience.

What about a "fake push" that does not leak message contents, sender etc.? Fuzz the time the push notification is sent by a random amount of time and you have something plausibly private given the constraints?

Is this the old "breakdown of the bicameral mind" theory? I don't know. I think that tin trade routes breaking down + rise of iron-wielding civilisations are more plausible.

"The EU" is a loose term. At least in _some_ cases (such as this one), the Parliament has shown more attention to the voters. I'll concede that the deck is stacked against it, but this reflects a common trend in the West of overpowering the executive branch at the expense of the representative bodies.

That makes perfect sense indeed, although personally I'd prefer two senators per state. But since the EU as a political union is an afterthought of an economic union, it's full of loose ends like this. Also, national governments will be very reluctant to give up this kind of power.

The Council must go at some point. It is a "legislative" body... composed of members of the _executive_ branch of the individual countries. Granted, that's not the only problem with EU governance, but it is a rather glaring anomaly in terms of transparency and accountability.

Furthermore, at least in the case of Italy & other parliamentary systems, there's something like 3 levels of indirection between the people and their "representative" in the Council:

People elect members of the Parliament -> MPs decide who is the Prime Minister -> PM decides who sits in the Council

We should likely just replace it with either a "EU Senate", where each country elects the same number of senators, _or_ a chamber with truly European elections (as in, every EU citizen may vote for any candidate, regardless of their nation). But the latter option seems still out of reach as of today.

Re: making things about me (but also kind of related), I am working on a project that requires sending encrypted telemetry data from a Crazyflie drone (so, STM32) and it's such a fun experience. Each telemetry payload is just 26B so I had to get creative, write down packet diagrams and then make it work in C. An AI agent helps a bit with some stuff but you're mostly on your own.

In general I highly recommend going the embedded/IoT way if you look for challenges and constraints.

Saying that AfD "is an opponent of chat control" is like saying its more-or-less direct predecessor advocated for vegetarianism.

People (well, the European Parliament, which is arguably the closest approximation) have clearly and repeatedly opposed Chat Control.

The Commission is an expression of _governments_ (and this one in particular is the result of painstaking compromise) and is only loyal to presidents and prime ministers. It has no accountability to the EP, and it shows.

I was a net loss for quite longer than that. Nobody was concerned because I was surrounded by people who loved me.

Do they even _make_ actual money? https://isaiprofitable.com/ seems to disagree.

The only real use case that makes sense to me is giving people in developing countries access to a stable currency they can actually hold, trade, and invest in, meaning USDT or USDC. Outside of that, as an EU/US citizen I don't see why I'd hold stablecoins instead of fiat

The logical conclusion of this train of thought (which I agree with) is that people who heavily invested in crypto may significantly benefit from weakening strong currencies and institutions. Make of that what you will.

Today I learned that This Is Spin̈al Tap is on the Criterion Collection.

Yeah except that the agent cannot be held accountable if its fix is crap, or if it went off-track mid-fix.

You actually hire a developer to work on that issue and not something else.

Perhaps relevant context: The EU commission just ignored the "Tech Sovereignty Package" it launched ~3 weeks ago, and explicitly referred open-source as a core element of their strategy, and endorsed W, another ATproto-based social that recently a) closed their code and b) ...had its CEO attend Davos. Make of that what you will.

Not just all BSky traffic: all traffic from every ATProto service

Are we really discussing a plan that has never been attempted before (training a frontier model on federated hardware) and that would require coordination on a continental scale, sketched on a five-page PDF on GitHub with no discernible author or affiliation? a PDF that, I am sorry to point out, reeks of AI prose in more than one passage?

What are we even doing here.

The "good lawyer" is/was a major archetype in modern Western culture. See "The Devil and Daniel Webster", "To Kill a Mockingbird", "Paths of Glory", just to name a few examples.

Good. This will force kids to be creative, hack around, and question authority.

Well the size of IJ is itself a statement: 1. there's an awful lot to unpack once you start exploring the intersection of capitalism, addiction, and entertainment; 2. can you even _manage_ to go through it all without switching to mindless consumption every 5 minutes?

If the backend function was so poorly coded to allow such a gargantuan security hole, then it is an even worse problem. Basically Meta is throwing its own engineers under the bus so that its AI chatbot can save face. Scary stuff.

Unless the backend was _also_ vibe-coded, in which case it is still an AI problem.

You joke but this is almost literally what Chain-of-Thought does, at least in the early days. They basically just added "Wait," to the model's output and fed it back to the model iirc

Well people _used_ to pay for it, in fact. Except it was 3 EUR/year rather than 3 EUR/month...