Federico Mengozzi fedemengo

Compilers for Machine Learning

A hands-on one semester course where students build their own compiler from scratch, starting from elementwise programs and ending with training SOTA LLMs on GPUs. This course aggressively builds on the previous week, and is an exercise in slop management. If you let any slop in early, it will compound and you will not finish the class.

Course description: This course covers the design and implementation of a modern machine learning compiler, and examines the interaction between IR design, hardware capabilities, and the structure of machine learning programs. Topics covered include term rewriting, code generation, movement operators, kernel fusion, memory hierarchies, GPU architecture, automatic differentiation, and flash attention. It is a project course, providing experience with performance-oriented programming, managing a codebase that grows all semester, and working in 1 or 2 person teams, culminating in a compiler capable of training modern LLMs.

Prerequisites: This c

David Spivak’s Operad of Wiring Diagrams: Foundations and Applications

Formal Foundation and Interpretation of Wiring Diagrams

Wiring Diagrams as Operads: Wiring diagrams (WDs) are a formal graphical syntax for connecting components, capturing how outputs of some components feed into inputs of others. Spivak showed that WDs can be rigorously treated as the morphisms of an operad (denoted $\mathcal{T}$ or $\mathcal{W}$) ([1305.0297] The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits) (). An operad is like a category, but instead of arrows from one object to another, it has operations (morphisms) with multiple inputs and one output ([Cospans, Wiring Diagrams, and the Behavioral Approach | Azimuth](https://johncarlo

Note: This is an old post from back when I was trying to make sense of why inets are so fast for evaluating some λ-terms. It has some silly bits, I learned a lot since and could probably write a better article today, but I think this can still be insightful for these getting started, so I'll leave it here.

Yesterday, I reported the bizarre observation that certain functions can behave as if they had negative complexity. If you haven’t checked that article yet, it isn’t necessary, but you should, as it may blow your mind. In short, the λ-term f(bits) = copy(comp(inc,n,bits)), when given to optimal λ-calculus evaluator, is asymptotically faster than g(bits) = comp(inc,n,bits); i.e.,copy (a O(1) operation for a fixed size) behaves as if it had a O(1/n) complexity, causing the program to run faster by doing more things (!?).

That’s not the only bizarre complexity result I had when

🤗Huggingface Model Downloader

Note

(2026-06-18) Add 📊Download Progress, 🔁integrity-aware resume (re-fetch missing or changed files), and fast, resumable listing for 📚repos with massive file counts.
(2025-01-08) Add feature for 🏷️Tag(Revision) Selection, contributed by @Bamboo-D.
(2024-12-17) Add feature for ⚡Quick Startup and ⏭️Fast Resume, enabling skipping of downloaded files, while removing the git clone dependency to accelerate file list retrieval.

Considering the lack of multi-threaded download support in the official huggingface-cli, and the inadequate error handling in hf_transfer, This command-line tool leverages curl and aria2c for fast and robust downloading of models and datasets.

Features

Caution

This guide is out of date, follow the new guide here: https://flipper.wiki/mifareclassic/

MIFARE Classic

Here are the steps to follow in order to read your cards. Your goal is to find as many keys as possible. The keys unlock sections of your card for the Flipper to read them - you must have a card. Once you read enough sections, you can use an emulated or cloned card at the original card reader to unlock it (sometimes even without finding all of the keys!).

Important

Major update coming in first update following OFW 1.0.0 (ETA: mid to late September) which overhauls and simplifies this process:

hardware and architectures

architectures

Service Design

Author(s)
- (Authors of this proposal)
- @CAFxX (Carlo Alberto Ferraris)
Histroy
- (List major version changes)
- 2018/10/1: initial design
- 2018/10/5: Reviewed with @tcnksm, @dragon3
2019/12/1: added gRPC interface

Security Advisories / Bulletins / vendors Responses linked to Log4Shell (CVE-2021-44228)

Errors, typos, something to say ?

If you want to add a link, comment or send it to me
Feel free to report any mistake directly below in the comment or in DM on Twitter @SwitHak

Other great resources

Royce Williams list sorted by vendors responses Royce List
Very detailed list NCSC-NL
The list maintained by U.S. Cybersecurity and Infrastructure Security Agency: CISA List

	#!/bin/zsh
	#Credit: Original idea and script disable.sh by pwnsdx https://gist.github.com/pwnsdx/d87b034c4c0210b988040ad2f85a68d3

	#Disabling unwanted services on macOS 11 Big Sur (11) and macOS Monterey (12)
	#Disabling SIP is required ("csrutil disable" from Terminal in Recovery)
	#Modifications are written in /private/var/db/com.apple.xpc.launchd/ disabled.plist and disabled.501.plist


	# user
	TODISABLE=()