- Tweets 40
- Following 21
- Followers 18
- Likes 87
Alex Senier retweeted
@CompileExplore for Ada now includes cross compilers for @risc_v and @ArmEmbedded thanks to Marc Poulhiès
🥳 ada.godbolt.org/
4
15
Alex Senier retweeted
The Future is Bright for Ada/SPARK with Alire! ✨Congratulations to the winners of our new programming competition 👏. They demonstrated inventiveness using the Ada Library Repository, Ada & SPARK. Check out the winners here -r.adaco.re/ld #Adaprogramming #opensource
1
8
12
Alex Senier retweeted
DESIGN BY CONTACT used hoare triplets to break down object oriented programs into analyzable parts. The biggest advocate was Bertrand Meyer in his Eiffel language. Note the "required" and "ensure".
4
4
9
Alex Senier retweeted
I'm excited to announced that I've just released the 2nd Edition of "A Philosophy of Software Design". See web.stanford.edu/~ouster/cgi… for more info (including free download of new chapters).
18
161
616
Alex Senier retweeted
Incredibly exciting to get official confirmation that Germany's health service (@gematik1) has standardised on Matrix for secure decentralised communications, targeting all 150,000 healthcare organisations in Germany(!!!) 🤯 Read all about it at matrix.org/blog/2021/07/21/g… 💉🇩🇪🚀
6
111
349
Alex Senier retweeted
We are happy to announce that the GNAT Community 2021 release is now available! Check out the release highlights and new features:
blog.adacore.com/gnat-commun…
#Adaprogramming
7
14
Signal analyzes Cellebrite software: "By a truly unbelievable coincidence, I was recently out for a walk when I saw a small package fall off a truck ahead of me. As I got closer, the dull enterprise typeface slowly came into focus: Cellebrite." 🤣 signal.org/blog/cellebrite-v…
2
Alex Senier retweeted
I found a way to stuff up to ~3MB of data inside a PNG file on twitter. This is even better than my previous JPEG ICC technique, since the inserted data is contiguous.
The source code is available in the ZIP/PNG file attached:
74
1,626
5,371
Alex Senier retweeted
Just read an argument that C code can be secure because seL4 is secure.
Reminder: seL4 was first written and proved in Isabelle/HOL, then translated to Haskell and proven correct again, then translated to C and proven correct AGAIN. 9,000 lines of C in just 12 worker-years.
7
77
391
Alex Senier retweeted
The stages of grief:
1. Denial “Programming in memory unsafe languages does not cause an increased rate of vulnerabilities.”
Refute with data [in diagram]
2
87
224
Alex Senier retweeted
With all the issues with WhatsApp it's sad to see that so many people choose to move from one unfree and closed ecosystem to another while there are more open and secure alternatives like @matrixdotorg
2
4
Alex Senier retweeted
Clear and level headed article on formal methods in practice by @miike helpnetsecurity.com/2021/01/…
3
11
23
Alex Senier retweeted
We're very excited (and a little bit nervous :D) that @FOSDEM is planning to go virtual this year via Matrix for chat/community, using @jitsinews for the video conferencing. Read all about it (and how you might be able to help!): matrix.org/blog/2021/01/04/t…
5
90
212
Alex Senier retweeted
If you've seen people confused by the inaccurate reporting concerning Cellebrite FUD, please help by sharing this with them: signal.org/blog/cellebrite-a…
39
999
2,203
Alex Senier retweeted
The latest beta releases of Signal for Android and iOS let you put a pin in PINs and disable them completely. This option is for advanced users who don’t want to lose their ability to lose everything.
32
129
708
Alex Senier retweeted
#JTEKT Japan have adopted our tools to reduce development & verification costs for safe #autonomousdriving systems! Leveraging #SPARKAda & formal methods to ease unit testing & verification of the system’s C code to ensure correctness. adacore.com/press/jtekt-spar… @Automotive_News
5
12