yorwba

10 ms·

151.
by yorwba 3mo ago
They didn't actually make any mistakes. The only way for them to quadruple-check was to knock on my totally featureless door and ask, which they did. There was never a threat of lethal violence, hardly a life and death matter.
152.
by yorwba 3mo ago
They only threatened to break down the door because I told them to wait a moment as I was in the kitchen. My neighbor, whom they were actually looking for, was apparently not at home and they left his door intact. I guess for non-urgent sea
153.
by yorwba 3mo ago
On the contrary, I don't think the current relative lack of arbitrary police brutality depends on the reasonableness of the people in power at all, only on the reasonableness of individual police officers. The police don't suddenl
154.
by yorwba 3mo ago
Believe me, German history education is very thorough in making sure people know that the Nazis weren't some kind of slippery slope situation where people didn't know what they were planning to do. The Nazis were open in their ide
155.
by yorwba 3mo ago
The last time I had police knocking at my door, it was a lot more than two, and they were readying their battering ram when I opened, and then immediately swarmed me and told me to sit down, and then I just explained and they realized their
156.
by yorwba 3mo ago
Was there something in particular that inspired you to make it?
157.
by yorwba 3mo ago
I scored above the median just getting the continent and millennium right. Admittedly I used knowledge about population density to pick the most likely spot, but that hardly makes me an anthropologist. I assume regular players will also pic
158.
by yorwba 3mo ago
The differences are explained in section 2.1.1 of the Kimi K3 technical report: https://arxiv.org/pdf/2607.24653#page=4
159.
by yorwba 3mo ago
It's not the same KDA as used in Kimi Linear, though.
160.
by yorwba 3mo ago
At least this article is a reaction to other articles about a supposed decline in literacy that of late like to reference this study https://muse.jhu.edu/article/922346 conducted in 2015 but published 2024 where studen
161.
by yorwba 3mo ago
Alternatively, the real problem is that articles like this one don't come with a short summary like "There is no crisis in the ability to read, nor is there a crisis in the practice of reading books, but there is a crisis in the s
162.
by yorwba 3mo ago
With slightly different cherry-picking, you could equally well claim that DeepSeek couldn't ship a reasoning model until they copied the idea from OpenAI's o1-preview, and they also copied MoEs from Google Brain/Jagellonian U
163.
by yorwba 3mo ago
Yes, if you don't mind the repetition or have tooling to deal with it, you can have multiple separate proofs, dependent types won't stop you.
164.
by yorwba 3mo ago
Most likely they don't know you exist. If you contacted them first, maybe something could be arranged...
165.
by yorwba 3mo ago
You don't have to edit ("throw away") your original proof, it's just that a single proof covering the most precise description of the program's behavior is more compact than restating the program code a bunch of t
166.
by yorwba 3mo ago
> you have to refine every dependent type everywhere by adding a new conjunct expressing a new invariant, and adapt every proof, as the new property is threaded in the existing program. Having to do this is a sign that the new property d
167.
by yorwba 3mo ago
The scenario itself is unreasonable.
168.
by yorwba 3mo ago
A non-decoy drone would presumably go no further than its target, at which point any leftover fuel just adds to the fireball. Whereas making a decoy drone go down before the fuel is exhausted is pointless waste, when instead it could be dec
169.
by yorwba 3mo ago
Where are you getting the "blog post about selling a house" from? The examples given are "Bajillion Dollar Properties S01E07" (which is titled "Happy Ending" and involves real estate brokers getting massages:
170.
by yorwba 3mo ago
Well, what kinds of things do you see Opus 4.5 completely fail at? Maybe those are not the ones that newer models have improved on.
171.
by yorwba 3mo ago
Investors certainly prefer it when they can make a profit, but that doesn't mean they always succeed. Because investing means making predictions about the future, and sometimes the predicted profit fails to materialize. And by the ti
172.
by yorwba 3mo ago
I wouldn't be surprised if ≈7% of GPQA Diamond questions simply have the wrong answer in the ground truth data, so that getting such a question correct is graded as an error. Most machine-learning benchmarks are rather badly validated.
173.
by yorwba 3mo ago
What open problems in quantitative social science do you have in mind where better math could achieve massive improvements? I'd expect the bottleneck to be data availability nearly always.
174.
by yorwba 3mo ago
Disputes are not such a big problem, since you can have multiple independent versions of the boundary with claimed_by= and disputed_by= tags differentiating them. But you do need to find out somehow where the claimed boundary even is. Like,
175.
by yorwba 3mo ago
For Myanmar, having "De facto independent areas (e.g. Wa state)" at admin_level=3 is wildly ambitious, since not only are these boundaries constantly shifting slightly due to the ongoing civil war, the actors involved don't e
176.
by yorwba 3mo ago
Obviously they expect that people will be less likely to support a war that affects them negatively. Like, are you going to personally volunteer to take revenge for your Wildberries orders being more expensive and arriving late? In any case
177.
by yorwba 3mo ago
Yeah, if you want to generate an aesthetically pleasing SVG, you'd be better off asking a pixel-based image-generation model for "vector art" and then deconstructing it into an equivalent SVG with something like LayerPeeler.
178.
by yorwba 3mo ago
The participants of the Geneva Conventions were well aware that in war, harming innocent civilians and their property is often hard to avoid. So when they delineated what should henceforth count as a war crime, they were careful to weigh co
179.
Rapid Word Collection: An updated approach to dictionary creation (2012)(sil.org)
3 points by yorwba 3mo ago|0 comments
180.
by yorwba 3mo ago
It seems like the article title was inspired by this sentence "By contrast, the provider of a VPN or similar services that are used in order to circumvent an ineffective geo-blocking measure and are lawful technical tools which users m

More ›