I’ll go even further. Sometimes you want to give certain people an incentive to not be your customers because your company would be entirely better off if they were someone else’s customer.
If nobody brings forward a lawsuit in the first place, why would there be a judge?
You’re right. The problem is most local governments do not know how to enforce accountability when working with organizations that want to build data centers. If your local government doesn’t already employ competent…
I’m in Ashburn Virginia and I literally live less than 1 mile from the highest concentration of data centers in the world. People are buying townhomes homes built across the street from data centers. What you might not…
This is simply old fashioned Hollywood-level glazing, which has always made ChatGPT-level glazing look scathing by comparison.
I’m going to be around for the consequences. What do you project them to be?
> I doubt this decision will age well Honestly, I don’t think Marty’s “decision” to use generative AI to storyboard will even become a thing that ages. But let’s say it doesn’t “age well”. What would that mean? Would it…
You can think of a calculus as a mathematical system one can use to define the essential computational basis for how a programming language or a runtime works mathematically. Lambda calculus is often the foundation for…
This introduction to this paper explains the motivation: https://dl.acm.org/doi/pdf/10.1145/3704253.3706138 Tree Calculus is an alternative to lambda calculus that is capable of doing meta-theory without having to…
I think people MOSTLY foresee and anticipate events in OUR training data, which mostly comprises information collected by our senses. Our training data is a lot more diverse than an LLMs. We also leverage our senses as…
They do. I suspect that you are not only ignoring the existing safeguards that have already come of those discussions, but I suspect you’re also ignoring or pretending like those public discussions never happened in the…
Expressiveness tends to become a liability when the benefits of the expressiveness aren’t clear. Dafny’s expressiveness tends to be more in the service of coherent specifications and less in the service of language…
I understand and appreciate Reddit’s approach. On the other hand, I think there might be a way to solve this problem for live anonymous chat in a way that doesn’t rely on threats of “punishment” or “banning”. I think…
I am. While I’m not the kind of person who races to test the most triggering racial slurs, I’m actually glad Anon Pond Heron did because I thought his behavior was informative, especially as you could watch him slowly…
After watching a bunch of people use the live chat, I am not discouraged by live chat anymore. I actually think one can make it work, one simply needs to account for moderation and flooding upfront. The first feature…
This data reflects the UK, not a 3rd world country and my comments are restricted to this dataset. Included in that same dataset are assaults and sports related injuries, which are additional risky activities. You might…
Aren’t we being a little sensitive? The OP didn’t say all of the reasons for male related injuries were needless, but if you look at the list, it’s dominated by activities that are inherently voluntary and risky.
The Github user doesn't even exist. Who writes Lean code in the actual paper but doesn't create a repo or even a username?
Nihilism is one response to disillusionment. Another response is to come to terms with a possibly meaningless and Sisyphean reality and to keep pushing the boulder (that you care about) up the hill anyway. I’m glad the…
Are you saying that you’re unable to read a fluent syntax that’s been supported by most mainstream programming languages for the past 10 years? Or are you suggesting that the majority of programmers struggle to read and…
Why? Writing your own LINQ provider is a very niche activity done by people who want to translate or “transpile” C# expression trees into something else. It is fundamentally a difficult endeavor because you’re trying to…
Isn't TLA+ is more like Alloy insofar as they're thinking tools optimized for the design phase? I'm more familiar with Alloy, which is a great tool for exploring a specification and looking for counter-examples that…
You are absolutely correct. This article and vocal supporters are often not reasonable and I should have made that point. I honestly found the article to be an insufferably glib and swaggering piece that was written to…
I think this proposal ultimately introduces more complexity than it solves. By automatically inserting migrations (whether at compile time or via “migration files”), you end up with a form of hidden control flow that’s…
Preventing third parties from intercepting encrypted traffic isn’t the point of deep packet inspection (DPI). Organizations implement DPI to PREVENT outbound encrypted connections to unknown external servers to keep…
I’ll go even further. Sometimes you want to give certain people an incentive to not be your customers because your company would be entirely better off if they were someone else’s customer.
If nobody brings forward a lawsuit in the first place, why would there be a judge?
You’re right. The problem is most local governments do not know how to enforce accountability when working with organizations that want to build data centers. If your local government doesn’t already employ competent…
I’m in Ashburn Virginia and I literally live less than 1 mile from the highest concentration of data centers in the world. People are buying townhomes homes built across the street from data centers. What you might not…
This is simply old fashioned Hollywood-level glazing, which has always made ChatGPT-level glazing look scathing by comparison.
I’m going to be around for the consequences. What do you project them to be?
> I doubt this decision will age well Honestly, I don’t think Marty’s “decision” to use generative AI to storyboard will even become a thing that ages. But let’s say it doesn’t “age well”. What would that mean? Would it…
You can think of a calculus as a mathematical system one can use to define the essential computational basis for how a programming language or a runtime works mathematically. Lambda calculus is often the foundation for…
This introduction to this paper explains the motivation: https://dl.acm.org/doi/pdf/10.1145/3704253.3706138 Tree Calculus is an alternative to lambda calculus that is capable of doing meta-theory without having to…
I think people MOSTLY foresee and anticipate events in OUR training data, which mostly comprises information collected by our senses. Our training data is a lot more diverse than an LLMs. We also leverage our senses as…
They do. I suspect that you are not only ignoring the existing safeguards that have already come of those discussions, but I suspect you’re also ignoring or pretending like those public discussions never happened in the…
Expressiveness tends to become a liability when the benefits of the expressiveness aren’t clear. Dafny’s expressiveness tends to be more in the service of coherent specifications and less in the service of language…
I understand and appreciate Reddit’s approach. On the other hand, I think there might be a way to solve this problem for live anonymous chat in a way that doesn’t rely on threats of “punishment” or “banning”. I think…
I am. While I’m not the kind of person who races to test the most triggering racial slurs, I’m actually glad Anon Pond Heron did because I thought his behavior was informative, especially as you could watch him slowly…
After watching a bunch of people use the live chat, I am not discouraged by live chat anymore. I actually think one can make it work, one simply needs to account for moderation and flooding upfront. The first feature…
This data reflects the UK, not a 3rd world country and my comments are restricted to this dataset. Included in that same dataset are assaults and sports related injuries, which are additional risky activities. You might…
Aren’t we being a little sensitive? The OP didn’t say all of the reasons for male related injuries were needless, but if you look at the list, it’s dominated by activities that are inherently voluntary and risky.
The Github user doesn't even exist. Who writes Lean code in the actual paper but doesn't create a repo or even a username?
Nihilism is one response to disillusionment. Another response is to come to terms with a possibly meaningless and Sisyphean reality and to keep pushing the boulder (that you care about) up the hill anyway. I’m glad the…
Are you saying that you’re unable to read a fluent syntax that’s been supported by most mainstream programming languages for the past 10 years? Or are you suggesting that the majority of programmers struggle to read and…
Why? Writing your own LINQ provider is a very niche activity done by people who want to translate or “transpile” C# expression trees into something else. It is fundamentally a difficult endeavor because you’re trying to…
Isn't TLA+ is more like Alloy insofar as they're thinking tools optimized for the design phase? I'm more familiar with Alloy, which is a great tool for exploring a specification and looking for counter-examples that…
You are absolutely correct. This article and vocal supporters are often not reasonable and I should have made that point. I honestly found the article to be an insufferably glib and swaggering piece that was written to…
I think this proposal ultimately introduces more complexity than it solves. By automatically inserting migrations (whether at compile time or via “migration files”), you end up with a form of hidden control flow that’s…
Preventing third parties from intercepting encrypted traffic isn’t the point of deep packet inspection (DPI). Organizations implement DPI to PREVENT outbound encrypted connections to unknown external servers to keep…