Viewing profile — lou1306

Yeah in theorem provers usually the opposite is true: "We want to put as little stuff as possible in the kernel because that's the part we need to verify by hand"

> 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 e…

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 "elimin…

> 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 w…

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 th…

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 outcome…

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 …

> 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…

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 p…

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 …

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 …

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 wit…

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 f…

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 _government…

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 U…

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 str…

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, s…