Jose_A_Alonso

Jose_A_Alonso, 6 days ago to FunctionalProgramming

Principles of dependent type theory. ~ Carlo Angiuli and Daniel Gratzer (@danielgratzer). https://www.danielgratzer.com/courses/type-theory-s-2024/lecture-notes.pdf #TypeTheory #FunctionalProgramming

Jose_A_Alonso, 9 days ago to FunctionalProgramming

Free foil: Generating efficient and scope-safe abstract syntax. ~ Nikolai Kudasov, Renata Shakirova, Egor Shalagin, Karina Tyulebaeva. https://arxiv.org/abs/2405.16384 #FunctionalProgramming #Haskell

Jose_A_Alonso, 16 days ago to haskell

The Haskell Unfolder Episode 26: Variable-arity functions. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/5wbgRlzJYUU #Haskell #FunctionalProgramming

Jose_A_Alonso, 23 days ago to haskell

The Haskell Unfolder Episode 25: from Java to Haskell. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/YwshlQXKO80 #Haskell #FunctionalProgramming

Jose_A_Alonso, 27 days ago to FunctionalProgramming

The ultimate guide to Haskell Strings. ~ Julian Ospald. https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html #FunctionalProgramming #Haskell

Jose_A_Alonso, 1 month ago to random

Guided equality saturation. ~ Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer. https://michel.steuwer.info/files/publications/2024/POPL-2024-2.pdf #ITP #Lean4

Jose_A_Alonso, 1 month ago to ai

Learning guided automated reasoning: A brief survey. ~ Lasse Blaauwbroek, David Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban. https://arxiv.org/abs/2403.04017 #ATP #ITP #AI #MachineLearning

Jose_A_Alonso, 1 month ago to haskell

The Haskell Unfolder Episode 24: generic (un)folds. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/QTgRKWGDVr0 #Haskell #FunctionalProgramming

Jose_A_Alonso, 1 month ago to FunctionalProgramming

Benefits of functional programming. ~ Ada Beat. https://adabeat.com/fp/benefits-of-functional-programming/ #FunctionalProgramming

Jose_A_Alonso, 1 month ago to FunctionalProgramming

Getting your Haskell executable statically linked with Nix. ~ Tom Sydney Kerckhove. https://cs-syd.eu/posts/2024-04-20-static-linking-haskell-nix #FunctionalProgramming #Haskell #Nix

Jose_A_Alonso, 1 month ago to haskell

Core inspection. ~ Oleg Grenrus. https://oleg.fi/gists/posts/2024-04-12-core-inspection.html #Haskell #FunctionalProgramming

Jose_A_Alonso, 1 month ago to haskell

The Haskell Unfolder Episode 23: specialisation. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/ksW04Cl2dgo #Haskell #FunctionalProgramming

Jose_A_Alonso, 2 months ago to math

Why mathematics is boring. ~ John Baez. https://golem.ph.utexas.edu/category/2024/03/why_mathematics_is_boring_1.html #Math

Jose_A_Alonso, 2 months ago to math

A comprehensive overview of the Lebesgue differentiation theorem in Coq. ~ Reynald Affeldt, Zachary Stone. https://arxiv.org/abs/2403.18229 #ITP #Coq #Math

Jose_A_Alonso, 2 months ago to FunctionalProgramming

Quasiquotation with binders: A Lean metaprogramming example. ~ David Thrane Christiansen (@d_christiansen). https://lean-lang.org/blog/2024-3-21-quasiquotation-with-binders-a-lean-metaprogramming-example#ITP #LeanProver #Lean4 #FunctionalProgramming

Jose_A_Alonso, 2 months ago to haskell

Creating a GUI application in Haskell. ~ Mark Karpov, Jorge Galarza. https://www.stackbuilders.com/blog/gui-application/ #Haskell #FunctionalProgramming

Jose_A_Alonso, 2 months ago to haskell

The Haskell Unfolder Episode 21¡2: foldr-build fusion. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/C-GahictORU #Haskell #FunctionalProgramming

Jose_A_Alonso, 2 months ago to programming

Computer programming as an art. ~ Donald E. Knuth (1974). https://dl.acm.org/doi/pdf/10.1145/361604.361612 #Programming

Jose_A_Alonso, 2 months ago to haskell

Abstracting denotational interpreters. ~ Sebastian Graf, Simon Peyton Jones, Sven Keidel. https://arxiv.org/abs/2403.02778 #Haskell #FunctionalProgramming

Jose_A_Alonso, 3 months ago to haskell

Extending destination-passing style programming to arbitrary data types in Linear Haskell. ~ Thomas Bagrel. https://www.tweag.io/blog/2024-03-07-dps-haskell #Haskell #FunctionalProgramming

Jose_A_Alonso, 3 months ago to haskell

The Haskell Unfolder Episode 20: Dijkstra's shortest paths. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/WHVMjMIJnB4 #Haskell #FunctionalProgramming

Jose_A_Alonso, 3 months ago to LLMs

Large language models as an indirect reasoner: Contrapositive and contradiction for automated reasoning. ~ Yanfang Zhang, Yiliu Sun, Yibing Zhan, Dapeng Tao, Dacheng Tao, Chen Gong. https://arxiv.org/abs/2402.03667 #LLMs #Reasoning

Jose_A_Alonso, 3 months ago to haskell

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones). https://youtu.be/UBgam9XUHs0 #Haskell #FunctionalProgramming

Jose_A_Alonso, 3 months ago to math

Widely accepted mathematical results that were later shown to be wrong. https://mathoverflow.net/questions/35468/widely-accepted-mathematical-results-that-were-later-shown-to-be-wrong #Math

Jose_A_Alonso, 4 months ago to math

What is good mathematics? ~ Terence Tao. https://arxiv.org/abs/math/0702396 #Math