← Back to Vibers
Company
Buttondown
1 Intel
Buttondown is an independent email newsletter platform created by software engineer Justin Duke, who built it as a side project while working at Stripe before leaving to run it full time. It is known for a minimalist, Markdown-first writing experience, privacy-respecting defaults and a documented API. The company is run by a small team and is customer-funded and profitable rather than venture-backed.
Is this you? Sign in with X to claim this profile.
Intel
What TLA+ can and can't check(buttondown.com)
Hillel Wayne tempers the hype around LLM agents using TLA+ for bug finding, walking through safety and liveness properties and what the logic cannot express, so teams know where formal verification helps agent-written code and where it does not.