steego
Joined 12 years ago
Joined 12 years ago
More specifically, who are they targeting with Argon and why is it behind the Ultra plan? Who is paying $99/month if not developers?
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 it like Fable.
It’s tone deaf.
Are you arguing with me or the parent who actually called it “sus af”?
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 no need or reason to star the repository.
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 substantiation?”
Uploading code does NOT substantiate anything.
The code must been executed, tested, analyzed and/or verified in order to substantiate ANYTHING.
We are in limbo because MOST people are JUST seeing the code now. Almost nobody has evaluated it.
BTW, I got the Discord announcement BEFORE I saw the HN announcement (Because I’m not a hater or a bully) and I started looking at the Lean code as well as the TypeScript compiler.
Have YOU been evaluating it? Do you actually have an informed opinion, or are you here to fight the bullies?
Have you evaluated it?
Wouldn’t you be inclined to withhold any claims of anything being substantiated until it’s actually been evaluated?
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 in the Curry-Howard-Lambek correspondence.
If one looks at Barry’s body of work over his lifetime, it’s no surprise it would culminate into an elegantly beautiful system capable of self-reflection.
I think his 2025 PEPM paper did a great job explaining the ideas to a regular programmer / wannabe academic like myself: https://github.com/barry-jay-personal/typed_tree_calculus/bl...
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 your local government doesn’t already employ competent people that can properly regulate and oversee the infrastructure impact of a data center, they will be overwhelmed by experts who know how to steamroll them. Passing a moratorium is the right thing for that community to do because it’s clear their local government isn’t up to the task of keeping a giant corporation (that employs armies of experts) accountable.
It is safer to say no from the outset.
What you might not understand is Loudoun heavily regulates data centers in this area. All infrastructure improvements needed to power and cool the data centers are paid by service providers. The water used to cool our data centers is sourced from our wastewater which goes through a special treatment facility that was funded by the tax revenue from the data centers.
Our property taxes are lower because the tax revenue from the data centers makes up for the difference. We have excellent schools and fantastic recreation facilities.
Oh yeah, our electricity rates and water rates are competitively low too.
I’m not here to champion data centers, nor am I claiming this is what normally happens when a data center is built.
I’m trying to point out that when they are TAXED and REGULATED, they can actually be a boon the local community.
The problem you’re seeing in these other communities are local governments bending over backwards to bring in data centers to the expense of the local population. They’re paying higher rates for water and electricity because the data center wasn’t forced to pay for infrastructure upgrades upfront, so those costs get passed on to the public.
I don’t mind the data centers. I see them every day and walk past them. They don’t emit pollution and they’re quiet and I’m not interested in moving away. I like it here.
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 turned into a society that looks down on people on using AI tools at ANY stage in a creative process?
Is that where you think we’re going?