anonymousDan

6 ms·

31.
by anonymousDan 9mo ago
I mean this is just dumb. Why would anyone respect intellectual property anymore in this scenario for example. And governments will invest everything they have to steal or copy the knowledge required to compete.
32.
by anonymousDan 9mo ago
Why would this matter if you're just using the database?
33.
by anonymousDan 9mo ago
Is there any implicit understanding in the community that byte types will inevitably be added to LLVM? I see that there has been a recent GSOC effort ( https://blog.llvm.org/posts/2025-08-29-gsoc-byte-type/ ) but i
34.
by anonymousDan 9mo ago
How do you check the hardware is compatible in practice? Is there some reliable resource for doing this?
35.
by anonymousDan 9mo ago
What, we should have a wild west where everyone can set up their own nuclear power station without any compliance or certification? If not then these are part of the build cost... it's like saying we shouldn't include testing as p
36.
by anonymousDan 9mo ago
Why fintech specifically?
37.
by anonymousDan 10mo ago
I will always fly Ryanair ahead of other low cost carriers in Europe as unlike easyJet for example they don't overbook. The most painful experience I've had was to arrive at an airport with a young family and get all the way to th
38.
by anonymousDan 10mo ago
Some kind of casual or eventual consistency related invariants perhaps?
39.
by anonymousDan 10mo ago
I don't understand why the nuclear industry wouldn't pile in to fund research into this area (as a potential way to clean up nuclear waste). Probably I don't understand how this fungus actually works and it is impossible!
40.
by anonymousDan 10mo ago
I don't understand when people blame AI for buying DDR5 DRAM - aren't they mostly interested in HBM? Or is the fab space being diverted to manufacture more HBM than DDR DRAM previously?
41.
by anonymousDan 11mo ago
Not a dumb question. The links to mesh networking etc seem interesting. It sounds like the insights from descriptive set theory could yield new hardness/impossibility results in computational complexity, distributed algorithms etc.
42.
by anonymousDan 11mo ago
Cool paper. Their modeling of the temperature response curve seems a more elegant (albeit non-trivial) solution than burning CPU.
43.
by anonymousDan 11mo ago
Couldn't you model the effect of temperature on clock drift and try to factor that in dynamically (e.g. using a temperature sensor) instead of burning CPU unnecessarily?
44.
by anonymousDan 11mo ago
Interesting. It feels like once you have the features defined this is basically dead code elimination. To solve the transitive dependency issue could you not execute a dead code elimination pass once and cache the results?
45.
by anonymousDan 11mo ago
I'm interested to understand how this works from an IP perspective. This guy is still employed by Meta but is actively fundraising for a new competing startup. Presumably he will have negotiated that Meta forfeits all rights to anythin
46.
by anonymousDan 11mo ago
I've always really struggled to understand the purpose of defining the 'semantics' of a programming language and how it differs from syntax. Explanations that involve 'giving a precise mathematical meaning' just see
47.
by anonymousDan 11mo ago
Yes the US does this shit all the time. Suck it up.
48.
by anonymousDan 11mo ago
You talk as if the US hasn't attempted to interfere in elections. If online ads can be trivially used by big US tech companies to sway our elections using misinformation without it being observable to anyone or possible to refute (as w
49.
by anonymousDan 1y ago
Yeah I guess it's more a question of methodology for me. You have several parts of a proof, and your intuition guides you that certain parts are more likely to be risky than others. Better to get those straight first since you've
50.
by anonymousDan 1y ago
I don't get the point about trivial proofs. Can't you just tell Lean to assume something is true and then get on with the rest of the interesting part?
51.
by anonymousDan 1y ago
As someone who knows a bit about SSA, what do you make of LLVM's design decision not to use SSA for memory but only registers (i.e. it doesn't have memory SSA)? It has always confused me a bit as to why this was done.
52.
by anonymousDan 1y ago
Is it concurrent or sequential?
53.
by anonymousDan 1y ago
Not trying to troll but it seems like there must be some way to make the job at least a little interesting (e.g. by rotating the tasks required, providing a little space for skill development)?
54.
by anonymousDan 1y ago
Umm, no. Maybe they have better PR departments than universities but this is clearly nonsense.
55.
by anonymousDan 1y ago
'Isolated' Chavez is a bit disingenuous here, they full on attempted to mount a coup against a democratically elected president. See this documentary 'the revolution will not be televised: https://youtu.be/GF4
56.
by anonymousDan 1y ago
Yeah there's a lot of hatred of Ryanair given their somewhat pugnacious attitude. But as far as I know they don't mess around when it comes to safety.
57.
by anonymousDan 1y ago
Re the last wish, isn't that exactly what ulimit is for?
58.
by anonymousDan 1y ago
Looks like Trump has taken a leaf out of Orban's notebook. What a depressing situation to be in.
59.
by anonymousDan 1y ago
I thought it was an interesting article. Gave some insight into the different strategic relationships between countries in the area beyond the usual discussions of their relationship with the West.
60.
by anonymousDan 1y ago
Yeah I wonder if there has been much work on formal verification here (including of compiler passes). I know the LLVM team have done some interesting work on verifying LLVM passes using the Alive2 tool for example.

More ›