Run integrity protected workloads in a hardware based Trusted Execution Environment.

Find sounds with a text-to-audio retrieval system

A new way to see and navigate directory trees : https://dystroy.org/broot

Today I Learned

treesitter support for ponylang

Enarx: Confidential Computing with WebAssembly

Declarative UI testing for both iOS and macOS

Scan Nix files for dead code

A GitHub activity digest tool

age-encrypted secrets for NixOS; drop-in replacement for agenix

A GitHub Action to install flake packages using an ephemeral Nix profile

A static web application to explore and animate a TLA+ state graph.

Erlang code generator for Idris 2

Server-side library to validate the authenticity of Apple App Attest artifacts, written in Kotlin.

Python bindings for Picnic

c2hs is a pre-processor for Haskell FFI bindings to C libraries

A build tool/package manager for C, configured with Dhall

[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

💬 ‎ Modern, responsive, cross-platform, self-hosted web IRC client

Useful snippets / tools for using WSL2 as a development environment

Structured Logging, Tracing, and Observability with Logback

A pinboard.in client for Emacs.

An implementation of Pie in Haskell

Testinfra test your infrastructures

Abstractions from Category theory with simple description & implementation, links to further resources.

A collection of postmortems. Sorry for the delay in merging PRs!

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Standalone, daemon-less, unprivileged Dockerfile and OCI compatible container image builder.