📰 Tech Trends Daily — Lunes, 3 de agosto de 2026

🔥 Enfoque del día

El titular del lunes lo pone Karpathy al dar por superado «pelican on a bicycle», el clásico benchmark de imágenes de IA (375 puntos, el más votado del HN de hoy) — da a entender que la prueba que Simon Willison popularizó en 2024 ya ha sido conquistada por los modelos, y los comentarios se dividen al instante: unos sostienen que los pelican que dibuja la IA siguen cometiendo errores de novato (las dos patas al mismo lado de la bicicleta, dos picos), y que hablar de «resuelto» es autoengaño; otros responden que la discusión ya ha degenerado en una cuestión de gustos — «cuál pelican queda mejor» —, y que eso mismo es la prueba de que los modelos ya no fallan de forma evidente. Las dos lecturas son defendibles: el poder de discriminación del benchmark se ha agotado, pero de ahí a decir que está «resuelto» hay un trecho.

La segunda línea es más interesante: el bug de soundness #14576 del kernel de Lean, el demostrador de teoremas, salió a la luz gracias a un LLM que «refutó» la conjetura de Collatz — el modelo afirmaba haber encontrado un contraejemplo, y resultó que el contraejemplo era un producto del fallo del propio kernel. La verificación formal prometía acabar con las «alucinaciones» de la IA, y resulta que la cadena de confianza del verificador es la primera que se rompe.

La tercera línea es una explosión de nostalgia: NetBSD 11.0 ya es oficial (número uno en Lobsters con 99 puntos), RISC OS Open cumple veinte años, un modelo de lenguaje autorregresivo corre en un 6502, CP/M-386 resucita — las plataformas viejas se han convertido en refugio en plena era de la IA.

🤖 IA & LLM

  • Karpathy’s Pelican — Karpathy’s Pelican。375 puntos / 296 comentarios（HN）。La publicación más votada del día: Karpathy da a entender que el benchmark «pelican on a bicycle» ya está superado. 💬 Morromist dispara primero — los pelican que dibuja la IA siguen con las dos patas al mismo lado de la bicicleta y hasta con dos picos; «cambiar de prueba» no es «pasar la prueba»; jonas21 replica que la discusión ya es una pelea de gustos — «cuál queda más bonito» —, y que eso es precisamente la señal de que los modelos ya no fallan de forma evidente.
  • My personal AI benchmark: “Generate an SVG of a frog with a Habsburg jaw.” — My personal AI benchmark: “Generate an SVG of a frog with a Habsburg jaw.”。76 puntos / 42 comentarios（HN）。El benchmark personal llevado al extremo: pedirle al modelo un SVG de una rana con la mandíbula característica de los Habsburgo. Pone a prueba a la vez el dominio del formato SVG y un dato histórico oscuro — más personalidad que cualquier suite de benchmarks.
  • Autoregressive Language Model on the 6502 Processor — Autoregressive Language Model on the 6502 Processor。14 puntos / en discusión（HN）。Las ideas de cuantización de BitNet trasladadas a una CPU de 8 bits: un modelo autorregresivo corriendo en un 6502. El rendimiento es lo de menos; que funcione ya es romanticismo hardcore.
  • I’m (mostly) picking models on speed now, not intelligence — I’m (mostly) picking models on speed now, not intelligence。△16 / 9 comentarios（Lobsters）。Artículo de opinión: la diferencia de inteligencia entre modelos ya es irrelevante para las tareas del día a día; la latencia es la frontera de la experiencia. En sintonía con el post del pelican de Karpathy, el criterio de evaluación pasa del «¿sabe hacerlo?» al «¿cuánto tarda?».
  • Mathematics Without Mathematicians — Mathematics Without Mathematicians。△10 / 8 comentarios（Lobsters）。Un despiece de la tesis «las matemáticas no necesitan matemáticos» en la era de los LLM: la IA acelera el cálculo y la verificación, pero plantear los problemas sigue siendo trabajo de humanos.
  • Prevent cognitive debt by manually retyping LLM-generated code — Prevent cognitive debt by manually retyping LLM-generated code。△25 / 12 comentarios（Lobsters）。Consejo a contracorriente: volver a teclear a mano el código generado por un LLM antes de commitearlo, cambiar memoria muscular por comprensión. La mitad de los comentarios lo toma por performance artística; la otra mitad admite que funciona.
  • Ten advances in mathematics and theoretical computer science — Ten advances in mathematics and theoretical computer science。△13 / 1 comentario（Lobsters）。OpenAI repasa los avances de sus modelos en matemáticas — publicado el mismo día que el bug de soundness de Lean; el momento no puede ser más delicado.
  • 23 languages, one I can check — 23 languages, one I can check。△1 / 2 comentarios（Lobsters）。Un proyecto escrito en 23 lenguajes con un LLM, y su autor solo sabe revisar uno — el problema de autoconciencia de la era del vibe coding.

