HNHacker News
TopNewBestAskShowJobs

gneuromante

59 karma · joined January 2, 2024

submissionscomments

Basics on Programming a Canvas for a CAD-System [pdf]

blunk-electronic.de·1 pts·gneuromante·
2

2025: The Year of the Return of the Ada Programming Language?

thenewstack.io·7 pts·gneuromante·
1

Ada and SPARK enter the automotive ISO-26262 market with Nvidia

adacore.com·116 pts·gneuromante·
111

Ironclad (formally verified kernel) 0.6.0 released

savannah.nongnu.org·2 pts·gneuromante·
0

Ada Developer Workshop AEiC 2024, a New "FOSDEM DevRoom" for the Community

forum.ada-lang.io·2 pts·gneuromante·
0

So Many New Systems Programming Languages

colinsblog.net·4 pts·gneuromante·
2