@ekaitz_zarraga @w96k It is not a GUI, but if the application is not complicated probably guile-sdl2 can do the job.

Resultado final: Caperucita en Manhattan 5 raspado https://twitter.com/spectrumgomas/status/1493995271155503110

Lectura recomendada/obligatoria del colegio, tampoco voy a quedar de santo.

En cosas como esta se me va la vida en vez de estar haciendo mis hello worlds. https://twitter.com/spectrumgomas/status/1493900360414601217

@ekaitz_zarraga No todo el mundo puede presumir de tener una de esas camisetas. Felicidades.

@jeko @abbienormal Me neither, it's a new book from 2021.

@abbienormal @jeko If black humour is applied, there will be no one to claim that licence, Vsevolod Domkin is Ukrainian and he retweeted this a few days ago https://twitter.com/martinxo/status/1486019468476260360
Sad times.

@abbienormal @jeko If it wasn't for this license it was just a matter of translate these examples to GNU Guile and we'd have a great tutorial book. https://github.com/Apress/programming-algorithms-lisp/blob/main/LICENSE.txt

But it can serve as an inspiration.

Programming algorithms in Lisp by Vsevolod Domkin could be the best introduction to GNU #guile although it is written in Common Lisp. I would have to see it when I have the time, i.e. in a century's time.

French Open Science Free Software Award Ceremony: The Coq proof assistant is the winner https://www.ouvrirlascience.fr/open-science-free-software-award-ceremony/

Hourra typage statique !

@ondiz El mecanismo ese daba para película.¿Te sonaba de verlo en algún libro o algo? Yo pensaba que lo de que Felipe II era tan tan beato debía ser algo muy exagerado, pero va a ser verdad.

Mathematical Components
by Assia Mahboubi and Enrico Tassi looks ⭐⭐⭐⭐⭐. I think I'm going to read it.

Even newbies can get green in coq-ide

@ondiz Ese es el ejemplo que tienes que ponerles en clase de mecanismos el día antes del examen, el monje del mea culpa https://gizmodo.com/this-450-year-old-clockwork-monk-is-fully-operational-5956937

The friar's eyes move from side to side, while one arm raises a rosary's cross for an automated kiss and the other arm strikes the chest in the "mea culpa" gesture
https://gizmodo.com/this-450-year-old-clockwork-monk-is-fully-operational-5956937

Photo: Proof Pad author Caleb Eggensperger and computer science professor Rex Page
http://ouccoe100.blogspot.com/2010/11/computer-science-programming-team.html

Proof Pad A modern development environment for ACL2 with all the trimmings. http://proofpad.org/

GuileScript 0.0.0 Because, why not?https://github.com/aconchillo/guilescript
#GNU #guile

Ya lo estoy viendo, voy a Estados Unidos, nos meten a mi y a Parikh de variables de entrada con esos enunciados en Coq y sale que el teorema es cierto.

Apparently Rohit Parikh doesn't go off on a tangent:

Hispanic immigrants are insufficiently educated compared to Indian immigrants like him.

There are a lot of stupid people in India but they don't come here.

https://en.wikipedia.org/wiki/Rohit_Jivanlal_Parikh