codelaby

🗯️Unleash your inner geek with the Binary Clock Widget, available on the App Store for iPhone and iPad. 🔗 apps.apple.com/us/app/widget-…

@ErickSky A mi falta análisis veraz, los que usamos la AI a diario, más de una vez alucina en simular test unitarios, es decir que sin una prueba irrefutable que fuese una vulneabilibidad en si, que lo someten con un exploit l, sino de momento es humo

Ok, esto llamó mi atención, vamos a destilar esta historia (si fuera YouTuber esto diera para video, así se los digo). El escenario que se plantea aquí es este: Uno estas en su casita, tranquilito, escuchando música, y de repente, aparece un superhéroe hacker tan bueno que en una sola visita encuentra TODOS los agujeros de mi puerta, ventanas, caja fuerte y hasta el sótano secreto (donde tengo a mis subs). Ese superhéroe se llama Mythos, un modelo de IA que creó Anthropic. Ejemplos reales: - Por 50 dólares encontró un bug de 27 años en OpenBSD (uno de los sistemas más seguros del mundo). - Por menos de 1.000 dólares armó un hackeo completo que me da control total de FreeBSD desde internet sin que ni te enteres. - Por menos de 2.000 dólares encadenó varios fallos en Linux y me convirtió en administrador del servidor como si nada. O sea… Mythos no solo encuentra bugs. Los encuentra, los explica y te arma el exploit listo para usar mientras yo veo Netflix. @AnthropicAI miró eso y dijo: "Uhh… esto es demasiado peligroso. Si lo soltamos al público, los malos van a romper internet en 5 minutos. Mejor lo guardamos bajo llave." Entonces juntaron a Apple, Google, Microsoft, Amazon, NVIDIA y un montón de empresas más y crearon Project Glasswing: una alianza de 100 millones de dólares para salir corriendo a tapar TODOS esos agujeros antes de que Mythos (o cualquier otra IA) se escape. Hasta ahí, drama total. Parece el argumento de una peli de espionaje (nada tiene que ver mi escritura, lo juro). Pero ahora viene la parte BRILLANTE de Víctor Taelin (el crack que creó Bend, un lenguaje de programación que ya tiene +19k estrellas en GitHub). Víctor dice: "Ok, entiendo el miedo… pero yo estoy construyendo la solución definitiva." Bend2 (que sale el mes que viene) no es un lenguaje normal. Es un lenguaje que viene con un detector de mentiras matemático incorporado. Puedes escribir código y el propio lenguaje te prueba matemáticamente que no tiene bugs. Ni uno. Es como si el código tuviera un certificado de "matemáticamente imposible que falle". Ejemplo fácil: - Código normal (C, Python, Rust, etc.) = una casa de madera llena de termitas. Puede caerse en cualquier momento. - Bend = una casa hecha de diamante con un robot matemático que revisa cada ladrillo y te dice "este ladrillo está perfecto, crack". El problema de Víctor ahora: Bend2 ya tiene 100.000 líneas de código. Y el "detector de mentiras" (el proof checker) es tan importante que si tiene un solo bug… todo el sistema de confianza se derrumba (como pasó antes en Lean, Coq y Agda). Entonces Victor tira la propuesta más épica del año: "Dejen que Mythos audite MI código. Si el superhéroe hacker revisa mi proof checker y le da el visto bueno… Bend se convierte en el lenguaje que resuelve exactamente el problema que ustedes tienen con Mythos." O sea: en vez de poner parches en todas las casas de madera del mundo (Project Glasswing), Víctor propone construir casas de diamante a prueba de balas para el futuro. Es como si le dijeras al tipo que inventó la bomba atómica: "Hey, usa tu bomba para revisar mi escudo anti-bomba. Así ya no necesitamos tenerle miedo a las bombas nunca más." Victor básicamente está diciendo: "El problema no es la IA super-poderosa… el problema es que nuestro software actual es frágil. Déjame usar esa IA para hacer software que ya no sea frágil." ¿Se imaginan un futuro donde los programas matemáticamente no pueden tener bugs? Eso sería el fin de los ransomware, de los hacks de bancos, de los “oopsie” que dejan Facebook caído 6 horas… Víctor está pidiendo entrar a Glasswing con Bend2. Y la verdad… ojalá le digan que sí. Porque este tipo no está pidiendo acceso para hacer maldades. Está pidiendo acceso para arreglar el software del planeta desde la raíz.

@marcvidal Talvez alucine y no sean vulnerabilidades reales

🚨 TODO EL MUNDO IA PATAS ARRIBA En Claude dicen que su nuevo juguete, Claude Mythos, encontró miles de vulnerabilidades en los sistemas operativos y navegadores principales. Ha localizado bugs que llevan décadas considerados como los sistemas más seguros del planeta. De hecho aseguran que no lo han entrenado específicamente para que sea bueno en ciberseguridad, sino que es un efecto colateral. La cuestión es que Anthropic creó un modelo de IA tan potente que decidieron no lanzarlo en abierto, sino que se han unido a Apple, Google, Microsoft, Amazon y NVIDIA a fin de "proteger" el mundo antes de que sea tarde. A este plan le llaman "Project Glasswing"

🚀 Just built a cross-platform Avatar Cropper in SwiftUI! Seamlessly cropping profiles across iOS and macOS with a unified codebase. Smooth gestures, precise scaling, and ready for any Apple ecosystem app. #SwiftUI #iOSDev #macOSDev #Swift #BuildInPublic

@marcvidal La mayoría le falta saber la base del conflicto, para entenderlo.

La líder de la oposición de Taiwán, Cheng Li-wun, se reunirá con el presidente chino Xi Jinping. Tema muy relevante.

