News for hackers. Stuff that matters.

A comment on Some notes on Rust, mutable aliasing and formal verification. Parent comment

Re:Some notes on Rust, mutable aliasing and formal verification by rtpg on Thursday May 16, 2024 @06:51AM (#40376933)
I found the onboarding to be super rough… I think it’s the sort of thing where you really want to do a full day workshop on it to get started.

The interactive elements really can’t be done justice in looking at readme’s or textbooks alone IMO

[ Parent | on HN ]
Re:Some notes on Rust, mutable aliasing and formal verification by Tainnor on Thursday May 16, 2024 @07:35AM (#40377135)
In my case (Lean), I've been getting a lot of help through the Zulip community. There's a dedicated #new_members stream where anybody can ask total beginner questions. It's quite humbling actually when you have someone like Kevin Buzzard answering your noob questions.

I'm sure other solvers (Coq, Idris, etc.) also have online communities where you may be able to ask questions.

[ Parent | on HN ]