News for hackers. Stuff that matters.
Re:Type-Level Programming in Rust by jzoch on Monday October 05, 2020 @01:22PM (#24689799)
Im not disagreeing with you but fyi will crichton definitely knows what he is talking about. He teaches Programming Language courses at Stanford and his brother is the all-time top contributor to Rust. So, pedagogy + rust is sort of his thing.

In general, this series of posts has been more about types than about rust so I don't blame him for ignoring unsafe. It isnt relevant (its also not a best practice!)

Re:Type-Level Programming in Rust by couchand on Monday October 05, 2020 @05:47PM (#24692406)
Teachers are just like everyone else: they're fallible and half of them are below average.
Re:Type-Level Programming in Rust by db48x on Tuesday October 06, 2020 @01:53AM (#24695062)
Well, teachers are a subset of humanity and thus in principle they could all be above the overall average for humanity. It's even intended that there be a selection bias, so hopefully most of them are at least above average at teaching if nothing else. Of course half of them are worse than the average teacher, but that's not very useful information.
Re:Type-Level Programming in Rust by monadic2 on Monday October 05, 2020 @01:29PM (#24689881)
> his brother is the all-time top contributor to Rust.

Say no more! Any brother of such renowned talent is sure to know what they're talking about.