Top New Best Ask Show Jobs

kvolque

1 karma · joined September 26, 2026

Backend dev into Scala & functional programming, interested in bioinformatics. 8+yrs in Scala/Java.

submissions comments

No Blind Trust: Type Systems and Formal Verification for AI-Generated Code

wearecommunity.io·1 pts·kvolque·