🧩 Types - emschwartz · Scour

The 6 Big Ideas of Typescript 📘Typescript

sitr.us·1d·r/programming

1SubML: Plan vs Reality 💻Programming languages

blog.polybdenum.com·5d·Lobsters, Hacker News

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions 💻Programming languages

arxiv.org·16h

The Unintelligibility is Ours: Notes on Chain-of-Thought 🪄Prompt Engineering

lesswrong.com·2h

A Type System for Management 🔐Ownership Types

rescrv.net·16h·Hacker News

All of the String types 💾Binary Formats

lambdalemon.gay·2d·Lobsters, Hacker News

gibbok/typescript-book: The Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source. 📘Typescript

github.com·6d

Tree Calculus 💻Programming languages

news.ycombinator.com·21h·Hacker News

The Boxes Were Already Open 🎯Semantic Tokens

srodingr.substack.com·1d

🥩 Red Meat Friday: Rules For Lisp Programs 💻Programming languages

irreal.org·5h

Incremental Lambda Calculus 💻Programming languages

inc-lc.github.io·12h·Hacker News

Nowakia 🏛️Politics

liorpachter.wordpress.com·1h

Tim Bradshaw: Rules for Lisp programs 💻Programming languages

tfeb.org·2d

A single equation for intelligence – from quantum mechanics to AGI in 5 axioms 💻Programming languages

holon.sh·4d·Hacker News, Hacker News

mm0/mm0-rs/mmc.md at master 📏Linear Types

github.com·15h·Hacker News

But what about K? 💻Programming languages

tony-zorman.com·1d·Lobsters, Hacker News

Parse, Don't Validate — In a Language That Doesn't Want You To 📘Typescript

cekrem.github.io·3d·Hacker News, r/coding, r/functionalprogramming, r/javascript, r/programming, r/webdev

Lectures in Advanced Data Structures (6.851) 🌳Data Structures

courses.csail.mit.edu·1d

Enduring constraints on grammar revealed by Bayesian spatiophylogenetic analyses 📝Text Parsing

nature.com·4d·Hacker News

Metacat: a categorical framework for formal systems 📐TLA+

arxiv.org·16h

Loading more...