Papers from the computer science community to read and discuss.

Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional.

Recall what you or your team did on the last working day

Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]

A KISS deployment tool to keep your NixOS fleet (servers & workstations) up to date.

Set up a LUKS-encrypted filesystem for Yubikey in NixOS

A convenient wrapper around NixOps making it work well with git controlled repos

Collection of various Haskell web benchmarks

A GitHub Action which ensures Python code quality and supports customizable strictness.

Image viewing capabilities for zsh

IP addresses / Countries stuff: ripe-country-ips, ip2country, etc.

A collection of convenient commands for working with nix/nixpkgs

Configuration files for my NixOS systems

PDFs of the Pepper and Carrot comics, so printing them is easy.

pkgbuilds for archlinux

some scripts

Report and Slides to my talk about "Security of Multithreaded Programs by Compilation" at the seminar "Formal Specification" in WS11/12 at TU Darmstadt