News for hackers. Stuff that matters.

A comment on Driving with D. Parent comment

Re:Driving with D by philzook on Tuesday June 01, 2021 @08:04PM (#27363074)
Interesting work in that direction https://www.youtube.com/playlist?list=PL-uEDsw-7yRLYMEdlvh4u... Rust verification Workshop 2021
[ Parent | on HN ]

There are no comments on this comment yet.