Let futures be futures
cs
CTAN: Package annotate-equations
use for annotation of equations in LaTeX
![[1hr Talk] Intro to Large Language Models](https://rdl.ink/render/https%3A%2F%2Fi.ytimg.com%2Fvi%2FzjkBMFhNj_g%2Fmaxresdefault.jpg?width=92&height=&ar=&mode=&format=avif&dpr=2)
[1hr Talk] Intro to Large Language Models
This is a 1 hour general-audience introduction to Large Language Models: the core technical component behind systems like ChatGPT, Claude, and Bard. What the...
Open Data Structures
Metastable failures in the wild
This paper appeared in OSDI'22. There is a great summary of the paper by Aleksey (one of the authors and my former PhD student, go Aleksey...
Review: Performance Modeling and Design of Computer Systems: Queueing Theory in Action
“the SEDA paper from SOSP 2001: “SEDA: An architecture for well-conditioned scalable internet services”. I love this paper, it defines and solves an important problem: “A service is well-conditioned if it behaves like a simple pipeline: as the offered load increases, the delivered throughput increases proportionally until the pipeline is full and the throughput saturates; additional load should not degrade throughput.” "
To make things more concrete, consider the SEDA paper from SOSP 2001: “SEDA: An architecture for well-conditioned scalable internet services”. I love this paper, it defines and solves an important problem: “A service is well-conditioned if it behaves like a simple pipeline: as the offered load increases, the delivered throughput increases proportionally until the pipeline is full and the throughput saturates; additional load should not degrade throughput.
Compiler Development: Rust or OCaml?
Tree-Structured Concurrency
C0 VSCode Language Support - Visual Studio Marketplace
Extension for Visual Studio Code - C0 IDE features for VSCode
cmu15122/c0-lsp-vscode
Introduction to Software Construction
Googledoc for "Introduction to Software Construction"
Autolab: Autograding for All
Let’s face it: teaching is hard. There’s the obvious time commitmentrequired for classes and lectures, but striving for excellence in educationnecessarily re...
CS 15-122: Principles of Imperative Computation (Spring 2023)
Guide for Lab Authors - Autolab Documentation
CRDTs go brrr
Classic HCI demos
A curated collection of HCI demo videos produced during the golden age from 1983-2002.
div style="max-width: 480px;"What Is ChatGPT Doing … and Why Does It Work?/div
Stephen Wolfram explores the broader picture of what's going on inside ChatGPT and why it produces meaningful text. Discusses models, training neural nets, embeddings, tokens, transformers, language syntax.
Fall2022
The Solid-State Register Allocator