Viewing profile — jorgegalindo

We open-sourced lean4-markdown, a typed Lean 4 library for building Markdown documents programmatically. The idea is straightforward: if you're generating verification reports or a…

Hey HN, We wrote about something we keep thinking about: the gap between code that runs and code that's provably correct. The post walks through a simple Java banking app with thre…

We’ve been working on a software verification platform designed for AI-generated code. As code assistants accelerate development, verification becomes the bottleneck. In this post,…

Author here . This isn’t meant as advice or a productivity framework. It’s just a personal reflection on how becoming a parent changed the constraints around my time while building…

I’ve been building startups for years and became a parent along the way. For a long time, I thought having kids would hurt my productivity. What actually happened is that it forced…

This is the story of how I turned my passion for discovering records into onerecord.club, Spain’s first indie vinyl subscription service. In the article, I share the steps I took t…

I recently took a step back from my career to go on a sabbatical, and it’s been a surprising journey—both liberating and challenging in ways I didn’t expect. In my latest blog post…

I share the key challenges I faced scaling my company from 4 to +100 employees and what I learned from the mistakes along the way.

I just published an article on my blog about the emotional rollercoaster I faced after selling my company. The impostor syndrome hit hard as I transitioned from being a founder to …

In my latest blog post, I highlight the value of kindness over intelligence in the workplace. I talk about how being kind—through listening, respecting others, showing empathy, and…

I recently wrote about a unique team-building activity where my colleagues and I cooked and shared a meal together. It turned out to be a heartfelt and meaningful way to connect. I…

I find managing uncertainty both challenging and rewarding. It involves staying flexible, trusting instincts, and using creativity. Leading a team is like running a small business …

Organizing a tech conference is challenging but rewarding. The Lambda World team shared insights from their experience organizing the annual Functional Programming conference in Cá…