tnballo

6 ms·

1. 1.▲
   Tactical Trust (1 of 2): Platform Crypto for Developers(tiemoko.com)

   2 points by tnballo 1y ago|0 comments
2. 2.▲
   Usable Insecurity: Bug Preservation via Social Persistence(tiemoko.com)

   2 points by tnballo 3y ago|0 comments
3. 3.▲
   by tnballo 3y ago

   Congrats to the Paged Out team for bringing back the community zine after 4 years! Between the old-school hacker spirit and the short-form content, this is a real gem.
4. 4.▲
   Proceedings of the Rust Education Workshop 2022 [pdf](rust-edu.org)

   3 points by tnballo 4y ago|0 comments
5. 5.▲
   by tnballo 5y ago

   Thank you for this perspective, it's one I'll try to incorporate more of in a future revision. While the content aims to be generally applicable to a broad range of software, further contextualization against a specific standard l
6. 6.▲
   by tnballo 5y ago

   There is an "About the Team" page in Chapter 1 with short bios: https://highassurance.rs/chp1/about_the_team.html As a personal preference, I like to place the content front-and-center and not dwell on the in
7. 7.▲
   by tnballo 5y ago

   Author of the book here, thank you for your feedback! Though not an Ada expert, I have used the SPARK subset. And I’ve worked on security assessment of military systems with components written in Ada. Although we looked at binaries and not
8. 8.▲
   Technical Time Travel: On Vintage Programming Books(tiemoko.com)

   1 points by tnballo 5y ago|2 comments
9. 9.▲
   Tutorial: Writing a Tiny Rust Game Engine for Web(ianjk.com)

   1 points by tnballo 5y ago|0 comments