selected bits and gists

// if it worked it'd be a post

a totally total, finitely-fueled, fixed point

????

dependently-typed dataframes from scratch

noooo you can't just access private members / haha inline friend definition go brrr

no idea how to write `hvlookup`

let's write HTML?

parsing with multiple errors

.NET from VBA - now I have two problems

this is your brain on Python (Bob Harper is right)

dimensional analysis in the “type system”

This blog will never track you, collect your data, or serve ads. If you'd like to support the blog, consider our tip jars.

DOGE: DPZnAPuvYAfCfHZaBjnEkZkdBn4trJbKUK

BTC: bc1qjtdl3zdjfelgpru2y3epa56v5l42c6g9qylmjx

ETH: 0xAf93BaFF53b58D2CA4D2b0F3F5ec79339f6b59F7