jorgegalindo

7 ms·

1.
by jorgegalindo 6mo ago
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 audit traces in Lean 4, you want the document structure
2.
AI thinks your code is correct, but it can not prove it(predictablemachines.com)
4 points by jorgegalindo 6mo ago|1 comments
3.
by jorgegalindo 6mo ago
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 three bugs that compilation won't catch, tests are unl
4.
Fundamental Principles Behind a Trustworthy AI Code Verification Platform(predictablemachines.com)
1 points by jorgegalindo 7mo ago|1 comments
5.
by jorgegalindo 7mo ago
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, we outline the core principles we’re using to design a trus
6.
by jorgegalindo 8mo ago
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 a startup. Writing it after talking with a founder friend w
7.
How to improve your productivity by 200% in just 9 months(jorgegalindo.me)
2 points by jorgegalindo 8mo ago|2 comments
8.
by jorgegalindo 8mo ago
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 me to take time seriously. This isn’t a guide or advice. It
9.
by jorgegalindo 2y ago
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 to transform a hobby into a tangible product: finding the rig
10.
by jorgegalindo 2y ago
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 what I’ve discovered about how time, priorities, a
11.
by jorgegalindo 2y ago
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.
12.
by jorgegalindo 2y ago
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 navigating a large corporate environment. I dive into the in
13.
Do not try to be the smartest in the room; try to be the kindest(jorgegalindo.me)
455 points by jorgegalindo 2y ago|247 comments
14.
by jorgegalindo 2y ago
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 focusing on solutions—can significantly enhance team dynami
15.
Food, Love, and Team-Building: Bringing People Together(jorgegalindo.me)
1 points by jorgegalindo 2y ago|1 comments
16.
by jorgegalindo 2y ago
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. If you're interested in fresh team-building ideas, you m
17.
The Enjoyable Challenge of Managing Uncertainty(jorgegalindo.me)
2 points by jorgegalindo 2y ago|1 comments
18.
by jorgegalindo 2y ago
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 within a larger organization, offering chances for innovatio
19.
by jorgegalindo 2y ago
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ádiz. Key Takeaways: Planning Essentials: Define your target
20.
What we learned organizing conferences. A look inside Lambda World(jorgegalindo.me)
1 points by jorgegalindo 2y ago|1 comments
21.
by jorgegalindo 4y ago
Support a way to give back the ownership of information to the users; it's always a good idea!