Adrián Arroyo Calle

Adrián Arroyo Calle

@aarroyoc.bsky.social

https://adrianistan.eu

22 Followers 21 Following 76 Posts Joined Feb 2024
5 months ago

KDE y Linux seguirán siendo compatible con estos ordenadores.

Es por ello que hoy se merecían una donación.

0 0 0 0
5 months ago

Afortunadamente existe gente que no compra este tipo de consumismo tecnológico de Silicon Valley. La gente de KDE por ejemplo lleva muchos años trabajando para hacer aplicaciones y un escritorio potente para Linux, tanto para trabajar como para ocio (doy fe de ello).

0 0 1 0
5 months ago

Este componente no era común hasta que Microsoft anunció los requisitos de Windows 11. De este modo, ordenadores que por otros motivos podrían actualizarse, van a tener que ser sustituidos por otros nuevos.

0 0 1 0
5 months ago

Hoy Windows 10 deja de tener soporte, convirtiendo muchos ordenadores plenamente funcionales en basura electrónica. La gente que quiera seguir usando Windows con seguridad tiene que pasarse al 11, que de manera oficial necesita un componente llamado TPM 2.0.

0 0 1 0
5 months ago
Post image

#kde

0 0 0 0
6 months ago
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...

0 0 0 0
6 months ago
Post image

Comentarios de un viaje a Taiwan

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

0 0 0 0
1 year ago

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.

0 0 0 0
1 year ago
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...

2 2 1 0
1 year ago

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

0 0 0 0
1 year ago

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.

0 0 0 0
1 year ago

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.

0 0 2 0
1 year ago
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?

0 0 0 0
1 year ago

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...

0 0 0 0
1 year ago
YouTube
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...

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...

1 0 0 0
1 year ago
YouTube
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...

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

0 0 0 0
1 year ago
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

0 0 0 0
1 year ago

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.

0 0 1 0
1 year ago

#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.

0 0 1 0
1 year ago
YouTube
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...

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...

0 0 0 0
1 year ago
YouTube
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...

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?...

0 0 1 0
1 year ago
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

0 0 0 0
1 year ago

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

0 0 0 0
1 year ago
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...

0 0 0 0
1 year ago
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/

0 0 0 0
1 year ago
YouTube
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 ...

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...

0 0 0 0
1 year ago
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...

0 0 0 0
1 year ago
YouTube
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...

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

0 0 0 0
1 year ago

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

0 0 0 0
1 year ago

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

2 0 1 0