PROGRAMING

Born Against, or why hobby programming communities are against LLM usage
420 points | 502 comments

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

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

Show HN: Fuse – statically typed functional programming language
120 points | 48 comments

Learning-Rust.Github.io: Rust Programming Language Tutorials for Everyone
70 points | 11 comments

An Honest Review of AI Programming
52 points | 80 comments

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