PROGRAMING

F*: A general-purpose proof-oriented programming language
183 points | 98 comments

Octane – React’s programming model, compiled
123 points | 46 comments

Show HN: Fuse – statically typed functional programming language
115 points | 47 comments

Show HN: Katharos Functional programming and CSP-style concurrency for Python
37 points | 8 comments

An Honest Review of AI Programming
9 points | 1 comments

Learning-Rust.Github.io: Rust Programming Language Tutorials for Everyone
5 points | 1 comments

The Programming Tourist
4 points | 0 comments