Readings shared August 26, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/27-readings_shared_08-26-25 #ATP #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #Reasoning #Vampire

#Exercitium: Lista cuadrada. https://jaalonso.github.io/exercitium/posts/2014/05/06-lista_cuadrada/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Máximos locales. https://jaalonso.github.io/exercitium/posts/2014/05/05-maximos_locales/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Matrices de Toepliz. https://jaalonso.github.io/exercitium/posts/2014/05/02-matriz_toeplitz/ #Haskell #ProgramaciónFuncional #Matemáticas

Readings shared August 25, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/26-readings_shared_08-25-25 #Agda #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Logic #Math #Rocq #RustLang #Waterproof

Thing about a cabal file build-depends of which has base > 4.5 -5 while #ghc has to 865
Its not doable
Should I change the base version here to on this ghc comes with and expect the exec to not break
https://github.com/haskell/cabal/issues/5415
#haskell

#haskell folks how do you fix dup lines in package.yaml
https://github.com/commercialhaskell/stack/issues/3766

#Exercitium: Suma si todos los valores son justos. https://jaalonso.github.io/exercitium/posts/2014/05/01-suma_si_todos_justos/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Primos equidistantes. https://jaalonso.github.io/exercitium/posts/2014/04/30-primos_equidistantes/ #Haskell #ProgramaciónFuncional #Matemáticas

when using #haskell #stack with #nix, I mustn't put dependencies in package.yaml under dependencies. they will be found when specified as nix packages

Sets & heaps in Haskell and Rust. ~ James Bowen. https://mmhaskell.com/blog/2025/8/25/sets-amp-heaps-in-haskell-and-rust #Haskell #FunctionalProgramming #RustLang

Readings shared August 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/25-readings_shared_08-24-25 #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math

A Fast Bytecode VM for Arithmetic: The Compiler by @abnv https://lobste.rs/s/q7fels #compilers #haskell
https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-compiler/

#Exercitium: Anagramas. https://jaalonso.github.io/exercitium/posts/2014/04/29-anagramas/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Primos consecutivos con media capicúa. https://jaalonso.github.io/exercitium/posts/2014/04/28-primos_consecutivos_con_media_capicua/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Mastermind. https://jaalonso.github.io/exercitium/posts/2014/04/25-mastermind/ #Haskell #ProgramaciónFuncional #Matemáticas

I'm writing a series of blog posts, in which I write a #bytecode #compiler and a #virtualMachine for arithmetic in #Haskell. We explore the following topics in the series:

- Parsing arithmetic expressions to ASTs.
- Compiling ASTs to bytecode.
- Interpreting ASTs.
- Efficiently executing bytecode in a VM.
- Disassembling bytecode and decompiling opcodes for debugging and testing.
- Unit testing and property-based testing for our compiler and VM.
- Benchmarking our code to see how the different passes perform.
- All the while keeping an eye on performance.

The second post of the series that focuses on writing the #compiler is now out: https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-compiler

To zip through the cost analysis of probabilistic programs. ~ Matthias Hetzenberger, Georg Moser, Florian Zuleger. https://arxiv.org/abs/2508.14249v1 #Haskell #FunctionalProgramming

Readings shared August 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/23-readings_shared_08-22-25 #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #Math #Rocq