Gruppen von Grundschülern gehen gemeinsam zur Schule, begleitet von einem Erwachsenen. Ein Projekt, das das Zufußgehen fördern soll.
Well tolerated, but not enough evidence that effective in the doses approved for use in humans yet.
Still, it’s one to watch.
An introduction to programming as well as an introduction to programming languages.
Based on Pyret.
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.
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.
Matthias
#
I just finished migrating my Mailcow installation from a native Kubernetes port that I had made by hand and that was becoming impossible to update to a more streamlined (albeit wasteful with resources) deployment where I wrap docker-compose and a dedicated Docker instance in a Kata container that I run as a Kubernetes pod.
The container is built as a Nix expression and is available in my public Kubeia repository, which contains part of my Kubernetes deployment configuration and image build scripts. A README is available too, in case you would like to try running it yourself.
Do note that the Kubernetes deployment file is just provided as an example. It contains some pretty specific references to my particular deployment – view it as something like a template that you will have to copy and fill with your own data. Another idiosyncracy is that I really really dislike running multiple database servers on a single piece of hardware and so I kluged something in that makes Mailcow use my already provisioned MariaDB instance rather than its own. In other words, your mileage may very much vary.
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.