Interesting Links for March 2023

Here are some interesting things I read on the internet in March 2023:

Haskell

• Evolving isDigit
  Using Genetic algorithms to evolve a Haskell program that determines if a character is a digit.
• memfd: An example of Haskell and C
  A simple example of how to call C code from Haskell.
• Optimizing Haskell Programs
  A guide to optimizing Haskell programs.
• The Source Code of Defect Process
  An analysis of the source code of the Defect Process video game written in Haskell.
• What’s new in GHC 2021
  A summary of the new features in GHC 2021 language.

Nix

• 7.5 years of NixOS on the desktop, cleaned up with Flakes
  A guide to using NixOS on the desktop.
• Getting NixOS to keep a secret
  A guide on how to use secrets in NixOS.
• How do Nix builds work?
  An exploration of how Nix builds work.
• Some notes on using Nix
  Some notes on using Nix as a beginner.

Zig

• Assorted thoughts on Zig (and Rust)
  A comparison of Zig and Rust.
• Zig and Rust
  Another comparison of Zig and Rust, from the point of view of writing reliable software.
• Zig Quirks
  Some quirks of the Zig programming language.

Programming Languages Theory

• Chocopy Hacking Part 1: Building a compiler frontend in Python
  Building a compiler frontend in Python for the Chocopy programming language.
• Chocopy Hacking Part 2: Compiling to JVM
  Compiling Chocopy to JVM bytecode.
• Chocopy Hacking Part 4: Compiling to WASM
  Compiling Chocopy to WASM.
• Compiler for the Tiny-C language
  A bytecode compiler and virtual machine for a tiny C-like programming language written in C.
• Explaining my fast 6502 code generator
  Somewhat unconventional 6502 code generation that is fast.
• Optimizing a parser/compiler with data-oriented design: a case study
  A case study of optimizing a parser/compiler with data-oriented design.
• Scratching the PL Itch
  Various ways in which programming language theory can be applied to real-world problems other than compilers.

Miscellaneous

• The Mechanics of Writing a Book
  How to write a book.
• Typescripting the technical interview
  A homage to Aphyr’s “Typing the Technical Interview”.
• Writing The World’s Most Boring Quine
  How to write quines from first principles.

Like, repost, or comment on this post on Mastodon.