I see it is now. I tried all the services 3 hours ago and the only interface to acknowledge its existence at the time was the API interface which told me to upgrade to Ultra.
If you’re going to argue they’re targeting a different user base, then I think you should tell us who they’re targeting. More specifically, who are they targeting with Argon and why is it behind the Ultra plan? Who is…
Are you suggesting it’s BETTER than their competitors? Because if it’s not, and it’s not available to all paying users (Right now, it’s only available to Ultra users), then they are behind the curve if they’re treating…
Have I? Are you arguing with me or the parent who actually called it “sus af”?
I don’t they are purchased or fake. I can unequivocally claim that Victor receives at least two orders of magnitude more social media engagement, while Lean likely has 4-5 more magnitudes of actual users. Serious users…
I’m not being “passive aggressive” with an “unfounded dismissal posing as a question” The person I am responding to made a SPECIFIC claim when they said, “A complete implementation have been released” They then ASKED,…
How do you know the implementation is complete or that it works well? Have you evaluated it? Wouldn’t you be inclined to withhold any claims of anything being substantiated until it’s actually been evaluated?
Great notes! I think it’s also worth noting that Barry Jay has a particularly strong vantage point for unearthing this particular foundational candidate. First, his advisor was Joachim Lambek, who’s responsible for…
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…
For people wondering what this is and whether to take this seriously, I’ll try to provide some context: Tree Calculus is a novel alternative to lambda calculus as a minimal model of computation. Unlike most minimal…
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…
I see it is now. I tried all the services 3 hours ago and the only interface to acknowledge its existence at the time was the API interface which told me to upgrade to Ultra.
If you’re going to argue they’re targeting a different user base, then I think you should tell us who they’re targeting. More specifically, who are they targeting with Argon and why is it behind the Ultra plan? Who is…
Are you suggesting it’s BETTER than their competitors? Because if it’s not, and it’s not available to all paying users (Right now, it’s only available to Ultra users), then they are behind the curve if they’re treating…
Have I? Are you arguing with me or the parent who actually called it “sus af”?
I don’t they are purchased or fake. I can unequivocally claim that Victor receives at least two orders of magnitude more social media engagement, while Lean likely has 4-5 more magnitudes of actual users. Serious users…
I’m not being “passive aggressive” with an “unfounded dismissal posing as a question” The person I am responding to made a SPECIFIC claim when they said, “A complete implementation have been released” They then ASKED,…
How do you know the implementation is complete or that it works well? Have you evaluated it? Wouldn’t you be inclined to withhold any claims of anything being substantiated until it’s actually been evaluated?
Great notes! I think it’s also worth noting that Barry Jay has a particularly strong vantage point for unearthing this particular foundational candidate. First, his advisor was Joachim Lambek, who’s responsible for…
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…
For people wondering what this is and whether to take this seriously, I’ll try to provide some context: Tree Calculus is a novel alternative to lambda calculus as a minimal model of computation. Unlike most minimal…
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…