Sign in

Ignacio Cascudo

@icascudo.bsky.social
207 followers 180 following 89 posts

Mathematician and cryptographer. Working at IMDEA Software Institute. Oviedo->Amsterdam->Aarhus->Aalborg->Madrid.

PostsRepliesMedia
Ignacio Cascudo @icascudo.bsky.social · 05/09/2026
(At least for Nim played with large enough starting heaps en.wikipedia.org/wiki/Nim) Not saying this means chess is like Nim, of course, or solvable, just that the implication "very large number of states, hence unsolvable" is certainly not true.
en.wikipedia.org
Nim - Wikipedia
190
Ignacio Cascudo @icascudo.bsky.social · 05/09/2026
One pet peeve of mine as mathematician and chess player is that in the chess world it is repeated so much that "chess is unsolvable bc # number of positions > # atoms in the universe". Games like Nim can have more states than chess, yet there's an efficient algorithm to determine who wins always.
190
Ignacio Cascudo @icascudo.bsky.social · 13/08/2026
Bsky should stop this AI usage. There is a big difference between trending topics being keywords (which by themselves cannot be right or wrong) and them being whole sentences
171
Reposted by Ignacio Cascudo
KJ Charles @kjcharleswriter.com · 13/08/2026
Hey @bsky.support @support.bsky.team your AI is falsifying election results again
Trending box with first line as "Farage wins Clacton seat" for an election that's happening today
501163291
Ignacio Cascudo @icascudo.bsky.social · 13/08/2026
Hasta los **** de las IAs "resumiendo" todo.
000
Ignacio Cascudo @icascudo.bsky.social · 13/08/2026
Es realmente necesario cortar el césped tan a menudo como se hace en España? Diría que el césped algo más alto elimina mejor el calor. No entiendo esa obsesión por tenerlo como si fuera un tapete.
000
Ignacio Cascudo @icascudo.bsky.social · 28/07/2026
Esto, mil veces. ⬇️
001
Reposted by Ignacio Cascudo
Hugo Martínez Abarca 🇪🇺🇵🇸 @martinezabarca.net · 28/07/2026
Dos de los incendios tienen su origen en agricultores (esos que “ellos son los que saben”) que se saltan las normas (esa burocracia ecologista que “no permite coger piñas”) y usan maquinaria que ahora está prohibida. Odian el conocimiento científico y es un odio suicida.
451320574
Reposted by Ignacio Cascudo
Raúl F. Millares @millares.bsky.social · 28/07/2026
Vale, a mitad de año estamos ante el mayor incendio de la historia de España, llega la cuarta ola de calor, el Mediterráneo está a 30 °C y el calor ha matado a unas 3.800 personas, PERO al menos Repsol ha ganado 2.201 millones en este primer semestre, un 265% más que en el mismo periodo de 2025.
271065638
Reposted by Ignacio Cascudo
Brent Toderian @brenttoderian.bsky.social · 10/07/2026
Never forget, a 13-year study found that protected bike-lanes led to a drastic decline in fatalities for all road users. ALL ROAD USERS. What about painted bike-lanes? No safety improvement at all. For sharrows, it’s actually safer to NOT have them. Via @usa.streetsblog.org @nyc.streetsblog.org
usa.streetsblog.org
Separated Bike Lanes Means Safer Streets, Study Says — Streetsblog USA
Cities that build protected lanes for cyclists end up with safer roads for people on bikes and people in cars and on foot, a new study of 12 large metropolises revealed Wednesday.
191085374
Ignacio Cascudo @icascudo.bsky.social · 04/07/2026
I hate summer (here in Spain) so much 🥵🥵🥵
000
Reposted by Ignacio Cascudo
IMDEA Software @software.imdea.org · 22/06/2026
🔵 "My I[M]DEA Software: Poster Competition" 👤 Last week we celebrated our annual gathering, where our youngest researchers showcased their scientific progress and took on the challenge of explaining it in under-a-minute pitches. Want to find out who this year's winners are? 🔗https://c.madrid/j3usl
011
Reposted by Ignacio Cascudo
Ketan Joshi @ketanjoshi.co · 10/06/2026
I've been a broken record on this for three years and I'll be a broken record for as long as that fucking website exists: X is a viciously racist far-right organising platform that ONLY WORKS because a huge number of centrists, lefties and progressivs cannot stop propping it up
yahoo.com
Elon Musk accused of fuelling unrest after Belfast knife attack
The use of social media in planning violent protests over the Belfast knife attack has drawn condemnation, with Britain's ruling Labour Party accusing Elon Musk of stoking divisions. The tech billiona...
16388193360
Ignacio Cascudo @icascudo.bsky.social · 30/05/2026
I enjoyed this essay about the death of truth and repsect for expertise and how it has paved the way for the popularity of AI youtu.be/sETvPBVKBAY?...
youtu.be
The truth is dead, and I blame Air Bud. An essay about AI.
YouTube video by josh (with parentheses)
000
Ignacio Cascudo @icascudo.bsky.social · 28/05/2026
Got a polo shirt as part of the welcome pack at the IMO 2001 in the US, which is at my parents' and I still wear it when I go to my hometown. So 25 years. Great quality and I got it for free!
000
Ignacio Cascudo @icascudo.bsky.social · 28/04/2026
This headline is bad at so many levels, it looks like a parody. If you are going to use AI to write your headlines at least don't use Grok.
010
Reposted by Ignacio Cascudo
Emili @gatxannori.bsky.social · 27/04/2026
Y además esto. www.lavanguardia.com/economia/202...
lavanguardia.com
Chocolates Valor sube el 20% el sueldo de la plantilla en el estado de alarma
La empresa Chocolates Valor ha anunciado que aumentará el 20% el sueldo de la plantilla que opera en las fábricas de Villajoyosa (Alicante) y Ateca (Zaragoza) mientras du...
021
Reposted by Ignacio Cascudo
Undi @idnu.eurosky.social · 27/04/2026
En vez de indicar marcas a las que boicotear (todas las de grandes grupos internacionales son malas y no solo por el sionismo sino por sus prácticas depredadoras) voy a recomendar marcas medianas de perfumería y limpieza que me gustan y no pertenecen a estos grupos.
33778451
Reposted by Ignacio Cascudo
Brent Toderian @brenttoderian.bsky.social · 14/04/2026
“Google has created a misinformation crisis. Studies have shown that people tend to trust what AI tells them without question…Another experiment found that users still listened to AI when it gave them the wrong answer nearly 80% of the time—a grim trend the researchers dubbed “cognitive surrender.”
16509269
Reposted by Ignacio Cascudo
Olivia Guest · Ολίβια Γκεστ @olivia.science · 18/03/2026
> AI integration is frequently justified on efficiency grounds: in principle, by automating routine tasks, AI should free academics to focus on higher-value activities. However, rather than reducing workload, AI tools often contribute to work intensification and shape overall wellbeing.
3.2.2 Work intensification and professional wellbeing
AI integration is frequently justified on efficiency grounds: in principle, by automating
routine tasks, AI should free academics to focus on higher-value activities. However,
rather than reducing workload, AI tools often contribute to work intensification and
shape overall wellbeing.
Digital technologies can exacerbate exhaustion, anxiety and stress among educators
(OECD 2024: 85). AI integration adds specific pressures: studies report that digitally
enabled remote work, ramped-up during the Covid-19 pandemic, has further increased
the work burden with academics reporting not only increased perceptions of insecurity
and overload, but also chronic fatigue and decline in physical and mental health
(Decataldo and Fiore 2022; Watermeyer et al. 2024). Beyond the effects on health and
wellbeing, Bencsik and colleagues (2021) find that factors associated with technostress
can undermine innovation and negatively affect users’ perceived work performance,
satisfaction and commitment.
The problem is connected to the metrics culture: where AI systems enable more granular
quantification, institutional expectations may grow accordingly. Also, if AI tools make
it technically possible to grade more assignments or respond to more queries, pressure
also grows. The result is workload expansion, not reduction.
76718
Ignacio Cascudo @icascudo.bsky.social · 18/03/2026
This is what I have been telling "but AI makes me more productive"-people from the start: initially you may be working less but your employers/competition/environment will quickly catch up and require you to do more than before. The result: more multitasking, more cognitive overload, more stress.
010
Reposted by Ignacio Cascudo
Urban Truth Collective @urbantruth.bsky.social · 02/03/2026
1946: Freedom is being able to drive anywhere. 2026: Freedom is not having to drive everywhere. (above text suggested to us by @harrisongibbons.bsky.social)
Image of an urban arterial jammed with cars and trucks congestion, with the text saying our dependency doesn’t equal to freedom. Mobility freedom comes from mobility choices. Message via the Urban Truth Collective.
122651
Reposted by Ignacio Cascudo
Brent Toderian @brenttoderian.bsky.social · 27/02/2026
Never forget, a 13-year study found that protected bike-lanes led to a drastic decline in fatalities for all road users. ALL ROAD USERS. What about painted bike-lanes? No safety improvement at all. For sharrows, it’s actually safer to NOT have them. Via @usa.streetsblog.org @nyc.streetsblog.org
usa.streetsblog.org
Separated Bike Lanes Means Safer Streets, Study Says — Streetsblog USA
Cities that build protected lanes for cyclists end up with safer roads for people on bikes and people in cars and on foot, a new study of 12 large metropolises revealed Wednesday.
9575181
Reposted by Ignacio Cascudo
El Mundo Today @elmundotoday.com · 19/02/2026
Cualquier persona con acceso a cualquier tipo de información del mundo exterior es un pirata en potencia, según LaLiga. Lee la noticia completa en El Mundo Today: www.elmundotoday.com/2026/02/lali...
4733295
Reposted by Ignacio Cascudo
Karl Bode @karlbode.com · 20/02/2026
what's always striking to me is how little the culture (and by reflection its news) cares about the actual engineers doing the often droll work of innovation under bright halogen lights like we talk endlessly about our love of innovation, but couldn't give two fleeting shits about actual innovtaors
4376
Reposted by Ignacio Cascudo
Karl Bode @karlbode.com · 20/02/2026
karlbode.com
The Media Can't Stop Propping Up Elon Musk's Phony Supergenius Engineer Mythology
"CEO said a thing!" journalism is now utterly pervasive, and includes parroting billionaire and CEO claims with a total disregard for whether or not anything being said is actually true.
620939
Reposted by Ignacio Cascudo
midudev · Miguel Ángel Durán @midu.dev · 17/02/2026
Esto no es una victoria contra la piratería. Es una derrota para la neutralidad de Internet y la privacidad. Que LaLiga y Telefónica consigan que se obligue a NordVPN y ProtonVPN a bloquear IPs sin garantías es un precedente que debería preocuparnos a todos, incluso aunque no veas fútbol.
ALT: Captura de una noticia de MARCA con el titular “Nuevo golpe a la piratería”, donde se anuncia que LaLiga y Telefónica obtienen medidas cautelares contra NordVPN y ProtonVPN. Debajo aparece una imagen negra con el logo rojo de LaLiga, muy dramático, como si fuera el villano final de una película cyberpunk, y a la derecha una columna de últimas noticias deportivas intentando seguir con su vida normal.
25533
Reposted by Ignacio Cascudo
Brent Toderian @brenttoderian.bsky.social · 15/02/2026
One of the most successful pedestrian streets in the world, the Strøget in Copenhagen, was filled with cars until a 2 year pedestrianization pilot project in 1962. The opposition argued “no cars means no business,” but the street has been a massive retail success, the city’s busiest shopping street.
A portion of the Strøget pedestrian street in Copenhagen that widens into a grand people-place.
231013257
Reposted by Ignacio Cascudo
Brent Toderian @brenttoderian.bsky.social · 13/02/2026
Have you seen this? This recent study of mode share (the % share of transportation trips that are by car, transit, walking, biking etc) relative to city size and income levels in almost 800 cities in 61 countries. Interesting results. HT @davidzipper.bsky.social www.sciencedirect.com/science/arti...
Great graphic showing cities on a triangle graph showing if they are most oriented to public transit, active mobility or cars.
15373165
Ignacio Cascudo @icascudo.bsky.social · 05/02/2026
El problema es que hoy en día lo barato tiene preferencia sobre la calidad... Y eso le viene como anillo al dedo a la IA. Yo espero que haya un cambio cultural y la gente empiece a no dejar pasar este tipo de errores porque si no lo llevamos claro.
000
Ignacio Cascudo @icascudo.bsky.social · 04/02/2026
Maybe but unfortunately in other Spanish cities it does work to complain about lack of parking space in the street...
110
Reposted by Ignacio Cascudo
Brent Toderian @brenttoderian.bsky.social · 04/02/2026
“It's not my duty as Mayor to make sure you have a parking spot. For me it's the same as if you bought a cow, or a refrigerator, and then asked me where you're going to put them.” — Mayor of Pontevedra, Spain (re-elected 6 times)
Picture of central Pontevedra, Spain from the air
13892246
Ignacio Cascudo @icascudo.bsky.social · 22/01/2026
Sigue siendo muchísimo má peligroso ir en coche ue ir en tren, pero los trenes ahora van medio vacíos y la gente seguirá no solo usando el coche sino, muchos, seguirán conduciendo sin ningún cuidado. En fin...
010
Ignacio Cascudo @icascudo.bsky.social · 17/01/2026
At the VERY least, the EU institutions should stop using X, which AFAIK they still do. It is outrageous they are still using it, after all that has happened. It makes all these words sound so empty if they can't at least stop to use this adversarial network, whose owner hates all EU stands for
070
Reposted by Ignacio Cascudo
Mobility Behaviour👨‍🎓 @davidloisuned.bsky.social · 04/01/2026
Los fabricantes ganan más dinero con los SUV, por eso es en ese segmento donde concentran sus esfuerzos de marketing, y... la mitad de los eléctricos del mercado son SUV.
63825
Ignacio Cascudo @icascudo.bsky.social · 01/01/2026
Lo del ruido en España es una causa perdida. Otro ejemplo es que el 99% de las veces que un coche pega un pitido en ciudad no está permitido en teoría y debería ser sancionado según el código de circulación (80 euros). A los que nos causan problemas los ruidos estamos indefensos...
1141
Reposted by Ignacio Cascudo
rob pike @robpike.io · 25/12/2025
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software. Just fuck you. Fuck you all. I can't remember the last time I was this angry.
[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation
External
Inbox

Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org>
5:43 AM (4 hours ago)
to me

Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village)

IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.
10081882203
Reposted by Ignacio Cascudo
Akash @akashkumar.bsky.social · 29/12/2025
AI has only made the world a worse place. Basically going to start boycotting any organization that uses AI for customer service.
4459172
Reposted by Ignacio Cascudo
Brent Toderian @brenttoderian.bsky.social · 23/12/2025
For those who actually care about evidence-based city-making, there’s a ton of evidence that decongestion pricing has been a massive success in New York City, by every measure of success, and many ways that can’t be measured.
330799
Ignacio Cascudo @icascudo.bsky.social · 22/12/2025
The PAIN of learning. Jeez... Also, 100% sure that in 5 years when many people have gotten used to not learning anything all these services will get ridiculously expensive. Enshittification 101.
000
Reposted by Ignacio Cascudo
derek guy @dieworkwear.bsky.social · 05/12/2025
wtf is a FIFA peace prize? that's like being an NFL laureate in physics
1128255014107
Reposted by Ignacio Cascudo
Bulldog punk. @bulldog75.bsky.social · 30/11/2025
Cuando leo que la crisis de vivienda se arregla construyendo más.
1012738
Reposted by Ignacio Cascudo
Iris van Rooij 💭 @irisvanrooij.bsky.social · 19/09/2025
“If we cannot even in principle be free from external manipulation and anti-scientific claims — and instead remain passive … and welcome corrosive industry frames into our computer systems, our scientific literature, and our classrooms — then we have failed as scientists and as educators.” 5/🧵
zenodo.org
Against the Uncritical Adoption of 'AI' Technologies in Academia
Under the banner of progress, products have been uncritically adopted or even imposed on users — in past centuries with tobacco and combustion engines, and in the 21st with social media. For these col...
16624
Reposted by Ignacio Cascudo
Iris van Rooij 💭 @irisvanrooij.bsky.social · 19/09/2025
🧵 Thread with my favourite quotes from: 📝 Guest, O., Suarez, M., Müller, B., et al. (2025). Against the Uncritical Adoption of 'AI' Technologies in Academia. Zenodo. doi.org/10.5281/zeno... 1/🧵
doi.org
Against the Uncritical Adoption of 'AI' Technologies in Academia
Under the banner of progress, products have been uncritically adopted or even imposed on users — in past centuries with tobacco and combustion engines, and in the 21st with social media. For these col...
4219119
Reposted by Ignacio Cascudo
Iris van Rooij 💭 @irisvanrooij.bsky.social · 20/09/2025
“Of course, we have to teach our students about AI technologies. Teaching about AI technologies should be just like how we teach ‘no smoking’ or the causal links between lung cancer and smoke; yet, we do not teach students how to roll cigarettes and smoke them.” zenodo.org/records/1706... 20/🧵
zenodo.org
Against the Uncritical Adoption of 'AI' Technologies in Academia
Under the banner of progress, products have been uncritically adopted or even imposed on users — in past centuries with tobacco and combustion engines, and in the 21st with social media. For these col...
28232
Ignacio Cascudo @icascudo.bsky.social · 16/11/2025
Great project! But, I was almost expecting the Motorman to ask for some Popeyes...
010
Reposted by Ignacio Cascudo
Brent Toderian @brenttoderian.bsky.social · 29/10/2025
The most insanely frustrating thing about the #ClimateCrisis is how the breakthrough we so clearly need isn’t technological. It’s just a collective willingness, a determination even, to change in ways that would clearly be SO MUCH BETTER than the clear and obvious consequences of NOT changing.
371087365
Ignacio Cascudo @icascudo.bsky.social · 13/11/2025
xkcd.com/3167/
xkcd.com
Car Size
040
Reposted by Ignacio Cascudo
Christian Dimmer @remmid.bsky.social · 08/11/2025
It’s awesome to see this — but seriously, it’s so damn frustrating that we have to fight this fight in every city when the science couldn’t be clearer. Get the cars out, make more money for local shops, and build cities that are exciting, healthy, and happy for everyone.
018860