Mastodawn

🪷 When #AntoninusPius died 7 March 161 AD, #MarcusAurelius and #LuciusVerus became co-Emperors. Marcus being the elder, was given the title Augustus, while #Lucius #Verus was called Caesar. They are the only example of effective co-rulership in Rome: https://antinousstars.blogspot.com/2026/03/the-ascension-of-marcus-aurelius-and.html 🪷

🪷 When #AntoninusPius died in March 161 AD, #MarcusAurelius and #LuciusVerus became co-Emperors. Marcus being the elder, was given the title Augustus, while #Lucius #Verus was called Caesar. They are the only example of effective co-rulership in Rome: https://antinousstars.blogspot.com/2026/02/marcus-aurelius-and-lucius-verus-become.html 🪷

🪷 Roman Emperor #LuciusVerus died 23 January 169 AD. #Lucius #Verus was born 15 December 130 AD, just weeks after #Antinous died. As a boy he was hand-picked by #Hadrian to be future co-ruler with #MarcusAurelius after #AntoninusPius. A wise choice! More here: https://antinousstars.blogspot.com/2025/12/birth-of-divine-lucius-verus.html 🪷

🪷 Roman Emperor #LuciusVerus was born 15 December 130 AD, just weeks after #Antinous died. As a boy, he was hand-picked by #Hadrian to be future co-ruler with #MarcusAurelius after #AntoninusPius. A wise choice! #Lucius #Verus died 1 March 161 AD. More: https://antinousstars.blogspot.com/2025/12/birth-of-divine-lucius-verus.html 🪷

Ah, Verus: because #Rust needed *another* layer of #complexity to ensure your head explodes just a smidge faster 🤯🔧. Why write code like a mere mortal when you can verify it into oblivion? 🚀✨
https://github.com/secure-foundations/verus #Verus #CodeVerification #TechInnovation #HackerNews #ngated

Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

GitHub

Verus: Verified Rust for low-level systems code

Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

GitHub

I'm currently checking out #verus and #prusti for adding primarily SMT based program verification to some of my #rust programs.

Do you know if there are any other verifiers out there, I should check out as well?

🚀 وروس (Verus): بلاکچین غیرمتمرکز با اثبات کار و سهام

🔐 هویت های خود مختار |
💸 دیفای بدون واسطه |
🔄 تراکنش های بین زنجیره ای

🪷 When #AntoninusPius died 7 March 161 AD, #MarcusAurelius and #LuciusVerus became co-Emperors. Marcus being the elder, was given the title Augustus, while #Lucius #Verus was called Caesar. They are the only example of effective co-rulership in Rome: https://antinousstars.blogspot.com/2025/03/the-ascension-of-marcus-aurelius-and.html 🪷

UPON the occasion of the Death and Apotheosis of Antoninus Pius on 7th March 161 AD, Marcus Aurelius and Lucius Verus became co-Emperors, b...

🪷 Roman Emperor #LuciusVerus was born 15 December 130 AD, just weeks after #Antinous died. As a boy he was hand-picked by #Hadrian to be future co-ruler with #MarcusAurelius after #AntoninusPius. A wise choice! #Lucius #Verus died 23 January 169 AD. More here: https://antinousstars.blogspot.com/2024/12/birth-of-divine-lucius-verus.html 🪷

ON December 15th the Religion of Antinous celebrates the birth of the Divine Lucius Verus , who was born 48 days after the death of ANT...