lou1306

3 ms·

1.
by lou1306 5d ago
Entirely different situation. Polymarket is a gambling website and is subject to regulation. In Italy and (I think) Spain, they may shut down connections to a Google Cloud or AWS server _at the IP level_ if they have a _suspect_ it's h
2.
by lou1306 8d ago
Yeah the argument here is clear, also rather silly. Either you must accept that your language allows for completely useless computation, or, if the compiler is so good at detecting "unreal programs" it should also refuse to compil
3.
by lou1306 8d ago
I can understand adding the 'unreachable' function to the object file, I can even understand plugging it into the final executable, what I (and most other people) object to is making it the de-facto entry point. This is literally
4.
by lou1306 9d ago
> people who aren't able to write correct code are somehow able to write correct mathematical specifications This describes about one or two thirds of the Theoretical CS academic community (conservative estimate) /s > This i
5.
by lou1306 10d ago
To be frank, it is a quite eccentric way to appoint an executive leader: imagine POTUS being chosen by state governors. > She is no less democratically elected than the prime minister of a parliamentary republic Well I would say this is
6.
by lou1306 16d 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.
7.
by lou1306 17d 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
8.
by lou1306 26d ago
Norway (Yes this is a YAML pun)
9.
by lou1306 26d 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.
10.
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 &#
11.
by lou1306 2mo 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"
12.
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
13.
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
14.
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
15.
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
16.
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
17.
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
18.
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
19.
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?
20.
by lou1306 3mo 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.
21.
by lou1306 3mo 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
22.
by lou1306 3mo 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
23.
by lou1306 3mo 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
24.
by lou1306 3mo 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
25.
by lou1306 3mo ago
Saying that AfD "is an opponent of chat control" is like saying its more-or-less direct predecessor advocated for vegetarianism.
26.
by lou1306 3mo 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
27.
by lou1306 3mo ago
I was a net loss for quite longer than that. Nobody was concerned because I was surrounded by people who loved me.
28.
by lou1306 3mo ago
Do they even _make_ actual money? https://isaiprofitable.com/ seems to disagree.
29.
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
30.
by lou1306 3mo ago
Today I learned that This Is Spin̈al Tap is on the Criterion Collection.

More ›