#Exercitium: Ventana deslizante. https://jaalonso.github.io/exercitium/posts/2014/07/07-ventana_deslizante/ #Haskell #ProgramaciónFuncional
Using Haskell in production. ~ Agentultra. https://agentultra.com/blog/using-haskell-in-production/ #Haskell #FunctionalProgramming
Real analysis, the game! ~ Alex Kontorovich. https://adam.math.hhu.de/#/g/AlexKontorovich/RealAnalysisGame #ITP #LeanProver #Math
An introduction to formal real analysis (Lecture 2: Newton's computation of π. Formal definition of the limit of a sequence). ~ Alex Kontorovich. https://alexkontorovich.github.io/2025F311H/Lecture2.pdf #ITP #LeanProver #Math
An introduction to formal real analysis (Lecture 1: The story of real analysis. Lean tactics (exact, rfl, rewrite, ring_nf, use, intro, specialize, choose)). ~ Alex Kontorovich. https://alexkontorovich.github.io/2025F311H/Lecture1.pdf #ITP #LeanProver #Math
"La felicidad consiste, principalmente, en conformarse con la suerte; es querer ser lo que uno es." ~ Erasmo de Róterdam (1466-1536).
"Hay que estudiar mucho para saber poco." ~ Montesquieu (1689-1755).
"No juzgues el día por la cosecha que has recogido, sino por las semillas que has plantado." ~ Robert Louis Stevenson (1850-1894).
"Practica lo que sabes y esto te ayudará a ver lo que todavía no sabes." ~ Atribuido a Rembrandt (1606-1669).
The minimal megaparsec tutorial. ~ Clément Hurlin. https://www.tweag.io/blog/2025-04-24-minimal-megaparsec-tutorial/ #Haskell #FunctionalProgramming
#Exercitium: Biparticiones de una lista. https://jaalonso.github.io/exercitium/posts/2014/05/23-biparticiones_de_una_lista/ #Haskell #ProgramaciónFuncional
Formal mathematical reasoning: A new frontier in AI. ~ Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin Lauter, Swarat Chaudhuri, Dawn Song. https://arxiv.org/abs/2412.16075 #AI #Math #Reasoning #ITP #Coq #IsabelleHOL #LeanProver #Autoformalization
Readings shared December 6, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/06-readings_shared_12-06-24 #Haskell #FunctionalProgramming #AI #LLMs #ITP #Math
On program synthesis and Large Language Models (Why it is unlikely new developments in machine intelligence will eventually make programming obsolete). ~ Hans Hüttel. https://cacm.acm.org/opinion/on-program-synthesis-and-large-language-models/ #AI #LLMs #Programming
(Re)imagining mathematics in a world of reasoning machines. ~ Akshay Venkatesh. https://youtu.be/vYCT7cw0ycw #Math #ITP #AI
(Re)imagining mathematics in a world of reasoning machines. ~ Akshay Venkatesh. https://youtu.be/DwttqWjTADA #Math #ITP #AI
AI for Math fund. ~ Terence Tao (nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqch8hfpny6tp95jqut4smklg3nx2h93dvvw6x4jsaqzwj8u6az9lq40qmju). https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/ #AI #ITP #Math
Readings shared December 5, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/05-readings_shared_12-05-24 #ITP #LeanLang #Lean4 #Coq #Rocq #IsabelleHOL #Logic #Math #FunctionalProgramming #Haskell #OCaml #AI #LLMs
Amplifying human performance in combinatorial competitive programming. ~ Petar Veličković, Alex Vitvitskyi, Larisa Markeeva, Borja Ibarz, Lars Buesing, Matej Balog, Alexander Novikov. https://arxiv.org/abs/2411.19744 #AI #LLMs #Math
What makes math problems hard for reinforcement learning: a case study. ~ Ali Shehper, Anibal M. Medina-Mardones, Bartłomiej Lewandowski, Angus Gruen, Piotr Kucharski, Sergei Gukov. https://arxiv.org/abs/2408.15332 #AI #MachineLearning #Math