#aadl — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aadl, aggregated by home.social.
-
#ITByte: The #Architecture #Analysis and #Design #Language (#AADL) is a standardized, formal specification language with strict mathematical semantics used to model, analyze, and verify the software and hardware integration of safety-critical, real-time embedded systems before implementation.
https://knowledgezone.co.in/posts/Architecture-Analysis-and-Design-Language-6a322992dc6c2d9d7ec161af
-
#ITByte: The #Architecture #Analysis and #Design #Language (#AADL) is a standardized, formal specification language with strict mathematical semantics used to model, analyze, and verify the software and hardware integration of safety-critical, real-time embedded systems before implementation.
https://knowledgezone.co.in/posts/Architecture-Analysis-and-Design-Language-6a322992dc6c2d9d7ec161af
-
RE: https://mastodon.social/@kottke/116442944092681599
I knew some of these, but #AADL :aadl: lets you borrow from 14 additional library systems in #Libby
-
RE: https://mastodon.social/@kottke/116442944092681599
I knew some of these, but #AADL :aadl: lets you borrow from 14 additional library systems in #Libby
-
RE: https://chaos.social/@ishotjr/116263706505051691
The #MatthewDear talk at #AADL is available to re-watch! 🤘🎛️🤘
-
RE: https://chaos.social/@ishotjr/116263706505051691
The #MatthewDear talk at #AADL is available to re-watch! 🤘🎛️🤘
-
I love my local #library!! 🤘🤩🤘
-
I love my local #library!! 🤘🤩🤘
-
There's a queue for our #FediFriend @TheRaDR's book at the #AnnArbor #PublicLibrary 📖 👍 😁 #Michigan #AADL #Judaism #Religion #Spirituality #Books #Literature #Culture
-
There's a queue for our #FediFriend @TheRaDR's book at the #AnnArbor #PublicLibrary 📖 👍 😁 #Michigan #AADL #Judaism #Religion #Spirituality #Books #Literature #Culture
-
I guess I will get to exercise some of my public information officer duties by informing the public of what our post-WoTo plans are for radio service to local amateurs.
Wolverine Tower went up in 1973, and there are photos and clippings about its construction at the #AADL . It looks bigger in this construction photo.
-
I guess I will get to exercise some of my public information officer duties by informing the public of what our post-WoTo plans are for radio service to local amateurs.
Wolverine Tower went up in 1973, and there are photos and clippings about its construction at the #AADL . It looks bigger in this construction photo.
-
My wife, as The Science Bee, will be at AADL's Dead Media Day talking about slides! Go see her!
-
I sure wish I were going to be in Ann Arbor, MI this weekend for Dead Media Day 2025. This sounds awesome!
#Media #DeadMedia #DeadMediaDay2026 #library #analog #vintagecomputing #retrocomputing #events #AADL #AnnArbor #Michigan #MI
-
I sure wish I were going to be in Ann Arbor, MI this weekend for Dead Media Day 2025. This sounds awesome!
#Media #DeadMedia #DeadMediaDay2026 #library #analog #vintagecomputing #retrocomputing #events #AADL #AnnArbor #Michigan #MI
-
Ann Arbor voters say yes to downtown library proposals. Design work comes next. https://www.mlive.com/news/ann-arbor/2025/08/ann-arbor-voters-say-yes-to-downtown-library-proposals-design-work-comes-next.html
Woohoo! So excited for a new downtown library!
-
Ann Arbor voters say yes to downtown library proposals. Design work comes next. https://www.mlive.com/news/ann-arbor/2025/08/ann-arbor-voters-say-yes-to-downtown-library-proposals-design-work-comes-next.html
Woohoo! So excited for a new downtown library!
-
I got an #AADL summer game yard code out in Chelsea today! You can be an AADL member if you live outside the district but work in it; I'm guessing that's what is going on there. It was a nice surprise!
-
How a public library's summer game took over a Michigan city https://www.npr.org/2025/08/04/nx-s1-5477533/public-library-summer-game-ann-arbor-michigan
-
How a public library's summer game took over a Michigan city https://www.npr.org/2025/08/04/nx-s1-5477533/public-library-summer-game-ann-arbor-michigan
-
-
-
@TheChillennial I heard that the #AADL will let you borrow a risograph
-
It is truly amazing how great #aadl is! I feel like I could go to them with almost any problem and get a solution.
Today's issue: 3d printing of parts that are ever-so-slightly too big for most standard printers.
-
-
-
#CurrentlyDownloading the first episode of the "Talkin' Music" #podcast from the #AnnArbor District Library: "Step into a rich history of the music of Ann Arbor’s #AfricanAmerican community. Talkin’ Music invites listeners to explore Ann Arbor’s 'Our Own Thing Chorale' and Instructional Program through its founder, Dr. Willis C. Patterson, and past and current members spanning more than 50 years." #AADL #Michigan #Music #History https://aadl.org/talkinmusic
-
#CurrentlyWatching a 1970 discussion between science fiction author Arthur C. Clarke, visionary architect Buckminster Fuller and futurist author Alvin Toffler, streaming via my #PublicLibrary. Studio set looks suspiciously like the opening frame of a classic #LooneyTunes cartoon. #Culture #Futurism #ScienceFiction #Architecture #Anthropology #AADL
-
#CurrentlyWatching "Isabel Allende: House of Spirits", a 1988 documentary about the Chilean author. Avaialble online via my local public library (and maybe yours too!). cc; @bookstodon #Literature #Chile #SouthAmerica #LatinAmerica #IsabelAllende #MagicRealism #Books #PublicLibraries #AADL
-
#CurrentlyWatching "Poetry of Federico Garcia Lorca Dramatized and Set to Music”, produced by Creative Arts Television (Firm), 1958. Streaming online via my local #PublicLibrary. 📖 🎞️ 🎶 👍 😁 #Poetry #Lorca #FedericoGarciaLorca #AADL #AnnArborDistrictLibrary
-
Found a cute retro-style freebie fanzine produced (printed!) by the #AnnArbor public library on the history of music + record stores in the town. I spent a lot of time and a big chunk of my disposable income in those digs, y'know? A couple of the stores are still around but most are long gone. The 'zine is also online, because even the cloud this old man is yelling at is bloody digital these days. #RSD #RecordStoreDay #Vinyl #Music #Michigan #AADL https://aadl.org/rsdzine
-
Depuis quelque temps, l'administration algérienne « se chinoise ».
Elle n'a pas besoin ni du nom, ni du prénom, tout le monde, toute la population n'est qu'un NIN : Numéro d'identifiant National.
Ne manque plus que la colonne : bon citoyen, mauvais citoyen.
-
Des internautes algériens méconnaissants l'informatique partagent sur des groupes Facebook leurs écrans plein de fenêtres de navigateurs : iels actualisent chaque fenêtre manuellement pensant que ça va fonctionner.
Alors que les onglets existent et des extensions de rafraichissrment automatique existent.
-
My #PublicLibrary makes documentaries: "The loss of a neighborhood school foreshadowed changes to the close-knit community. Gentrification came to #AnnArbor on the heels of desegregation." #AADL #Michigan #History #BlackMastodon https://aadl.org/therewenttheneighborhood
-
#TBT Been hearing about #Australia's proto-punks #RadioBirdman for decades, never really looked into them. Which is silly, because lead guitarist #DenizTek is from my hometown of #AnnArbor #Michigan. He's had a helluva career. Time to catch up! 🎶 👍 😁 #Music #RockAndRoll #ClassicRock #Punk #NewWave #AADL https://pulp.aadl.org/node/621325
-
#TBT Been hearing about #Australia's proto-punks #RadioBirdman for decades, never really looked into them. Which is silly, because lead guitarist #DenizTek is from my hometown of #AnnArbor #Michigan. He's had a helluva career. Time to catch up! 🎶 👍 😁 #Music #RockAndRoll #ClassicRock #Punk #NewWave #AADL https://pulp.aadl.org/node/621325