Toot

Written by Addison on 2025-01-20 at 13:22

Curious about Rust, fuzzing, and type systems? Interested in GSoC? Then LibAFL may have a project for you.

We are currently looking to implement a generic/associated-type bounds over-specification linter as a GSoC project this year. We have opened an RFC for developing such a project, and are looking for feedback from academics or professionals specialising in Rust tooling and type systems, so do please chime in if you're interested!

=> More informations about this toot | View the thread | More toots from addison@nothing-ever.works

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113860892069943596
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
222.203108 milliseconds
Gemini-to-HTML Time
0.552399 milliseconds

This content has been proxied by September (3851b).