🛠️ Herramientas, Infraestructura y Experiencia del Desarrollador

  • Meshdiff – visually compare two STL versions in the browser, client-side — Meshdiff – visually compare two STL versions in the browser, client-side。170 puntos / 17 comentarios（HN）。Un diff visual para archivos de impresión 3D, ejecutado 100 % en el cliente. 💬 Consenso claro en los comentarios: falta rotación sincronizada entre las tres vistas, quieren integración en los PR de GitHub para revisar archivos 3D y una versión CLI para el CI — todo está en el roadmap del autor; la demanda ya le ha ordenado las prioridades.
  • Show HN: MicroCodex Coding Agent — Show HN: MicroCodex Coding Agent。11 puntos / 3 comentarios（HN）。Un coding agent que cabe en menos de 1 MB — frente a los cientos de MB de los paquetes de Electron, al menos gana en la dimensión «ligero».
  • Adding Go’s Defer to the TypeScript Compiler — Adding Go’s Defer to the TypeScript Compiler。13 puntos / 4 comentarios（HN）。El experimento de añadir la palabra clave defer al compilador de TypeScript — teoría de compiladores de nivel introductorio, pero muy bien explicada; tocar el compilador es mucho más divertido que escribir código de negocio.
  • Fasttracker II clone in C using SDL 2 — Fasttracker II clone in C using SDL 2。108 puntos / 36 comentarios（HN）。Un clon open source del clásico software de música tracker — los comentarios son un coro de «se me han devuelto los años de juventud».
  • FlickBoard — FlickBoard。△11 / 2 comentarios（Lobsters）。Un teclado flick para Android — la interacción anticuada de deslizar para escribir resucita en la era táctil.
  • EPIPE on write might mean you’re doing it wrong — EPIPE on write might mean you’re doing it wrong。△18 / 4 comentarios（Lobsters）。La tesis clásica de rachelbythebay: el EPIPE no es un fallo aleatorio, es que has juzgado mal el ciclo de vida del pipe — una lección de semántica Unix.
  • The Fixi Project — The Fixi Project。△24 / en discusión（Lobsters）。Un proyecto nuevo en Lobsters, etiquetado con practices — la comunidad sigue inventando nuevos vehículos para la práctica de la ingeniería.
  • Note-Taking and Personal Knowledge Management — Note-Taking and Personal Knowledge Management。94 puntos / 26 comentarios（HN）。Metadiscusión sobre el PKM: por qué los sistemas de notas se abandonan nada más construirlos; entre los 26 comentarios hay varios que lo explican mejor que el propio artículo.
  • Developers are attached to tools because tools encode trust — Developers are attached to tools because tools encode trust。118 puntos / 58 comentarios（HN）。El blog de Stack Overflow habla de la fidelidad a las herramientas — el consenso de los 58 comentarios: cambiar de herramienta nunca cuesta por la curva de aprendizaje, sino por tener que reevaluar «¿me puedo fiar de esta herramienta?».

