Ada Planet @AdaPlanet1

The bot is no longer operational, due to changes to Twitter API. I recommend to use Mastodon: @[email protected] Joined May 2020

Tweets

4K
Followers

96
Following

0
Likes

0

Ada Planet @AdaPlanet1

2 years ago

Rejected (legal?) program groups.google.com/g/comp.lang.ad… #ada #programming

0 0 0 64 0

Ada Planet @AdaPlanet1

2 years ago

We're thrilled to announce the release of our latest technical paper highlighting NVIDIA's use of RecordFlux and SPARK to Implement SPDM for Secure Co... #ada #programming

AdaCore | Ada/C/C++ tools for critical software @AdaCoreCompany

2 years ago

We're thrilled to announce the release of our latest technical paper highlighting NVIDIA's use of RecordFlux and SPARK to Implement SPDM for Secure Co... #ada #programming

0 1 11 434 0

Download Image

0 0 2 93 0

Ada Planet @AdaPlanet1

2 years ago

Currency Library for Ada? groups.google.com/g/comp.lang.ad… #ada #programming

0 0 0 41 0

Ada Planet @AdaPlanet1

3 years ago

Ada-Spain Technical (Half-)Day, April 18. reddit.com/r/ada/comments… #ada #programming

0 0 0 32 0

Ada Planet @AdaPlanet1

3 years ago

How to best import a menu from a glade file and then connect signals to them? forum.ada-lang.io/t/how-to-best-… #ada #programming

0 0 0 36 0

Ada Planet @AdaPlanet1

3 years ago

Which universities teach Ada programming courses? forum.ada-lang.io/t/which-univer… #ada #programming

0 0 0 28 0

Ada Planet @AdaPlanet1

3 years ago

Ada targeting RPI reddit.com/r/ada/comments… #ada #programming

0 0 0 22 0

Ada Planet @AdaPlanet1

3 years ago

ANN: VisualAda (Ada Integration for Visual Studio 2022) release 1.0.0.12 groups.google.com/g/comp.lang.ad… #ada #programming

0 0 0 27 0

Ada Planet @AdaPlanet1

3 years ago

What's the best way to go about fixing the elaboration order in a largish pile of Ada code that was written without concern for it? reddit.com/r/ada/comments… #ada #programming

0 0 0 39 0

Ada Planet @AdaPlanet1

3 years ago

Why does elaboration require the programmers attention in Ada? stackoverflow.com/questions/7597… #ada #programming

0 0 0 42 0

Ada Planet @AdaPlanet1

3 years ago

[ANN] Release of UXStrings 5.0 reddit.com/r/ada/comments… #ada #programming

0 0 0 17 0

Ada Planet @AdaPlanet1

3 years ago

Help with Ada reddit.com/r/ada/comments… #ada #programming

0 0 1 42 0

Ada Planet @AdaPlanet1

3 years ago

Ada news March 2023 reddit.com/r/ada/comments… #ada #programming

0 0 0 18 0

Ada Planet @AdaPlanet1

3 years ago

Contracts in generic formal subprogram groups.google.com/g/comp.lang.ad… #ada #programming

0 0 0 18 0

Ada Planet @AdaPlanet1

3 years ago

Seer - a gui frontend to gdb forum.ada-lang.io/t/seer-a-gui-f… #ada #programming

0 0 0 33 0

Ada Planet @AdaPlanet1

3 years ago

Ada Energy Efficiency reddit.com/r/ada/comments… #ada #programming

0 0 1 20 0

Ada Planet @AdaPlanet1

3 years ago

Sftp reddit.com/r/ada/comments… #ada #programming

0 0 0 6 0

Ada Planet @AdaPlanet1

3 years ago

How to get the ARM toolchain up and running? reddit.com/r/ada/comments… #ada #programming

0 0 1 22 0

Ada Planet @AdaPlanet1

3 years ago

gnatstub groups.google.com/g/comp.lang.ad… #ada #programming

0 0 0 17 0

Ada Planet @AdaPlanet1

3 years ago

ChatGPT groups.google.com/g/comp.lang.ad… #ada #programming

0 0 0 31 0