During #WWDC26 week, Apple is hosting a developer community meetup at their Cupertino developer center, and everyone can apply for a ticket! Whether you'll be at the Apple Park special event or not, I recommend you put your name in the hat 👇 developer.apple.com/events/view/8D…

@AnakinnDex @UnGuarri @albihm Pues que juegan con las prisas, que no leas bien y te mandan solicitud de bizum que pagues tú. Es una estafa muy conocida

@UnGuarri @albihm Por?

He puesto mi antiguo coche en venta en Wallapop y me estoy rayando muchísimo, lleva un minuto y me ha escrito un montón de gente que se ve que compran coches asiduamente en Wallapop insistentes en verlo corriendo y en comprarlo rápido, esto qué es? 👀

@Arteymas_ Dj Soda 😍

En Mongolia viven 3,2 millones de personas y aproximadamente la misma cantidad de caballos. «Un mongol sin caballo es como un pájaro sin alas». Incluso en una fiesta rave.

@bemoldemarmol A la espera que salga PS6 y pueda ofrecer esa iluminación, me niego jugarlo en PS5

Da igual llevar 83 horas con CRIMSON DESERT. Es seguir sorprendido con el nivel de iluminación ( inexistente en otro juego) que ha conseguido esta gente con su motor gráfico de casa y un RTGI a años luz del resto. Deben de sacarlo en la próxima generación de consolas

Implemented a protocol for this kind of Shape in SwiftUI and ported all these shapes in MathShape package Go loading! github.com/LiYanan2004/Ma…

@andrewswyer @JorgeCastilloPr ScaleEffect anchor

@JorgeCastilloPr How are you positioning the device view?

Astounding macOS 26 style onboarding created with SwiftUI

@rsuyoy Great, I remember build a weekpicker youtube.com/shorts/pKMCTI2…

Still room for improvement but here you go :)

@RareFan85 @PSultimate340 Si saliese a 39€ y lo pillaba, es un juego de nicho, sufrí mucho con returnal

@PSultimate340 El gran problema es su precio. Este tipo de juego no puede ponerse al mismo nivel que titanes como God of War, The Last of Us o Spiderman. Por 60€ estoy seguro de que seria un juego con unas ventas buenas. Mi opinión es que venderá menos que Returnal...

Estoy pesimista 😞, siento que otro juegazo como #Saros pasara desapercibido o con más pena que gloria como #Returnal , porque digo digo que será juegazo ? Porque e estado informando y al beber tantísimo de Returnal casi que se dice o se siente una secuela menos punitiva pero igual o mejor que Returnal , siento que la expectación por este nuevo juego es pobre Dios Quiera me equivoqué , pero fuera de los grandes Blockbuster triple A narrativos siento que la comunidad de @playstation … si los aplaude pero no los consume , o son esos triple A a lo hollywood o se consumen los grandes juegos de terceros . Pero bueno .. Saros para mi es el juego que mas deseo jugar

@PSultimate340 @PlayVerso Me llama la atención pero me esperaré si baja de precio, pragmata está a punto de salir

@YoleoAndGames @PlayVerso El 2020 se puso la primera piedra, no ser si volveremos a ver hardware a buen precio

@PlayVerso Lo que estamos permitiendo con el tiempo es digno de estudio, consolas que suben con el tiempo en vez de bajar. Han aniquilado totamente al usuario que no tenía mucha pasta y se esperaba 3 o 4 años a que la consola bajase de precio

Oficialmente a partir de hoy, PS5 cuesta hasta 200€ más que cuando se lanzó en 2020. #PS5

@xNavalha A mí me pasa algo similar, se me hizo cuesta arriba el acto III y no por dificultad sino por estructura narrativa.

Tengo un problema con Expedition 33 y me jode reconocerlo. He terminado el Acto II y no me apetece seguir jugando, tengo la sensación que el juego ya ha terminado...se que me queda el final y todo el contenido high end pero estoy muy triste.

@KibaGrey Las misiones son diversas o son siempre lo mismo, también las secundarías aporta algo extra?

Historia Principal terminada en Crimson Desert ⏳ + de 200h después de empezar 📅 2 semanas de Preview y casi 2 de Release 🐲 Conocimiento al 53% y 46 de 75 jefes vistos 🏅 Steam dice que el 0,6% ha completado la campaña Tomaros vuestro tiempo y disfrutad del viaje 🥳

@Fernando5x1 Que tiempo hace? ... No te entendí o bien ya ni me responde. Con solo me entienda Siri me conformo

Me prometen que podré pedirle a Siri tres cosas en una sola frase y que no se va a volver loca. Ojalá sea verdad, pero hasta que no lo pruebe, me costará creerlo. 😅 ¿Cuál es esa orden que Siri siempre os falla y que esperáis que arreglen de una vez?

Post stamps are everywhere in my timeline right now! 📮 I’ve just built 3 custom stamp shapes specifically for #SwiftUI. Clean, reusable, and ready to give your apps that vintage aesthetic. #iOSDev #SwiftUI #BuildInPublic

@rudrank Yes, I just saw it, it was ripped by someone called @wedapr1

Source code got leaked 😱 github.com/rudrankriyam/A…

@SrGarrus Un cambio de tendencia, el mercado chino ya es notorio y por eso tambien aumenta el hardware en las stats, allí acumulan 3.5 años con tendencia deflaciónaria

En la última encuesta de Steam se pueden ver varias cosas interesantes, no esperaba que la gráfica más utilizada fuese la 5070 pero... lo del crecimiento de usuarios de China es demencial. Son ya más del doble que los de habla inglesa, más de la mitad total de Steam