Top New Best Ask Show Jobs

thindil

119 karma · joined January 1, 2019

Open Source developer, interested in safe and secure programming.

Homepage: https://www.laeran.pl/

submissions comments

Summary After Four Months with Ada

pyjarrett.github.io·286 pts·thindil·

Learning to Love a Rigid and Inflexible Language

devblog.blackberry.com·2 pts·thindil·

Doubling the Performance of SPARKNaCl (Again)

blog.adacore.com·1 pts·thindil·

Coding in Ada: Strings (IV) Unbounded to String

craftofcoding.wordpress.com·34 pts·thindil·

The Place for Misra C in Safe and Secure Programming – A Comparison with Spark

embeddedcomputing.com·1 pts·thindil·