Are you working on a project written in #ada programming language? On #reddit, we have a new tradition: a monthly "Show and tell" topic. Come and show us your work. 🤗 https://www.reddit.com/r/ada/comments/ovhv5y/august_2021_what_are_you_working_on/
Another month, another, a little more stable release of #steamsky #roguelike written in #ada is available for download: https://thindil.itch.io/steam-sky/devlog/279398/version-607-is-available-for-download and source code is here: https://www.laeran.pl/repositories/steamsky
It is time for a new release of Ada Web Application, a framework to help in building secure web applications in #AdaProgramming
Time for the last (in this month 😉) weekly development report from my #opensource projects written in #ada programming language: https://www.laeran.pl/blog/posts/weekly-development-report-2021-07-31.html
Time for regular, weekly report about my progress in various (also my 😉) #opensource projects written in #ada https://www.laeran.pl/blog/posts/weekly-development-report-2021-07-24.html
What's @firstname.lastname@example.org and how's it different than x86/ARM?
What's AdaCore/SPARK language (memory safe like RUST) and how to attack SW written in it?
How to develop @GHIDRA_RE@twitter.com plugin?
How to find bugs in ISA itself, not in the implementation?
No Silver Bullet: Essence and Accident in Software Engineering http://worrydream.com/refs/Brooks-NoSilverBullet.pdf [pdf]
@email@example.com I feel the -gnatG option in GNAT would be a useful teaching tool. Does a similar thing. Doesn't generate valid Ada but it expands most sugar things.
'About 1,000 instructions is a reasonable upper limit for the complexity of problems now envisioned.' -- John von Neumann, 1946
Small break from the current lazy season: the weekly development report about my #opensource projects (written in #ada #programming language) is ready: https://www.laeran.pl/blog/posts/weekly-development-report-2021-07-17.html
"The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform." --Ada Lovelace
Our upcoming online Public Ada Training is taking place Sep 27-Oct 1, 2021. Learn how to use the Ada programming language through a combination of live lectures and hands-on workshops. Find out more and register today! https://www.adacore.com/events/public-ada-training-us-2021 #Adaprogramming
On my dime I'll ship (to US locations) 15+ years of hardcopy SIGAda Ada Letters issues (1998 - 2013 & a few more) and some Ada conference & resource CDs, all in exc condition.
Tag me if you're interested & we can do some DMs.
@firstname.lastname@example.org @AdaCoreCompany@twitter.com @AdaLabs@twitter.com
Weekly wake up to inform everyone about the new development report from my #opensource projects written in #ada #programming language: https://www.laeran.pl/blog/posts/weekly-development-report-2021-07-10.html (BTW, still not lazy enough to set RSS channel for it 😋)
Check out our latest blog post presenting the whitepaper "Security-Hardening Software Libraries with Ada and SPARK" as part of our efforts under the HICLASS project.
#HICLASS #softwaresecurity #Adaprogramming
Open Source developer, spending too much time with the #Ada programming language :)
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!