Philip Zucker
@sandmouth.bsky.social
Computer Friend, Not a Bird
www.philipzucker.com
www.philipzucker.com
I did. A somewhat shameful post but good to have a record of self www.philipzucker.com/why-i-as-of-...
Why I (as of June 22 2019) think Haskell is the best general purpose language (as of June 22 2019)
Me and my close friends have been interested in starting a project together and I suggested we use Haskell. I do not think the suggestion was received well or perhaps in seriousness. I have a tendency...
www.philipzucker.com
November 16, 2025 at 1:08 PM
I did. A somewhat shameful post but good to have a record of self www.philipzucker.com/why-i-as-of-...
There is msolve msolve.lip6.fr
Multivariate Polynomial Systems Solving - msolve library
Software for solving polynomial systems
msolve.lip6.fr
October 15, 2025 at 8:26 PM
There is msolve msolve.lip6.fr
My main touchstones are reading Halmos and www.isa-afp.org/entries/ZFC_... . I know set theory goes light years beyond this stuff, but this is where I'm at
Zermelo Fraenkel Set Theory in Higher-Order Logic
Zermelo Fraenkel Set Theory in Higher-Order Logic in the Archive of Formal Proofs
www.isa-afp.org
October 9, 2025 at 3:09 PM
My main touchstones are reading Halmos and www.isa-afp.org/entries/ZFC_... . I know set theory goes light years beyond this stuff, but this is where I'm at
Mizar is an fascinating seeming system. I'm intrigued at the idea of developing some zf github.com/philzook58/k... My main approach has been to just wing it. In previous iterations I haven't even gotten past the basic axioms before my attention span wanders.
knuckledragger/src/kdrag/theories/logic/zf.py at main · philzook58/knuckledragger
A Low Barrier Proof Assistant. Contribute to philzook58/knuckledragger development by creating an account on GitHub.
github.com
October 9, 2025 at 3:08 PM
Mizar is an fascinating seeming system. I'm intrigued at the idea of developing some zf github.com/philzook58/k... My main approach has been to just wing it. In previous iterations I haven't even gotten past the basic axioms before my attention span wanders.