k kvolque Joined 1 month ago Karma 1 Submissions 2 Member since Sep 26 Backend dev into Scala & functional programming, interested in bioinformatics. 8+yrs in Scala/Java. View on Hacker News
No Blind Trust: Type Systems and Formal Verification for AI-Generated Code w wearecommunity.io 1 kvolque 1 month ago 1 comments
