|
Advent of Code 2025 bonus
|
|
0
|
78
|
December 1, 2025
|
|
SPARK: Validate Float Type Implementation
|
|
9
|
143
|
December 1, 2025
|
|
More Ada Jobs (Nov2025)
|
|
4
|
501
|
November 29, 2025
|
|
GNAT Studio Editor Performance Problems
|
|
3
|
104
|
November 27, 2025
|
|
Linux distribution for alire
|
|
20
|
404
|
November 27, 2025
|
|
Configure toolchain per project in Alire
|
|
6
|
157
|
November 26, 2025
|
|
Ada Drivers Library for STM32-F446RE
|
|
6
|
224
|
November 26, 2025
|
|
Looking for x11ada or alternative
|
|
11
|
198
|
November 25, 2025
|
|
SPARK formal containers -- cannot prove X < Y
|
|
1
|
125
|
November 24, 2025
|
|
Basic Question: Interfacing With C Arrays, Somewhat Tangental
|
|
3
|
159
|
November 24, 2025
|
|
Rust took out cloudflare
|
|
51
|
566
|
November 23, 2025
|
|
When using Alire to build a crate, how to pass parameters to pre build stages
|
|
2
|
112
|
November 22, 2025
|
|
Using SPARK (gnatprove) with preconditions
|
|
1
|
88
|
November 17, 2025
|
|
Warning: pragma Overflow_Mode in code is ignored
|
|
2
|
120
|
November 16, 2025
|
|
What's the best way to acheive this with alire?
|
|
2
|
107
|
November 15, 2025
|
|
(ARTICLE) Ada: Should developers revisit the veteran programming language?
|
|
0
|
151
|
November 14, 2025
|
|
Aspect Dimenision_System with a single dimension
|
|
10
|
203
|
November 14, 2025
|
|
Dynamic Sorting Algorithm (like Insertion Sort, but without knowing the number of elements)?
|
|
1
|
99
|
November 13, 2025
|
|
Parallel not found
|
|
8
|
176
|
November 11, 2025
|
|
Array of tasks and using its index as discriminant
|
|
17
|
250
|
November 9, 2025
|
|
Polyorb End of Life
|
|
10
|
347
|
November 7, 2025
|
|
YouTube video on trusting software
|
|
2
|
137
|
November 7, 2025
|
|
Emacs mode, alire, and assorted new-user difficulties
|
|
7
|
169
|
November 7, 2025
|
|
Alire is quite impressive
|
|
0
|
114
|
November 7, 2025
|
|
Is there a way to have a reference to discriminant-dependent components?
|
|
9
|
180
|
November 7, 2025
|
|
Debian, Wayland and Gnat Studio
|
|
8
|
177
|
November 6, 2025
|
|
Runtime for RISC-V softcore
|
|
5
|
205
|
November 5, 2025
|
|
Notes on building libadalang_tools with alire
|
|
1
|
65
|
November 4, 2025
|
|
CONSTRAINT_ERROR on Enqueue operartion
|
|
8
|
177
|
November 1, 2025
|
|
AWS End Of Life
|
|
16
|
838
|
October 30, 2025
|