mehrdadn

32 ms·

271.
by mehrdadn 6y ago
> This is total nonsense. No it's not. > The code was licensed, publicly, under AGPL. Yeah, and unless they depend on similarly licensed code that imposed restrictions on them (in which case someone should mention this to the mai
272.
by mehrdadn 6y ago
>> But what I don't get is: how do you even know this with such confidence? > Because instead of saying "yes it's based on the AGPL code, I have consent" they're saying "no it's not based on the A
273.
by mehrdadn 6y ago
First, it's far from clear to me he's lied (which is not equivalent to saying he didn't). So far as I see, it may well have been that (a) he honestly forgot there were some old lines still remaining that they didn't re
274.
by mehrdadn 6y ago
I don't know, I don't think either is impossible, but let's say they are guilty. I repeat my question: how does anyone here know the contributors aren't fine with this regardless (maybe they don't feel their contr
275.
by mehrdadn 6y ago
> My only frustration is that they're pretending that it isn't AGPL code and refusing to respect the contributors whose code they're using. But what I don't get is: how do you even know this with such confidence? How
276.
by mehrdadn 6y ago
I'm confused, is there anyone with a stake/standing in this who is complaining, or did some outsider just come and accuse a random project owner of breaching a contributor's license? If that's the case, this raises two q
277.
by mehrdadn 6y ago
What exactly is the end goal of this? Every human will need to carry around a charged (or HAL-capable) phone to be able to identify themselves? What happens if you lose your phone, it runs out of battery, you have to lend it to someone else
278.
by mehrdadn 6y ago
Unfortunately even the intro on Wikipedia explains some problems with reverse mortgages. Not to mention that it's kind of a lot to force, idk, 80-year-olds to take out reverse mortgages just so they can keep living in homes they'v
279.
by mehrdadn 6y ago
Yes, as I mentioned, there are indeed two sides to the argument.
280.
by mehrdadn 6y ago
Ah, duh! I'm so dumb. If only the rest of us were smart enough to think of these simple and fair solutions ourselves :)
281.
by mehrdadn 6y ago
It's not exactly hard to imagine what problems occur here. You spend a huge chunk of your life saving to buy a home, and you plan it so that you can pay the taxes on it when you retire, then the rest of the city forces you to "enj
282.
by mehrdadn 6y ago
Cool, thanks for the tip!
283.
by mehrdadn 6y ago
By parsing I mean it in the usual sense for a date... strptime, Date.Parse, etc... i.e. turning a string to a date (or multiple dates). You can call it something else if you'd like.
284.
by mehrdadn 6y ago
Sure :-) even then, you have even more fun... imagine if the next item was Sep 1-Dec 1 and the list was known to be sorted! The parser would need to be stateful to be able to disambiguate!! Even worse (well, maybe similar, but more surprisi
285.
by mehrdadn 6y ago
Thanks! Yeah that makes sense; it sounds like it's just the terminology then.
286.
by mehrdadn 6y ago
Tangent, but another interesting problem with date parsing besides lack of standardization is that it's ridiculously context-sensitive. For example, if I schedule an event for Oct 1-Jan 1 right now, the most likely (least surprising) p
287.
by mehrdadn 6y ago
Ah I see, thanks for running it! Yeah so it's not this particular loop that's interesting (there's probably always going to be some simple-looking loop a solver can't prove—and I'm sure we could come up with simpler
288.
by mehrdadn 6y ago
Oh! I thought bounded loops meant every loop has to have a bound (hence while (true) wouldn't work). If it can handle more complicated situations then that answers my question. The second example is identical to a do-while loop though,
289.
by mehrdadn 6y ago
Right but I guess the point I'm getting at is that termination seems neither necessary nor sufficient to me. A loop (or nested loops...) that goes up to 2^63 may as well be infinite, so on the face of it it's not obvious why bound
290.
by mehrdadn 6y ago
Okay thanks! So what I don't get is, what's the point of bounding loops then? If it's already simulating the program up to 1M instructions and rejecting it if simulation doesn't prove termination (bounded model checking?
291.
by mehrdadn 6y ago
Generic BPF question: do they actually impose a limit based on the loop bound? (If so, what is the limit on the loop bound?)
292.
by mehrdadn 6y ago
The whitepaper they link to on the bottom might be more interesting: https://www.gstatic.com/subscriptions/marketing_page/vpn/whi...
293.
by mehrdadn 6y ago
Edit: never mind, I think I was confused what the comment was saying.
294.
by mehrdadn 6y ago
People use globs (wildcards) and group targets together to make it more manageable. It still does present some friction moving forward, but it's much more pleasant than listing every file individually, and there's a kind of an ele
295.
by mehrdadn 6y ago
Bazel is like git... it is elegant in a lot of ways but it's also awful in a lot of ways. The nice thing about it is that, overall, it's just than the other stuff you find out there, and (I think) it's because it's very
296.
by mehrdadn 6y ago
> I agree on the bootstrapping issues resulting from that, though. What are these "issues"?
297.
by mehrdadn 6y ago
> The wind turbines in the illustration are comically small - wind power increases with the square of the rotor diameter and the cube of the wind speed - which is why modern wind offshore turbines are absolutely massive. Wow! I just look
298.
by mehrdadn 6y ago
I think the purpose of this project isn't to change the LLVM build system, but rather to integrate LLVM better into Bazel. Bazel offers deterministic builds (which allows things like content-based caching and early stopping), but for t
299.
by mehrdadn 6y ago
This was not intended to be an advertisement for C++. Nobody is begging you to use it. If you hate it, or otherwise don't understand its values and trade-offs, please don't use it.
300.
by mehrdadn 6y ago
Lots of reasons. It's just something I've learned based on experience. They're essentially free abstractions that confine a source of truth (the type of a variable) to a single location. They codify the abstractions as well

More ›