Ignacio Ballesteros
@ignacioballesteros.es
Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Enhorabuena!
Creo que pone que el código fuente será entregado a CIVIO, pero ¿con qué condiciones?
¿Desde CIVIO se puede hacer público o solo divulgar su análisis?
Creo que pone que el código fuente será entregado a CIVIO, pero ¿con qué condiciones?
¿Desde CIVIO se puede hacer público o solo divulgar su análisis?
September 18, 2025 at 4:21 PM
Enhorabuena!
Creo que pone que el código fuente será entregado a CIVIO, pero ¿con qué condiciones?
¿Desde CIVIO se puede hacer público o solo divulgar su análisis?
Creo que pone que el código fuente será entregado a CIVIO, pero ¿con qué condiciones?
¿Desde CIVIO se puede hacer público o solo divulgar su análisis?
No te vayas, es mejor la cocción a fuego lento. Cuando menos te lo esperas, 44°. Y te encuentras diciendo "con 38° por lo menos se puede salir"
August 8, 2025 at 10:44 PM
No te vayas, es mejor la cocción a fuego lento. Cuando menos te lo esperas, 44°. Y te encuentras diciendo "con 38° por lo menos se puede salir"
Los diagramas son bonitos visualmente, pero difíciles de entender. La notación original (+ licencias) es bastante compacta.
En el máster de Métodos Formales de la @upm.es + @ucm.es hay una asignatura en la que se hacen estos ejercicios ♥️
lambster.dev
En el máster de Métodos Formales de la @upm.es + @ucm.es hay una asignatura en la que se hacen estos ejercicios ♥️
lambster.dev
March 31, 2025 at 3:09 PM
Los diagramas son bonitos visualmente, pero difíciles de entender. La notación original (+ licencias) es bastante compacta.
En el máster de Métodos Formales de la @upm.es + @ucm.es hay una asignatura en la que se hacen estos ejercicios ♥️
lambster.dev
En el máster de Métodos Formales de la @upm.es + @ucm.es hay una asignatura en la que se hacen estos ejercicios ♥️
lambster.dev
Qué gracioso, pero ahora *demuéstralo*
March 31, 2025 at 2:09 PM
Qué gracioso, pero ahora *demuéstralo*
A buscar curro chavales
March 12, 2025 at 10:28 PM
A buscar curro chavales
Don't forget Curry, named after... Haskell, again.
Who else has multiple languages named after them?
Who else has multiple languages named after them?
March 1, 2025 at 11:38 AM
Don't forget Curry, named after... Haskell, again.
Who else has multiple languages named after them?
Who else has multiple languages named after them?
BUENO BUENO
Qué rico
Qué rico
February 13, 2025 at 8:20 PM
BUENO BUENO
Qué rico
Qué rico
Enhorabuena! ¿Cuál era la idea?
February 3, 2025 at 10:27 AM
Enhorabuena! ¿Cuál era la idea?
Yes, I think it needs a borg binary on the server. The location can be passed with the "remote path" option.
But I don't have experience using it with S3 and others
But I don't have experience using it with S3 and others
January 28, 2025 at 3:52 PM
Yes, I think it needs a borg binary on the server. The location can be passed with the "remote path" option.
But I don't have experience using it with S3 and others
But I don't have experience using it with S3 and others
For me, it's even easier to use with borgmatic.
I have heard about lower memory usage, but I don't have strong opinions on that. I just gave it a try and it worked.
I have heard about lower memory usage, but I don't have strong opinions on that. I just gave it a try and it worked.
January 28, 2025 at 3:38 PM
For me, it's even easier to use with borgmatic.
I have heard about lower memory usage, but I don't have strong opinions on that. I just gave it a try and it worked.
I have heard about lower memory usage, but I don't have strong opinions on that. I just gave it a try and it worked.
También es mi favorito. Solté una carcajada cuando lo vi (bien recibida y hasta esperada)
January 22, 2025 at 1:07 PM
También es mi favorito. Solté una carcajada cuando lo vi (bien recibida y hasta esperada)
Urban "Smart Gondolas" are a Dumb Idea, Here's Why
YouTube video by Adam Something
youtu.be
January 22, 2025 at 3:33 AM
I don't want to include HaskCell (An Excel based in Haskell).
Our name can't compete with theirs
Our name can't compete with theirs
January 21, 2025 at 11:34 PM
I don't want to include HaskCell (An Excel based in Haskell).
Our name can't compete with theirs
Our name can't compete with theirs