I was about to cleanup/optimize my TVs and just discover this beauty
github.com/Gathin23/cleanyou…
Alberto Ballano retweeted
Replying to @catpublic10
Without focusing too much on it being the biggest copyright-laundry scheme ever, and also not speaking as a teacher & how AI harms the learning process by removing obstacles that are vital for deep/healthy learning, the main argument is mostly related to control and technological dependence.
A technology can make you more efficient while simultaneously making you less capable of functioning without it.
With AI coding, the concern is that if you outsource the planning, debugging, architecture, and implementation often enough, you may gradually stop developing those abilities yourself. Eventually the tool goes from "assistant" to "something I cannot work without."
The burning question here is... is the technology increasing your capabilities, or replacing them?
Most people were already slop coders and did not care about the underlying understanding of their code before 2025 anyway, but we still need kids that know every inner detail of how technology works to make contributions to real breakthroughs and proper creative innovation in the future.
(we come from here)
xitter.cf/aballano/status/710837…
Ok, reviving a 2014 MacBook Pro on late 2026 using Linux definitely wasn't in my bingo card, but damn does it feel nice now
Alberto Ballano retweeted
Bend 2 is here!
It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments.
RELEASE DAY
After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world!
Bend compiles modern programming features, including:
- Lambdas with full closure support
- Unrestricted recursion and loops
- Fast object allocations of all kinds
- Folds, ADTs, continuations and much more
To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!
Here's a quick demo:
Parents everywhere: starting today, you have more control over how kids & family music shapes your Spotify experience. You can now choose whether the music you play for your family influences your Taste Profile, recommendations, playlists like Discover Weekly, or even your Wrapped results.
Alberto Ballano retweeted
Do you work with @kotlin or @java ? I've been working on a **fast** language server for a while:
github.com/pepegar/ktlsp
compiler free, orders of magnitude faster than current LSPs for these languages, and integrates nicely with @claude code
Alberto Ballano retweeted
Europeans can leave feedback for the @EU_Commission about reforming the Copyright Directive similar to the feedback campaign we had with the Digital Fairness Act until June 25: ec.europa.eu/info/law/better…
This is to increase political pressure, and map out a pattern of behavior
Alberto Ballano retweeted
This Spanish developer is making a narrative simulation city builder game where you restore an abandoned village through paper-craft mechanics, cutting, folding and gluing 50+ buildings.
It's called Cutout Village, demo out now
El salvavidas informático: el programa que debes meter en tu USB viejo para rescatar tus archivos si el PC no enciende computerhoy.20minutos.es/sof…
Alberto Ballano retweeted
Yo creo que el juego de las sillas de pequeños era una especie de entrenamiento para más adelante estar preparados para pillar asiento en un bus emt por la mañana
Alberto Ballano retweeted
Entrenan la IA usando siglos de inteligencia natural humana sin pagar un centavo por ella. Luego, ponen a los humanos a usarla para perfeccionarla. Terminado esto, vivirán de rentas vendiendo a los humanos inteligencia.
El capitalismo es un sistema de saqueo sin fin.
This Post is from a suspended account. Learn more


















