Benki → Bookmarks

A Haskell-based interactive environment for introductory programming.

A functional scripting language with a teaching focus.

A parsing language and Haskell library for natural language processing.

A few games made with Bitsy.

A game engine and editor for little worlds. Very approachable, minimal, and limited in capability. Perfect for teaching, experimentation, and story telling.

Also on Itch.

Browse Twitter without JavaScript.

If regular Haskell is too easy for you, try these.

A configuration language that is also a statically typed, Turing-incomplete programming language with guaranteed termination.

You can use it to write refactorable configuration files.

Can’t be worse than YAML.

A doctest implementation for Cabal.

A keyboard customization tool for Windows, macOS, and GNU/Linux.

An ACME (LetsEncrypt) client as a shell script.

A XeTeX- and TeXLive-based self-contained, reproducible typesetting engine. Can also be used as a Rust library.

A local radio broadcast from Kishiwada, Osaka (岸和田市).

I like them because their talk radio Japanese is easy to follow and their music is just my style and mostly in Japanese as well.

Parses a subset of LaTeX into an AST and converts it into XML or any of a number of output formats (EPUB, MathML, etc.).

To be honest, I am a bit disappointed that it is necessary to use a separate tool to do this in the first place.

Say you want to write a book and publish it in both printed and ebook form and ideally also have a customizable, stylable web version of it with good navigation and accessibility, what format are you supposed to write it in if not LaTeX? DocBook? AsciiDoc? Scribble?

One interesting point: Adverse effects are significantly smaller (both in strength and frequency) in the BioNTech–Pfizer vaccine than in the Moderna vaccine; others we don’t know enough about yet.

A CI server for Nix builds. Optimized to take advantage of Nix’s reproducible builds by integrating a Nix store as a build cache.

A C library that you can use to build native binaries that are portable between Linux, macOS, various BSDs, and Windows. An impressive hack.

Generalized categorical Haskell base type classes with class constraints.

A simple systems programming language.

A terse, yet easy to follow walk through some of the higher-level GHC language extensions. Features DataKinds, TypeFamilies, and UndecidableInstances among others.

Integrates Rust into CMake projects. Useful for when you’ve got an existing C++ project that you want to add some Rust code to.