Archive

27 posts across 10 years

2024

Jan 12 New @GraphQLIgnore Annotation: Code-First Schema in Spring

2022

Mar 26 SSL-Terminated ALB with SNI on a Kubernetes/kOps Cluster

2020

Aug 30 Wells Fargo 01/21 Puts : Visualizing P/L with J May 31 Autogenerate Parameterized Tests in Rust with a Procedural Macro

2019

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

2018

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 Feb 18 2-to-2 Bitcoin Transaction with Segregated Witness Addresses Jan 27 Exfalso in Coq

2017

Jun 23 Understanding Induction Hypothesis Variation in Coq

2016

May 29 Assisted Theorem Proving with J-Bob May 19 Tensor Product of Vector Spaces, Step by Step

2015

Oct 24 GDB with Multi-Threaded Rust Jun 27 SPI Bus Loopback Visualization on the STM32 Microcontroller

2014

Oct 29 Doing the OAuth2 Dance in 57 Lines of Python Jul 7 Guide to Installing Apache Solr 4.9, Tomcat 7 on RHEL 7 Feb 11 Logging from Clojure with log4j2 Jan 19 ANTLR 4: A Case Study

2013

Dec 17 Using Libvirt to Create a Private Network for Xen domUs Dec 16 Creating HVM and PV domUs on Xen 4.3 / Debian 7 Dec 13 Oracle 11gR2 Installation on Oracle Linux 6 Sep 2 Full Flash Recovery Area on Oracle 11g Jul 28 Using Oracle 11g on Amazon EC2