home.social
Sign in Create account

#aeneas — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #aeneas, aggregated by home.social.

  1. GLOBAL Visibility aéPiot - by aePiot.ro @[email protected] ·

    #RODERICK #AENEAS #CHISHOLM www.perplexity.ai/search/new?q... #KIDDY #GRADE search.brave.com/ask?q=Analyz... #LIST OF #KIDDY #GRADE #CHARACTERS semantic-search.headlines-world.com/advanced-sea... aepiot.com

    Perplexity

    #roderick #aeneas #chisholm #kiddy #grade #list
  2. GLOBAL Visibility aéPiot - by aePiot.ro @[email protected] ·

    #RODERICK #AENEAS #CHISHOLM www.perplexity.ai/search/new?q... #KIDDY #GRADE search.brave.com/ask?q=Analyz... #LIST OF #KIDDY #GRADE #CHARACTERS semantic-search.headlines-world.com/advanced-sea... aepiot.com

    Perplexity

    #roderick #aeneas #chisholm #kiddy #grade #list
  3. Winbuzzer @[email protected] ·

    Google DeepMind’s Aeneas AI Gives Historians a New Tool to Decipher Ancient Latin Inscriptions

    #AI #GoogleDeepMind #AIforScience #DigitalHumanities #History #Aeneas #Archeology

    winbuzzer.com/2025/07/24/googl

    #ai #googledeepmind #aiforscience #digitalhumanities #history #aeneas
  4. Jan :rust: :ferris: @[email protected] ·

    F* (fstar) Interactive Tutorial:

    fstar-lang.org/tutorial/

    I'm only like 10% into the tutorial, but this language is CRAZY (fun)! :awesome: 😄

    I try to learn the fundamentals of it, so I can use the backend of it in #Aeneas... so I can ultimately formally verify my #Rust crate (former attempts with #Creusot and #Kani failed for me).

    Aeneas:
    github.com/AeneasVerif/aeneas

    See part two of toot for a toy example of proving function equivalence

    1/2

    #FormalVerification #FunctionalProgramming #RustLang

    #aeneas #rust #creusot #kani #formalverification #functionalprogramming