I put pca-eval on GitHub. It’s the benchmark evaluation rig for my paper on Proof-Carrying Answers, the work I’m building into a company at Detent.ai. A Proof-Carrying Answer packages every AI-generated claim with the specific evidence span that supports it, verified by a natural language inference (NLI) model, then wraps the result in a signed audit trail. An NLI model’s job is to decide whether one sentence entails another. This post is about the measurement slice.

I recently decided to host an additional website, chartermeals.com, on the same OpenBSD VPS where I run conjfrnk.com. Here’s how.

All the files can be found in this GitHub repository.

After 10+ years of wishing I had a home on the internet, I recently made my website. Here’s how.