Adrián Arroyo Calle's Avatar

Adrián Arroyo Calle

@aarroyoc.bsky.social

https://adrianistan.eu

21 Followers  |  21 Following  |  71 Posts  |  Joined: 06.02.2024  |  1.6926

Latest posts by aarroyoc.bsky.social on Bluesky

Adrianistán

Como llevo mucho tiempo sin pasar por BlueSky, también comunico que hice una serie de artículos sobre paralelismo: instrucciones SIMD de la CPU, multicores y GPU.

blog.adrianistan.eu/tag/paraleli...

03.09.2025 16:36 — 👍 0    🔁 0    💬 0    📌 0
Post image

Comentarios de un viaje a Taiwan

blog.adrianistan.eu/comentario-d...

03.09.2025 16:27 — 👍 0    🔁 0    💬 0    📌 0

And one of the reasons is that many of them nowadays make it impossible to update the software on it. Until some law passes I think it's good to stick with the few brands that still make smartphones that are unlockable.

28.10.2024 19:21 — 👍 0    🔁 0    💬 0    📌 0
Preview
GitHub - melontini/bootloader-unlock-wall-of-shame: Keeping track of companies that "care about your data 🥺" Keeping track of companies that "care about your data 🥺" - melontini/bootloader-unlock-wall-of-shame

A few days ago I found this piece of information very interesting: Bootloader Unlock Wall of Shame, so after reading all of it, and linked stuff I decided to share it with you. It's a shame that very capable devices like smartphones are basically e-waste after a few years
github.com/melontini/bo...

28.10.2024 19:21 — 👍 2    🔁 2    💬 1    📌 0

And if you want to add more questions, like, the month, just add more "variables"!
今天几月几号?
To answer, substitute each 几 with the corresponding number:
今天十月十六号

18.10.2024 15:35 — 👍 0    🔁 0    💬 0    📌 0

An answer would be the same sentence but making the substitution of 几 with the number. The number that makes the query true!
In Prolog:
?- today(day(X)).
X = 16.
?- today(day(16)).
true.

18.10.2024 15:34 — 👍 0    🔁 0    💬 0    📌 0

Some questions in #Chinese are like queries in #Prolog. For example, if you want to ask what day is it today you would say:
今天几号
(today X day)
Where 几 would be similar of a variable in a Prolog query.

18.10.2024 15:34 — 👍 0    🔁 0    💬 2    📌 0
Post image Post image

En el videojuego HITMAN sale el siguiente edificio: ROXY SALAS. El logo es casi idéntico al que tenía el Cine Roxy en Valladolid.
He intentado buscar si había más cines en el mundo con ese logo, sin éxito. ¿Los creadores de HITMAN se inspiraron en Valladolid?

17.08.2024 16:21 — 👍 0    🔁 0    💬 0    📌 0

This introduction to #Logtalk is one of the best I've ever seen. Gonna keep it bookmarked as a quick reference
logtalk.org/learning/log...

14.08.2024 14:53 — 👍 0    🔁 0    💬 0    📌 0
The BIG 3 Embedded Protocols - I2C, SPI, UART
Sorry for the long wait.We're doing the most popular wired embedded protocols, concepts, tradeoffs, design decisions!BLUETOOTH LOW ENERGY coming soon to a ci... The BIG 3 Embedded Protocols - I2C, SPI, UART

Great video about SPI, I2C and UART. I've always heard of that protocols, but never really take a look at them
www.youtube.com/watch?v=IjjZ...

01.08.2024 19:04 — 👍 1    🔁 0    💬 0    📌 0
researchers find a fatal flaw in intel CPUs
Intel CPUs have been failing all over the world. But why? In this video, we talk about two major issues with the 13th and 14th generation of CPUs.Writeups:ht... researchers find a fatal flaw in intel CPUs

This is a short good video about the Intel instability problems in 13-14th Gen www.youtube.com/watch?v=1GGP...

25.07.2024 21:46 — 👍 0    🔁 0    💬 0    📌 0
2024 Stack Overflow Developer SurveyStack Overflow Developer SurveyUnknow graph In May 2024, over 65,000 developers responded to our annual survey about coding, the technologies and tools they use and want to learn, AI, and developer experience at work. Check out the results and ...

