life, psychology, mathematics
(Live demo on Spacefast: https://budge.space.fast/)
In the previous blog posts (first, second, third), we wrote every theorem by hand. Recall how many steps it took to show that 1+1=2 with Peano’s axioms. This does not scale.
In this blog post, we will show how Budge-TP can write proofs for us.
Continue reading “Writing your fourth program with Budge-TP”At Automattic, each quarter we run HACK week: a week where we step away from our usual work and spend time exploring something new.
For this HACK week, I decided to focus on something that’s been circling in my mind and that I’ve also noticed among my coworkers:
What happens to my understanding and mental energy when I run multiple AI agents?
In this blog post, I’ll share what I found.
Continue reading “Attention, not agents: What actually drains us”When you go to a job interview, or when you interview someone, the game both parties are playing is, in a nutshell:
That’s it! It’s essentially a marketing game.
Continue reading “The hiring game, in a nutshell”Recently I spent some time reading this book that a coworker suggested. My overall feeling is that it’s a good book. The first 40% of pages can be triggering (makes some strong statements), but then some of those are rejected later, as expected in a philosophy book 🙂
My take is that I think this book should be literally read in a group. The best outcome of it was just discussing it with my coworkers or ranting about it (find <rant> in this post).
Inspired by Python’s functools.partial, I wanted to bring partial function application into PHP. This is already supported by Haskell, and other languages as well. It is similar to the concept of Currying. Partial function applications are a very powerful concept, and as such, it provides a new way to build abstractions.
Recently, I decided to spend some time working with the Zend API. In this blogpost, I will document my journey.
Continue reading “The developer experience of tackling PHP internals”
