News for hackers. Stuff that matters.

A comment on Gitoxide: Pure Rust Implementation of Git. Parent comment

Re:Gitoxide: Pure Rust Implementation of Git by jayp1418 on Thursday August 13, 2020 @10:03AM (#24143432)
Well they are trying to reach FOSS community. Recently they started survey asking community "Hello here, we (AdaCore) have some plan for the future of GNAT Community that we want to share and have your opinion on: https://forms.gle/Q34myTCQUXvrva5n7 " There is Ravenports very good port manager written in ada for FreeBSD so ada can be used for CLI apps and has good gtk binding too
[ Parent | on HN ]
Re:Gitoxide: Pure Rust Implementation of Git by MaxBarraclough on Thursday August 13, 2020 @11:28AM (#24144346)
A good sign, see also relevant discussion at [0]. I like the idea of a FORTH target that someone suggested.

Are the higher assurance-levels of SPARK going to remain unavailable to FOSS developers, as they apparently are now? [1]

[0] https://groups.google.com/forum/#!topic/comp.lang.ada/M3yS4S...

[1] https://www.adacore.com/sparkpro

[ Parent | on HN ]