🔒 Seguridad y Privacidad

  • Rooting, firmware analysis and persistent credentials of TP-Link TL-841N — Rooting, firmware analysis and persistent credentials of TP-Link TL-841N。74 puntos / 14 comentarios（HN）+ △6 / 1 comentario（Lobsters）。Ingeniería inversa del firmware de un router viejo: las credenciales hardcodeadas sobreviven incluso al reseteo de fábrica — la deuda de seguridad de los dispositivos IoT baratos, vendida a granel.
  • Harvesting SSH Credentials: Insights from My Honeypot Network — Harvesting SSH Credentials: Insights from My Honeypot Network。32 puntos / 24 comentarios（HN）。Informe con datos de honeypots: los ataques de fuerza bruta a SSH ocurren a cada minuto en internet y la calidad de las credenciales es mejor de lo esperado — los comentarios, como siempre, recuerdan que «fail2ban es solo un placebo».
  • EU Age Verification Project Mandates Hardware-Bound Attestation — EU Age Verification Project Mandates Hardware-Bound Attestation。85 puntos / 35 comentarios（HN）。El plan europeo de verificación de edad exige attestation a nivel de hardware — navegadores y fabricantes de dispositivos convertidos en «policías de la edad»; en los comentarios se pelean por si la attestation de hardware acabará siendo vigilancia por huella de dispositivo.
  • Californians’ data deletion requests, DROP, become enforceable Aug. 1 — Californians’ data deletion requests, DROP, become enforceable Aug. 1。26 puntos / 1 comentario（HN）。Las solicitudes de borrado de datos de los californianos entran en fase ejecutable — que la ley exista es solo el principio; la pregunta real es si las empresas tienen la capacidad de encontrar y borrar todos tus datos.
  • ‘Crush this lady’: how eBay harassment campaign led to $56M payout — ‘Crush this lady’: how eBay harassment campaign led to $56M payout。137 puntos / 60 comentarios（HN）。El largo reportaje del FT sobre la campaña de acoso orquestada por ejecutivos de eBay — de gusanos vivos por correo a cartas amenazantes; hasta dónde puede caer el criterio de un ejecutivo tecnológico; los 60 comentarios son unánimes: «esto es real».

💻 Sistemas y Plataformas

  • NetBSD 11.0 released — NetBSD 11.0 released。△99 / 18 comentarios（Lobsters）。La publicación más votada de hoy en Lobsters. 💬 Lo mejor de los comentarios: el equipo admite sin rodeos la «vulnpocalypse» — las herramientas de IA han disparado los informes de vulnerabilidades, y en vez de retrasar el lanzamiento indefinidamente, prefieren publicar de forma transparente con issues abiertos; llega el soporte para la arquitectura RISC-V, con más de 20 000 paquetes pkgsrc ya disponibles para riscv64; hay quien se pasó de Linux a NetBSD como sistema principal por los comentarios de Linus sobre los LLM, y quien compró una placa RISC-V solo para esto.
  • Twenty Years of RISC OS Open — Twenty Years of RISC OS Open。143 puntos / 27 comentarios（HN）+ △5 / 0 comentarios（Lobsters）。Veinte años del sistema operativo de la era Acorn como open source. 💬 El veterano nickcw recuerda que su aplicación !Director estaba escrita entera en ensamblador ARM; alguien señala que el software de partituras Sibelius nació en RISC OS — un proyecto que vive mucho más que el «museo» que muchos imaginan.
  • Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM — Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM。152 puntos / 35 comentarios（HN）。El «Wine» de macOS: ejecutar binarios Mach-O en userspace. 💬 El autor, vlad_kalinkin, responde en persona: 7-Zip ya funciona (5,2 veces más lento que el nativo, con hoja de ruta de optimización), curl pasa más de 200 comandos en pruebas automatizadas y los comandos básicos de git de Xcode funcionan; el objetivo a largo plazo son las Xcode Tools completas (incluido el build para iOS) y Homebrew para macOS. En los comentarios lo comparan con Darling; el autor deja claro que no es un fork.
  • Show HN: NixOS-DGX-Spark — Show HN: NixOS-DGX-Spark。81 puntos / 22 comentarios（HN）。NixOS corriendo en la DGX Spark, la estación de trabajo personal de IA de NVIDIA — un intento de que el sistema declarativo se haga cargo del hardware de IA; los comentarios debaten la fricción entre los drivers CUDA cerrados y Nix.
  • Resigning from Arch Linux — Resigning from Arch Linux。△44 / 4 comentarios（Lobsters）。Foxboron (pieza clave del equipo de seguridad de Arch, autor de sbctl) anuncia su salida — junto con la desactivación del mecanismo de adopción de paquetes del AUR de ayer, las dos caras de la presión de gobernanza. 💬 novedeo: «la presión de estos meses es visible a simple vista para el equipo de seguridad de Arch y los mantenedores del AUR».
  • Sharing an X11 Server Across Hosts with FamilyWild — Sharing an X11 Server Across Hosts with FamilyWild。23 puntos / 5 comentarios（HN）。Compartir un servidor X11 entre varias máquinas — el protocolo X sigue dando juego en plena era de Wayland.
  • MkLinux and the pimped-out Apple Workgroup Server 9150 — MkLinux and the pimped-out Apple Workgroup Server 9150。△12 / 3 comentarios（Lobsters）。Arqueología nostálgica del proyecto oficial de Apple para portar Linux en los 90 — de oldvcr.blogspot, con la calidad de imágenes de siempre.
  • CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K — CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K。△2 / en discusión（Lobsters）。El proyecto de arqueología que porta CP/M al modo protegido del 386 — el mismo día que un LLM corriendo en un 6502; los dos polos de la informática retro.
  • But can your calculator run Linux? — But can your calculator run Linux?。△27 / 2 comentarios（Lobsters）。raymii peleándose con una calculadora gráfica para que corra Linux — «¿puede correr Linux?» se ha convertido en la unidad de medida universal del hardware.
  • Can you make a Wii U gamepad from a Raspberry Pi? — Can you make a Wii U gamepad from a Raspberry Pi?。△2 / en discusión（Lobsters）。Vídeo de hardware hacking: una vez invertido el protocolo de streaming de pantalla del Wii U GamePad, una Raspberry Pi se convierte en sustituto barato.

