@Jose_A_Alonso@mathstodon.xyz
@Jose_A_Alonso@mathstodon.xyz avatar

Jose_A_Alonso

@Jose_A_Alonso@mathstodon.xyz

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

This profile is from a federated server and may be incomplete. Browse more on the original instance.

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to FunctionalProgramming
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to random
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to ai
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to FunctionalProgramming
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to FunctionalProgramming
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to math
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to math
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to FunctionalProgramming
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to programming
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to LLMs
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to math
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to math
@Jose_A_Alonso@mathstodon.xyz avatar

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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

The Haskell Unfolder Episode 19: A new perspective on foldl'. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/pQThkisvsVs

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

The Haskell Unfolder Episode 18: Computing constraints. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/JzymjoHC0ig

Jose_A_Alonso, to random
@Jose_A_Alonso@mathstodon.xyz avatar

The functional essence of imperative binary search trees. ~ Anton Lorenzen, Daan Leijen, Wouter Swierstra & Sam Lindley. https://www.microsoft.com/en-us/research/uploads/prod/2023/07/fiptree-tr-v4.pdf

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • normalnudes
  • kavyap
  • GTA5RPClips
  • vwfavf
  • DreamBathrooms
  • mdbf
  • magazineikmin
  • Youngstown
  • ngwrru68w68
  • slotface
  • thenastyranch
  • ethstaker
  • khanakhh
  • rosin
  • megavids
  • InstantRegret
  • modclub
  • osvaldo12
  • anitta
  • everett
  • Durango
  • cisconetworking
  • cubers
  • Leos
  • provamag3
  • tacticalgear
  • tester
  • JUstTest
  • All magazines
    •