Haemin's blog

Stateful Composition of Property-Based Testing Generators

Objective: Create a library extending ScalaCheck to allow stateful composition of generators with complex dependencies and constraints.   Key Requirements: 1. Support for deep, nested generator compositions (e.g., A-B-C-D). 2. Allow constraints between non-adjacent generators (e.g., A-D). 3. Enable sequential generation of data to maintain state consistency. 4. Permit regeneration or selection of specific child […]

Functional Programming

I had a chat with Claude 3.5 Sonnet (AI) about monads and functional programming, and I could feel the proliferation of bad monad tutorials that the AI model was trained on. Pasting it just for the memory. It’s my “monad tutorial”, as a functional programmer. — Me: What is Monad in functional programming? Claude: In […]

Setting hibernate with swapfile in Ubuntu MATE 22.04/btrfs

Easy to do with latest version with btrfs-progs. I got it from nixpkgs. Requirements: Create the swapfile https://btrfs.readthedocs.io/en/latest/btrfs-man5.html#swapfile-support (# indicates that the command needs to be run with root user) Set fstab Append the following line to /etc/fstab Update grub to enable hibernation Reflect hibernate enabled in the UI Update the following file: And append […]

Back to top