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...
@aarroyoc.bsky.social
https://adrianistan.eu
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...
Comentarios de un viaje a Taiwan
blog.adrianistan.eu/comentario-d...
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 📌 0A 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...
And if you want to add more questions, like, the month, just add more "variables"!
今天几月几号?
To answer, substitute each 几 with the corresponding number:
今天十月十六号
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.
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.
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?
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...
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...
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 📌 0But, 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
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.
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...
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?...
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
¿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 📌 0Introducción a la programación lógica con Scryer Prolog
#prolog #scryer
ppt.adrianistan.eu/27/
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 📌 0Llega 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...
Wonderful selection
www.youtube.com/watch?v=MoWD...
Scryer Prolog did not compile on loongarch64 if you're wondering
29.05.2024 20:37 — 👍 0 🔁 0 💬 0 📌 0Some 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
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 📌 0Bigger 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 📌 0Tip 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 📌 0The 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...