Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 3,290 posts.

Any topic
2020
2619

Type-Level Programming in Rust

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally, I construct a general correspondence between type…

2626

Mathematica v12.1

Biggest .1 release from Wolfram. 182 completely new functions, plus updates and enhancements. Includes full HiDPI support, computation with video, data structures, asymptotic superfunction, mathematical functions, plotting, geometric optimization, vector plotting, cross-hatching, computational topology, tabular data…