#Hakell - Mathstodon

Recent searches

Search options

Only available when logged in.

0 posts0 participants0 posts today

José A. Alonso @Jose_A_Alonso

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

Vestigium · Apr 11Readings shared April 11, 2025The readings shared in Bluesky on 11 April 2025 are Code generation via meta-programming in dependently typed proof assistants. ~ Mathis Bouverot-Dupuis, Yannick Forster. #ITP #Agda #Rocq #LeanProver

José A. Alonso @Jose_A_Alonso

Refactoring strings in GHC. ~ Brandon Chinn. https://brandonchinn178.github.io/posts/2025/04/06/ghc-string-refactor/ #Hakell #FunctionalProgramming

brandonchinn178.github.ioRefactoring strings in GHC - Brandon ChinnBrandon Chinn's personal website

DiazCarrete @DiazCarrete@hachyderm.io

Inspired by https://well-typed.com/blog/2023/08/reducing-haddock-memory-usage/ https://well-typed.com/blog/2021/01/fragmentation-deeper-look/ https://well-typed.com/blog/2021/01/first-look-at-hi-profiling-mode/ https://well-typed.com/blog/2021/06/zurihac-2021-advanced-track-materials/#understanding-memory-usage-with-eventlog2html-and-ghc-debug-by-matthew-pickering-and-ben-gamari I'm getting my feet wet with ghc-debug #Hakell https://hackage.haskell.org/package/ghc-debug-stub https://hackage.haskell.org/package/ghc-debug-brick

Drag & drop to upload