programming-trick

The article demonstrates a trick to implement dependent if-expressions without dependent types using Church encoding and rebindable syntax in Haskell, proving it works with simple type inference.

A blog post explains a Linux pattern where a SQLite database file is formatted to act as an ELF executable, using a custom interpreter and binfmt_misc for direct execution.