Home
Mar 26 SSL-Terminated ALB with SNI on a Kubernetes/kOps Cluster Aug 30 Wells Fargo 01/21 Puts : Visualizing P/L with J May 31 Autogenerate Parameterized Tests in Rust with a Procedural Macro Nov 23 Proving Equivalence of Two Date Overlap Functions with Coq Sep 15 Portably Cross Assembling and Linking Raw ARM Instructions Apr 4 Parsing a Subset of J with a PEG Feb 24 Realtime Immunizations: Rust, Kafka, WebSockets, FHIR Dec 2 Coq Proof of Safety for a Two Node Bidirectional Network Nov 3 Hetzner's EX51-SSD-GPU with GTX 1080 Mar 27 PL Optimization: Chlipala's Use of CoInductive + Heavy Automation More Posts...