🧩 Types - emschwartz · Scour

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 📏Linear Types

Some type constructors are tensor products 📏Linear Types

blog.sigfpe.com·3d·Blogger

Ashby's Law of Requisite Variety (Cybernetics) 🎮Deterministic Simulation

en.wikipedia.org·20h·Hacker News

The Mutable Value Semantics (MVS): A Non-Superficial Study 📏Linear Types

federicobruzzone.github.io·3h·Hacker News

remove `@TypeOf` and `anytype`; introduce `|T|` syntax 🔄Serde

codeberg.org·2d·r/Zig

Why I still reach for Lisp and Scheme instead of Haskell 🔄Serde

news.ycombinator.com·22h·Hacker News

applications of (higher) category theory in nLab 📊ModernBERT

ncatlab.org·4d

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 💻Programming languages

pocketcasts.com·2d·Hacker News

Axiomism: A Developer's Perspective on the Foundation of Reality 💻Programming languages

github.com·1d·Hacker News

Crash Course on Notation in Programming Language Theory 💻Programming languages

siek.blogspot.com·3d·r/programming

From Convergence to Confidence: Push-Button Verification for RDTs 📐TLA+

kcsrk.info·2d·Hacker News, Hacker News

Category Mistakes (Stanford Encyclopedia of Philosophy) 💻Programming languages

plato.stanford.edu·4d

Why Math’s Final Axiom Proved So Controversial 🔁Finite Automata

quantamagazine.org·1d·Hacker News

Tokens Are Breadcrumbs. Geodesics Are the Path. LeCun Just Proved the Difference Matters. 💰Tokenomics

pub.towardsai.net

·2d

TypeScript Book 📘Typescript

gibbok.github.io·4d

Learning zero, and what SLT gets wrong about it 🧠LLM Inference

lesswrong.com·1d

A Quantitative Confirmation of the Currier Language Distinction 💻Programming languages

Blessed Syntax and Ergonomics 📏Linear Types

gingerbill.org·1d·Lobsters, Hacker News, r/programming

samchon/ttsc: A `typescript-go` toolchain for compiler-powered transforms and type-safe execution. 📘Typescript

github.com·6d·r/javascript, r/typescript

"Parse, don't Validate" through the years with C++ 🦀Rust

derekrodriguez.dev·4d·Hacker News, r/programming

Log in to enable infinite scrolling