lou1306

4 ms·

1.
by lou1306 6d ago
O(1) insertion is the amortized worst-case time complexity, actually. (Amortized in the sense that the O(n) cost of copying is paid only during the n-th insertion). Average complexity is a slightly different thing.
2.
by lou1306 7d ago
Ok there is a non-zero chance that they could face a lawsuit and get fined for billions, but that chance is not 1 either: there is always a chance they get away with it. And even if they don't, if in the meantime they farm 10- to 100-f
3.
by lou1306 16d ago
Norway (Yes this is a YAML pun)
4.
by lou1306 16d ago
Of course it is not to everyone's taste, but Ikea definitely has an aesthetics. A Lack coffee table or a Poang chair are instantly recognizable.
5.
by lou1306 1mo ago
I also have a fine experience, but only by switching to the For You feed full-time and mostly sticking to my compsci-academic-tech-programming neck of the woods. Minority or not, the users GP mentions are so obnoxious that it affects the &#
6.
by lou1306 1mo ago
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"
7.
by lou1306 2mo ago
> 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
8.
by lou1306 2mo ago
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-ha
9.
by lou1306 2mo ago
> 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
10.
by lou1306 2mo ago
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
11.
by lou1306 2mo ago
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) nondeterministi
12.
by lou1306 2mo ago
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 sophisticat
13.
by lou1306 2mo ago
> 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 &#x27
14.
by lou1306 2mo ago
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?
15.
by lou1306 2mo ago
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.
16.
by lou1306 2mo ago
"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 o
17.
by lou1306 2mo ago
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 w
18.
by lou1306 2mo ago
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 a
19.
by lou1306 2mo ago
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
20.
by lou1306 2mo ago
Saying that AfD "is an opponent of chat control" is like saying its more-or-less direct predecessor advocated for vegetarianism.
21.
by lou1306 2mo ago
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
22.
by lou1306 2mo ago
I was a net loss for quite longer than that. Nobody was concerned because I was surrounded by people who loved me.
23.
by lou1306 2mo ago
Do they even _make_ actual money? https://isaiprofitable.com/ seems to disagree.
24.
by lou1306 3mo ago
> 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&#x27
25.
by lou1306 3mo ago
Today I learned that This Is Spin̈al Tap is on the Criterion Collection.
26.
by lou1306 3mo ago
Yeah except that the agent cannot be held accountable if its fix is crap, or if it went off-track mid-fix.
27.
by lou1306 3mo ago
You actually hire a developer to work on that issue and not something else.
28.
by lou1306 3mo ago
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 socia
29.
by lou1306 3mo ago
Not just all BSky traffic: all traffic from every ATProto service
30.
by lou1306 3mo ago
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 aut

More ›