Hacker News new | past | comments | ask | show | jobs | submit login

Scott's talks about F# are exceptional, and quite compelling for "line of business" developers (as opposed to language enthusiasts) - something functional programming advocacy often misses in my opinion. This is also something that his site (https://fsharpforfunandprofit.com) does a good job of.

On a slight tangent, you might enjoy the slides from Scott on a different topic - model checking with TLA+ - from NDC Oslo this week:

https://www.slideshare.net/ScottWlaschin/tla-for-programmers...




Oh that's awesome. I first came across TLA+ (probably also through HN) about 6 months ago and recognized Leslie Lamport's name. The concept was very interesting but I had trouble getting to a good enough understanding of TLA+ to be able to use it. I'll look to see if I can find the associated NDC talk on youtube but his slides are also great. Thanks for sharing.

He does an incredible job conveying the ideas and intuition behind a lot of the terms and concepts for a given subject.


I don't think the talks have been published yet (they were only given ~2-3 days ago), but agreed on the slides being useful!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: