Pinned post

Dear Fediverse, just reminder: the Ada Planet, News from the programming language world also spams here πŸ˜‰ You can follow it at @AdaPlanet

Are you working on a project written in programming language? On , we have a new tradition: a monthly "Show and tell" topic. Come and show us your work. πŸ€— reddit.com/r/ada/comments/ovhv

RT @StephaneCarrez@twitter.com

It is time for a new release of Ada Web Application, a framework to help in building secure web applications in

blog.vacs.fr/vacs/blogs/post.h

πŸ¦πŸ”—: twitter.com/StephaneCarrez/sta

Time for the last (in this month πŸ˜‰) weekly development report from my projects written in programming language: laeran.pl/blog/posts/weekly-de

RT @Adam_pi3@twitter.com

What's @risc_v@twitter.com 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?
@matrosov@twitter.com
defcon.org/html/defcon-29/dc-2

πŸ¦πŸ”—: twitter.com/Adam_pi3/status/14

RT @touisteur@twitter.com

@buildsghost@twitter.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.

πŸ¦πŸ”—: twitter.com/touisteur/status/1

RT @CompSciFact@twitter.com

'About 1,000 instructions is a reasonable upper limit for the complexity of problems now envisioned.' -- John von Neumann, 1946

πŸ¦πŸ”—: twitter.com/CompSciFact/status

Small break from the current lazy season: the weekly development report about my projects (written in language) is ready: laeran.pl/blog/posts/weekly-de

Ok, I need a new job... Anyone looking for an Erlang developer? #boost #job #remote #erlang

πŸš€ has greatly expanded its package, which is for users to download and use. Over 800 programs are now available for free.

software.nasa.gov/

RT @lizardbill@twitter.com

"The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform." --Ada Lovelace

πŸ¦πŸ”—: twitter.com/lizardbill/status/

RT @AdaCoreCompany@twitter.com

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! adacore.com/events/public-ada-

πŸ¦πŸ”—: twitter.com/AdaCoreCompany/sta

RT @That_MarcC@twitter.com

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.

@adaprogrammers@twitter.com @AdaCoreCompany@twitter.com @AdaLabs@twitter.com

πŸ¦πŸ”—: twitter.com/That_MarcC/status/

Weekly wake up to inform everyone about the new development report from my projects written in language: laeran.pl/blog/posts/weekly-de (BTW, still not lazy enough to set RSS channel for it πŸ˜‹)

RT @AdaCoreCompany@twitter.com

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.
blog.adacore.com/security-hard

πŸ¦πŸ”—: twitter.com/AdaCoreCompany/sta

Show older

Bartek Jasicki's choices:

Mastodon

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!