| user: | ajdude |
| created: | January 6, 2021 |
| karma: | 5.6k |
| about: | Programmer, archive hobbyist, worked in ITSM. Creator of GetAda.dev and a bunch of other stuff on https://github.com/AJ-Ianozi I also have a blog: https://aj.immo |
| 1. | Instructure Paid the Ransom(instructure.com) |
| 2. | |
| 3. | Formally Verified Hashed Sets in Ada Spark(adacore.com) |