Ada Programmers @adaprogrammers
Write in Ada, make better software! https://t.co/0OdLbtrYZ6 Account maintained by some people from @AdaCoreCompany. #MakewithAda alire.ada.dev Joined April 2016-
Tweets771
-
Followers1K
-
Following497
-
Likes659
@radothebat Having had to program in Ada for a time, which is a VERY strongly typed language, it was nice having a lot of errors solved at compile time. Having to write tests in python, i'm always wondering and looking up what type i'm expected to be passed
Exciting updates for our Learn.AdaCore website! We're bringing you enhanced tutorials, cutting-edge resources, and more to enrich your learning experience. Perfect for both new and seasoned programmers. 🔗 Read all about it: blog.adacore.com/learn-2023-upd… #ada
Any debate about programming language safety that does not mention Ada is moot.
I wanted to play with OpenAI in Ada programs so I wrote the OpenAI Ada library. I wrote one command line Chat-GPT example and another for image generation with DALL.E. Quite cool! blog.vacs.fr/vacs/blogs/pos…
@oas_generator @wing328 This version also contains some improvement and fixes in the Ada code generator. I've integrated in the OpenAPI Ada library. Thx @wing328 github.com/stcarrez/swagg…
New version of Ada BFD, the Ada binding for the GNU Binutils BFD library. This version has an Alire crate, fixes support for recent Binutils versions. I've added some notes for the setup, reading the symbol table, finding the nearest line of an address. blog.vacs.fr/vacs/blogs/pos…
Announcing Ada binding to the wolfSSL library dlvr.it/St8WjP
The 2023 @StackOverflow survey is live. We are happy to see Ada listed in options for programing languages for the first time! Don't hesitate to fill the survey and show you love of Ada/SPARK 😍 stackoverflow.blog/2023/05/08/the…
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear blog.adacore.com/announcing-the…
🚨 PSA for Ada & SPARK programmers: tis the season to be giving so we're joining the Advent of Code fun🧑🎄! Each time someone completes 1 of the challenges in the #Adaprogramming language, we'll donate $10 & if it's in SPARK $20, to @adaacademy up to $5k - blog.adacore.com/tis-the-season…
fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda
AdaCore is looking for an intern eager to explore the future of #WebAssembly in Ada/SPARK! I opened this position (and will be supervising it) because I believe wasm will bring so many exciting possibilities for Ada/SPARK. Formally verified Web anyone? app.hellotalent.com/Vacancy/webass…
Pour ceux qui n'auraient pas bien vu, nous serons à @OSXP_Paris les 8 et 9 novembre prochain 😊 #OSXP2022
Pour ceux qui n'auraient pas bien vu, nous serons à @OSXP_Paris les 8 et 9 novembre prochain 😊 #OSXP2022
Another industrial user of the #AdaProgramming language. adacore.com/papers/ada-at-…
3 months until the end of Ada/SPARK Crate of The Year 2022. Tell us what cookin' 🍳 #Ada #SPARK github.com/AdaCore/Ada-SP…
merge conflicts in 1843
Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems.
Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems.
AdaCore | Ada/C/C++ t... @AdaCoreCompany
2K Followers 458 Following AdaCore helps people build safe, secure and reliable software.
N/A @DesChips
500 Followers 246 Following
Björkus 'No time_t t... @__phantomderp
13K Followers 2K Following The C Standard Cannot Be Replaced And Will Never Be Destroyed. ➡ https://t.co/IWEB4XZpve | Avatar @KIINGKIISMET | Banner @Reckless_Moss
Maya Posch @MayaPosch
4K Followers 525 Following Just another AI | Author | Software & Hardware Developer | C++, Ada, VHDL | Electronics | Science | English, 日本語, Deutsch, Nederlands
Embedded Systems @embedsys
31K Followers 8K Following The embedded systems newsletter. Subscribe here https://t.co/MttQM3M7kU. Weekly selection of embedded software and hardware articles. Hand-made, on Friday
Lup Yuen Lee 李立�... @MisterTechBlog
6K Followers 4K Following IoT Techie and Educator / Apache NuttX PMC @[email protected]
Touisteur EmporteUneV... @touisteur
177 Followers 310 Following Fuzzing nut, Ada lover, Spark enthusiast
Antonio Bernardini @berna_engineer
16 Followers 149 Following Computer Engineering Student passionate about cybersecurity, hardware, firmware, and software, sharing knowledge through innovative projects and impactful code.
潦草Blob猫 @blobcaaaat
54 Followers 102 Following
Chris Nelson @zenck_null
0 Followers 50 Following
MARKA S CHARAN @charan_mar68075
47 Followers 307 Following Building on Ethereum & Solana, 🥈Runner up in AI & ML Hackathon Parul University 2025
Kjell Antonsen @Kjellantons
0 Followers 13 Following
bobo @bobo23323425
11 Followers 136 Following
Farida Bashiru @bashiru_farida
0 Followers 11 Following
roman5 @roman_caseysv
24 Followers 201 Following I m a brain explorer searching for an intelligent lifeform here but still looking for a definition of intelligence. I want to believe ... (not easy)
Stuart Alexander @eeyrsja
17 Followers 648 Following
Jatin @jatin7102002
0 Followers 9 Following
YounesIO @YounesAka
89 Followers 433 Following SWE. Rust. Python. TLA+. Prolog. Julia. Typescript. AI/ML.
wubi wubi @wubiwubi
3 Followers 108 Following
Ken Nelson @KenNelson155
7 Followers 122 Following
Lukas Derendinger @lderendi
226 Followers 389 Following Physiklehrer, PhD in Plasmaphysik, Booking & Künstler:innen-Vermittlung. Der Klimawandel ist antropogen. #TeamScience
Lesbo Bateman (find m... @femcelstasi
286 Followers 441 Following wandelndes impostersyndrom | frauending | priv: @FemcelBateman
Kotoka Erasmus @kotokaeras
42 Followers 907 Following Web Development Expert | Website Management Specialist | Passionate about crafting seamless online experiences | Sharing tips & insights.
Ed Maphis @e_maph
543 Followers 1K Following
Guillermo Hazebrouck @GuilleHaz
0 Followers 8 Following
token_cheeked @TCheeked2945
3 Followers 109 Following
Vincent @dagvin
76 Followers 1K Following
Tripp R @Real_Tripp_R
128 Followers 695 Following 🇺🇸 🇺🇦 Per aspera ad astra CS Student C++ enjoyer https://t.co/1HTYEEKhVs -
Og hulos @favour78765
19 Followers 120 Following
Peter Schneider | @ps... @pschneider1968
943 Followers 2K Following IT person. Self-taught painter, digital artist, photographer, mountain lover. Critic. Cynic. Slapstick. #Chess patzer and Grandmaster of #blunders. #chesspunks
Alexey Seisdedo Losa @Seis074
45 Followers 274 Following
Francisco José Tapia @FranciscoJosTa7
12 Followers 364 Following
Code Master 👨�... @Mister_Negativo
328 Followers 1K Following Programar es tan fácil como encontrar el santo grial https://t.co/axAkeVdeSX https://t.co/euate1KiNS 😃
STEVEMOBSLAYER @Leegendarni
696 Followers 8K Following Talk with me about music and i'll be your best friend #CancelCancer #SupportStJude
Staffers @staffers_no
0 Followers 11 Following Staffers platform match skilled workers with employers in the hospitality industry.
Ahir Abhi @AhirAbhi124046
0 Followers 22 Following
RedFox @kitakitzne
54 Followers 164 Following
Werner Aeschbacher @WernerAesc69902
25 Followers 9 Following
sapling @saplinglearning
92 Followers 104 Following
Dr Mengele @NaturalNat1488
52 Followers 99 Following
thewolf61 @BrettThewolf61
16 Followers 208 Following
AdaCore | Ada/C/C++ t... @AdaCoreCompany
2K Followers 458 Following AdaCore helps people build safe, secure and reliable software.
hackaday @hackaday
267K Followers 2K Following 🔥 Read: https://t.co/KG4TpCzO7H ☠️ Contribute: tips at hackaday dot com 👉 Projects: @hackadayio #Fediverse: @[email protected] 📒 Learn: https://t.co/p1jaCktSDt
N/A @DesChips
500 Followers 246 Following
Maya Posch @MayaPosch
4K Followers 525 Following Just another AI | Author | Software & Hardware Developer | C++, Ada, VHDL | Electronics | Science | English, 日本語, Deutsch, Nederlands
Hackster.io @Hacksterio
152K Followers 4K Following Hackster is the world’s fastest growing developer community for learning, programming, and building hardware with 2.4M+ members and 40K+ open source projects.
Embedded Systems @embedsys
31K Followers 8K Following The embedded systems newsletter. Subscribe here https://t.co/MttQM3M7kU. Weekly selection of embedded software and hardware articles. Hand-made, on Friday
adafruit industries @adafruit
234K Followers 0 Following Brooklyn, NY USA - Manufacturer, open-source hardware, certified Minority and Woman-owned Business Enterprise (M/WBE) X account managed by @ladyada & @ptorrone
arturo182 is on Blues... @arturo182
34K Followers 644 Following HW & SW Founder of @solderparty He/him Also at 🐘 @[email protected] 🦋 https://t.co/OJuBO4gALk #BlockTheBlue - automated
FOSDEM @fosdem@fossto... @fosdem
22K Followers 156 Following FOSDEM is a free and non-commercial event organized by the community, for the community.
Touisteur EmporteUneV... @touisteur
177 Followers 310 Following Fuzzing nut, Ada lover, Spark enthusiast
Sarah Andersen @SarahCAndersen
879K Followers 2K Following Author of Sarah's Scribbles, FANGS, and Cryptid Club she/her No NFTs 🚫 no A.I. Publishing inquiries: [email protected]
Solder Party @solderparty
7K Followers 16 Following We design easy to use products that help you develop your projects. All our products are open source HW and SW! Find our links at https://t.co/KquE5HDl7b
kulancı @klncklnll
2K Followers 1 Following
Martin Krischik @martin_krischik
228 Followers 442 Following „For each right there is an equal and opposite obligation.”
joao chagas @rafaaviator
280 Followers 5K Following
Molly White @molly0xFFF
123K Followers 2K Following crypto & tech industry researcher & critic at https://t.co/hb1tT2Q3bJ & @web3isgreat • software engineer • wikipedian support my work: https://t.co/FPG3uvikH0
Natacha Kerensikova @faelys_
87 Followers 72 Following
Nathaniel Reindl 🏳... @nrr
2K Followers 4K Following SRE. Math. Some kind of plantimal. Likes are bookmarks. Trans rights are human rights. Moses was a very good cat. Don't talk to cops. he/him.
Aï Maiga @ai_maiga
791 Followers 460 Following Doing Rust and Embedded @FerrousSystems 🦀 🇸🇪 CS master at KTH: "Does Rust SPARK Joy?" Safe bindings recommendations between Rust and SPARK 🦀✨"
Claus Emmanuelle @emclaus
13 Followers 75 Following Hiring exceptional, innovative and talented IT engineers at Nalys. We are a fast growing high technology consulting actor.
Paul Butcher @the_butcher_boy
27 Followers 48 Following
Harry DANINTHE @harrydaninthe
47 Followers 80 Following Mathematician,Programmer Erlang, Haskell OCaml, C | Geek | Theoretical physics, PhD | Those tweets do not reflect my opinions ;-)
alex ☆ glow @glowascii
11K Followers 4K Following robots, music, languages, biohacking, PCB art • hardware nerd @hacksterio • thoughts & feels my own • bad at dms • she/her. @[email protected]
Mike Noodle @MikeSpike3
403 Followers 387 Following I write incredibly uninteresting low-level software. Also transit, urbanism, and sometimes outdoor stuff.
Ricardo Brandão @programonauta
70 Followers 91 Following C Developer, IT entusiast XgappTME3cFMQ7jxu38GeWRk28rYm6ZvLv
Evolutek @evolutek42
365 Followers 203 Following Association de robotique des écoles Epita, Epitech et Ipsa.
JK🇪🇺🌻🇺�... @JK70523
80 Followers 110 Following Working @AdaCoreCompany, building software in #Adalang and #SPARK https://t.co/uTUnS52uou
Oliver Kopp @koppor
403 Followers 1K Following
ɹʞƆOɹ∀∩˥ �... @dummheitstinkt
388 Followers 4K Following Software brewer, preferably Ada, C/C++, Modula-2/Oberon-*and Lua. Something with trains (the big ones) and automation, too.🏴☠️
Mauro Panigada @shintakezou
312 Followers 2K Following Born, living... one day (maybe too soon) I'll die… at https://t.co/HwrGTyQVl8 and elsewhere
ANNEXI-STRAYLINE @AnnexiStrayline
4 Followers 7 Following
wolfSSL Embedded SSL/... @wolfSSL
10K Followers 6K Following The most popular open source, embedded TLS. Active in #IoTSecurity, #Avionics, #Automotive & more. Over 5B connections secured! #TLS13 #SecureYourConnectivity
JeromeLambourg @JLambourg
2 Followers 3 Following
Ossi Herrala @oherrala
388 Followers 430 Following Monad Nomad, Co-Founder and R&D lead at @SensorFu, OH8HUB. Mastodon: https://t.co/prLJA1bFel Ham radio: https://t.co/VI1hckLkBm
Rob Veenker @robveenker
3 Followers 15 Following
DigitalOcean @digitalocean
223K Followers 1K Following The simplest scalable cloud. ☁️ Status: @DOstatus Support: https://t.co/5gkvyinPlK
Open Robotics @OpenRoboticsOrg
39K Followers 2K Following Our mission is to support development, distribution, and adoption of open source software like #ROS and #Gazebo for use in the robotics industry. Formerly OSRF.
Mathieu RENARD @GotoHack
1K Followers 743 Following Low level Security researcher / iOS / Embedded systems / Hardware Attacks / Forensics / Wookey / Leia & Founder of https://t.co/pSkWgwEj91 & Founder CEO of @TwistedWiresIO
Alex Senier @AlexSenier
18 Followers 22 Following
High Integrity Softwa... @HISC_conf
142 Followers 61 Following This year's event is on 13 Nov 2025 at the ICC Wales, UK. For the full programme & to register, please visit https://t.co/TvbjLUoxkw
Genode Labs @GenodeLabs
662 Followers 73 Following This account is dormant. Follow us on https://t.co/3QNB1TRhGd
Zerte @Zertovitch
111 Followers 82 Following
Elon Musk @elonmusk
225.3M Followers 1K Following
Bob Konferenz @BOBKonf
810 Followers 226 Following Account on hiatus. Please find us at @[email protected] and @bobkonf.bsky.social
arclight @arclight
5K Followers 3K Following Engineer, scientific software developer, Fortran nerd, semi-ex-sysadmin. Occasional Bond Villain (Card Overpunch). Nuclear Scoundrel™ @[email protected]
Ada France @adafrance
175 Followers 436 Following L'association Ada France. Langage de programmation Ada. Développeurs soyez les bienvenus :) Existe aussi sur Mastodon @[email protected] ;)
Challenge Ada Lovelac... @AdaChallenge
157 Followers 34 Following 8e édition du Challenge Ada Lovelace les 3 et 4 février 2023, challenge d'initiation à la programmation destiné aux lycéennes.Trends for United States
You might like
