Hi all, I am watching some of the new videos uploaded to YT in the ACM SIGPLAN channel and it is just depressing. There are a ton of videos about formal proofs, better software quality, software analysis, etc; and SPARK is nowhere to be found AT ALL. Even in language or syntax comparisons and analy…

I think rewriting ls like tools is useless.Sudo and services that might be exploitable are better targets. Also package manager, init system/service manager, libraries of course. The basics to get noticed and to get more people contributing.

One of the biggest issues with Ada/SPARK is that it lacks libraries that can hugely speed up the development of such tools Yes… that’s very sad. BUT, I working on this :slight_smile: I am alone, and working on my free time on this, notably with Adarium , which I hope to be able to make a living f…

[image] Fernando Oleo Blanco: rewritten sudo, coreutils and many many other common tools such as less, cp, grep Useless stuff, BTW. [image] Fernando Oleo Blanco: One of the biggest issues with Ada/SPARK is that it lacks libraries that can hugely speed up the development of such tools. …

[image] Fernando Oleo Blanco: One of the biggest issues with Ada/SPARK is that it lacks libraries that can hugely speed up the development of such tools. In particular, what is missing? Also, is “Libraries” Ada libraries, or bindings? (Or both?) [image] Fernando Oleo Blanco: the Ada too…

You need to stop worrying about this particular thing. It is inconsequential that SPARK isn’t mentioned by mathematicians and type theorists on a specialized (obscure?) conference. If you want to focus, focus on this: Ada is a general-purpose programming language geared towards software engineeri…

Welcome to the pissing match of “my language is better than yours” and “I don’t make mistakes in c.”

I also agree not to worry about that. I notice that there are current 0 comments on each of those 3 videos. It would be an opportunity to drop some words. Most probably it won’t reach or even less influence the professors those researchers work for, but why not give it a try? Making a cool game or…

[image] zertovitch: Making a cool game or a useful application in Ada will have much more impact IMHO. Or paying for some Google Adwords. Ada and AdaCores/community websites can do the rest.

I mean, I am biased but I do think we have a cool project to promote Ada: weenoisemakers.com/pgb-1 :grinning_face_with_smiling_eyes:

[image] Fabien.C: I do think we have a cool project to promote Ada :heart_eyes: Instantly wishlist-ed!

Ada Forum

Ada/SPARK, marketing, reach and the abysmal state of things

General

ada, spark

show post in topic

Home
Categories
Guidelines
Terms of Service
Privacy Policy

Powered by Discourse, best viewed with JavaScript enabled