Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Hi, I'm Philip Zucker! I'm a physics/computer boy trying to find his place in the world.
News
Grobner / Buchberger / Knuth Bendix for Semirings and Seven Trees in One
There is a neat paper https://arxiv.org/abs/math/9405205 Seven Trees in One, where it is shown that there is a nice isomorphism between 7 trees and one tree.
Read more
Report
An Intuitionistic Micro Proof Assistant
I've been tinkering on a solver-oriented interactive proof assistant as a library called Knuckledragger https://github.com/philzook58/knuckledragger .
Read more
Report
Finite Algebraic Effects as dicts and such
Algebraic effects are a style / mathematical framework for modelling mutation, search, and some other things. They are another attempt to bridge the gap between mathy looking stuff and our crass world of mud and time.
Read more
Report
Making TLA+ and x86 Kiss Via Z3Py
I've been trying my hand at translating a reasonable subset of TLA+ into z3py for the purposes of connecting specs to Verus, CBMC, and my assembly checker and also for maybe a little interactive theorem proving as a treat.
Read more
Report
Lifting Terms: Making Well Scoped Syntax Dumber
I have been writing posts about Lifting Egraphs video as an intriguing way of adding variables and scope into an egraph. But pulling back a little, I can see that the simpler thing to talk about first is lifting terms.
Read more
Report
Pro access
Upgrade to see all 40 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.