Lmst

The Trojan Women Set Fire to their Fleet by Claude Lorrain

via illustratus

F* (fstar) Interactive 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:
https://github.com/AeneasVerif/aeneas

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

1/2

#FormalVerification #FunctionalProgramming #RustLang

Today's Flickr photo with the most hits was taken in Sebasteion Museum, Aphrodisias, Turkiye. It shows Aeneas leaving Troy, carrying his father, Anchises.

#virgil #aphrodisias #museum #archaeology #troy #aeneas #rome #myth #poem

Roman bas-relief showing Aeneas carrying his father, Anchises, from Troy.

🪷🍕🍕🍕🍕 February 9th is #NationalPizzaDay: #CarolineLawrenc explains how Trojan hero #Aeneas invented pizza. Read: https://flavias.blogspot.com/2017/08/did-aeneas-invent-pizza.html By the way, when #Antinous orders pizza, his lararium Winged Genius delivers to Olympus! Full text: https://antinousstars.blogspot.com/2025/02/did-you-know-that-pizza-was-invented-by.html #pizzaday 🍕🍕🪷

Libye : le consortium italien #Aeneas demande de la « clarté » sur le projet de l' #aéroport de Tripoli

Elio #Franci, président de l'alliance commerciale italienne qui a remporté en 2017 le contrat pour la restauration de l'aéroport de #Tripoli, détruit par deux conflits (2014 et 2019-20), fait part de ses inquiétudes

agenzianova.com/news/libia-il-…

#Economie #infrastructure #Libye #Libya #Italie #Italia

Today's Flickr photo with the most hits: taken in the museum at Aphrodisias, Turkiye. One of the bas-reliefs from the monumental decorative frieze of the Sebasteion, showing Aeneas fleeing Troy.

#aeneas #sebasteion #aphrodisias #turkiye #sculpture #roman #BasRelief #plaque

Bas-relief showing Aeneas fleeing Troy, carrying his aged father on his shoulder.

Check out my latest book review on In Search of #Aeneas by Anthony Adolph.

https://www.diggingupthepast.net/p/book-review-in-search-of-aeneas-by

#rome #roman #greek #greece #hellas #ancient #history #myth

Check out this guest submission. Anthony Adolph shares his experience while researching his latest publication on the mythical #Aeneas.

https://www.diggingupthepast.net/p/featured-article-in-the-footsteps

#ancient #archaeology #Mythology #troy #trojan #etruscan #italy #rome #roman

I had a lot of fun discussing #Aeneas with author Anthony Adolph: https://www.diggingupthepast.net/p/featured-episode-in-search-of-aeneas-ad9

#rome #roman #greek #greece #troy #trojan #Aeneid #odyssey #virgil #homer

New episode: In Search of #Aeneas Redux: Following the #Trojan Refugee

https://www.diggingupthepast.net/p/in-search-of-aeneas-redux-following

#aeneid #iliad #homer #vergil #virgil #greek #greece #rome #roman #ancient #history #troy #italy

"It will never end." Who knew the entrance to the underworld was located near Whipp's Lane in Louisville, Kentucky? Is my out in, or my in out? Blickpunkt. Blink. I don't recall Dante looking over his shoulder to describe what the gates of hell look like from the inside, but I imagine like the iron walls of Dis, it's covered with graffiti. No Sybil, no Virgil, no fallen angels lurking about, though I did see a vulture wheeling in a gyre. Friday's #dailywalk, #pilgrimsprogress: 6,765 steps, 2.6 miles #graffiti #cityofdis #danteinferno #virgil #aeneas #walking #underworld #gateofhell

🪷🍕🍕🍕🍕 9 Feb is #NationalPizzaDay: Caroline Lawrence explains how Trojan hero #Aeneas invented pizza. Read: https://flavias.blogspot.com/2017/08/did-aeneas-invent-pizza.html By the way, when #Antinous orders pizza, his lararium Winged Genius delivers to Olympus! Full text: https://antinousstars.blogspot.com/2024/02/did-you-know-that-pizza-was-invented-by.html #pizzaday 🍕🍕🪷

Therefore a full set of hardware/software components for local water flow measurement, distributed decision making and flow control as well as a monitoring middleware based mainly on open-silicon (#RISCV) + open-source solutions (@fsfe)

So a whole value chain of #OpenSource components arises and technological sovereignty and resilience is strenghten.

#UrbanDataPlatform #Cloud #RISCV

#AENEAS #FraunhoferIESE #FraunhoferIMS #Fraunhofer

In de Ilias is een voorspelling dat #Aeneas ooit over Troje zal heersen, maar de antieke traditie kende hem ook als stichter van diverse steden in Italië. Hoe harmoniseerde men dat?

https://mainzerbeobachter.com/2023/09/08/aeneas-augustinus-en-augustus/

Episode 14 of our podcast is now available for download!

In Search of Aeneas

https://diggingupthepast.substack.com/p/in-search-of-aeneas#details

#archaeology #history #troy #trojan #trojanwar #aeneid #aeneas #rome #roman #greek #greece #iliad #odyssey #ancient

Episode 13 of our podcast is now available for download!

Rediscovering Brutus of Troy: The Mythical Ancestor to the Britains

https://diggingupthepast.substack.com/p/rediscovering-brutus-of-troy-the?sort=top#details

#archaeology #history #troy #trojan #trojanwar #british #britain #aeneid #aeneas #rome #roman

🪷🍕🍕🍕🍕 February 9th is #NationalPizzaDay: #CarolineLawrenc explains how Trojan hero #Aeneas invented pizza. Read: https://flavias.blogspot.com/2017/08/did-aeneas-invent-pizza.html By the way, when #Antinous orders pizza, his lararium Winged Genius delivers to Olympus! Full text: antinousstars.blogspot.com/2022/02/pizza-… #pizzaday 🍕🍕🪷

🪷🍕🍕🍕🍕 February 9this #NationalPizzaDay: #CarolineLawrenc explains how Trojan hero #Aeneas invented pizza. Read: https://flavias.blogspot.com/2017/08/did-aeneas-invent-pizza.html By the way, when #Antinous orders pizza, his lararium Winged Genius delivers to Olympus! Full text: antinousstars.blogspot.com/2022/02/pizza-… #pizzaday 🍕🍕🪷