Readings shared November 26, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/26-readings_shared_11-26-24 #ITP #Lean4 #IsabelleHOL #Logic #Math #Prolog #LogicProgramming #Z3 #SMT #AI #Education

IA Generativa: Estrategias de uso para docentes desde infantil a bachillerato. ~ Pablo Haya (@pablohaya). https://pablohaya.com/2024/11/25/ia-generativa-estrategias-de-uso-para-docentes-desde-infantil-a-bachillerato/ #AI #Education

Cobblestone: Iterative automation for formal verification. ~ Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First. https://arxiv.org/abs/2410.19940 #ITP #Coq #LLMs

Confirmado el descubrimiento del primo de Mersenne número 52. https://www.gaussianos.com/confirmado-el-descubrimiento-del-primo-de-mersenne-numero-52/ ~ Miguel Ángel Morales (nostr:npub1z2fv8gjl2yedfgd4vx2tzr08pxnx6yzwp8q7pt0q56y5d767u67q464f6e). #Matemáticas

Using Org Mode to write and organize a book. ~ Ron Galloway. https://static1.squarespace.com/static/661587048ee66c27f27eecc8/t/66b9334e115dc60c33c31152/1723413327084/orgmode_guide.pdf #Emacs #OrgMode

Practical deductive verification of OCaml programs (Extended version). ~ Mário Pereira. https://arxiv.org/abs/2404.17901 #FunctionalProgramming #OCaml

The monad problem. ~ Antoine Leblanc (nostr:npub1vesn72862k2jr07ewek0gfmwtencwvcn2zpvplv7x4me7v3rjhzq3dgetd). https://youtu.be/LekhueQ4zVU #Haskell #FunctionalProgramming

Yoneda’s lemma as an identification of form and function: the case study of polynomials. ~ Terence Tao (nostr:npub1ch8hfpny6tp95jqut4smklg3nx2h93dvvw6x4jsaqzwj8u6az9lqfw3ckt). https://terrytao.wordpress.com/2023/08/25/yonedas-lemma-as-an-identification-of-form-and-function-the-case-study-of-polynomials/ #Math