|𝜆⟩
Publications
Projects
Blog
|𝜆⟩
§
Blog Posts:
Memory Management
memory
(March 2026)
Rate limiting the emails for our NextJS app with BullMQ
typescript
docker
(April 2026)
But what is strict positivity anyway?
lean
haskell
theorem proving
(July 2026)