Readings shared April 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/13-readings_shared_04-13-25 #AI #ATP #Coq #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Mace4 #Math #Prover9 #SetTheory
Coffee Break Python - Mastery Workout by Christian Mayer, Lukas Rieger, and Adrian Chan is free with a Leanpub Reader membership! Or you can buy it for $19.99! http://leanpub.com/coffeebreakpython-masteryworkout #Python #ComputerProgramming #FunctionalProgramming
Coffee Break Python - Mastery Workout by Christian Mayer, Lukas Rieger, and Adrian Chan is free with a Leanpub Reader membership! Or you can buy it for $19.99! http://leanpub.com/coffeebreakpython-masteryworkout #Python #ComputerProgramming #FunctionalProgramming
Readings shared April 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/12-readings_shared_04-12-25 #FunctionalProgramming #Haskell #LLMs
Evaluating AI's impact on Haskell open source development. ~ Matthew Pickering, Sam Derbyshire. https://well-typed.com/blog/2025/04/ai-impact-open-source-haskell/ #LLMs #Haskell #FunctionalProgramming
Readings shared April 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/11-readings_shared_04-11-25 #Agda #Coq #FunctionalProgramming #Hakell #Haskell #ITP #IsabelleHOL #LeanProver #Math #Rocq #SetTheory
Why I Program in Lisp
「 I keep a Lisp REPL open at all times, and I write prototypes and exploratory code in Lisp. Why do I do this? Lisp is easier to remember, has fewer limitations and hoops you have to jump through, has lower “friction” between my thoughts and my program, is easily customizable, and, frankly, more fun 」
https://funcall.blogspot.com/2025/04/why-i-program-in-lisp.html?m=1
Why F#?
「 F# 1.0 was officially released in May 2005 by Microsoft Research. It was initially developed by Don Syme at Microsoft Research in Cambridge and evolved from an earlier research project called “Caml.NET,” which aimed to bring OCaml to the .NET platform.2 F# was officially moved from Microsoft Research to Microsoft (as part of their developer tooling division) in 2010 (timed with the release of F# 2.0) 」
A (very niche) footgun in GHC.Generics. ~ welltypedwitch. https://welltypedwitch.bearblog.dev/a-very-niche-footgun-in-ghcgenerics/ #Haskell #FunctionalProgramming
Unwrapping Monads & Friends: Shining Light on Functional Programming's Scariest Concepts https://leanpub.com/monads-and-friends by Kyle Simpson is the featured book on the Leanpub homepage! https://leanpub.com #FunctionalProgramming #Javascript #books #ebooks
Are you scared by mathematical symbols or formal terms like "monad"? Unwrapping Monads & Friends offers a clear, approachable path through functional programming’s most intimidating concepts—no math degree required.
Find it on Leanpub!
Functional vs object-oriented vs procedural programming?
Effect Oriented Programming by Bill Frasure, Bruce Eckel, and James Ward is on sale on Leanpub! Its suggested price is $30.00; get it for $14.00 with this coupon: https://leanpub.com/sh/hAszc4up #Scala #FunctionalProgramming #SoftwareEngineering