Interesting Links for February 2023

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

Haskell

• 6 ways to manage allocated memory in Haskell
• Lessons in Managing Haskell Memory

Nix

• Nix: what are fixed-output derivations and why use them?

Programming Languages

Theory

• CSE 401: Hack Your Language! Winter 2016

Design

• Types are moving to the right
• What Austral Proves

Implementation

• A Lambda Calculus With Coroutines and Heapless, Directly-Called Closures
• C Isn’t A Programming Language Anymore
• Compiler Optimizations Are Hard Because They Forget
• Compiling a functional language to LLVM, part 1
• Give Me Flexibility and Give Me Types
• How to Write a Compiler Without Going Insane
• Implementation details of core.async Channels
• Solving an advent of code problem using a compiler

History

• The Discoveries of Continuations

Programming Practice

• Code review vs code proofreading
• Improve your debugging by asking broad questions
• Shells are Two Things
• The continuous amnesia issue

Scalability

• Hot Keys, Scalability, and the Zipf Distribution

LLM/AI

• And Yet It Understands
• Bing: “I will not harm you unless you harm me first”

Miscellaneous

• Gasoline Car Review
• Meanwhile, Over in Androidtown
• Modern Mono
• What makes RSS better than social timelines?