Best of 2017

The blog posts Hacker News loved most in 2017. 159 posts.

Programming Languages
107

Racket v6.11

_posted by Vincent St-Amour_ Racket version 6.11 is now available from http://racket-lang.org/ A bug preventing OneDrive users on Windows 10 Fall Creators update from opening files has been fixed. Typed Racket supports refinement types and depe...

113

Implementing Algebraic Effects in C

We describe a full implementation of algebraic effects and handlers as a library in standard and portable C99, where effect operations can be used just like regular C functions. We use a formal operational semantics to guide the C implementation at every step where an evaluation context corresponds directly to a…

114

The language of choice

Propositional logic was discovered by Stoics around 300 B.C., only to be abandoned in later antiquity and rebuilt in the 19th century by George Boole’s successors. One of them, Charles Peirce, saw its significance for what we now call logic circuits, yet that discovery too was forgotten until the 1930s. In the ’50s…