I use this site to experiment with ideas for friends and family.
You may buymeacoffee to support my efforts. ☕ 😁
I track small projects on GitHub.
I wrote code for the Cyc project.
I worked with the interactive theorem prover Lean and wrote a summary of a portion of that work.
You are welcome to connect with me on LinkedIn and send me email at andrew[at]zipperer[dot]dev.