But, is it well paid? No, Ada and Prolog are the least paid languages (but compared to 2023 there's a big change here, so there may be some noise here).

survey.stackoverflow.co/2024

25.07.2024 20:54 — 👍 0    🔁 0    💬 0    📌 0

However it is the second least desired language (after Zephyr), and the second least admired language (after MATLAB). That means people don't want to learn Prolog, and people working with it don't want to continue doing it.

25.07.2024 20:53 — 👍 0    🔁 0    💬 1    📌 0

#StackOverflow Survey
From a Prolog perspective I think they're bad results.
It's more popular than languages like OCaml, COBOL or Nim. This is not too bad I guess, I somehow got the impression that there were more people from all those languages than in Prolog.

25.07.2024 20:53 — 👍 0    🔁 0    💬 1    📌 0
What Happened To User Interfaces?
⚡️Go behind the scenes of how my videos are actually made with Storybehind: https://www.enricotartarotti.com/storybehind?utm_source=ui-video-descUse code INT... What Happened To User Interfaces?

Second one is about how user interfaces have become so boring. But humans find beauty in the details, so, the extreme minimalism won't be forever:
www.youtube.com/watch?v=Hdoz...

14.07.2024 10:13 — 👍 0    🔁 0    💬 0    📌 0
Lego Racers Can't Be Made Today
What makes LEGO Racers so captivating, why its unique systems were never seen again, and why they never will be.I’m a small, part time creator who would love... Lego Racers Can't Be Made Today

In this Sunday I want to recommend you two videos. First one is about LEGO Racers, a great game I played when I was young. But that today would be impossible to bring again. I agree it's not balanced, so it won't work as an online game. But it was very fun

youtu.be/24t6w-7xNPs?...

14.07.2024 10:13 — 👍 0    🔁 0    💬 1    📌 0
Página principal del nuevo blog

Página principal del nuevo blog

Damas y caballeros, la nueva versión del blog Adrianistán ya está disponible
Espero que el diseño os resulte más atractivo. Se han eliminado algunas cosas tanto para aligerar el diseño como para simplificar la implementación, ahora en Scryer Prolog

blog.adrianistan.eu

12.07.2024 22:14 — 👍 0    🔁 0    💬 0    📌 0

¿Creéis que los comentarios en mi blog aportan cosas útiles? ¿Los echaríais mucho de menos si los eliminase?

28.06.2024 16:13 — 👍 0    🔁 0    💬 0    📌 0
Preview
Nuevas charlas en ppt.adrianistan.eu <p>Buenos días. Llevo una temporada con menor ritmo de artículos. No obstante, eso no quiera decir que haya estado de brazos cruzados. ¡Todo lo contrario! Hice de cero la página donde subo Presentacio...

blog.adrianistan.eu/nuevas-charl...

28.06.2024 16:10 — 👍 0    🔁 0    💬 0    📌 0
Introducción a la Programación Lógica con Scryer Prolog - Talks by Adrián Arroyo Calle

Introducción a la programación lógica con Scryer Prolog
#prolog #scryer
ppt.adrianistan.eu/27/

27.06.2024 20:52 — 👍 0    🔁 0    💬 0    📌 0
Why is PS3 emulation so fast: RPCS3 optimizations explained
In this video I explain why PS3 emulation is so fast, and I definitely don't spend half of the video gushing over x86 instructions.I sort of made this video ... Why is PS3 emulation so fast: RPCS3 optimizations explained

This video is amazing. I hope to get the Scryer Prolog JIT at least 1% as good as RPCS3 seems to be: www.youtube.com/watch?v=19ae...

24.06.2024 21:25 — 👍 0    🔁 0    💬 0    📌 0
Preview
GitHub - aarroyoc/computacion-paralela-calculo-distribuido Contribute to aarroyoc/computacion-paralela-calculo-distribuido development by creating an account on GitHub.

Llega el fin de curso y este año tenía una pequeña asignatura de Computación Paralela en la facultad de Ciencias. Libero todos los materiales que he usado bajo licencia Creative Commons 4.0 Attribution para que puedan ser reutilizados libremente

github.com/aarroyoc/com...

31.05.2024 16:00 — 👍 0    🔁 0    💬 0    📌 0
Relaxing Windows 95/98 Video Game Music (90s Mix)
Saddle up for another round of nostalgia as we dive deep into the familiar and obscure era of Windows 95/98 video game music.-----TRACK LIST-----00:00:00 - A... Relaxing Windows 95/98 Video Game Music (90s Mix)

Wonderful selection
www.youtube.com/watch?v=MoWD...

30.05.2024 20:49 — 👍 0    🔁 0    💬 0    📌 0

Scryer Prolog did not compile on loongarch64 if you're wondering

29.05.2024 20:37 — 👍 0    🔁 0    💬 0    📌 0

Some developers from Loongson (a Chinese CPU company) are testing every package from Alpine Linux to see if they work in loongarch64 (their ISA), and modifying the aports repo to reflect that.
That means that probably in the future, Alpine on Loongson will supported

29.05.2024 20:37 — 👍 2    🔁 0    💬 1    📌 0

But no. I measured every part of the program and... The slow part was in a place I never thought before. And it was easily replaceable with a MUCH faster version. So, the tip is: when optimizing for performance measure everything and try to locate WHERE the time is really spent

09.05.2024 19:21 — 👍 0    🔁 0    💬 0    📌 0

Bigger boards were impossible to solve in a reasonable time. I tried with different labeling strategies, changing the order of the constraints,... It improved things but not a lot. I was thinking, maybe the constraints of the problem itself are the hard part.

09.05.2024 19:21 — 👍 0    🔁 0    💬 1    📌 0

Tip of the day: I'm developing a KenKen puzzle solver in Prolog, using clpz. I managed to get a correct version of the code pretty fast but it was a bit slow.

09.05.2024 19:21 — 👍 0    🔁 0    💬 1    📌 0
Preview
GitHub - alphapapa/org-ql: A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc. A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc. - alphapapa/org-ql

The org-ql #Emacs package is very nice. I find org-agenda too complex by default, but with orq-ql, I can just write my own search queries, have them in Org files and run them. Much more flexible and easy to understand for me!
github.com/alphapapa/or...

07.05.2024 20:14 — 👍 1    🔁 0    💬 0    📌 0
A Musical Journey through Italian and Neapolitan Gangster Movies with Bassolino
Please note: The guest DJ will likely post the tracklist in the comment section within a week of the release date. ------------Dario Bassolino is a pianist, ... A Musical Journey through Italian and Neapolitan Gangster Movies with Bassolino

www.youtube.com/watch?v=helt...

04.05.2024 12:02 — 👍 0    🔁 0    💬 0    📌 0

@aarroyoc is following 20 prominent accounts