Please turn JavaScript on
Philipzuckerfeed icon

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.1 / day

Message History

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 full story
I’ve been tinkering on a solver-oriented interactive proof assistant as a library called Knuckledragger https://github.com/philzook58/knuckledragger .

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