Skip to content

Tag: ancient history

EPF Week 0 - Ivan Anishchuk - Getting Started

2026-06-17

Categories: weekly-update

Tags: epf, lean4, ancient history

I'm Ivan (@IvanAnishchuk), a backend engineer by trade, about fifteen years of it, mostly Python, mostly in web2 and some early AI before it was cool, the last few in applied cryptography and ZK. The one constant under all of it is math: I did discrete math and probability at university (although never graduated, I'm actually also currently catching up on academic things in parallel) and my first actual research was in abstract algebra (finite function algebras, k-valued logic, the sort of thing nobody asks you about at parties). That's probably most of why formal methods keep pulling me back. I came into cohort 7 drawn to the consensus layer but without a project picked, so Week 0 was mostly scoping.