steego

7 ms·

1.
by steego 4d 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
2.
by steego 2mo 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.
3.
by steego 2mo ago
If nobody brings forward a lawsuit in the first place, why would there be a judge?
4.
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
5.
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
6.
by steego 4mo ago
This is simply old fashioned Hollywood-level glazing, which has always made ChatGPT-level glazing look scathing by comparison.
7.
by steego 4mo ago
I’m going to be around for the consequences. What do you project them to be?
8.
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
9.
by steego 5mo 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
10.
by steego 5mo 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
11.
by steego 5mo 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
12.
by steego 6mo 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
13.
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
14.
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
15.
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
16.
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
17.
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
18.
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’
19.
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.
20.
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
21.
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?
22.
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
23.
by steego 11mo 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
24.
by steego 11mo 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
25.
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
26.
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
27.
by steego 1y ago
Approximately speaking, what do you want to see put up? I ask this because it reads like you have a specific challenge in mind when it comes to generative AI and it sounds like anything short of "proof of the unlimited powers" w
28.
by steego 1y ago
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 arguably worse than t
29.
by steego 1y ago
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 internal data LEAVING th
30.
by steego 1y ago
It doesn’t. Many governments block TLS connections directly between a client and an external website. Instead, they’ll install a custom root certificate and all connections and intercept traffic, using the government root certificate for e

More ›