dbdr

7 ms·

121.
by dbdr 10mo ago
That's precisely the point of using tabs for indentation: you don't need to fight over it, because it's a local display preference that does not affect the source code at all, so everyone can just configure whatever they pref
122.
by dbdr 10mo ago
> exceed swap + a configurable amount (default is 50%) of physical RAM Naive question: why is this default 50%, and more generally why is this not the entire RAM, what happens to the rest?
123.
by dbdr 10mo ago
Neither of your links mention arrests, one specifically says "None of the suspects were detained". They don't seem to back up the original claim about Germany arresting the most people based on social media posts.
124.
by dbdr 10mo ago
> this will never work because governments will never allow for disintermediation of their currency because it’s one of, if not THE, primary sources of control over a population Isn't this similar to saying "democracy will neve
125.
by dbdr 10mo ago
It would indeed be better to have the separate counts. It's also wrong to attribute to only one case what is a actually a larger category, unless there is actual evidence that it's the overwhelming majority anyways. Both can be tr
126.
by dbdr 10mo ago
> The UK arrests 12k people per year for social media posts, using vague laws to undermine free speech. A spokesperson for Leicestershire police clarified that offences under section 127 and section 1 can include any form of communicatio
127.
by dbdr 10mo ago
One example is: "I think it’s time for the British to gang together, hit the streets and start the slaughter."
128.
by dbdr 10mo ago
Generative AI exists, but it is very much dependent on the data it has been trained on. Not saying it would not be interesting, but a huge caveat is required.
129.
by dbdr 10mo ago
The thing is, if it takes say a year to go from a formal spec to a formally proven implementation and then the spec changes because there was a misunderstanding about the requirements, it's a completely broken process. If the same
130.
by dbdr 10mo ago
Do you now use Lean instead of Rocq because your new employer happened to prefer that, or is it superior in your opinion? Which one would you recommend to look at first?
131.
by dbdr 10mo ago
For one, being childless is a choice (mostly, especially since adoption is a possibility). It's indeed OK to have different opinions for what how laws apply differently to people based on their choices. Being gay is not a choice, it is
132.
by dbdr 10mo ago
I don't think the idea is to have a market of roads to chose from. It is to make the existing car market more efficient by fixing the externality of other people paying for the damage you do to the roads by your choice of (heavy) vehic
133.
by dbdr 11mo ago
Doesn't vendoring solve the supply chain issue in the same way as picking a dependency version and never upgrading would? (especially if your package manager includes a hash of the dependency in a lock file)
134.
by dbdr 11mo ago
I.e. existence of elections is necessary, but not sufficient.
135.
by dbdr 11mo ago
Maybe because people don't have unlimited amount of time to keep up-to-date on all data and research on toxicity, negative health effects, safety, etc on tens of thousands of products from a couple hundred countries.
136.
by dbdr 11mo ago
So that optimization only works on executables produced by MSVC? Are those annotations documented and/or produced by other compilers?
137.
by dbdr 11mo ago
Quote from their style guide: > The fact that unsigned arithmetic doesn't model the behavior of a simple integer, but is instead defined by the standard to model modular arithmetic (wrapping around on overflow/underflow), means
138.
by dbdr 11mo ago
Is there a case involving NaN where they are not commutative? Do you mean getting a different bit-level representation of NaN?
139.
by dbdr 11mo ago
> given the strides both Intel and AMD have made with low power cores. Any pointers regarding that? How does the computing power to watts ratio look these days across major CPU architectures?
140.
by dbdr 11mo ago
Thanks. Nice find! Though it feels weird to have to use a csv crate for that. Ideally the `fast printing` part should be understood, and either used directly, or extracted as a separate, smaller crate.
141.
by dbdr 1y ago
> using csv (serde) for writing leads to some big gains Could you explain that, if you have the time? Is that for writing the output lines? Is actual CSV functionality used? That crate says "Fast CSV parsing with support for serde
142.
by dbdr 1y ago
Sony has this on their related page: > A digital signature alone cannot determine whether the captured image is of an actual 3D subject, or of an image or video projected on a high-definition monitor. However, by using metadata including
143.
by dbdr 1y ago
Even more obvious in decimal: 13256278887989457651018865901401704639 REDACTED 13256278887989457651018865901401704641
144.
by dbdr 1y ago
You could, but having a law that is adjacent makes it dramatically harder and more expensive to defend yourself against the bogus accusations.
145.
by dbdr 1y ago
Does static linking really reduce memory and cpu usage significantly compared to dynamic linking?
146.
by dbdr 1y ago
In this case the "fraud mitigation" seems to be a bugfix: https://github.com/flashbots/mev-boost-relay/commit/3025635e... It's an interesting legal question what will be decided for this case,
147.
by dbdr 1y ago
Will your users be happier to get an assertion failure when they run your code, compared to no error? (the tradeoff of course being that they might get your code later because it took more time to prove the code is correct)
148.
by dbdr 1y ago
Have you considered https://asahilinux.org/ ?
149.
by dbdr 1y ago
The quote does not say that the key changes. It says that each transaction makes it (a bit) easier to perform a brute force attack.
150.
by dbdr 1y ago
What's the benefit of building a useless habit instead of a useful one?

More ›