Readings shared April 4, 2025. jaalonso.github.io/vestigium/po... #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Maxima
Readings shared April 4, 2025
The readings shared in Bluesky on 4 April 2025 are
Learning Lean in the age of Artificial Intelligence. ~ Adolfo Neto. #ITP #LeanProver
Guessing game: Haskell style. ~ kqr. #Haskell #FunctionalProgra
jaalonso.github.io
April 5, 2025 at 6:40 AM
Readings shared April 4, 2025. jaalonso.github.io/vestigium/po... #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Maxima
"A rule is only meaningful in a specific flow. When you abstract it too early, you lose that meaning and invite bugs the moment someone 'reuses' it i..."
buff.ly/5PUGDex #softwareengineering #developerexperience #objectorientedprogramming #code #reuse #functionalprogra…
buff.ly/5PUGDex #softwareengineering #developerexperience #objectorientedprogramming #code #reuse #functionalprogra…
Objects Are Dead, Long Live Feature Slices
Why I stopped chasing reuse and started writing domain logic around decisions, not abstractions.
buff.ly
September 23, 2025 at 12:56 PM
"A rule is only meaningful in a specific flow. When you abstract it too early, you lose that meaning and invite bugs the moment someone 'reuses' it i..."
buff.ly/5PUGDex #softwareengineering #developerexperience #objectorientedprogramming #code #reuse #functionalprogra…
buff.ly/5PUGDex #softwareengineering #developerexperience #objectorientedprogramming #code #reuse #functionalprogra…