Readit News logoReadit News
steego commented on Yann LeCun raises $1B to build AI that understands the physical world   wired.com/story/yann-lecu... · Posted by u/helloplanets
zelphirkalt · 6 days ago
> I don't understand this view. How I see it the fundamental bottleneck to AGI is continual learning and backpropagation. Models today are static, and human brains don't learn or adapt themselves with anything close to backpropagation.

Even with continuous backpropagation and "learning", enriching the training data, so called online-learning, the limitations will not disappear. The LLMs will not be able to conclude things about the world based on fact and deduction. They only consider what is likely from their training data. They will not foresee/anticipate events, that are unlikely or non-existent in their training data, but are bound to happen due to real world circumstances. They are not intelligent in that way.

Whether humans always apply that much effort to conclude these things is another question. The point is, that humans fundamentally are capable of doing that, while LLMs are structurally not.

The problems are structural/architectural. I think it will take another 2-3 major leaps in architectures, before these AI models reach human level general intelligence, if they ever reach it. So far they can "merely" often "fake it" when things are statistically common in their training data.

steego · 5 days 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 communicating abstract ideas using audio and visual channels that may or may not be grounded in reality. We have TV shows, video games, programming languages and all sorts of rich and interesting things we can engage with that do not reflect our fundamental reality.

Like LLMs, we can hallucinate while we sleep or we can delude ourselves with untethered ideas, but UNLIKE LLMs, we can steer our own learning corpus. We can train ourselves with our own untethered “hallucinations” or we can render them in art and share them with others so they can include it in their training corpus.

Our hallucinations are often just erroneous models of the world. When we render it into something that has aesthetic appeal, we might call it art.

If the hallucination helps us understand some aspect of something, we call it a conjecture or hypothesis.

We live in a rich world filled with rich training data. We don’t magically anticipate events not in our training data, but we’re also not void of creativity (“hallucinations”) either.

Most of us are stochastic parrots most of the time. We’ve only gotten this far because there are so many of us and we’ve been on this earth for many generations.

Most of us are dazzled and instinctively driven to mimic the ideas that a small minority of people “hallucinate”.

There is no shame in mimicking or being a stochastic parrot. These are critical features that helped our ancestors survive.

steego commented on What are the best coping mechanisms for AI Fatalism?    · Posted by u/johnb95
Avshalom · 18 days ago
>key leaders of the AI labs struggle openly with the morality of what they are building

they definitely are not.

steego · 18 days 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.

Furthermore, I suspect you’re also trivializing what is and is not in contention with moral issues as these companies are trying to compete against each other.

I also think you’re probably assuming the slower options are the safer options because you haven’t really considered the risks of ceding power/investment to a less scrupulous competitor.

I’m not claiming any of these men are moral upstanding people or that they’ve done enough.

I think people should be very critical, but they should at least make the effort to ENGAGE in the moral issues and consequences.

Your cheap four word response only adds cheap rhetoric to the conversation.

If you really care about the moral issues, start typing.

steego commented on Dafny: Verification-Aware Programming Language   dafny.org/... · Posted by u/handfuloflight
esafak · 3 months ago
This expressiveness is a curious point, because a common charge leveled against Scala is that it is too expressive.
steego · 3 months 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 sake.

steego commented on Show HN: Kraa – Writing App for Everything   kraa.io/about... · Posted by u/levmiseri
_thisdot · 3 months ago
The recently sunsetted Reddit public chat was a good example. They were tied to a subreddit, so only people with some shared interest came together. And the moderators could set an entry barrier based on karma. And you stood to lose your reddit account if you misbehaved in a public chat
steego · 3 months 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 this problem don’t appreciate how much realtime information can be calculated from the event stream and how that information can be leveraged toward solving it in near realtime.

steego commented on Show HN: Kraa – Writing App for Everything   kraa.io/about... · Posted by u/levmiseri
embedding-shape · 3 months ago
> The first feature you need is a way to instantly ignore people who are ruining the collective experience. I

Yeah, and we all know you're talking about Anon Pond Heron, lets be honest.

steego · 3 months 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 beginnings of a slur.

I actually think these types of CRDTs can be enhanced with a handful of simple mechanisms to ensure a higher quality chat experience.

steego commented on Show HN: Kraa – Writing App for Everything   kraa.io/about... · Posted by u/levmiseri
steego · 3 months 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 instantly ignore people who are ruining the collective experience. I would think when a person is ignored by a certain threshold of people, their content should automatically be moderated.

The second feature that’s needed is some sort of flood protection or detection. If a user is pasting or trying to flood the chat with characters, they should be instantly hidden and their content be subject to moderation. Being able to distinguish between copying and pasting on occasion and flooding goes a long way.

steego commented on The most male and female reasons to end up hospital   leobenedictus.substack.co... · Posted by u/speckx
luqtas · 4 months ago
aren't you being a little naive by calling dangerous activities men have to take to survive "inherently voluntary"? go to a 3° world country or works as an immigrant somewhere rich to check your options. transportation included. it's easy to say one shouldn't use a cheap motorcycle and go for the one way sardine packed 2 hours bus ride across the city to reach work, everyday
steego · 4 months 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’t voluntary. My personal experience suggests most assaults are the result of voluntary activity rather than involuntary activity, YMMV.

I’m not being naive. I have lived in a 3rd world country where it wasn’t uncommon to see a family of 5 on a motorcycle.

I would note that you will tend to see, proportionately speaking, more women on motorcycles in those countries for the reasons you suggested.

steego commented on The most male and female reasons to end up hospital   leobenedictus.substack.co... · Posted by u/speckx
knallfrosch · 4 months ago
What a ridiculously sexist thing to even dare say out loud. The most male-dominated category is "fall from scaffolding." Men aren't up there for fun.

They built the roof that shelters you and your family when it storms.

steego · 4 months 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.

steego commented on Jakarta is now the biggest city in the world   axios.com/2025/11/24/jaka... · Posted by u/skx001
parpfish · 4 months ago
I don't even know what it would it even look like to "build a city" from scratch in the US. who does the building and puts together the central plan?

does the government build a bunch of public housing and a publicly owned commercial district? i guess they kind of have experience doing this with military bases, but at some point you need to encourage a bunch of private development and ownership, right?

or would the government just incentivize private developers to start building in the middle of nowhere and hope that a city arises as an emergent phenomenon? that approach seems like it would be rife with abuse and waste.

seems like this would be a lot easier to do with an authoritarian regime that could just decree "we're building a city here. the following industries will move their headquarters"

steego · 4 months 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 now extends past Dulles airport.

At the end of the metro, there is literally a "town center" residential area on one side with buildings around 5 stories tall. On the other side of the tracks is literally fields, but the roads have been laid out like Sim City with empty plots and developers are now beginning to construct buildings starting from the outside perimeter first, working their way toward the metro station.

Throughout the DC suburbs, you will find densely populated areas with relatively tall vertical buildings (15-20 stories) that simply were not there 20 years ago. Reston is a good example. I've watched 4-6 buildings (over 10 stories) get built in Reston alone. They mostly started when the the metro line was finished.

steego commented on A Homological Proof of P != NP: Computational Topology via Categorical Framework   arxiv.org/abs/2510.17829... · Posted by u/rescrv
quamserena · 5 months ago
The GitHub repo 404’s and likewise with the Docker image. Where's the code?

https://github.com/comphomology/pvsnp-formal

steego · 5 months 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?

u/steego

KarmaCake day1887March 19, 2014
About
HN Commenter
View Original