4 posts total
"An approach to computing and sustainability inspired from permaculture" by @neauoire worth posting this again, for those programmers who are having wicked thoughts of writing security-critical software in C or C++ Source: "Exploitation in the era of #formalVerification: A peek at a new frontier with #Ada / #SPARK" by Adam Zabrocki and Alex Tereshkin, #DEFCON30, 2022 |