Benki โ†’ All Posts

โ‡  previous page next page โ‡ข

An FRP library for Haskell that encodes clocks at the type level, preventing the mistake of combining data sampled at different rates.

Also has a Gloss backend.

A Markdown-based format to describe argumentation maps, which are a way of visualizing arguments.

Open this on your phone and enter the dimensions of a cube and you can then use it to gauge the size of objects in AR. Useful when ordering furniture or equipment for your living room.

While the Corona-Warn-App on Android is open source and free, it uses the Exposure API, which is provided by the Google Mobile Service (GSM). Hence, the Corona-Warn-App cannot be used on a Google-free android, e.g. LineageOS without Google Services. CoraLibre tries to reimplement the Exposure API and create a libre version of the Corona-Warn-App. There’s been significant progress reimplementing base functionality of the Exposure API using unit testing. The Corona-Warn-App hasn’t been adapted yet. It looks like, this will take some more time.

โ‡  previous page next page โ‡ข