| Topics | Replies | Author | Score | Last Post |
|---|
|
|
Ironclad operating system
(lemmy.ml)
|
0 |
tanakian |
2 |
» |
|
|
Ada, ALE, ALICE, and MARC?
|
0 |
tanakian |
2 |
» |
|
|
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
(arxiv.org)
|
0 |
MarcusE1W |
2 |
» |
|
|
Introduction to Ada: a project-based exploration with rosettas
(blog.adacore.com)
|
0 |
MarcusE1W |
2 |
» |
|
|
Ada, other older languages vie for top spots in Tiobe language index
(www.infoworld.com)
|
0 |
Jay🚩 |
1 |
» |
|
|
Ada has surged recently in the TIOBE index to #13
(www.tiobe.com)
|
0 |
Jay🚩 |
1 |
» |
|
|
Ada reenters the TIOBE Index top-20
(www.tiobe.com)
|
0 |
Jay🚩 |
1 |
» |
|
|
Ada projectas looking for funds ?
(www.reddit.com)
|
0 |
Jay🚩 |
1 |
» |
|
|
Opportunity to push/promote Ada coming soon
(forum.ada-lang.io)
|
0 |
Jay🚩 |
1 |
» |
|
|
The Good, the Bad, and the Disruptive: Let us know where you stand in the 2024 Annual Developer Survey - Stack Overflow
(stackoverflow.blog)
|
0 |
Jay🚩 |
1 |
» |
|
|
Ada Monthly Meeting May 2024
(forum.ada-lang.io)
|
0 |
Jay🚩 |
1 |
» |
|
|
GetAda has been released!
|
0 |
AJ Ianozi |
1 |
» |
|
|
Will Ada Replace C/C++?
(www.youtube.com)
|
0 |
Jay🚩 |
1 |
» |
|
|
Why choose Ada for education
(people.cs.kuleuven.be)
|
0 |
tanakian |
1 |
» |
|
|
Making a game in Ada with Raylib
(forum.ada-lang.io)
|
0 |
tanakian |
1 |
» |
|
|
April 2024 What Are You Working On?
|
0 |
Jay🚩 |
1 |
» |
|
|
March 2024 monthly meet up discussed topics
(forum.ada-lang.io)
|
0 |
Jay🚩 |
1 |
» |
|
|
Lightweight Parallelism library based on Ada 2022 features
(forum.ada-lang.io)
|
0 |
marcuse1w |
1 |
» |
|
|
Getting Started With Ada by Way of Rust
(coniferproductions.com)
|
0 |
marcuse1w |
1 |
» |
|
|
Introduction to Embedded Systems Programming
(learn.adacore.com)
|
0 |
marcuse1w |
1 |
» |
|
|
Ada Learn: Introduction to Embedded Systems Programming
(learn.adacore.com)
|
0 |
marcuse1w |
1 |
» |
|
|
An Embedded USB Device stack completely in Ada
(blog.adacore.com)
|
0 |
marcuse1w |
1 |
» |
|
|
Hacking the Linux kernel in Ada
(www.linux.com)
|
0 |
marcuse1w |
1 |
» |
|
|
AURA: The Ada User Repository Annex
(aura-docs.readthedocs.io)
|
0 |
ttmrichter |
1 |
» |
|
|
When NVIDIA hired hackers to test the security of one of their applications written in SPARK / Ada for a Risk-V chip, they found a vulnerability in the RISC-V IVA instead!
(blog.adacore.com)
|
0 |
marcuse1w |
1 |
» |
|