Trending tags: ai  github.com  rust  health  trump  show  psychology  go  video  theguardian.com  google  psypost.org  web  china  biology  java  apple  youtube.com  environment  javascript 

CMU 15-819 - Homotopy Type Theory

5 years ago cs.cmu.edu

Related Stories

Abstract Data type

an hour ago reddit.com go

JVM Runtime Parametric Type Support

an hour ago mail.openjdk.org java

Science cuts may close WA LIGO observatory that confirmed theory of relativity

40 hours ago tri-cityherald.com

How to Grow an LSM-tree? Towards Bridging the Gap Between Theory and Practice

39 hours ago arxiv.org database

TLTSS: a programming language made in TypeScript's type system

45 hours ago skeary.me typescript

The Perils of Pointers in the Land of the Zero-Sized Type

37 hours ago blog.fillmore-labs.com go

A Python frozenset interpretation of Dependent Type Theory

14 days ago philipzucker.com formalmethods plt python

Programming in Martin-Lof's Type Theory: An Introduction (1990)

16 days ago cse.chalmers.se book pdf plt

CMU TheAgentCompany: Benchmarking LLM Agents on Consequential Real World Tasks

29 days ago arxiv.org llm

Square Theory

6 days ago aaronson.org square

The Prompt Theory

11 days ago twitter.com

15 Years of Shader Minification

23 days ago ctrl-alt-test.fr

Critical Architecture/Software Theory

26 days ago tomasp.net

Domain Theory Lecture Notes

9 days ago liamoc.net math plt

Theory of Stupidity [pdf]

5 days ago onthewing.org pdf

Designing type inference for high quality type errors

32 days ago blog.polybdenum.com compiler plt

Recursive Becoming: Theory of Everything

20 days ago twitter.com

Who needs graph theory anyway?

9 days ago tumblr.com lisp

PEP 790 – Python 3.15 Release Schedule

33 days ago reddit.com python release

Fitting the Lapse experience into 15 MegaBytes

21 days ago blog.jacobstechtavern.com

Asahi Linux Progress Report: Linux 6.15

18 days ago asahilinux.org linux

Brian Eno's Theory of Democracy

29 days ago programmablemutter.com

Most complex type signature?

21 days ago reddit.com rust

Python type hinting challenge

20 days ago reddit.com python

Concepts vs type traits

8 days ago akrzemi1.wordpress.com c++

Nvidia Reportedly Raises GPU Prices by 10-15%

21 days ago tomshardware.com gpu nvidia

RISC-V Turns 15 with Fast Global Adoption

10 days ago eetimes.com risc

SpaceX pushed "sniper" theory with the feds

28 days ago arstechnica.com spacex

The last 15 years of Software are a disaster

6 days ago youtube.com

Integration test for Jon Bodner's book Chapter 15

6 days ago reddit.com go