Stories by rscho

Rhombus Language Performance

Preventing conflicts in authoritative DNS config using formal verification

Preventing conflicts in authoritative DNS config using formal verification

How to Make Racket Go Almost as Fast as C

Rhombus-in-the-Rough

Playing the Game with PLT Redex

How does find by example work in the Pharo Finder

ArrayCast Episode 19:Aaron Hsu

Ask HN: Under pressure from industry, how can academics protect themselves?

ATS: Why Linear Types Are the Future of Systems Programming

MediKanren: A System for Bio-Medical Reasoning

J vs. K by Example

CakeML: A Verified Implementation of ML

Cuis Smalltalk

J Language: Direct Definitions

Production Prolog

Deploying Racket Web Apps

What functional programming can learn from smalltalk

Ask HN: Uses of reflection/introspection for statistical programming?