Futurology Today

449 readers
6 users here now

This is a sibling community to r/futurology on Reddit, set up and moderated by the same people.

If you would like to make a contribution to our server costs, however small, you can donate here.
Ko-Fi (Donate)

July 2024: We are 40% of the way there. Thank you to @Philosofuel & @threelonmusketeers for contributing.

TAKE CARE NOT TO FORGET YOUR PASSWORD UNTIL YOU ADD A RECOVERY EMAIL TO YOUR ACCOUNT DETAILS.

Uptime

Uptime

OUR RULES

  1. Be respectful to others - this includes no hostility, racism, sexism, bigotry, etc.

  2. Submissions must be future focused.

  3. No memes, reaction gifs or similarly low effort content.

  4. No spamming - this includes polls and surveys. This also includes promoting any content in which you have any kind of financial or non-financial stake.

  5. Bots require moderator permission to operate

  6. Comments must be on topic, contribute to the discussion and be of sufficient length. Comments that dismiss well-established science without compelling evidence are a distraction to discussion of futurology and may be removed.

Do you like the old Reddit interface? You can browse us that way if you like. https://old.futurology.today/

founded 1 year ago
ADMINS
276
 
 

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.

277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
43
submitted 1 month ago* (last edited 1 month ago) by voidx to c/futurology
 
 

Tesla's main competitor is envisioning a bright future for electric vehicles with batteries that feature a solid-state electrolyte, the next frontier in the battle for EV dominance.

293
294
295
296
297
298
299
300
view more: ‹ prev next ›