💬 Lenguajes de Programación

  • F*: A general-purpose proof-oriented programming language — F*: A general-purpose proof-oriented programming language。139 puntos / 61 comentarios（HN）。El lenguaje de tipos dependientes de Microsoft Research llega a portada. 💬 El comentario más votado es una queja: hay que pasar cinco páginas de la web oficial para encontrar un ejemplo de código — «de un lenguaje nuevo quiero dos cosas: cómo es la sintaxis y para qué usarlo»; el problema de comercialización de los lenguajes de verificación formal es más urgente que el técnico.
  • Postmortem for Lean Kernel Soundness Bug #14576 — Postmortem for Lean Kernel Soundness Bug #14576。△48 / 3 comentarios（Lobsters）。La autopsia escrita por el propio Leo de Moura. 💬 El contexto es más explosivo que el bug en sí: la vulnerabilidad salió a la luz cuando un LLM «refutó» la conjetura de Collatz — el modelo afirmaba haber encontrado un contraejemplo, y el contraejemplo era en realidad un producto del fallo del kernel; el autor sabía que el bug existía, pero se negó a responder si la demostración se había construido contra el bug; el fallo afectaba a la vez a la implementación principal del kernel y al verificador independiente, y esa asunción de independencia se viene abajo.
  • sizeof is surprisingly difficult to parse in c — sizeof is surprisingly difficult to parse in c。△45 / 31 comentarios（Lobsters）。La ambigüedad entre tipo y expresión de sizeof hace sufrir a todos los parsers de C. 💬 david_chisnall da la respuesta histórica: C empezó sin gramática formal — la sintaxis era «lo que el compilador acepte»; al estandarizar C89 hubo que definir reglas de parseo para no romper el código existente, y la memoria limitada de los primeros compiladores engendró un montón de trucos de parseo para ahorrar estado — la complejidad de hoy es herencia de las limitaciones de hardware de los 70.
  • Guarded methods in OCaml — Guarded methods in OCaml。△11 / 1 comentario（Lobsters）。Notas de diseño de lenguaje sobre cómo expresar patrones guard en el sistema de tipos de OCaml — el deporte diario de la comunidad funcional.
  • An old-new take on argument parsing in Rust — An old-new take on argument parsing in Rust。△28 / 7 comentarios（Lobsters）。jmmv defiende volver al diseño clásico estilo getopt y desafía el reinado casi absoluto de clap — en la línea del fork de rand de ayer, en el ecosistema Rust empieza la rebelión contra «la librería oficial demasiado grande».
  • How fast is C++26’s std::hive? — How fast is C++26’s std::hive?。△9 / 3 comentarios（Lobsters）。Daniel Lemire mide el nuevo contenedor — cuánta ventaja tiene hive en escenarios hostiles a la caché, con datos sobre la mesa.
  • Faster floating point math with Rust’s new API — Faster floating point math with Rust’s new API。△6 / 4 comentarios（Lobsters）。Mediciones de la nueva API de coma flotante de Rust — guía de microoptimización para escenarios sensibles al rendimiento.
  • Atom is better than RSS, in ways that matter — Atom is better than RSS, in ways that matter。△64 / 53 comentarios（Lobsters）。La guerra de formatos en Lobsters. 💬 emk (colaboró con Dave Winer en los tiempos del RSS) hace un repaso largo: la conversión de RSS 1.0 a RDF volvió tan complejo un formato sencillo que nadie podía implementarlo bien, y las profecías de Shirky se cumplieron todas; la propuesta de «renombrar Atom como RSS 3» se recibe con agua fría — el nombre RSS 3 ya está ocupado y el bando de Winer lucharía por los derechos de marca.

