___           ___                        
          /\__\         /\  \         _____         
         /:/ _/_       |::\  \       /::\  \        
        /:/ /\  \      |:|:\  \     /:/\:\  \       
       /:/ /::\  \   __|:|\:\  \   /:/ /::\__\      
      /:/__\/\:\__\ /::::|_\:\__\ /:/_/:/\:|__|     
      \:\  \ /:/  / \:\~~\  \/__/ \:\/:/ /:/  /     
       \:\  /:/  /   \:\  \        \::/_/:/  /      
        \:\/:/  /     \:\  \        \:\/:/  /       
         \::/  /       \:\__\        \::/  /        
          \/__/         \/__/         \/__/         
                                                    

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.

Posts (newest at the top)

On Gemini (Gemini/HTTP)

Faking Useful Refinement Types in Racket (Gemini/HTTP)

Links

Gemini Spec (HTTP)¹

Gemengine (Gemini/HTTP)²

You are visitor number 260!