Lugh

joined 1 year ago
MODERATOR OF
 

Courtesy of Reddit user /u/TheBlueRefinery29

Interesting experimental logical AI has promising implications for AI Safety.

Claiming to have created a language that enables developers to create software and AI that can reason over its own future versions.

Original post: https://x.com/TauLogicAI/status/1841813606154793354

Abstract Summarizing their process and the language tech: https://tau.net/Logical-AI-Software-Specification-Reasoning-GSSOTC.pdf

Full paper: https://tau.net/Theories-and-Applications-of-Boolean-Algebras-0.25.pdf

But the full paper is super long and goes over my head, the abstract is much easier to digest.

[–] Lugh 4 points 1 month ago* (last edited 1 month ago)

On the galactic scale its the second-nearest star to us out of billions.

[–] Lugh 3 points 1 month ago

It's fascinating we are living through a time when exoplanets are first being found . This planet is closer to its Red Dwarf star then Mercury is to our far far hotter G-type star. Still, the surface temperature is only 25 degrees Celsius above boiling point.

[–] Lugh 3 points 1 month ago

Pop-up mobile parks can do the same. I love this example from London.

[–] Lugh 2 points 1 month ago (1 children)

In most countries, people elect the local officials who make zoning decisions. It's not a fundamental barrier.

[–] Lugh 1 points 1 month ago

Altman and Musk seem to both get away with endless BS.

[–] Lugh 3 points 1 month ago (6 children)

They quote a cost of $1,000 per square meter (S100 sq foot). So I arrived at my calculation assuming a size of 100 sq m/1,000 sq feet for an average 'starter home' 2-bedroom dwelling.

The fact that housing crises are occurring in so many Western countries suggests to me that there is something very fundamental that is broken and wrong with our system of supplying housing - one of life's most basic human necessities.

If the system is the problem, then the system can't provide the solution, perhaps only radical new ways of doing things can?

Germans have a system of purchasing property called "Wohnungsgenossenschaften". It is where individuals come together in a not-for-profit cooperative, to build and finance their own apartment buildings and housing complexes. This technology seems a perfect fit for that, maybe we would all be better off in other western countries if we adopted this system more?

[–] Lugh 1 points 1 month ago

Yes, sadly he was quite prescient. I often think we're in a time of transition/decay because of tech like AI & robotics. Sadly perfect conditions for fascism, which the right has so often transmuted into throughout history.

[–] Lugh 9 points 1 month ago (4 children)

Some people may have doubts about these claims, but China leads the world in manufacturing. They've also blasted past all expectations when it comes to developing batteries, renewables and EVs. I wouldn't bet against them.

[–] Lugh 1 points 1 month ago

I know this isn't a very serious story, but it made me smile. One day soon the robotaxis won't be getting confused anymore. Assuming she gets in office, I'd guess President Harris is going to have to deal with the issue of unemployed human taxi drivers during her four years in office.

[–] Lugh 1 points 1 month ago

I wonder will we look back at stuff like this as the very beginnings of recursive self-improvement by artificial intelligence.

[–] Lugh 5 points 2 months ago* (last edited 2 months ago)

Could be, but isn’t, which is where some regulations probably need to come in.

I assume also that the technological side of things is far from perfected, but that will improve over time.

[–] Lugh 20 points 2 months ago* (last edited 2 months ago) (2 children)

There's no reason it couldn't be a closed system, where any fertilizer that doesn't become part of the crop biomass is recycled. In theory it should be more sustainable than existing agriculture and use less fertilizer per kg of crop produced.

view more: ‹ prev next ›