foerbert

38 ms·

301.
by foerbert 6y ago
I was careful not to comment on the actual good-ness of the potential results for a reason. All I said is that Epic Games did not file the suit purely out of the goodness of their hearts, the desire to make the world a better place, and des
302.
by foerbert 6y ago
I was really looking forward to his analysis, however he also fell into the ReadMe trap. AFAIK (and the recent DMCA/youtube-dl repo thing seemed to support) they didn't include any VEVO videos in their readme. Instead it was used
303.
by foerbert 6y ago
I don't think I'd group Epic Games vs Apple in that category. Epic Games has got to be one of companies feeling the most individual impact from how Apple runs their store. Their case is very much a 'them' thing and not s
304.
by foerbert 6y ago
Most of this comment chain has been about why they couldn't do that. They were testing against special features that are only available to select partners.
305.
by foerbert 6y ago
This is one of the few times I've seen anybody mention threading in Ada in this sort of discussion. I've become quite fond of the language, and my first brush over the tasking stuff left me fairly impressed/interested. Howeve
306.
by foerbert 6y ago
I haven't used Ada in a commercial setting, unfortunately. I was never that involved with comp.lang.ada so I can't really comment there. However I never really got that impression from freenode #ada. Based on what I heard there, I
307.
by foerbert 6y ago
Interesting. The main reason I lost interest in Rust is because I found the type system to be too poor (there should be a better alternative to "rich" in this context, but I can't think of it right now). Off the cuff, I'
308.
by foerbert 6y ago
I mean, I was using FSF GNAT in 2018. And a few years before that, and some after it. I have a hard time imagining an experience even remotely described as unusable. I do wish AdaCore didn't leave the compiler situation so confusing. I
309.
by foerbert 6y ago
My experience is vastly different from yours. I've been using Ada as my main language for personal stuff for some years now... I can't quite recall when, but call it 5+ years? I won't say I've never run into some kind of
310.
by foerbert 6y ago
Nothing concrete I can point you to offhand. An AdaCore employee popped up in the community (freenode #ada, probably comp.lang.ada too) and started talking about it. I know several people pointed him to differences that were later addressed
311.
by foerbert 6y ago
You're still missing what I'm trying to say, I think. I'm not talking about fatigue, or brief inattention, or anything like that. I'm saying that the inattention was basically a given. Yeah, at some point the driver went
312.
by foerbert 6y ago
I'm not super knowledgeable about Rust, but I have tried poking at it a few times, so... you know. Rust seems to be extremely focused on memory safety. Meanwhile Ada is much more focused on correctness in general. Restricting the discu
313.
by foerbert 6y ago
At least as of a year or two ago, AdaCore seemed to be putting in more effort to shore up the differences between FSF and GPL GNAT.
314.
by foerbert 6y ago
It's in gcc. Or available from AdaCore under GPL-3 (yeah, I know). Unless you're in the sort of position where you need a support contract anyway, price isn't really an issue.
315.
by foerbert 6y ago
When I first started poking around Ada, I wouldn't say I found the syntax ugly but I very used to C++ and found it at least a bit odd. Nowadays I find myself expressing the exact opposite of your own sentiment. I wish more languages us
316.
by foerbert 6y ago
I'm not sure why changing a name would be so particularly bad in Ada. If anything, as Lucretia09 pointed out, Ada probably tends to be a bit easier to change names in than other languages. I'm not surprised an engineering class te
317.
by foerbert 6y ago
I agree with you, but I just have to say that if you're having to change a bunch of 255s to 65535 everywhere, you've done things poorly. Ada has a bunch of nice features to refer to these sorts of limits by names or methods that w
318.
by foerbert 6y ago
Yes, but no. The point that was trying to be made was that he was hired for a task that's fundamentally extremely difficult for humans. You can pay a person all you want to stare at paint drying so they can note down the exact moment i
319.
by foerbert 6y ago
You don't have to do it so simply as X posts/day. You can give some kind of 'influence points' per account or whatever that get automatically spread between posts. Tune it so at X/day each post is neutral, while mor
320.
by foerbert 6y ago
I think a lot of the nuance has been lost here. Even throwing around phrases like "10x better than a human" is already implying a lot of very vague measurement or knowledge. In what ways, and in what environments, is it better? I&
321.
by foerbert 6y ago
Humans are capable of generating and understanding creativity and complexity that are simply impossible for non-AGI automation. Even then, we don't just let people figure things out for themselves. We put them through training, and the
322.
by foerbert 6y ago
I find myself completely unable to understand that. I suspect we use very different methods. Notation doesn't stay with me once my eyes move past it. The notation is merely there to inform me of what is happening, and as long as I unde
323.
by foerbert 6y ago
Same, at least these days. I have an old chromebook running linux that's at least halfway through it's last leg. I recently tried Firefox on it because an update managed to bork Chrome a bit. I found many of the performance issues
324.
by foerbert 6y ago
Except you have instances of misuse of those well-defined symbols and notations. Without any accompanying language it can be very difficult to not only determine that there is an error, but then also figure out how to fix it. And other time