Ignacio Ballesteros

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?

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"

La urgencia por conseguir un diagnóstico rápido en el cáncer de piel más peligroso, el melanoma, ha llevado al País Vasco a apostar por la IA.

Quantus Skin promete agilizar el proceso decidiendo qué pacientes deben ser atendidos primero.

Sin embargo, los datos muestran una realidad preocupante.

Todo clarísimo. 🥴

λ> and true false λ > ((and true) false) δ > expanded 'and' into '(λa. (λb. ((a b) a)))' δ > expanded 'true' into '(λt. (λf. t))' δ > expanded 'false' into '(λt. (λf. f))' Δ > (((λa. (λb. ((a b) a))) (λt. (λf. t))) (λt. (λf. f))) Beta reducing '(λt. (λf. t))' into '(λa. (λb. ((a b) a)))' β > ((λb. (((λt. (λf. t)) b) (λt. (λf. t)))) (λt. (λf. f))) Beta reducing 'b' into '(λt. (λf. t))' β > ((λb. ((λf. b) (λt. (λf. t)))) (λt. (λf. f))) Beta reducing '(λt. (λf. t))' into '(λf. b)' β > ((λb. b) (λt. (λf. f))) Beta reducing '(λt. (λf. f))' into '(λb. b)' β > (λt. (λf. f)) >>> (λt. (λf. f)) ↳ equivalent to: false, zero

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

What is PLUS times PLUS? YouTube video by 2swap

Ah! Seguro que te gusta este vídeo

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

Qué gracioso, pero ahora *demuéstralo*

Me setting up the laptop to present next to the homemade cheesecake.

The cheesecake.

Took part in the first Theory Cake (informal) talks at IMDEA Software Institute!

Was way more nervous about the homemade cake than the talk, but both turned out great!

A buscar curro chavales

Don't forget Curry, named after... Haskell, again.

Who else has multiple languages named after them?

Defense Against Dishonest Charts This is a guide to protect ourselves and to preserve what is good about turning data into visual things.

This excellent interactive tutorial on misleading data visualizations explores the idea of a "counter chart" — the graph you draw in response to refute a misleading claims

flowingdata.com/projects/dis...

Picture taken from the ground of an Airbus Beluga flying overhead

Beluga over Madrid

BUENO BUENO

Qué rico

Enhorabuena! ¿Cuál era la idea?

Casos de Uso en Elixir | Ángel Herranz, Thu, Jan 30, 2025, 7:00 PM | Meetup Hola! Empezamos el año una vez más con Ángel Herranz (UPM). Esta vez nos hablará de casos de uso en Elixir. Para el control de acceso y calcular pizza, hay que apuntarse

Mañana estaré viendo a @herranza.bsky.social en el meetup de Elixir en Madrid.

www.meetup.com/madrid-elixi...

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

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.

Diagram showing my flights from Denver to Madrid. Route was: DEN - JFK - LHR - AMS - MAD Failed: JFK - MAD (twice), LHR - MAD

It has been an amazing week in Denver. Many great ideas there. Also happy to share our work about Haskell based spreadsheets :)

But what an unexpected travel back to Madrid. Delayed flights, missed connections, buggy plane tickets...

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

Siempre intentan reinventar el metro, pero peor.

youtu.be/fvvA_GToc0M?...

I don't want to include HaskCell (An Excel based in Haskell).

Our name can't compete with theirs

Knowledge-Base API for Python (KeBAP)

mini-Gringo (from CLINGO)

MOLA (from LOLA/HLOLA)

Choose the best name presented at PADL 2025:

- KeBAP
- Gringo
- MOLA

Oh, and the Duck Duck Goose name for the room is because of these ♥️

[POPL'25] Duck, Duck, Goose - PADL (20th Jan) YouTube video by ACM SIGPLAN

Today I gave my talk about spreadsheets at PADL. Questions have been very interesting, and I will love to keep working on this to hopefully use a different spreadsheet system.

Here is the talk, if you want to have a look:

www.youtube.com/watch?v=9vg-...

W3C page describing that PNG file format is pronounced "ping"

Oh wait it wasn't a joke

🛫

Weather for next Monday in Denver, CO. Maximum of -13°C, minimum of -19°C.

I'm not ready for this... Cold days in Madrid are around 0°C

Haskell Based Spreadsheets (PADL 2025 - : The 27th International Symposium on Practical Aspects of Declarative Languages) - POPL 2025 Proceedings Preliminary proceedings are available (pwd protected) Introduction Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and co...

Excited to be in Denver next week! I’ll be talking about spreadsheets at PADL.

I’m also really happy to be attending POPL! :D

popl25.sigplan.org/details/PADL...