🧩 Types - emschwartz · Scour

simple type conjecture in nLab 🧮SMT Solvers

ncatlab.org·5d

Transformations, functors, categories 💻Programming languages

muratkasimov.art·1d·r/functionalprogramming

Issue 522 💻Programming languages

haskellweekly.news·22h

Toward a Characterization of Simulation Between Arithmetic Theories 🧮SMT Solvers

Document type inference 🔎Tantivy

Why Senior Python Interviews Test the Wrong Things (And How to Actually Prepare) 💻Programming languages

docs.python.org·10h·DEV

Working with Type 🔡Type Foundries

johndberry.com·6d

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

federicobruzzone.github.io·8h·Hacker News

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

codeberg.org·2d·r/Zig

Metaphysics of Thinging Machines Modeling 💻Programming languages

philsci-archive.pitt.edu·14h

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

en.wikipedia.org·1d·Hacker News

Some type constructors are tensor products 📏Linear Types

blog.sigfpe.com·3d·Blogger

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

news.ycombinator.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

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

github.com·1d·Hacker News

Rust’s Type System as a State Machine, Phantom Types and the Typestate Pattern ⚙Rust Compiler Internals

·3d

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes 💻Programming languages

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

pocketcasts.com·3d·Hacker News

All Rationality is Bounded 🏛️Politics

philsci-archive.pitt.edu·13h

Log in to enable infinite scrolling