Yet Another Lambda Blog

In 2012 I started a technical blog about functional programming titled Yet Another Lambda Blog. That blog became inactive in 2016. Towards the end of 2021 I salvaged all posts from my Wordpress instance and placed them here. Unfortunately, comments, many of which were very insightful, were not preserved by the migration.

Towards the end of 2022, I decided to reactivate the blog. New posts will rarely be about functional programming. Expect posts on whatever it is that interests me at the moment: retro gaming, console modding, board games, books, programming. Subscribe to RSS feed to stay up to date with my latest posts.

(20/01/2024) Installing an IPS-screen in a NeoGeo Pocket Color
(18/12/2023) Installing X-Reset and DFO mods in my PlayStation
(30/11/2023) Installing a GCLoader in my GameCube
(27/11/2023) Proton is detrimental to Linux as a gaming platform
(25/10/2023) Salerno '43
(09/10/2023) LineageOS on Samsung S7: An experience report
(01/10/2023) System Shock remake
(12/07/2023) All the things I've ever done wrong with my websites
(05/06/2023) More GameBoy modding
(03/06/2023) Firmament
(02/06/2023) How my new wireless headphones caused me eye problems
(25/03/2023) Installing XStation
(02/03/2023) Free IPS Patcher
(20/02/2023) Getting a Sony PVM
(14/02/2023) Metroid II: Return of Samus (and its remakes)
(23/01/2023) GameBoy Color NES-themed modkit from FunnyPlaying
(11/01/2023) Playing Final Fantasy IX for the first time in 2022
(26/12/2022) Recalbox RGB Dual: some impressions after six months of usage
(26/12/2022) Reactivation
(30/07/2017) DeepSpec Summer School 2017 - a summary
(14/09/2016) Moving to University of Edinburgh
(06/08/2016) First impression of "Real World OCaml"
(08/06/2016) Coq'Art, CPDT and SF: a review of books on Coq proof assistant
(31/05/2016) Installing OCaml under openSUSE 11.4, or: "the compilation of conf-ncurses failed"
(28/10/2015) Typed holes support in Template Haskell
(05/09/2015) Week at ICFP: Injective Type Families merged into GHC HEAD
(26/05/2015) Injective type families for Haskell
(30/04/2015) Smarter conditionals with dependent types: a quick case study
(27/03/2015) The basics of coinduction
(24/03/2015) First impressions of Coq and "Certified Programming with Dependent Types"
(09/12/2014) Why dependent types matter (in Haskell)
(07/10/2014) Weight-biased leftist heaps verified in Haskell using dependent types
(08/09/2014) Promoting functions to type families in Haskell
(23/05/2014) Parallel Haskell challenge (also, how to make your research project fail)
(16/04/2014) Autocomplete command-line flags with GHC 7.8.2
(04/02/2014) Two new libraries to extend tasty testing framework
(26/01/2014) Code testing in Haskell revisited (with Tasty)
(16/01/2014) Yet another web overview
(16/01/2014) Verifying weight biased leftist heaps using dependent types (a draft)
(23/12/2013) Configuring GHC development environment - tips & tricks
(17/12/2013) Data is evidence
(02/12/2013) Idris - first impressions
(07/11/2013) Why dependent types matter (in Agda)
(21/10/2013) Cmm pipeline woes
(06/10/2013) Let no escape!
(17/08/2013) GHC gets new primops
(30/06/2013) MSR internship and some retrospection
(13/06/2013) Getting friendly with STG
(09/05/2013) Benchmarking GHC HEAD with Criterion
(24/04/2013) The Lambda Papers
(02/04/2013) Haskell as fast as C: A case study
(25/02/2013) More Coursera courses
(15/02/2013) Don't panic! It's only an upgrade
(06/02/2013) To Mock a Mockingbird or: How I learned to stop worrying and learned combinatory logic
(31/01/2013) New domain is here
(26/01/2013) Taking magic out of GHC or: Tracing compilation by transformation
(13/01/2013) Coders at work. A short review
(08/01/2013) The Little Schemer. Book review
(06/01/2013) Real World Haskell - impressions after initial chapters
(01/12/2012) Strange benchmarking results for FFI bindings
(17/11/2012) Waiting for garbage collection can kill parallelism?
(06/11/2012) How to shoot yourself in the foot with Haskell
(05/11/2012) Configuring Emacs is a nightmare
(02/11/2012) Benchmarking C functions using Foreign Function Interface
(24/10/2012) Code benchmarking in Haskell - some thoughts about random data generation
(21/10/2012) Code benchmarking in Haskell
(17/10/2012) Some thoughts about Coursera
(06/10/2012) A bunch of Haskell news
(05/10/2012) Code testing in Haskell
(20/09/2012) Why foldr works for infinite lists and foldl doesn't
(09/09/2012) Y-combinator in Matlab
(08/08/2012) August web overview
(30/07/2012) Expressing foldl in terms of foldr
(24/07/2012) Monomorphism restriction strikes again
(27/06/2012) Some impressions on Stanford's Automata and Compilers online courses
(13/06/2012) A History of Haskell
(06/06/2012) Upgrading Haskell Platform on openSUSE
(04/06/2012) Some technical issues
(31/05/2012) Towards understanding Haskell's monomorphism restriction
(27/05/2012) Haskell IDEs, Part 4: Emacs revisited and Summary
(25/05/2012) Haskell IDEs, Part 3: Leksah
(22/05/2012) Architecture of Glasgow Haskell Compiler
(18/05/2012) Haskell IDEs, Part 2: EclipseFP
(13/05/2012) Haskell IDEs, Part 1: Emacs
(13/05/2012) 22nd edition of Haskell Communities and Activities Report is out
(25/04/2012) Some books about compilers
(22/04/2012) Sunday web overview
(20/04/2012) Stanford opens new online courses about Compilers and Automata
(14/04/2012) Haskell file reading pitfall
(08/04/2012) Yet Another Quine In Haskell
(07/04/2012) Saturday Web Overview
(04/04/2012) 7 Languages in 7 Weeks. Book review
(01/04/2012) Haskell Communities and Activities Report, 21st edition. An overview
(28/03/2012) A glance at some Haskell books
(26/03/2012) Compiling GHC. Just for fun
(25/03/2012) Function composition and $ operator in Haskell
(22/03/2012) Is recursion good?
(20/03/2012) Installing GHC on openSUSE Linux
(20/03/2012) Diving into functional programming