Failure-atomic msync() enables you to treat an mmap(2)ed file as a transactional data store that is robust in the face of power outages. Famus implements it in user space by employing write-ahead logging. As a bonus it optionally versions your file and lets you go back in time as needed.
A website where you can practice writing Japanese by drawing on the screen. Kana, Kanji, and vocabulary, ordered by JLPT level or, at your choice, a number of other systems.
Semel scriptum decem lectum!
Inspects the heap of the GHC runtime, enabling unrestricted debug printing (without a Show instance) and similar shenanigans.
Optimized left folds for Haskell.
Meditation, for all its purported benefits, can be harmful to your mental health if you overdo it.
A functional game engine for Scala.js, targeted at programmers rather than game designers.
A Haskell combinator library for text formatting.
Matt Yglesias on copyright. Weighing financial incentives against the interest of society in open culture leads him to favor a copyright term limited to 30 years, give or take.
An interview podcast on questions across all flavors of science.
A futures-based wrapper of gRPCโs asynchronous C++ API, which is notoriously low-level and hard to use on its own.
Detects Java dependency conflict effects such as methods that are called at runtime but are missing from the JARs during packaging.
Wanna plan your next trip to Luna or Mars? GMAT helps you with that. Found it via https://destevez.net/2021/02/tianwen-1-phasing-orbit/ (via https://www.darc.de/home/), where a guy investigates an orbit maneuver of Tianwen-1.
A Maven extension that builds and tests only the modules that have changed in the feature branch being worked on. Suitable not just for Git Flow but any development workflow based on feature branches.
Now used by the Quarkus project.
Efficient and reliable UDP unicast and multicast protocol. Java and C++.
Extensions to HTML that make it more modular: scoped names, imports, local state and scripts. (WICG discussion, documentation, polyfill)
Secure and easy file transfer tool.