Lädt...


🔧 Announcement: Ada Developer Room at FOSDEM 2025


Nachrichtenbereich: 🔧 Programmierung
🔗 Quelle: dev.to

Ada Dev Room Manifesto

If on Sunday 2nd of February 2025 you are at Brussels, it could be an interesting idea to spend the morning by visiting the Ada developer room at FOSDEM. You'll learn about this non-mainstream language that keeps itself young with feature that are not commonly found in other languages.

Program overview:

  • Welcome to the Ada DevRoom, by Fernando Oleo Blanco, Spain, and Dirk Craeynest, Belgium
  • Updates on the Ada Ecosystem, by Fernando Oleo Blanco, Spain
  • Get started with Ada in 2 minutes or less!, by A.J., USA
  • Advent of Compression: writing a working BZip2 encoder in Ada from scratch in a few days, by Gautier de Montmollin, Switzerland
  • Ada and Mini-Ada: a solution to the two-language problem, by Gautier de Montmollin, Switzerland
  • Understanding liquid types, contracts and formal verification with Ada/SPARK, by Fernando Oleo Blanco, Spain
  • The state of Rust trying to catch up with Ada, by Oli Scherer, Germany
  • Cryptography in SPARK: building the foundation with constant-time bigints, by César Sagaert and Fabien Chouteau, France
  • Multiword Arithmetic and Parallel Computing, by Jan Verschelde, USA
  • Developing device drivers for Ironclad using Ada, by streaksu
  • AdaBots - programmable minetest bots, by Tama McGlinn and Rudolf Batke, the Netherlands

Credits: cover image from this announcement

...

🔧 Announcement: Ada Developer Room at FOSDEM 2025


📈 68.89 Punkte
🔧 Programmierung

📰 Join us for the 2025 Fosdem Distros Room!


📈 33.54 Punkte
🐧 Unix Server

🔧 ADA Compliance Made Easy: ADA Testing for Websites and Applications


📈 32.52 Punkte
🔧 Programmierung

📰 RTX 1000 & 500 Ada Generation: Kleine Ada-GPUs mit 6 und 4 GB für Workstation-Notebooks


📈 32.52 Punkte
📰 IT Nachrichten

📰 Join us in the Distributions Dev Room for FOSDEM 2024!


📈 28.54 Punkte
🐧 Unix Server

📰 CentOS Blog: User interviews, work room at FOSDEM Dojo


📈 28.54 Punkte
🐧 Unix Server

🕵️ Medium CVE-2022-32364: Product show room site project Product show room site


📈 24.32 Punkte
🕵️ Sicherheitslücken

🕵️ Medium CVE-2022-32416: Product show room site project Product show room site


📈 24.32 Punkte
🕵️ Sicherheitslücken

🕵️ Medium CVE-2022-32415: Product show room site project Product show room site


📈 24.32 Punkte
🕵️ Sicherheitslücken

🕵️ Medium CVE-2022-32367: Product show room site project Product show room site


📈 24.32 Punkte
🕵️ Sicherheitslücken

🕵️ Medium CVE-2022-32366: Product show room site project Product show room site


📈 24.32 Punkte
🕵️ Sicherheitslücken

🕵️ Medium CVE-2022-32359: Product show room site project Product show room site


📈 24.32 Punkte
🕵️ Sicherheitslücken

🕵️ Medium CVE-2022-32358: Product show room site project Product show room site


📈 24.32 Punkte
🕵️ Sicherheitslücken

🕵️ Medium CVE-2022-32365: Product show room site project Product show room site


📈 24.32 Punkte
🕵️ Sicherheitslücken

🎥 Google Android Certification & Africa Scholarship Program | Ada's Developer Story


📈 21.96 Punkte
🎥 Videos

🎥 FOSDEM 2025 - The Road To Mainstream Matrix


📈 21.39 Punkte
🎥 Video | Youtube

🎥 FOSDEM 2025 - The Road To Mainstream Matrix


📈 21.39 Punkte
🎥 Video | Youtube

🎥 FOSDEM 2025 - Using LLMs to support Firefox developers with code review


📈 21.39 Punkte
🎥 Video | Youtube

📰 AlmaLinux at CentOS Connect and FOSDEM 2025


📈 21.39 Punkte
🐧 Unix Server

🐧 Rhino Linux 2025.1 Releases + Rhino Linux at FOSDEM


📈 21.39 Punkte
🐧 Linux Tipps

📰 FOSDEM 2025: Entwicklerkonferenz startet am 1. Februar [Notiz]


📈 21.39 Punkte
📰 IT Nachrichten

🔧 Speak at FOSDEM 2025


📈 21.39 Punkte
🔧 Programmierung

📰 The Samsung Galaxy S25 Edge was sneakily the best announcement at Unpacked 2025


📈 18.39 Punkte
📰 IT Nachrichten

🔧 Apple TV+ teases mysterious announcement on the first weekend of 2025 - 9to5Mac


📈 18.39 Punkte
🔧 Programmierung

🔧 Apple TV+ teases mysterious announcement on the first weekend of 2025 - 9to5Mac


📈 18.39 Punkte
🔧 Programmierung

🔧 Apple TV+ teases mysterious announcement on the first weekend of 2025 - 9to5Mac


📈 18.39 Punkte
🔧 Programmierung

🎥 Android 12 Developer Preview 3, Room auto-migrations, PHP on Cloud Functions, and more!


📈 17.85 Punkte
🎥 Videos

🔧 Essential Developer Productivity Tools Every Developer Should Use in 2025


📈 16.39 Punkte
🔧 Programmierung

🔧 MariaDB at FOSDEM 2021


📈 16.39 Punkte
🔧 Programmierung

📰 FOSDEM 25: Zuversicht bei Rust für den Linux-Kernel


📈 16.39 Punkte
📰 IT Nachrichten

📰 CentOS Blog: Reminder: CentOS Dojo at FOSDEM just a few weeks away


📈 16.39 Punkte
🐧 Unix Server

matomo