Andrea Bristol FCIM @ASextonPR
PR and Marketing at @AdaCoreCompany Tools for Ada/SPARK/C/C++/Rust. THE High-Integrity and Safety-Critical experts. 🌈 Rides horses. [email protected] adacore.com Bristol, England Joined August 2013-
Tweets6K
-
Followers2K
-
Following4K
-
Likes7K
Introducing a new GNATfuzz development - check out what the @AdaCoreCompany DAS team has been up to.... adacore.com/blog/breaking-…
AdaCore releases an open-source demonstrator showing how formal verification tools can provide deterministic guardrails for AI in safety-critical software development. Read more: hubs.la/Q04xQPbT0 @AdaCoreCompany
Check out tomorrow's free live webinar with Aerospace Innovations, where José Ruiz from @AdaCoreCompany will join other speakers to discuss cyber resilience in the cockpit adacore.com/events/live-we…
We’re excited to announce a strategic collaboration with @einrideofficial to accelerate the future of autonomous trucking. Einride builds and operates the autonomous driving system. NVIDIA DRIVE Hyperion provides the production-ready foundation powering it — enabling Einride to scale safely. Looking forward to the journey ahead! 🚛
Einride enters a strategic collaboration with @NVIDIADRIVE to accelerate autonomous trucking on highways and suburban roads. Building the next generation of Einride Driver on NVIDIA Hyperion platform, supports capital efficient scale of autonomous capacity across Einride’s
Thanks for sharing our news, announcing our AI Development workflow @lembarquemedia 🤩lembarque.com/article/adacor… @AdaCoreCompany
An exciting launch for AdaCore today! A demonstration of trustworthy AI development bit.ly/4yBYUyi
I've been doing this for over 21 years, and launch day is always exciting. It never dulls! A huge congratulations to my colleagues - I'm incredibly proud to work with you. And guess what, this is just the start..... adacore.com/press/adacore-…
Under the Cyber Resilience Act, manufacturers have 24 hours to report an actively exploited vulnerability in their product. See how GitLab helps you answer fast. about.gitlab.com/blog/cyber-res…
Robotaxi leaders around the world are all building on NVIDIA to deploy and scale safe, reliable robotaxis. NVIDIA DRIVE is the only platform that spans AI training, simulation, and in-vehicle computing, and it's modular. Read more → nvda.ws/46Q6bOT
Ensuring High-Integrity Software in Complex, Autonomous Defense Systems unmannedsystemstechnology.com/feature/ensuri… via @UnmannedSystem
Want to know what engineers REALLY think about language choice? Join this webinar with @AdaCoreCompany and @VDC_Research adacore.com/events/beyond-…
Invest in Your Team this September! NASPICE 2026 Announces Buy 4 tickets, Get the 5th Free Promotion worldlifestyler.com/invest-in-your…
AdaCore equips developers to create reliable, safe, and secure software. Read more on UST ↓ hubs.la/Q04sB5HV0
This is such sad news - my condolences to all family, friends, and colleagues. I loved working with Darryl.
Darryl K. Taft, a respected technology journalist and New Stack news editor, is remembered as much for his interviewing talent and writing ability as for his care, curiosity, generosity, and kindness. thenewstack.io/darryl-taft-te…
Returning to a milestone that brought our teams together. 🚀 Behind the transfer & verticalization of our 2nd Stage lies weeks of preparation and the work of our Production & Integration, Fluids, SMS, Systems, Propulsion and Quality teams. Our launcher is becoming a reality. 🔥
@AdaCoreCompany 's Mark Hermeling chats to @SAEIntl about memory-safe languages and how AI-generated code can be used in safety-critical industries youtube.com/watch?v=PzH56F…
Can't make it to Montréal this September? RustConf 2026 is still available to you. Virtual tickets are pay what you wish! Livestreamed keynotes + sessions, plus access to the conference Discord. Sept 9 & 10. Register: bit.ly/4cbWVYz 🦀 #rustlang #rustconf26
AdaCore Reports Increased Adoption of Memory-Safe Programming Languages: ift.tt/wa8XokE
Most high-integrity systems end up spanning several languages, and the binding layer between them has always been the catch. See how GNATpolyglot generates that layer straight from Ada source in our latest blog post. adacore.com/blog/building-…
Toyota and NVIDIA have expanded their partnership to bring physical AI across several operations. This builds on Toyota's commitment to developing vehicles running the safety-certified DriveOS system (using SPARK for the most safety-critical parts) adacore.com/nvidia-and-ada…
Nicky Green @Nickyquin
2K Followers 3K Following Small , noisy Harlequins rugby fan who loves to party to cheesy music! Maker of decadent, gorgeous gooey brownies and owner of @short_sweetbake. #she/her
TBE Swindon & Wilts @TBESW
5K Followers 4K Following The Business Exchange Swindon & Wiltshire - Connecting you in print, online, through networking, events & awards. Find out more: https://t.co/vyuZTTAUuh
Neil Maggs @NeilMaggs2
6K Followers 4K Following Sometimes on @BBCRadio4. Often directing documentary films. Founder & host of the #BristolUnpacked @TheBristolCable podcast. Now not so Embarrassed Gashead.
E-commerce Expert @ProxCareerBrand
52 Followers 582 Following I'm a Shopify & E-commerce Expert UK & EU Store Setup Payment Integration KYC Payout Support DM START Telegram @Verifiedprox 📤
Jojo966 @twinkledaisy8
26 Followers 1K Following
Rayan Wilson @RayanWils0n
1 Followers 18 Following
wolfSSL Embedded SSL/... @wolfSSL
11K Followers 7K Following The most popular open source, embedded TLS. Active in #IoTSecurity, #Avionics, #Automotive & more. Over 5B connections secured! #TLS13 #SecureYourConnectivity
Emz Synness @emzsynnesscmi
18 Followers 867 Following hi stranger im Emma last acc got banned... help a girl out? so msg me? or follow me? say hi xo
Emmy Pugh @emmypughedl
43 Followers 848 Following sup im Emma here for a good time so msg me? or follow me? i dont bite haha
WinniTomlinson @5fQZW0fAb57ig
0 Followers 204 Following
ShortSqueezePro🇺�... @Jaucox740257
35 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Swirgi @Swirgi3649282
60 Followers 2K Following
Hutchinson John @Hutchinson720
81 Followers 1K Following
Salcou @Salcou15127
97 Followers 3K Following
Oqoopie @Oqoopie2159
8 Followers 206 Following
Slair @SlairlF9Jc
31 Followers 1K Following
Thewpsesd @ThewpsesdyoZ
5 Followers 219 Following
Paula Slater 😊 @HorseMouthRadio
2K Followers 4K Following "When it's uncomfortable, when it's unpopular, even when it's dangerous to speak the truth, is the precise time that the truth should be spoken."
Stouroa @StouroamrS_S
107 Followers 3K Following
AF Energy @Artur0297942838
105 Followers 840 Following Photovoltaic Company and more . 7 years in the industry ! https://t.co/GGOqCRwui2
Ebiz - The New Way To... @m000lah
75 Followers 414 Following 🚀 Founder of https://t.co/U0aIGNMOjV 💰 Digital product 💻 Automation-strategies | Tools 👨💼 How I make $100+ a day on IG with No Ad Spend 👇 Free Guide+ templates
Olivier Henley @olivierhenley
85 Followers 476 Following Mostly a computer engineer and week-end house builder with a somewhat developed sense of artistry and beauty.
Tamas Szokol @tamas_szokol
134 Followers 2K Following
Frolaret @FrolaretTom
30 Followers 1K Following
The Data Embassy is f... @TheDataEmbassy
136 Followers 232 Following Your #Data needs a voice. TDE bridges the Gap between you and your data. Chief Data Ambassador is @MichaelBCurran
Giuseppe Alcini @GiuseppeAl72799
8 Followers 36 Following
Lucas-Matthew Marsh @Lucas_M_Marsh
306 Followers 1K Following British - Canadian Journalist. Let me tell you a story. ✍️: @AJEnglish, @TorontoStar, @NPCInstitute, @MedicalPost, Iori:wase etc. @JournalistsRN
Embedded Computing De... @embedded_comp
30K Followers 25K Following The leading source of articles, videos, blogs, podcasts and events for embedded developers #iot #ai #embeddedworld #ew26 @embedded_world @electronicaFair
Bigi @BigiLuetchford
1 Followers 5 Following Parenting coach. Supporter of all parents/carers. Advocate for children of all ages. Guide for polyamorous, LGBTQ+, and neurodiverse families.
Shane Miller @SkippersWif
1K Followers 1K Following CEO | Certified Autism Specialist | Ex-AWS, GEICO, CSC
Jung Bojang❤️✌�... @JungBojang8
656 Followers 7K Following
wheretowatch.tv @wheretowatchtv
54K Followers 20K Following Your trending stream of the latest Entertainment news, lifestyle and travel | https://t.co/WzndqRyXMY Subscribe so you don’t miss out.
David Triana @davidtrianaPR
15 Followers 128 Following Disrupt PR | Miami Sports Fan | Patiently waiting for the Dolphins to win a playoff game
Uplink Infosoft @uplink_infosoft
4 Followers 108 Following
Lewis Clarke @lewis_clarke88
3K Followers 4K Following Covering Devon and advocate for community reporting over clickbait - Thespian + @geograph_bi addict. Stressed father of two... [email protected]
Oleg Fabyanchuk @olegfab77
3K Followers 7K Following Discouragement is rampant, people need to hear the Gospel and the DAILY HOPE more than ever!
Rechubro Rechubro @RRechubro64776
169 Followers 3K Following
Smith Jalden @SJalden4646
1 Followers 46 Following
Belvine Lopez @CBarness72483
56 Followers 957 Following
Military Embedded @military_cots
9K Followers 8K Following Military Embedded Systems magazine/website: #military #radar #MOSA #SOSA #FACE #VITA #avionics #EW #electronicwarfare #space #AI #rugged #uncrewed
Sayedul Haque @SayedulHaque13
72 Followers 2K Following Cyber Security Professional- Security researcher
Craig Prospero @prosperous_Rock
6K Followers 7K Following Devout Catholic ✝️ | Author | Husband | Father of two wonderful children | Sharing faith, family, and truth | Occasionally a bit of a jerk
Gong T Wang, MD. @CliffWang8
67 Followers 728 Following Physician & surgeon.Attending.Diagmosis & innovation.
Bristol Bears 🐻 @BristolBears
102K Followers 2K Following The official account of #BristolBears Men 🐻
Kim Ingleby: Award Wi... @kimingleby
11K Followers 777 Following Wellness & Performance Coaching. Tools & support to help you evolve. TEDx & Author. Ran 100miles in 44hrs, £97k Charity. Founder @energisedcoach 2004✨
Nicky Green @Nickyquin
2K Followers 3K Following Small , noisy Harlequins rugby fan who loves to party to cheesy music! Maker of decadent, gorgeous gooey brownies and owner of @short_sweetbake. #she/her
Neil Maggs @NeilMaggs2
6K Followers 4K Following Sometimes on @BBCRadio4. Often directing documentary films. Founder & host of the #BristolUnpacked @TheBristolCable podcast. Now not so Embarrassed Gashead.
BBC Gloucestershire @BBCGlos
75K Followers 2K Following Celebrating people and stories from Gloucestershire @BBCBristol / @BBCWiltshire / @BBCSomerset 🎧 Hear BBC Radio Gloucestershire on @BBCSounds ⬇️ Tap for more
embedded world North ... @embedded_USA
44 Followers 1 Following embedded world will bring you to the most quickly expanding global markets in the industry.
UAS Magazine @UASMagazine
10K Followers 2K Following UAS Magazine is an online magazine that provides the most comprehensive look at the state of UAS to commercial operators, manufacturers and users.
Raspberry Pi @Raspberry_Pi
615K Followers 1K Following We make very small computers which you can buy from just $4. We are also the literal coolest. Be excellent to each other. Tech support: https://t.co/ZEBSfmuErK
Texas Instruments @TXInstruments
100K Followers 1K Following We are a global semiconductor company that designs, manufactures and sells analog and embedded processing chips. Tweets by TIers.
Arduino @arduino
499K Followers 380 Following Arduino is a global leader in open-source hardware and software, with over 30 million developers worldwide.
The Linux Foundation @linuxfoundation
593K Followers 9K Following A nonprofit organization enabling mass innovation through open source. #linux #kubernetes #riscv #hyperledger #anuket #openssf #openjs #o3de and more!
Commercial UAV News @ExpoUAV
11K Followers 2K Following Leading online platform for the commercial drone market! Presentor of: Commercial UAV Expo
Sally French @TheDroneGirl
24K Followers 543 Following Geek girl who loves drones! Named @FortuneMag's Top Women Shaping The Drone Industry Book a call with me on Intro: https://t.co/YsqF6TRp8T
Association for Uncre... @AUVSI
29K Followers 755 Following AUVSI is the world's largest nonprofit organization dedicated to uncrewed systems and robotics. | https://t.co/3tHYAEvRuv
sUAS News @sUASnews
43K Followers 2K Following Unmanned Aviation,fixed wing and rotary UAV stories from around the world.
321Gang, LLC @321Gang
2K Followers 4K Following 321Gang helps companies in complex, regulated industries accelerate engineering, optimize operations, and implement FinOps through consulting and training.
Omnex @omnexglobal
519 Followers 303 Following Omnex specializes in Quality Standards Implementation, Environmental Management, Supply Chain Management to an extensive array of service and industry sectors.
PTC @PTC
37K Followers 11K Following PTC unleashes industrial innovation with market-proven solutions that enable companies to drive #DigitalTransformation. Learn more: https://t.co/61j00bHpGU
Red Hat @RedHat
303K Followers 1K Following The leading provider of enterprise open source solutions, using a community-powered approach to deliver Linux, hybrid cloud, edge, and Kubernetes technologies.
SnowflakeDB @SnowflakeDB
334 Followers 0 Following
Shruti Bhat @ShrutiBhat
1K Followers 563 Following CMO at Observe Inc. AI powered observability with a data lake foundation.
maker.io @MakerIO
57K Followers 2K Following An electronics project space powered by @DigiKey Come #MakeWithDigiKey!
Skyroot Aerospace @SkyrootA
172K Followers 149 Following Opening Space for All. Successfully launched India’s first privately developed rocket to orbit.
Emily Forlini @EmilyForlini
2K Followers 560 Following Senior AI Reporter @ Fortune | Leading with ❤️…and facts | Message me off the record on Signal @eforlini.42 Previously PCMag, Amazon
Stephane @StephaneCarrez
148 Followers 162 Following Software Engineer working on @twnme, Ada/C/Java, #opensource developer, Harley rider
VectorWare @vectorware
751 Followers 0 Following
Christian Legnitto @LegNeato
2K Followers 352 Following @vectorware founder. Ex-@robinhoodapp, ex-@facebook, ex-@mozilla, ex-@apple. Engineering leader who pretends he can still code and does it as much as possible.
Arm @Arm
101K Followers 2K Following Arm’s foundational technology is defining the future of computing. A future built by the greatest technology ecosystem in the world. A future built on Arm.
Uros Popovic @popovicu94
14K Followers 65 Following Staff Software Engineer at Google Cloud, Applied AI | Linux and embedded systems by night | Efficient solutions to problems at every level of the tech stack
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
NocodeHackers @nocodehackers
10K Followers 212 Following 🟡 Academia de Inteligencia Artificial en español 🟢 Aprende, crea y construye en comunidad 🎟️ Evento gratuito: AI BUILDER DAY👇
UXV Technologies @UXVTech
188 Followers 57 Following Leader in payloads, electronics and ground control stations for unmanned systems and robotics.
FerrousSystems @FerrousSystems
7K Followers 21 Following Ferrous Systems builds stable software in and around @rustlang. Account archived. @ferroussystems.bsky.social https://t.co/H2GOtTMKnA
Electric Autonomy @ElectricAutonmy
3K Followers 1K Following Original journalism on Canada’s transition to electric vehicles and the future of transportation for industry leaders and policy makers
eLeapPower @eleappower
66 Followers 57 Following eLeapPower has developed a suite of trail-blazing powertrain technologies for zero-emission electric vehicles.
Green Hills Software @GreenHillsPR
1K Followers 67 Following Green Hills Software is the largest independent vendor of embedded development solutions.
Daniel Knott @dnlkntt
3K Followers 1K Following #Author #Blogger #YouTuber All links 👉 https://t.co/hiKC429nsk
Parasoft @Parasoft
3K Followers 2K Following Parasoft helps organizations perfect software by automating time-consuming testing tasks and providing management analytics necessary to focus on what matters.
Python Software Found... @ThePSF
693K Followers 126 Following The nonprofit organization behind the Python programming language. For help with Python code: https://t.co/XDHPttz2Xv On Mastodon: @[email protected]
Elektor @Elektor
23K Followers 3K Following Publisher of Elektor and developer/distributor of electronics boards/kits & books for engineers and developers. Stay updated on practical tech and trends.
Vizgard @VIZGARD_AI
53 Followers 51 Following Edge-based visual autonomy software to fully automate the cameras that protect us
NVIDIA DRIVE @NVIDIADRIVE
20K Followers 199 Following Transforming the automotive industry and the future of mobility with AI and accelerated computing.
GitHub @github
2.7M Followers 334 Following The AI-powered developer platform to build, scale, and deliver secure software.
🦊 GitLab @gitlab
172K Followers 625 Following Build software faster. The DevSecOps Platform enables your entire organization to collaborate around your code.
Darwin Sanoy @DarwinTheorizes
370 Followers 25 Following Partner Solutions Architect at @GitLab who loves building valuable examples & strategy to navigate the intersection of #cloud, #devops, #automation & #business
InfoWorld @InfoWorld
87K Followers 223 Following We're your destination for #softwaredevelopment, #machinelearning, and #cloud news. Follow along for expert analysis of these #enterprise technologies.
MOTOR @MOTORInfoSys
2K Followers 417 Following Trusted automotive information since 1903. Proud @Hearst company.
Foxyavell 🔜 ACFI @foxyavelli
1K Followers 1K Following A rationalist, bisexual, right-wing, furry, faang linux kernel dev, autist, and cancer survivor supporting niceness, community, and civilizationTrends for United States
You might like
