A talk about using type level programming concepts to prevent code with incorrect business logic. more

Traditionally, programming languages are either interpreted with a bytecode VM, or compiled to machine code. JIT compilers somehow do both, blurring the lines between “interpreted” and “compiled”. How? more

JavaScript tooling is messy, and their performance less than ideal. more