Viewing profile — steego

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 …

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 governm…

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…

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 “ag…

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. Lambd…

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 do…

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 o…

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 a…

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 p…

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 a…

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 o…

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, esp…

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…

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…

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…

Honestly, if you build transit, developers will build. I wouldn't call it "building a city", but if you look at Northern Virginia today, you'll find that vertical districts are pop…

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 a…

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 major…

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 diff…

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 an…

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 an…