Tootfinder

Je teste le remplacement de #direnv par la fonctionnalité "env._source = ..." proposée par #Mise
https://notes.sklein.xyz/20…

@…
DragonflyDB reduced Mastodon storage from 22 GB to 8.5 GB:
https://mathstodon.xyz/@renchap@oisaur.com/113522923632…

Plus j'utilise #Hasura plus je préfère #postgraphile
https://notes.sklein.xyz/2024-11-22_17

@…
'A rare copy for sale of "Lisp Style and Design" by Molly Miller and Eric Benson (Digital Press, 1990), a great book cited by Paul Graham in On Lisp that covers often overlooked topics. All the proceeds will be donated to the Medley Interlisp Project.'

Lisp Style & Design - Molly Miller, Eric Benson - VERY RARE - VERY GOOD cond | eBay
Good design and style enhance programming efficiency because they make programs easier to understand, to debug, and to maintain. Lisp Hackers' Delight. Paul Graham cites this book in his classic text,On Lisp.

J'ai testé l'offre "Apple Silicon" de #Scaleway
https://notes.sklein.xyz/2024-11-20_1102/
Cela fonctionne bien 🙂

"Tiling with Three Polygons is Undecidable"
Erik D. Demaine; Stefan Langerman 17 Sep 2024
Abstract
We prove that the following problem is co-RE-complete and thus undecidable: given three simple polygons, is there a tiling of the plane where every tile is an isometry of one of the three polygons (either allowing or forbidding reflections)? This result improves on the best previous construction which requires five polygons.
...
It remains open whether tiling …

[ July 30, 2025] CFP for publication or other deadline: null https://philevents.org/event/show/9587

Springer SAPERE - Book Series - Studies in Applied Philosophy, Epistemology and Rational Ethics
STUDIES IN APPLIED PHILOSOPHY, EPISTEMOLOGY AND RATIONAL ETHICS (SAPERE) Editor-in-Chief Lorenzo Magnani, Department of Philosophy and Computational Philosophy Lab, University of Pavia, Pavia, ITALY Editorial Board Atocha Aliseda, Universidad Nacional Autónoma de México (UNAM), MEXICO Giuseppe Longo, Centre Cavaillès, CNRS - Ecole Normale Supérieure, Paris, FRANCE Chris Sinha, University of Lund, Lund, Sweden Paul Thagard, University of Waterloo, Waterloo, Ontario, CANADA John Woods, Unive…

J'ai réussi Š compiler / lancer une application Capacitor sur un émulateur iOS sur l'offre #Scaleway Apple Silicon M1
J'ai essayé d'automatiser au mieux le provisioning des requirements de #Capacitor

Voici ce que j'ai compris au sujet de l'article 25 du projet de loi de finance 2025, au sujet des #BSPCE #plf2025
https://