#ada — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ada, aggregated by home.social.
-
Перепрыгивание с языка на язык как тактика прохождения интервью
В 2010 году я участвовал в интервьировании на позицию по моделированию и верификации процессорных ядер. Один из кандидатов был благообразный седой американец, который до этого работал в IBM. Я задал вопрос про язык описания и верификации аппаратуры SystemVerilog. На это кандидат сказал, что он еще не освоил SystemVerilog, вписал его в резюме на будущее, но вообще использовал Verilog-95 и немного Verilog-2001. “Нет проблем”, - сказал я и задал вопрос по Verilog-95: “приведите примеры гонок (race conditions) при испрользовании верилога”. На это кандидат сказал, что вообще его опыт был больше связан с VHDL. “Блин, как он выкрутился” - подумал я, ведь в VHDL нет гонок как в верилоге из-за дизайна языка.
https://habr.com/ru/articles/1033360/
#SystemVerilog #verilog #Ada #VHDL #Jovial #Coral66 #IBM #Стенфорд #вопросы_на_собеседовании #внешний_вид
-
Перепрыгивание с языка на язык как тактика прохождения интервью
В 2010 году я участвовал в интервьировании на позицию по моделированию и верификации процессорных ядер. Один из кандидатов был благообразный седой американец, который до этого работал в IBM. Я задал вопрос про язык описания и верификации аппаратуры SystemVerilog. На это кандидат сказал, что он еще не освоил SystemVerilog, вписал его в резюме на будущее, но вообще использовал Verilog-95 и немного Verilog-2001. “Нет проблем”, - сказал я и задал вопрос по Verilog-95: “приведите примеры гонок (race conditions) при испрользовании верилога”. На это кандидат сказал, что вообще его опыт был больше связан с VHDL. “Блин, как он выкрутился” - подумал я, ведь в VHDL нет гонок как в верилоге из-за дизайна языка.
https://habr.com/ru/articles/1033360/
#SystemVerilog #verilog #Ada #VHDL #Jovial #Coral66 #IBM #Стенфорд #вопросы_на_собеседовании #внешний_вид
-
Перепрыгивание с языка на язык как тактика прохождения интервью
В 2010 году я участвовал в интервьировании на позицию по моделированию и верификации процессорных ядер. Один из кандидатов был благообразный седой американец, который до этого работал в IBM. Я задал вопрос про язык описания и верификации аппаратуры SystemVerilog. На это кандидат сказал, что он еще не освоил SystemVerilog, вписал его в резюме на будущее, но вообще использовал Verilog-95 и немного Verilog-2001. “Нет проблем”, - сказал я и задал вопрос по Verilog-95: “приведите примеры гонок (race conditions) при испрользовании верилога”. На это кандидат сказал, что вообще его опыт был больше связан с VHDL. “Блин, как он выкрутился” - подумал я, ведь в VHDL нет гонок как в верилоге из-за дизайна языка.
https://habr.com/ru/articles/1033360/
#SystemVerilog #verilog #Ada #VHDL #Jovial #Coral66 #IBM #Стенфорд #вопросы_на_собеседовании #внешний_вид
-
Перепрыгивание с языка на язык как тактика прохождения интервью
В 2010 году я участвовал в интервьировании на позицию по моделированию и верификации процессорных ядер. Один из кандидатов был благообразный седой американец, который до этого работал в IBM. Я задал вопрос про язык описания и верификации аппаратуры SystemVerilog. На это кандидат сказал, что он еще не освоил SystemVerilog, вписал его в резюме на будущее, но вообще использовал Verilog-95 и немного Verilog-2001. “Нет проблем”, - сказал я и задал вопрос по Verilog-95: “приведите примеры гонок (race conditions) при испрользовании верилога”. На это кандидат сказал, что вообще его опыт был больше связан с VHDL. “Блин, как он выкрутился” - подумал я, ведь в VHDL нет гонок как в верилоге из-за дизайна языка.
https://habr.com/ru/articles/1033360/
#SystemVerilog #verilog #Ada #VHDL #Jovial #Coral66 #IBM #Стенфорд #вопросы_на_собеседовании #внешний_вид
-
Dans un mois, ce sera le début de la 30ème conférence sur les technologies de logiciels sûrs AEiC.
Elle aura lieu cette année en Suède à Västerås.
Il y aura des tutos sur Ada et Spark, des présentations sur Ada mais aussi Rust et plein d'autres sujets...
https://www.ada-europe.org/conference2026/index.html -
How to Prioritize ADA Title II Accessibility Efforts, by @sloandr.bsky.social:
https://vispero.com/resources/ada-title-ii-accessibility-prioritization-guide/
-
The Book That Taught Nonna to Cook Is Coming to America
Michael Szczerban began chasing his literary white whale one afternoon in 2013. He was editing Samin Nosrat’s co…
#dining #cooking #diet #food #Italianrecipes #Ada #Boni #BookTradeandPublishing #CookingandCookbooks #Italia #Italian #ItalianFood(Cuisine) #italianfoodrecipes #italianrecipes #italiano #italy #Recipes #TheTalismanofHappiness(Book)
https://www.diningandcooking.com/2618575/the-book-that-taught-nonna-to-cook-is-coming-to-america/ -
The Book That Taught Nonna to Cook Is Coming to America https://www.diningandcooking.com/2618575/the-book-that-taught-nonna-to-cook-is-coming-to-america/ #Ada #Boni #BookTradeAndPublishing #CookingAndCookbooks #Italia #Italian #ItalianFood(Cuisine) #ItalianFoodRecipes #ItalianRecipes #italiano #italy #Recipes #TheTalismanOfHappiness(Book)
-
🇺🇦 #NowPlaying on #KEXP's #MidnightInAPerfectWorld
Ada:
🎵 Faith (DJ Koze's Grungerwomen Remix Instrumental)https://mooseface.bandcamp.com/track/ada-faith-mooseface-remix
-
⚖️ PCB Statement on ADA Title II Interim Final Rule
PCB joins the American Council of the Blind in opposing the delay of website accessibility regulations under ADA Title II.
After 14 years of advocacy, we believed accessible websites were finally within reach. This delay prolongs barriers for people who are blind or have low vision.
Review ACB’s full statement:
https://www.acb.org/acb-statement-regarding-ada-title-ii-interim-final-ruleAccessibility cannot wait! Take Action Today!
-
⚖️ PCB Statement on ADA Title II Interim Final Rule
PCB joins the American Council of the Blind in opposing the delay of website accessibility regulations under ADA Title II.
After 14 years of advocacy, we believed accessible websites were finally within reach. This delay prolongs barriers for people who are blind or have low vision.
Review ACB’s full statement:
https://www.acb.org/acb-statement-regarding-ada-title-ii-interim-final-ruleAccessibility cannot wait! Take Action Today!
-
⚖️ PCB Statement on ADA Title II Interim Final Rule
PCB joins the American Council of the Blind in opposing the delay of website accessibility regulations under ADA Title II.
After 14 years of advocacy, we believed accessible websites were finally within reach. This delay prolongs barriers for people who are blind or have low vision.
Review ACB’s full statement:
https://www.acb.org/acb-statement-regarding-ada-title-ii-interim-final-ruleAccessibility cannot wait! Take Action Today!
-
⚖️ PCB Statement on ADA Title II Interim Final Rule
PCB joins the American Council of the Blind in opposing the delay of website accessibility regulations under ADA Title II.
After 14 years of advocacy, we believed accessible websites were finally within reach. This delay prolongs barriers for people who are blind or have low vision.
Review ACB’s full statement:
https://www.acb.org/acb-statement-regarding-ada-title-ii-interim-final-ruleAccessibility cannot wait! Take Action Today!
-
The ADA Title II digital accessibility deadlines have been extended by one year, but the requirements remain the same.
Learn what this means in practice and how to use the extra time to move forward with a clear accessibility strategy.
Read the blog:
https://vispero.com/resources/ada-title-ii-deadline-extension-2026/ -
Ada, the quiet colossus
The Quiet ColossusOn Ada, the language that the Department of Defense built, the industry ignored, and every modern language quietly became
There is a language that made generics a first-class, standardised feature of a widely deployed systems language, formalised the package, built concurrency into the specification rather than the library, mandated the sep
https://monodes.com/predaelli/2026/04/19/ada-the-quiet-colossus/
#SenzaCategoria #Ada #Quality -
RE: https://fosstodon.org/@bsdphk/116419755925180688
Back in the 1980s when I was but a larval programmer my father, who worked on the railways, heard about #Ada, and tried to encourage me to give it a whirl, as it would surely be what everyone used in the future. There was even a compiler available for CP/M that I could have used at home. I took one look at it and decided that writing Z80 assembler was easier and therefore better. It was, of course, only easier because I already knew it. And so I have never used Ada.
-
Looks like the DOJ is delaying the #ADA #Title2 implementation by a year. Pre-published rule here, to be formally published on the 20th: https://www.federalregister.gov/public-inspection/2026-07663/extension-of-compliance-dates-for-nondiscrimination-on-the-basis-of-disability-accessibility-of-web
The posted PDF is untagged, of course. Here's a tagged version that passes CommonLook checks aside from some font embedding bits that I haven't learned how to fix yet: https://michaelhans.com/eclecticism/wp-content/uploads/2026/04/2026-07663-TAGGED.pdf (845 KB .pdf)
-
I have been running some benchmarking on c-to-SPARK translation and the difference between opus and sonnet is astonishing.
Sonnet is okay for the translation to #Ada, but has a hard time lifting to #SPARK Silver. Opus is strong in simple algorithms, but needs more guidance in more complex code bases.
-
The Quiet Colossus — On Ada, Its Design, and the Language That Built the Languages
-
Ada, its design, and the language that built the languages
-
Ah, #Ada, the #language that everyone loves to pretend they understand 😏, but no one actually uses. It's the quiet genius that the #Department #of #Defense forced upon us, while the rest of the industry rolled its eyes and moved on to flashier toys. Meanwhile, Ada smugly sits back, knowing it's the #unsung #hero of modern #programming, yet as relevant to developers today as dial-up internet. 📞💾
https://www.iqiipi.com/the-quiet-colossus.html #Legacy #Tech #HackerNews #ngated -
Ada, Its Design, and the Language That Built the Languages
https://www.iqiipi.com/the-quiet-colossus.html
#HackerNews #Ada #Programming #Language #Design #Languages #Tech #History #Software #Development
-
An essay on why the Ada programming language was ahead of its time and why its influence is largely unacknowledged.
-
For anybody doing #Ada or #SPARK work with LLMs, here is a GNATprove and Alire skill. Test with both Claude and Codex:
https://github.com/AdaCore/skills
This will help your LLM create projects easier (say rPi Pico for example) and reason more about how to lift code to SPARK Silver to prove the absence of runtime errors, #AoRTE
-
The ABLE Act helps reduce some of the harm these policies cause, but it does not address the underlying causes. As a result, many disabled people continue to struggle to survive, and some remain as vulnerable as ever.
#ADA #DisabilityRights #ABLEAct
https://progressive.org/magazine/the-able-act-reduces-some-harm-but-does-not-address-underlying-causes-ervin-20260415/ -
One of my fun tasks for the next 2 days: Getting #Zephyr to work on an #STMicroSTM32 Nucleo-H563ZI using a #Tasking iC7 pro.
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
#ada
I didn't realize this but the deadline to make ADA compliant websites for local US governments is April 24.This is surprising to me, because it includes school documents.
That means I have 10 days to add captions to my videos, or remove pdfs etc.
I think in the short run, many resources will drop off the net because they don't comply.
-
After yesterday’s performance of Kain und Abel, I made a “What’s in my bag?” video series, and my husband edited it down to a single one again so I can share it! I talk about my bag, snack, cat, fan and secrets!
#WIMB #backstage #WhatsInMyBag #Ada #Kain und Abel #Weingartner #opera #operaSinger
-
After yesterday’s performance of Kain und Abel, I made a “What’s in my bag?” video series, and my husband edited it down to a single one again so I can share it! I talk about my bag, snack, cat, fan and secrets!
#WIMB #backstage #WhatsInMyBag #Ada #Kain und Abel #Weingartner #opera #operaSinger
-
After yesterday’s performance of Kain und Abel, I made a “What’s in my bag?” video series, and my husband edited it down to a single one again so I can share it! I talk about my bag, snack, cat, fan and secrets!
#WIMB #backstage #WhatsInMyBag #Ada #Kain und Abel #Weingartner #opera #operaSinger
-
After yesterday’s performance of Kain und Abel, I made a “What’s in my bag?” video series, and my husband edited it down to a single one again so I can share it! I talk about my bag, snack, cat, fan and secrets!
#WIMB #backstage #WhatsInMyBag #Ada #Kain und Abel #Weingartner #opera #operaSinger
-
After yesterday’s performance of Kain und Abel, I made a “What’s in my bag?” video series, and my husband edited it down to a single one again so I can share it! I talk about my bag, snack, cat, fan and secrets!
#WIMB #backstage #WhatsInMyBag #Ada #Kain und Abel #Weingartner #opera #operaSinger
-
https://www.wacoca.com/videos/3183948/celebrity/ MALAM LAE, ADA APA MU? | #exereborn ##gtav ##roleplay #ADA #APA #Celebrities #Celebrity #comedy #exereborn #Fun #indonesia #LAE #MALAM #Music #Musik #RNB #TOKIO #Vlog
-
La sapevate l’ultima su #Netflix?
Aveva pubblicato il documentario #RootCause che collegava #devitalizzazioni dentali al #cancro…immaginate le polemiche.
La realtà è chiara: nessun legame causale.
È un mito smentito da #ADA, #AAE e anche altri studi. Tutto basato su teorie di #WestonPrice, rimosso per pseudoscienza.
-
https://www.europesays.com/it/429308/ Rocco Hunt, la moglie Ada in dolce attesa: «Non resistiamo più», l'annuncio sui social – Il Mattino #ada #Entertainment #figlio #Intrattenimento #IT #Italia #Italy #moglie #Music #Musica #RoccoHunt
-
Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples
http://inspirel.com/articles/Ada_On_Cortex.html
#HackerNews #Ada #Spark #ARM #Cortex-M #Arduino #Nucleo #Tutorial
-
Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples
http://inspirel.com/articles/Ada_On_Cortex.html
#HackerNews #Ada #Spark #ARM #Cortex-M #Arduino #Nucleo #Tutorial
-
Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples
http://inspirel.com/articles/Ada_On_Cortex.html
#HackerNews #Ada #Spark #ARM #Cortex-M #Arduino #Nucleo #Tutorial
-
Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples
http://inspirel.com/articles/Ada_On_Cortex.html
#HackerNews #Ada #Spark #ARM #Cortex-M #Arduino #Nucleo #Tutorial
-
Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples
http://inspirel.com/articles/Ada_On_Cortex.html
#HackerNews #Ada #Spark #ARM #Cortex-M #Arduino #Nucleo #Tutorial
-
Pictures from last night! This was my outfit for the party after the premiere of “Kain und Abel.” The composer Felix Weingartner originally described my character Ada’s outfit as “loosely wrapped in a robe of white, fluffy fabric,” but in our production, she wears a burgundy business suit and an orange turtleneck sweater. So I wore my own fluffy white ensemble to the party!
#KainUndAbel #Weingartner #opera #Darmstadt #Hessen #operaSinger #Ada
