Jose_A_Alonso

Jose_A_Alonso, 11 months ago to ChatGPT

Can artificial intelligence replace humans in programming? ~ Hampus Ekedahl, Vilma Helander. https://www.diva-portal.org/smash/get/diva2:1776700/FULLTEXT01.pdf #ChatGPT #Programming

Jose_A_Alonso, 10 months ago to math

Teaching linear algebra in a mechanized mathematical environment. ~ Robert M. Corless, David J. Jeffrey, Azar Shakoori. https://arxiv.org/abs/2306.00104 #Math #Teaching #CompSci

Jose_A_Alonso, 9 months ago to math

Lean on Goldbach's conjecture. ~ Frank Vega. https://easychair.org/publications/preprint_download/MBd4 #ITP #LeanProver #Math

Jose_A_Alonso, 7 months ago to math Spanish

#Calculemus: Demostraciones con Lean4: "Si a divide a b y a c, entonces divide a b+c". https://www.glc.us.es/~jalonso/calculemus/07-nov-23/ #ITP #LeanProver #Lean4 #Math

Jose_A_Alonso, 1 year ago to ai

A knowledge engineering primer. ~ Agnieszka Lawrynowicz. https://arxiv.org/abs/2305.17196 #AI #KRR

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, 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, 1 year ago to ai

AI does not help programmers. ~ Bertrand Meyer. https://cacm.acm.org/blogs/blog-cacm/273577-ai-does-not-help-programmers/fulltext #AI #Programming

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, 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, 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, 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, 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 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, 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, 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, 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, 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 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, 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, 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, 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, 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, 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