John Dziurłaj @Dziurlaj

794 Followers 2K Following Where Politics, Policy, and Technology meet. Also @dziurlaj.bsky.social $RT -ne "Endorsment"

Simon Rowe @wiremoons

98 Followers 882 Following Computers (open-source coding; Apple; Linux) | Cycling | Photography | Gaming | — so most things geeky! @wiremoons.bsky.social

Erik Duvinage @DuvinageErik

7 Followers 61 Following

Daniel Marchel 🇵�... @DanielMarchel_

56 Followers 310 Following Inż. automatyki | Programista PLC i IPC | Nauczyciel matematyki

Dirk Craeynest @DirkCraeynest

121 Followers 13 Following Senior I.T. Consultant

silken @silken81

121 Followers 368 Following

Glace @Glace15840573

312 Followers 1K Following Mediocre white human capital You block me = I lose 😥

Sheldon Cooper @bjsheldon59

2 Followers 120 Following

howetzir @howetzir

0 Followers 45 Following

#transparency #anarchy #sustainability #peace #yesscotland (Rat/Rat's) «Это не есть мера здоровья — быть хорошо приспособленным к глубоко больному обществу.» ♎♏

☀️♎♻️☮�... @ratxue

2K Followers 3K Following #transparency #anarchy #sustainability #peace #yesscotland (Rat/Rat's) «Это не есть мера здоровья — быть хорошо приспособленным к глубоко больному обществу.» ♎♏

Mike @logrott

79 Followers 391 Following Software Developer. Maker. Successfully fooling people into thinking I am professional since 2010.

Jesper Quorning @jesper_quorning

3 Followers 52 Following

Thiago Skapata (já v... @thiagoskapata

245 Followers 1K Following Amanto de ĉokolado, skao, lingvoj kaj programlingvoj. Ja učim sebe medžuslovjansky jezyk. Èo studío neolatino.

Ronald Przygodzki @gizbab

1K Followers 2K Following Actively advancing medical science to enhance the quality of life for others. My thoughts and opinions.

ritzin @ritzin7

3 Followers 806 Following

Jose M. Mendez Magan @posaparami

356 Followers 2K Following It's a passion, not a job

LearnshareIT: This project is designed to help students #learn and share their #knowledge more effectively. We connect IT experts and students so they can share

Learn Share It @learnshareitcom

329 Followers 565 Following LearnshareIT: This project is designed to help students #learn and share their #knowledge more effectively. We connect IT experts and students so they can share

hachyderm.io/@andyand... @andyhaeber

188 Followers 3K Following Developer

Anton Mohorčič @antonmohorcic

259 Followers 2K Following

Luke Sapp @EchoSolar

22 Followers 334 Following I'm a Computer Science undergrad @tennesseetech

joao chagas @rafaaviator

279 Followers 5K Following

Sαmεεr @SameerDeneb

316 Followers 3K Following “I do not believe that things will turn out well” A & H you're warned : Social skills of a hyena on acid "The fact is not decided by you"

Jacob @jakekillelea

52 Followers 527 Following Former Nova-C / IM-1 flight software engineer cat dad

Capri @CommandantCapri

15 Followers 172 Following 10^-8

Network, Security, Systems and Embedded engineer and co-founder.

In Candore Decus - Honour in purity

KISSIS: Keep it simple so it's securable.

Kevin Chadwick @AstartesKC

110 Followers 327 Following Network, Security, Systems and Embedded engineer and co-founder. In Candore Decus - Honour in purity KISSIS: Keep it simple so it's securable.

Khalid @Khalid02320232

0 Followers 2 Following

MaThOu213 @mathou213

90 Followers 754 Following 🇫🇷 Ici pour voir de tout et de rien.

Functional programming enthusiast. I enjoy coding stuff in #Nix, @typescript, @scala_lang, @elmlang. Constantly learning and exploring (also) the realm of #FP.

Michal Grygierzec @LambdaMike

74 Followers 811 Following Functional programming enthusiast. I enjoy coding stuff in #Nix, @typescript, @scala_lang, @elmlang. Constantly learning and exploring (also) the realm of #FP.

AI technology is a specialist in the field of #technology, especially in #artificialintelligence #deeplearning #cybersecurity #python

AI-tech pro® (japan) @energyengineer9

1K Followers 4K Following AI technology is a specialist in the field of #technology, especially in #artificialintelligence #deeplearning #cybersecurity #python

Functional safety with @rustlang. MD @ferroussystems.

Kyūdō (Nidan). Diver. Runs events. Ex-@rustlang project member. Founding member @rust_foundation. ❤️Ruby.

Florian Gilcher (@ska... @Argorak

5K Followers 3K Following Functional safety with @rustlang. MD @ferroussystems. Kyūdō (Nidan). Diver. Runs events. Ex-@rustlang project member. Founding member @rust_foundation. ❤️Ruby.

L'association Ada France. Langage de programmation Ada. Développeurs soyez les bienvenus :)
Existe aussi sur Mastodon @adafrance@mamot.fr ;)

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] ;)

