___ ___ /\__\ /\ \ _____ /:/ _/_ |::\ \ /::\ \ /:/ /\ \ |:|:\ \ /:/\:\ \ /:/ /::\ \ __|:|\:\ \ /:/ /::\__\ /:/__\/\:\__\ /::::|_\:\__\ /:/_/:/\:|__| \:\ \ /:/ / \:\~~\ \/__/ \:\/:/ /:/ / \:\ /:/ / \:\ \ \::/_/:/ / \:\/:/ / \:\ \ \:\/:/ / \::/ / \:\__\ \::/ / \/__/ \/__/ \/__/
Welcome to my Gemlog! This is intended to be a place to collect my own informal thoughts on a range of topcis. Over the course of time, you are likely to find thoughts on privacy, security, and cryptography.
This log is Gemini¹-native, and is built with my small Gemini application server². If you are visiting this site via HTTP (welcome!), then you may run into the occasional bug -- the HTML content is static, and rendered at compile-time.
Faking Useful Refinement Types in Racket (Gemini/HTTP)
You are visitor number 260!