A. Jesse Jiryu Davis
- Review: SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Some TLA+ experts try to teach LLMs to write TLA+. The LLMs fail.
- Review: Measuring AI Ability to Complete Long Software Tasks
What we talk about when we talk about time horizon.
- New Paltz Zen Center's precepts retreat
My Zen sangha held its first sesshin, and two members took jukai and received dharma names.
- The Dharma of Alex Honnold
He climbed a skyscraper and risked dying on live TV. Here's what I learned from Honnold about climbing, living, and practicing the precepts.
- Will the Training of Junior Engineers Be a Tragedy of the Commons?
We still need senior engineers, but there's less economic incentive to create them.
- What Does Privacy Mean Now?
Do you care if an LLM sees you naked?
- Deduplicate Your Zotero Library: A Plugin For The Forgetful Scholar
Find all the papers you added multiple times.
- Snow Grooming
Grooming trails for cross-country skiing.
- A Zen Talk: AI OMG!
What is an LLM? How does it work? Is it conscious? Why is this all happening now?
- Knowledge and Common Knowledge in a Distributed Environment, Part 3
In this episode, clock skew meets epistemic logic in a battle to the death!