Inlining in the Glasgow Haskell Compiler: empirical investigation and improvement. ~ Celeste Hollenbeck. https://era.ed.ac.uk/bitstream/handle/1842/43690/Hollenbeck2025.pdf #Haskell #FunctionalProgramming
Four ways of declaring interfaces in Haskell. ~ Marco Perone. https://marcosh.github.io/post/2025/07/22/four-ways-of-declaring-interfaces-in-haskell.html #FunctionalProgramming #haskell
Competitive programming in Haskell: sparse tables. ~ Brent Yorgey. https://byorgey.github.io/blog/posts/2025/07/18/sparse-table.html #Haskell #FunctionalProgramming
Readings shared July 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/24-readings_shared_07-23-25 #AI #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math
Readings shared July 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/23-readings_shared_07-22-25 #FunctionalProgramming #Haskell #IMO #ITP #LLMs #Math #Rocq #Rust
Comparing codes: Image rotation (Mutable arrays in Haskell). ~ James Bowen. https://mmhaskell.com/blog/2025/7/21/image-rotation-mutable-arrays-in-haskell #Haskell #FunctionalProgramming #Rust
Readings shared July 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/22-readings_shared_07-21-25 #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #Rocq
I also got experience with the following (5 = a lot, 1 = a little) :
#machinelearning #ml (3) (I have implemented some ML models myself in the past, for learning purposes.)
#guix (3) (Using it for reproducible setups of projects.)
#functionalprogramming #fp (5) (Doing it in my own projects.)
#objectorientedprogramming #oop (4) (last job and past xp in my own projects.)
#CI / #CD (3) (Last job)
#make (4) (using it for my own project setups and convenience)
#testing (4) (last job, own projects)
Gleam is an interesting new functional programming language. It is an ML-family language with syntax very similar to Rust, but it's not a replacement.
If you like Rust and don't like Go (or Elixir's Ruby syntax), Gleam might be worth considering for I/O bound applications needing high concurrency.
Gleam can also replace Elm on the browser. Code written in Gleam is apparently 30% faster than hand-written JavaScript.
The one where I am contemplating the scarcity of monads in R, and come to the conclusion that we already have plenty of monads in R. https://www.biobits.be/biofunctor/2025/07/10/monads-everywhr/
Readings shared July 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/08-readings_shared_07-07-25 #Coq #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Maxima
Lean: a theorem prover and programming language that enables correct, maintainable, and formally verified code. https://lean-lang.org #ITP #LeanProver #FunctionalProgramming
Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4
#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming
HT @zurihac
A diagrammatic calculus for a functional model of natural language semantics. ~ Matthieu Pierre Boyer. https://arxiv.org/abs/2507.00782v1 #Haskell #FunctionalProgramming
Implementing a type theory with observational equality, using normalisation by evaluation. ~ Matthew Sirman, Meven Lennon-Bertrand, Neel Krishnaswami. https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2024.5 #Haskell #FunctionalProgramming