Lean: a theorem prover and programming language that enables correct, maintainable, and formally verified code. https://lean-lang.org #ITP #LeanProver #FunctionalProgramming

The lovely thing about Clojure (or any LISP for that matter) is that you start with

step 1: learning its data structures,

then you proceed to

step 2: learning the syntax, which you've already done in step 1

Functions Are Vectors

https://thenumb.at/Functions-are-Vectors/

Readings shared July 5, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/06-readings_shared_07-05-25 #AI #CoqProver #FormalMethods #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Maxima #PVS #Rocq

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

Readings shared July 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/05-readings_shared_07-04-25 #CategoryTheory #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math #Rust #TypeTheory

Reflections on Haskell and Rust. ~ Sibi Prabakaran. https://academy.fpblock.com/blog/rust-haskell-reflections #Haskell #FunctionalProgramming #Rust

New opening that just appeared in the new place I started working at last month:

Scala Engineering Team lead.

It's for a team different from the one I joined.

Here's the linkedin post which has details in another link.

https://www.linkedin.com/posts/tikoafrica_scala-engineer-team-lead-activity-7346844966532329473-W7z8?rcm=ACoAABuv1I8BOYXXEU9fGgoZT-zFxXF6xptJCK4

Me and my sister when we were kids.

Matthew Watt, David Kerber, Lorenzo Gallegos, and Mitchel Sellers present on Software Craftsmanship at Nebraska.Code().

https://nebraskacode.amegala.com/

Readings shared June 30, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/01-readings_shared_07-01-25 #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #Maxima #Teaching

#programming #softwareEngineering article https://screwlisp.small-web.org/programming/tangle/ #commonLisp #asdf #systemsProgramming #series #pathnames #packaging

Really simple... Sort of... But so intricate to write. I deal with (writing a smidge of #interactive #lazyEvaluation #functionalProgramming ) :

- Tangling markdown into an asdf :class :package-inferred-system lisp system
- Doing so with scan-file and collect-file from series
- Working with lisp’s make-pathname directories.

Readings shared June 29, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/30-readings_shared_06-29-25 #AI #FunctionalProgramming #Haskell #ITP #Idris #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Maxima #Prolog #Rocq

I watched this talk (by Rafal Dittwald) a few years ago, but it still holds up really well.
It does an excellent job of illustrating the differences between procedural, object-oriented, and functional programming.
A great and simple game example to clearly explain the concepts.
#functionalprogramming #programming #datadriven #immutable #pure #sideeffectsfree #testable
https://youtu.be/vK1DazRK_a0

Functional programming (with some type theory) for metrology. ~ André Videla, Keith Lines. https://eprintspublications.npl.co.uk/10181/1/MS60.pdf #Haskell #Idris #FunctionalProgramming

Readings shared June 28, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/29-readings_shared_06-28-25 #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Prologp

List of #Supercompilation Resources and Papers:

https://github.com/etiams/supercompilation-resources

"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."

Competitive programming in Haskell: prefix sums. ~ Brent Yorgey. https://byorgey.github.io/blog/posts/2025/06/27/prefix-sums.html #Haskell #FunctionalProgramming