De H3, Z3 y R2 al "vibe coding" pasando por algunos asuntos más

Uber ha desarrollado H3, una retícula global de hexágonos para georeferenciar puntos y objetos. Cada hexágono tiene asociado un único ID y el sistema está concebido para poder correr de manera eficiente los algoritmos habituales: vecinos próximos, ruta más corta, etc.

OpenTimes es un sistema para mostrar el tiempo de viaje (en distintos medios) entre ubicaciones de EEUU. Tiene precalculados los miles de millones de valores de la correspondiente matriz y lo particular de la cosa es que almacena y sirve los datos desde R2, un sistema de Cloudfare similar al archiconocido S3 de Amazon pero orientado a la distribución eficiente de información para aplicaciones web.

Cada día soy más fan del Z3 SAT/SMT Solver. Estoy deseando encontrar un problema en el que poder aplicarlo (y ser pagado, obviamente, por ello).

La estrategia más efectiva para tratar de convencer a la gente que abandone el csv es obviar que el texto es el formato (prácticamente) universal.

El otro día probé monolith para empaquetar en un único fichero la web y sus dependencias de Circiter. Al fin y al cabo, el portal entero consiste esencialmente en dos landings. El resultado fueron sendos ficheros de 16 MB que nginx sirve comprimido en 5 MB y que resulta en una calificación de 100/100 en varios portales que miden la velocidad de carga. Pero me pareció una solución demasiado punk para un problema no particularmente grave.

Aquí se da cuenta de una base de datos de Postgres con más de 0.1 billones (españoles) de filas, de 16 TB de tamaño, que inserta 150k filas por segundo, corre 40k transacciones por segundo y lee 4 millones de filas por segundo. Pas mal!

files-to-prompt concatena una serie de ficheros y los convierte en un prompt para pasárselos a un LLM.

Era moda acudir a StackOverflow a ver cómo progresaba la popularidad de los diversos lenguajes de programación. Ahora las cosas tienen esta pinta:

La fuente es esta y la fecha relevante en el gráfico coincide con…

Un tutorial moderno de web scraping. La tecnología siempre cambia y uno encuentra a veces métodos de lo más extraño para servir la información. Fracasé varias veces en el intento de descargar la actualización de la lista de los ETFs de ING hasta que me di cuenta que en la nueva versión, la información venía en un objeto de Javascript puro dentro de un fichero .js.

Construction Physics (un blog muy recomendable) trae una entrada sobre la energía solar en la que argumenta alrededor de una serie de cálculos y simulaciones. Al parecer, el autor ha colgado el código en GitHub y ha advertido que lo escribió a golpe de vibe.

Más sobre el vibe coding (sistematizado, profesionalizado), aquí.