steego

4 ms·

1.
by steego 8d ago
Have I? Are you arguing with me or the parent who actually called it “sus af”?
2.
by steego 8d ago
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 of Lean simply have n
3.
by steego 8d ago
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 is that not a sub
4.
by steego 8d ago
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?
5.
by steego 13d ago
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 adding Category Theory i
6.
by steego 3mo ago
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.
7.
by steego 3mo ago
If nobody brings forward a lawsuit in the first place, why would there be a judge?
8.
by steego 3mo ago
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 people that can properl
9.
by steego 3mo ago
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 understand is Lou
10.
by steego 4mo ago
This is simply old fashioned Hollywood-level glazing, which has always made ChatGPT-level glazing look scathing by comparison.
11.
by steego 4mo ago
I’m going to be around for the consequences. What do you project them to be?
12.
by steego 4mo ago
> 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 mean we’ve turne
13.
by steego 6mo ago
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 functional programmin
14.
by steego 6mo ago
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 havi
15.
by steego 6mo ago
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 systems, tree calculus i
16.
by steego 7mo ago
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 a carrier for communi
17.
by steego 7mo ago
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 first place. Furth
18.
by steego 9mo ago
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 abstraction for its own s
19.
by steego 10mo ago
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 most people looking at
20.
by steego 10mo ago
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 type out the beginning
21.
by steego 10mo ago
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 you need is a way to in
22.
by steego 10mo ago
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 argue assaults aren’
23.
by steego 10mo ago
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.
24.
by steego 10mo ago
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 popping up along the Silver Line metro that
25.
by steego 11mo ago
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?
26.
by steego 11mo ago
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 poster is concerned a
27.
by steego 1y ago
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 understand fluent me
28.
by steego 1y ago
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 construct a mapping
29.
by steego 1y ago
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 violate y
30.
by steego 1y ago
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 maximize engagement

More ›