Futurology

1706 readers
531 users here now

founded 1 year ago
MODERATORS
voidx@futurology.today
Lugh@futurology.today
Espiritdescali@futurology.today
AwesomeLowlander@futurology.today
listing: all - local
1
15
High-Temperature Heat Pumps Provide the Necessary Decarbonization For Industry (heatpumpingtechnologies.org)
submitted 4 hours ago by Lugh@futurology.today to c/futurology@futurology.today
1 comments fedilink
2
34
By swiftly redistributing perishable fruits and vegetables in California, 'Food Forward' addresses two issues at once: food insecurity and food waste. (reasonstobecheerful.world)
submitted 5 hours ago by RewindAgain@futurology.today to c/futurology@futurology.today
2 comments fedilink
3
28
New research show just how much conspiracy theories are used and spread by people who don't believe they are true. (phys.org)
submitted 7 hours ago by BaylorSwift3@futurology.today to c/futurology@futurology.today
0 comments fedilink
4
10
Daphne Koller says although biology is 5-7 years behind language models, the explosion in biological data means that AI will soon be able to make causal inferences about disease pathways. (wallstreetpit.com)
submitted 5 hours ago by Lugh@futurology.today to c/futurology@futurology.today
0 comments fedilink
5
8
The asteroid hunters: how new technology will help save Earth from a catastrophic collision (www.theguardian.com)
submitted 7 hours ago by BaylorSwift3@futurology.today to c/futurology@futurology.today
1 comments fedilink
6
0
Multimodal Retrieval is extending the capabilities of AI (thesequence.substack.com)
submitted 4 hours ago by Lugh@futurology.today to c/futurology@futurology.today
0 comments fedilink
7
107
Parts of Antarctica are turning green faster than we thought from climate change, 'shocked' scientists say (news.sky.com)
submitted 23 hours ago by Espiritdescali@futurology.today to c/futurology@futurology.today
17 comments fedilink
8
236
Microsoft wants all its spending on reopening Three Mile Island to come from taxpayer funded loans, and wants tax credits to reimburse it for the fact the electricity it generates will be so expensive (cleantechnica.com)
submitted 1 day ago by Lugh@futurology.today to c/futurology@futurology.today
26 comments fedilink
9
238
Humans may be able to grow new teeth within just 6 years. Japanese researchers are advancing a promising tooth-regrowing medicine into human trials. (www.popularmechanics.com)
submitted 1 day ago by RewindAgain@futurology.today to c/futurology@futurology.today
38 comments fedilink
10
19
Researchers develop a method to use DNA to store data, and demo its use by storing 11 MB in 3 micrograms of stable DNA dust. If scaled up this could mean 3.7 TB/gram of dust. (www.tju.edu.cn)
submitted 1 day ago by Lugh@futurology.today to c/futurology@futurology.today
4 comments fedilink
11
10
DeepMind’s SCoRe shows LLMs can use their internal knowledge to correct their mistakes (venturebeat.com)
submitted 1 day ago by Lugh@futurology.today to c/futurology@futurology.today
1 comments fedilink
12
12
A new Californian law aims to protect us from Big Tech using AI to infer our private thoughts, but some people think it isn't going far enough. (www.technologyreview.com)
submitted 1 day ago by BaylorSwift3@futurology.today to c/futurology@futurology.today
1 comments fedilink
13
9
Flu season is coming—and so is the risk of an all-new bird flu. Luckily mRNA vaccines can save us from the worst. (futurology.today)
submitted 1 day ago by BaylorSwift3@futurology.today to c/futurology@futurology.today
5 comments fedilink
14
17
A Spanish startup has successfully showcased its graphene-based brain-computer interface (BCI) in performing precise tumor surgery. (www.businesswire.com)
submitted 1 day ago by Lugh@futurology.today to c/futurology@futurology.today
2 comments fedilink
15
5
A drone delivered my food! - YouTube (youtube.com)
submitted 1 day ago by sabreW4K3@lazysoci.al to c/futurology@futurology.today
2 comments fedilink
16
10
Researchers at the German Cancer Research Center (DKFZ) have carried out the first successful robotic surgery using a team of millimetre scale robots. (www.dkfz.de)
submitted 1 day ago* (last edited 1 day ago) by Lugh@futurology.today to c/futurology@futurology.today
2 comments fedilink
17
7
New epigenetic clock based on easy-to-collect cheek cells accurately predicts mortality. (www.eurekalert.org)
submitted 1 day ago by RewindAgain@futurology.today to c/futurology@futurology.today
0 comments fedilink
18
44
AI-generated college admissions essays tend to sound male and privileged, study finds (phys.org)
submitted 2 days ago by Lugh@futurology.today to c/futurology@futurology.today
9 comments fedilink
19
21
Someone Put Facial Recognition Tech onto Meta's Smart Glasses to Instantly Dox Strangers (www.404media.co)
submitted 2 days ago by BaylorSwift3@futurology.today to c/futurology@futurology.today
2 comments fedilink
20
12
Spaceship thruster technology fueled by any type of metal could fly 'indefinitely' (www.earth.com)
submitted 2 days ago by Lugh@futurology.today to c/futurology@futurology.today
8 comments fedilink
21
31
139,000 neurons unveiled in 1st-ever complete brain map of adult fruit fly. (interestingengineering.com)
submitted 3 days ago by Lugh@futurology.today to c/futurology@futurology.today
4 comments fedilink
22
30
Engineers develop solar-powered lithium extraction from brine (techxplore.com)
submitted 3 days ago by voidx@futurology.today to c/futurology@futurology.today
1 comments fedilink
23
16
Cool roofs could have saved lives during London's hottest summer (techxplore.com)
submitted 3 days ago by Espiritdescali@futurology.today to c/futurology@futurology.today
1 comments fedilink
24
13
ESO VLT discovers new exoplanet around the nearby Barnard star, only 6 light years away. (www.eso.org)
submitted 3 days ago by RewindAgain@futurology.today to c/futurology@futurology.today
4 comments fedilink
25
2
New AI Software Specification Language Could Solve AI Alignment and AI Safety For Future AI and Machines (futurology.today)
submitted 2 days ago by Lugh@futurology.today to c/futurology@futurology.today
1 comments fedilink
 
 

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.

view more: next ›