Readings shared May 15, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/15-readings_shared_05-15-25 #Haskell #FunctionalProgramming
Certainty by Construction by Sandy Maguire is on sale on Leanpub! Its suggested price is $80.00; get it for $17.50 with this coupon: https://leanpub.com/sh/iwCm3Xn0 #FunctionalProgramming #Mathematics #ComputerScience
Pragmatic Type-Level Design (PTLD E-Book) by Alexander Granin is on sale on Leanpub! Its suggested price is $39.00; get it for $22.50 with this coupon: https://leanpub.com/sh/VykwmVeJ #SoftwareEngineering #Haskell #FunctionalProgramming #SoftwareArchitecture
Quasiquoting for fun, profit, expressions and patterns. ~ MLabs. https://www.mlabs.city/blog/quasiquoting-for-fun-and-profit #Haskell #FunctionalProgramming
Heftia: The final word in Haskell effect system libraries (Part 1.1). ~ Riyo. https://sayo-hs.github.io/blog/heftia/heftia-part-1-1 #Haskell #FunctionalProgramming
Readings shared May 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/13-readings_shared_05-13-25 #FunctionalProgramming #AI #ITP #LLMs #LeanProver #Math
Course: Functional programming and theorem proving in Lean 4. ~ Leni Aniva, Abdalrhman Mohamed. https://web.stanford.edu/class/cs99/ #ITP #LeanProver #FunctionalProgramming
On my way to SDD 2025 in London today. Meet me there for one of my presentations on #CSharp, #EventSourcing, #Docker, #FunctionalProgramming, or my C# Masterclass. Say hello if you’re there! #sdd2025 https://sddconf.com
Why GADTs matter for performance (2015)
https://blog.janestreet.com/why-gadts-matter-for-performance/
#programming #gamedev #devlog #commonLisp #series #lazyEvaluation #functionalprogramming https://screwlisp.small-web.org/lispgames/cl-series-for-game-logic/ #lispgamejam
Since cl-series generates native common lisp code by working at macro expansion time, I consider it suitable for my software individuals (who want only clos-less common lisp and their own logic (which they have an introspective theory of).
In particular, I use series to cut out rectangular subsequence of sequences -s
SERIES DOC UPDATE FROM RTOY https://gitlab.common-lisp.net/rtoy/cl-series/-/wikis/Series-User's-Guide
FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 30th May 2025. Please share!
https://people.cs.nott.ac.uk/pszgmh/jfp-phd-abstracts.html
From @haskellhutt on Twitter
#jfp #FunctionalProgramming
#MoonBit looks like a really interesting new #ProgrammingLanguage 
Especially its functional, data-oriented design and #WASM support stand out to me.
Looks _a lot_ like #Rust, but more functional in style. 
It is expected to reach 1.0 this year. 
Leanpub book LAUNCH! Northwind Elixir Traders: Learn Elixir and database modeling with Ecto and SQLite, all in one project by Isaak Tsalicoglou https://youtu.be/LtzBS9hb1Go #books #leanpublishing #selfpublishing #booklaunch #ElixirLang #FunctionalProgramming #IndieHacker #Ecto #SQLite #SoftwareDevelopment #OpenSource #FullStackDev #LearnToCode #LeanpubPodcast
Lógicas de orden superior y verificación formal [Slides]. ~ Lourdes del Carmen González Huesca. https://drive.google.com/drive/folders/1cE1a0N-2ZMrVx8i58W0KG8s3KMVHawZn #Logic #Math #Haskell #FunctionalProgramming #ITP #Coq #Rocq
Lógicas de orden superior y verificación formal. ~ Lourdes del Carmen González Huesca. https://youtu.be/9uTD7BMvbjw #Logic #Math #Haskell #FunctionalProgramming #ITP #Coq #Rocq
Scrap your iteration combinators. ~ Tom Ellis. https://h2.jaguarpaw.co.uk/posts/scrap-your-iteration-combinators/ #Haskell #FunctionalProgramming
Beginnings of a Haskell game engine. ~ Mitchell Vitez. https://vitez.me/haskell-game-engine-beginnings #Haskell #FunctionalProgramming
Analyzing API design via algebraic laws. ~ Sandy Maguire. https://reasonablypolymorphic.com/blog/api-analysis #Haskell #FunctionalProgramming
