Learns how to estimate and generate laptop prices

ChalkBoard Graphics package

being some thoughts about introductory mathematics for computer science

relplot: Utilities for measuring calibration and plotting reliability diagrams

Content of the CS410 lectures

a categorical deep learning compiler

Modern Fixed Point Systems using Pytorch

Laplace approximations for Deep Learning.

A PyTorch repo for data loading and utilities to be shared by the PyTorch domain libraries.

The long missing library for python confidence intervals

[ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"

A tiny library for coding with large language models.

An experiment in declaratively programming parallel pipelines of state machines.

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

Betty: an automatic differentiation library for generalized meta-learning and multilevel optimization

Some scribbling while reading Type Theory and Formal Proofs by Rob Nederpelt and Herman Geuvers

being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session

Uniform Manifold Approximation and Projection

Official repository for CMU Machine Learning Department's 10732: Robustness and Adaptivity in Shifting Environments

All resources & exercises from the Miami Dev Writer's Retreat

A small, weird and unpractical programming language.

📝 A nicely formatted LaTeX preprint template

A list of works and resources about double category theory, with a particular focus on applications.