Ruta en bici del sábado. Desde Santovenia, intento seguir el Canal del Duero hasta la antigua estación de tren de Laguna de Duero. En ocasiones fue un poco complicado debido a la cantidad de calles que atraviesa.

rutaxruta.com/track/0e0b9c93-1

¿¡Un Experimento que MODIFICA el PASADO!? | El Borrador Cuántico
youtu.be/D9UcjR2JN5I

Una cosa que me hace gracia de algunos juegos de coches es que tu vehículo sufre daño. Hasta ahí todo bien. Entonces tu motor por ejemplo, en vez de estar al 100% está al 83%. Pero es que luego puedes repararlo para subirlo al 84%. No tiene ningún sentido 😂

I still think that, in addition to selective AND-parallelism and OR-parallelism, MapReduce for some predicates, Join Calculus is the way to go for introducing concurrency in Prolog

Is there a reason why Join Calculus is very little used for managing concurrency?

There's a lack of documentation out there compared to alternatives

One of the few places that had anything on the topic (C2 Wiki) said that, compared to actors, it manages errors worse. That could be a reason. But there are also advantages compared to actors

Spotted in Newcastle Cathedral earlier today, an Idris logo on a stone outside the crypt.

He estado una semana ausente. Durante ese tiempo hice una ruta en bici muy cortita, visitar el yacimiento de Pintia desde Peñafiel.

rutaxruta.com/track/4ea197ae-a

I've applied to attend The Prolog Day Symposium in Paris. I hope I can meet lots of people there in November!

Intentando evitar el posible problema que rompía GRUB en Arch Linux... He roto GRUB. I'm a genius

Afortunadamente si conservas un USB con Arch, se arregla rápidamente

Ruta en bici de hoy. Rumbo a Villavaquerín por el páramo, subimos por la carretera antigua en Renedo. Volvemos por Villabáñez y subimos de nuevo para bajar a Valladolid.

rutaxruta.com/track/9520f659-0

"Learn german while sleeping". I need to try it, what could go wrong??

youtu.be/FppNZPuJPng

Show older
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!