Stories by todsacerdoti

Parametric Subtyping for Structural Parametric Polymorphism

Senders/Receivers: An Introduction

Keymapper: A cross-platform context-aware key remapper

Using v2ray with Caddy to Access the Internet in China

Things you might not need in your tests

How to Set WebGL Shader Colors with CSS and JavaScript

Bidirectional Typechecking Is Bidirectional

Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned

Statistical Process Control: Practitioner's Guide

A Modern Compiler for the French Tax Code

Sento – Actor framework featuring actors and agents

Using Generative AI to Help in Customer Service

Sunsetting Cursed Terminal Emulation

Why Social Media Has Captured Our Attention

But what is `a lifetime – thinking of lifetimes as regions of memory

A pattern for obtaining a single value while holding a lock

Testable Examples in Go

Can We Retain the Benefits of Transitive Dependencies Without Undermining Secur