All Posts by Tags

Assembly

• August 23, 2021 » How much does an array access cost?

Automated Theorem Prover

• June 11, 2024 » MYSTIC Challenge
• March 01, 2024 » Verifying Hardware with Isabelle/HOL
• February 15, 2024 » Get started quick with Isabelle
• March 27, 2020 » Introduction to Automated Theorem Provers
• July 16, 2016 » Language Specification — Automath
• January 02, 2016 » Data Structures — Automath
• December 27, 2015 » Tutorial — Automath
• November 28, 2015 » Notes on LCF Tactics
• February 15, 2015 » Automated Theorem Proving, The Davis Putnam Algorithm
• February 09, 2015 » Automated Theorem Proving, Part 2 - Normal Forms
• February 07, 2015 » Automated Theorem Proving, Prolegomena on Propositional Logic
• January 15, 2015 » Notes on Automated Theorem Proving, Part 1 - Propositional Logic

Backtracking

• February 15, 2015 » Automated Theorem Proving, The Davis Putnam Algorithm

Baseball

• November 22, 2017 » Bayesian Testing Pitcher Performance
• September 05, 2015 » Baseball Cheat Sheet
• August 17, 2015 » Lineups and Pitchers, Observations on Markov Chains
• July 05, 2015 » Bernoulli Batters, Markov Coaches — Modeling Games by Plays
• June 21, 2015 » Learning Satistics via Sabermetrics

Emacs

• December 25, 2016 » News Macros for Emacs

Hoare Logic

• April 28, 2024 » Hoare Logic for Numerical Analysis

Isabelle

• March 01, 2024 » Verifying Hardware with Isabelle/HOL
• February 15, 2024 » Get started quick with Isabelle

Java Virtual Machine

• April 06, 2014 » Toy Object System
• March 28, 2014 » Toy Model of the JVM, Part I

Lisp

• December 04, 2022 » Make a Lisp (Reader)
• December 21, 2020 » Pattern Matching in Lisp

Literate Programming

• May 29, 2024 » What even is "literate programming"?

Logic

• June 11, 2024 » MYSTIC Challenge
• November 28, 2015 » Notes on LCF Tactics
• February 15, 2015 » Automated Theorem Proving, The Davis Putnam Algorithm
• February 07, 2015 » Automated Theorem Proving, Prolegomena on Propositional Logic

Neural Network

• August 01, 2015 » An Introduction to Neural Networks

Numerical Analysis

• April 28, 2024 » Hoare Logic for Numerical Analysis

REST

• January 18, 2014 » Oddball HTTP Requests in Compojure

Retrocomputing

• May 26, 2024 » Retrocomputing Projects for the Bored and Insane

Standard ML

• August 22, 2024 » smlpkg tutorial
• July 29, 2021 » Monadic IO in Standard ML

Statistics

• November 22, 2017 » Bayesian Testing Pitcher Performance
• August 17, 2015 » Lineups and Pitchers, Observations on Markov Chains
• August 01, 2015 » An Introduction to Neural Networks
• July 05, 2015 » Bernoulli Batters, Markov Coaches — Modeling Games by Plays
• June 21, 2015 » Learning Satistics via Sabermetrics