s/ada
ada programming language.
xmpp muc: ada@conference.magicbroccoli.de
🚀 Moderated by: agh · 😴 207 days
Posts
oop in parts — Ada is incredibly well designed. One way this shows is that it takes the big, monolithic features of other languages and breaks them down into their constituent parts, so we can choose which portions of those features we want. The example I often reach for to explain this is object-oriented programming.
💬 1 comment · Apr 24 · 13 days ago
The Ironclad Operating System — Ironclad is a (partially) formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software. Ironclad features a familiar POSIX-compatible interface, true simultaneous preemptive multitasking, Mandatory Access Control (MAC), and support for hard real-time scheduling.
💬 1 comment · 2025-11-22 · 5 months ago
Ada, ALE, ALICE, and MARC?
💬 1 comment · 1 like · 2025-11-22 · 5 months ago
Old Ada books are still worthwhile — I had a class on Ada back in college, in the late 80s. The professor didn't really know much about Ada, certainly didn't understand the rationale of the language, so it was a fairly shallow introduction, and didn't really answer the question of WHY someone would pick Ada to use over other languages. So the general impression was of a fairly verbose language with very strict typing. (Note that I live in a very rural area and didn't have access to good...
💬 5 comments · 1 like · 2024-11-29 · 1 year ago · #Ada
Designing A Lock-Free Ring Buffer
💬 1 like · 2024-08-03 · 2 years ago
How I learned to love Ada as a C++ developer - Maya Posch (2020)
💬 1 like · 2024-08-02 · 2 years ago
Should Have Used Ada (SHUA) #1 - Goto fail
💬 1 like · 2024-07-23 · 2 years ago
Ada Developer's Workshop (AEIC 2024)
💬 1 like · 2024-06-27 · 2 years ago
Programming Ada: Records and Containers for organized code (2024):
💬 View post · 2024-06-08 · 2 years ago
Ada: Past, Present, Future. An Interview with Jean Ichiah, the Principal Designer of Ada (1984) This is a great, tho, dated article, one thing remains timeless, Ada is still the only programming language to separate Requirements, and Design. Contrary to the old, and still contemporary hatred, fragile, and weak attacks against Ada, it was not designed by committee, the requirements were set out by one individual, and the design was the effort of many from various companies/institutions around...
💬 1 like · 2024-06-01 · 2 years ago
Ada Game Framework — Making game development simpler with Ada
💬 3 comments · 1 like · 2024-05-31 · 2 years ago
ada programming: first steps on the desktop
💬 2 likes · 2024-04-26 · 2 years ago
Ada programming like it's 1985
💬 1 comment · 2 likes · 2024-04-10 · 2 years ago
Making a game in Ada with Raylib
💬 View post · 2024-04-05 · 2 years ago
Benchmarking the Generic Image Decoder (GID) — The Ada translation of PyJpegDecoder runs more than 500 times faster than the Python original! Also, Ada GID library is faster than ImageMagick 2.8 times faster with GIF files. 1.4 times faster with PNG files. 1.2 times faster with JPEG Baseline 1.9 times faster with JPEG Progressive.
💬 1 comment · 1 like · 2024-04-05 · 2 years ago
why choose ada for education — also check this link: [gemini link]
💬 1 like · 2023-07-13 · 3 years ago