L. Fernando De Pombo

• me
• minimalist. early uber dev. probably in nature, salsa dancing or doing (acro)yoga
• github, twitter, linkedin
• musings
• cloud infrastructure that proposes verifiable bugfixes
• llms as compilers
• intro to infrastructure as sql
• the turing-completeness problem
• projects
• innerly.org: simple macOS + iOS journaling app
• midemocracia.com: open data visualization of candidates for colombian 2023 elections
• marsha: llm-based programming language that compiles an english+pseudocode syntax to tested python
• iasql.com: cloud infrastructure as data in postgres
• alan: autoparallelizable programming language