PROGRAMMING

F*: A general-purpose proof-oriented programming language
185 points | 99 comments

Octane – React’s programming model, compiled
124 points | 47 comments

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

Learning-Rust.Github.io: Rust Programming Language Tutorials for Everyone
45 points | 9 comments

An Honest Review of AI Programming
42 points | 69 comments

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

The Practice of Programming
9 points | 0 comments