Philipzuckerfeed

Want to stay in touch with the latest updates from Philipzuckerfeed? That's easy! Just subscribe clicking the Follow button below, choose topics or keywords for filtering if you want to, and we send the news to your inbox, to your phone via push notifications or we put them on your personal page here on follow.it.

Reading your RSS feed has never been easier!

Website title: Hey There Buddo! | Hot Leaves in a Cold Worlds.

Is this your feed? Claim it!

Publisher: Unclaimed!

Message frequency: 0.07 / day

Message History

An Intuitionistic Micro Proof Assistant1 week

I’ve been tinkering on a solver-oriented interactive proof assistant as a library called Knuckledragger https://github.com/philzook58/knuckledragger .

Read full story

Finite Algebraic Effects as dicts and such2 weeks

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 full story

Making TLA+ and x86 Kiss Via Z3Py4 weeks

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 full story