🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·9h·
Discuss: Hacker News
📋DFDL
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·11h·
Discuss: Hacker News
🔗Constraint Handling
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·15h·
Discuss: Hacker News
🧩WASM Modules
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·9h·
Discuss: DEV
📏Code Metrics
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
A Rubyist's guide to big-O notation
honeybadger.io·23h
🌳Trie Structures
TypeScript: checking Map keys and Array indices
2ality.com·4d
🔗Dependently Typed
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·3h·
Discuss: DEV
🛠Language Design
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
Creating Domain Types for Safer Code
dev.to·3d·
Discuss: DEV
🔒Linear Types
Cactus Language • Syntax 10
inquiryintoinquiry.com·3d
📝Concrete Syntax
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
PasteTrace: A Single Source Plagiarism Detection Tool For Introductory Programming Courses
arxiv.org·1d
🔗Document Similarity