Optimal Opus

C++

Preview Image

Array Languages Still Have a Long Way to Go

Referentially transparent type systems that can describe multi-dimensional arrays are still somewhat illusive to even modern programming languages, but researchers are building proof-of-concept compilers that could change the story.

Read Essay
Preview Image

Playing magic tricks with randomness

What do Video games, statistics and data bases all have in common? They all need to use random number generators. But how does a deterministic machine generate randomness? Obviously the answer is it doesn't, but we've gotten pretty damn good at faking it. Let's learn how.

Read Essay