🧮 Theoretical Computer Science - matmat · Scour

en.wikipedia.org·17h

🔄Graph Rewriting

No, dynamic type systems are not inherently more open

lexi-lambda.github.io·4h·

Discuss: Hacker News

🎯Gradual Typing

Simplifying assertions with lenses

blog.ploeh.dk·1d

🔗Functional Compilers

Main Content || Math ∩ Programming

jeremykun.com·1d

🧮Kolmogorov Complexity

Impredicativity in Linear Dependent Type Theory

arxiv.org·16h

🏛️Constructive Type Theory

Differential Logic • 4

inquiryintoinquiry.com·2d

⚔️Lean Theorem

Pain. Or, Why Learning to Code Is Like Learning Chinese. (2010)

amandapeyton.com·5h·

Discuss: Hacker News

🔗Concatenative Programming

From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI

news.ycombinator.com·2d·

Discuss: Hacker News

⚖️Hoare Logic

Intermediate Results on the Complexity of STRIPS$_{1}^{1}$

arxiv.org·16h

🎯Performance Proofs

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·7h·

Discuss: r/rust

🦀Rust Macros

The Douglass-Truth Library Has How Unlikely a Name? A Little Simulation in Python

healthyalgorithms.com·1d

🔲Cellular Automata

Fragments: February 9

martinfowler.com·1d

🗣️Domain-Specific Languages

What's up with Haskell's do notation?

slightknack.dev·1d

🧬Functional Programming

Faster AI Training Unlocked With New System For Massive Language Models

quantumzeitgeist.com·1d

🚀SIMD Text Processing

Heterogeneous Processing: A Strategy for Augmenting Moore's Law (2006)

linuxjournal.com·2d·

Discuss: Hacker News

🖥️Hardware Architecture

What Functional Programmers Get Wrong About Systems

iankduncan.com·1d·

Discuss: Lobsters, Hacker News, r/programming

⚖️Verification Calculi

Rust Memory Management: The Playroom Analogy

adacore.com·6h·

Discuss: Hacker News

🦀Rust Borrowing

Allium is an LLM-native language for sharpening intent alongside implementation

juxt.github.io·1d·

Discuss: Hacker News

🎯Gradual Typing

Domain Knowledge Is the New Syntax

blog.melashri.net·1d·

Discuss: Hacker News

📏Code Metrics

The Future of Software Engineering

poberezkin.com·2d·

Discuss: Hacker News

💻Programming languages

Loading more...