shzmwfgwzf @asnawysl

111 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you

sergio oliveira @sergio_dev

138 Followers 3K Following

Bob Hutchinson @rchutchinson1

176 Followers 914 Following Product Architect, designer, dreamer

🌳 Olivier Pirson �... @OPirson

405 Followers 3K Following Developer / Computer Science 🐧 👨‍💻👨‍🔬 | 💾 https://t.co/Z8J9orX8Vo | 📚 @OPiCitationJour | 🧑‍🤝‍🧑 Bluesky: opimedia

Loophole Labs @loophole_labs

12 Followers 117 Following Formal methods consulting.

giedreich @aet_rux

27 Followers 367 Following security researcher

Celtux @acelgatenues

273 Followers 4K Following 'Data! Data! Data! I can't make bricks without clay' — Sherlock Holmes

. @ally0023

270 Followers 7K Following

Roman Janoušek @RomanJanousek19

38 Followers 305 Following

Expert multilingual programmer, software enginneer and architect. Inventor and roboteer. White hat. Active fraud and scam preventor. Shib enthusiast.

Spartacus @JadeEyedJoe

17 Followers 77 Following Expert multilingual programmer, software enginneer and architect. Inventor and roboteer. White hat. Active fraud and scam preventor. Shib enthusiast.

MD. WASIM AKRAM @mdwasimakram163

332 Followers 2K Following Wordpress Web Designer And Developer ecommerce and SEO expert

Aditi RaiPoder @AditiRaipoder

429 Followers 5K Following

Cuando hablo en serio, se ríen de mi y de lo que digo. Cuando trato de ser gracioso, se quedan serios y hasta se molestan. Háganse revisar.

Dalai Charlie Marlow @carlosbares

2K Followers 5K Following Cuando hablo en serio, se ríen de mi y de lo que digo. Cuando trato de ser gracioso, se quedan serios y hasta se molestan. Háganse revisar.

$web后端开发者 \ email: jaredyancf@gmail.com$

GRGYN @JaredYanCF

29 Followers 607 Following web后端开发者 \ email: [email protected]

ɹʞƆOɹ∀∩˥ �... @dummheitstinkt

387 Followers 4K Following Software brewer, preferably Ada, C/C++, Modula-2/Oberon-*and Lua. Something with trains (the big ones) and automation, too.🏴‍☠️

DevOps, agile, Micro-services, Data Management, Taoism, Libertarian.

#VoteGold
Presence over Purpose
Invest in a better world, Cav Ai-ee-yah

Jerry Not quite 💯 @jlggeek

1K Followers 5K Following DevOps, agile, Micro-services, Data Management, Taoism, Libertarian. #VoteGold Presence over Purpose Invest in a better world, Cav Ai-ee-yah

S. Bardot @sjpbardot

4 Followers 32 Following

Photography | Drawing | Shipbuilding | FreeCAD ShipTools workbench code name: - Project Noah - IT IS NOT THE SHIP THAT IS SINKING....

Jos M. Runarka @runarko

62 Followers 187 Following Photography | Drawing | Shipbuilding | FreeCAD ShipTools workbench code name: - Project Noah - IT IS NOT THE SHIP THAT IS SINKING....