📚 Ligero / Divertido

  • Folding Paper Globes — Folding Paper Globes。134 puntos / 28 comentarios（HN）。Plantillas imprimibles de globos de papel: desplegar la Tierra en un plano matemáticamente plegable; los 28 comentarios son un coro de «lo imprimí y quedó precioso».
  • When transit passes were designed by hand (2022) — When transit passes were designed by hand (2022)。87 puntos / 28 comentarios（HN）。La colección de billetes de transporte de Milwaukee del Letterform Archive — un rincón olvidado de la historia del diseño impreso.
  • The Myth of Snow Leopard — The Myth of Snow Leopard。28 puntos / 23 comentarios（HN）。Un desmontaje de la narrativa nostálgica de «Mac OS X 10.6 fue el sistema perfecto» — los comentarios arquean y discuten a la vez si Snow Leopard era de verdad rápido.
  • Read the Novels and Forget Everything Else — Read the Novels and Forget Everything Else。21 puntos / 5 comentarios（HN）。La exhortación literaria del Hedgehog Review — una defensa de leer novelas largas en la era de la sobrecarga de información.
  • Getting Started with Google Wave (2010) — Getting Started with Google Wave (2010)。△12 / 7 comentarios（Lobsters）。Arqueología del tutorial oficial de Google Wave — el caso más famoso de «lanzamiento como punto álgido» de la historia de los productos de internet.
  • Where’s your website? — Where’s your website?。△21 / 19 comentarios（Lobsters）。Otro manifiesto del renacimiento de la web personal — la mitad de los 19 comentarios presume de su propia página.
  • Show HN: Make your Framework 12 sound like a creaky door — Show HN: Make your Framework 12 sound like a creaky door。33 puntos / 2 comentarios（HN）。Un proyecto para añadir «chirridos de puerta» al portátil reparable — el humor del hardware hacker; los 2 comentarios preguntan «¿por qué?».
  • TinyNES Review – A Super Niche NES Console — TinyNES Review – A Super Niche NES Console。16 puntos / 1 comentario（HN）。La review de Lon.TV de la TinyNES — un vídeo de 2023 que vuelve a portada; el retrohardware no pierde temperatura.
  • How the words we teach English language learners changed — How the words we teach English language learners changed。Publicación nueva de pocos puntos（HN）。La visualización de datos de Pudding: décadas de evolución de los vocabularios esenciales de los libros de inglés — periodismo de datos en estado puro, aunque en HN no levantara olas.

📝 Resumen

El hilo emocional de hoy es el paso de «juzgar los resultados de la IA» a «juzgar su cadena de confianza»: Karpathy da por superado el benchmark del pelican y hay quien ya elige modelos por velocidad, señal de que la ansiedad por los benchmarks remite; pero el bug de soundness del kernel de Lean salió a la luz por un LLM que «refutó» Collatz, y NetBSD describe con «vulnpocalypse» la oleada de vulnerabilidades que trae la IA — dos avisos de que la fiabilidad de la salida de un modelo depende de que quien la verifica (persona o herramienta) sea de fiar. Imprescindibles Top 3: ① el post del Pelican de Karpathy (375 puntos, las dos facciones discutiendo la saturación del benchmark); ② la autopsia del Soundness Bug #14576 de Lean (48 puntos en Lobsters, el informe de primera mano de la cadena de confianza de la verificación formal); ③ el lanzamiento de NetBSD 11.0 (99 puntos en Lobsters, soporte RISC-V + la estrategia de publicación transparente de la vulnpocalypse). Señal transversal: la informática nostálgica (el LLM en 6502, CP/M-386, MkLinux, los 20 años de RISC OS) comparte pantalla con la fiebre de la IA — el hardware retro se está convirtiendo en la vía de escape mental de los saturados de IA.