A playbook for systematically maximizing the performance of deep learning models.

Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

Recipes for using Python's polars library

A curated list of Polars talks, tools, examples & articles. Contributions welcome !

An open-source, cloud-native, unified observerability database for metrics, logs and events, supporting SQL/PromQL/Streaming. Available on GreptimeCloud.

Structured Editing and Navigation in Emacs with Tree-Sitter

A static site generator for data apps, dashboards, reports, and more. Observable Framework combines JavaScript on the front-end for interactive graphics with any language on the back-end for data a…

Code samples for the Effective Data Science Infrastructure book

Mirror of https://git.tecosaur.net/tec/org-pandoc-import

nix-based continuous integration system

Terminal-based typing test.

The code, training pipeline, and models that power Firefox Translations

A playground for Nix and CUDA

Uncomplicated Observability for Python and beyond! 🪵🔥

SQL tips and tricks

Seamless integration of https://pre-commit.com git hooks with Nix.

nanoGPT style version of Llama 3.1

Yet another nix cli helper

❄️ my nix modules, overlays, host configurations, and more!

aider is AI pair programming in your terminal

An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

Ancillaries for Algorithms for Decision Making

terranix is a terraform.json generator with a nix-like feeling

Prefect is a workflow orchestration framework for building resilient data pipelines in Python.

Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git). And experimental modules (e.g., HDR, duckdns).

Nix-based continuous integration

Write Markdown with code assist and intelligence in the comfort of your favourite editor.

Notes and articles on software development. All content is original. Most of the content reflects the way that our current software team operates.