Mastodon Feed
Boosted by cstanhope@social.coop ("Your friendly 'net denizen"):
shriramk ("Shriram Krishnamurthi") wrote:
A blog post summarizing our latest work: a static analyzer that leverages Rust in a non-trivial way!
https://blog.brownplt.org/2025/08/03/paralegal.html