A Gentle Introduction to Liquid Types (goto.ucsd.edu) | HN Screenshots

YHacker Newsscreenshots

Screenshot of goto.ucsd.edu: A Gentle Introduction to Liquid Types

First screen, captured 3 years ago.

Looks similar

Screenshot of blog.changs.co.uk: TypedDicts are better than you think

TypedDicts are better than you think (blog.changs.co.uk)

117 points by rbanffy 2 years ago | 89 comments

Screenshot of blog.ezyang.com: The AST Typing Problem

The AST Typing Problem (blog.ezyang.com)

66 points by smasher164 3 years ago | 26 comments

Screenshot of borretti.me: Austral: A Systems Language with Linear Types and Capabilities (2022)

Austral: A Systems Language with Linear Types and Capabilities (2022)(borretti.me)

131 points by yamrzou 1 year ago | 24 comments

Screenshot of prydt.xyz: A few good ideas in programming languages

A few good ideas in programming languages (prydt.xyz)

71 points by airhangerf15 1 month ago | 50 comments

Screenshot of spakhm.com: Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing (spakhm.com)

5 points by lioeters 10 months ago | 1 comments

Screenshot of blog.changs.co.uk: Free Threaded Python with Asyncio

Free Threaded Python with Asyncio (blog.changs.co.uk)

6 points by rbanffy 2 years ago | 0 comments