๐Ÿ”ค Type Theory

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

Strict alternation of data and behaviour in Smalltalk
eighty-twenty.orgยท9h
๐Ÿ“žSession Types
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.comยท2d
๐Ÿ”„Reproducible Builds
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท4h
๐Ÿ“ŠGraph Databases
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
BNFGen: A random text generator based on context-free grammars
baturin.orgยท44mยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Algorithm Complexity: Time, Space, and Big-O Notation
dev.toยท8hยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
Counting with Categories (Part 1)
golem.ph.utexas.eduยท3d
ฮปLambda Formalization
The Guide to the Foundation Models Framework
azamsharp.comยท4hยท
Discuss: Hacker News
ฮปLambda Formalization
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.toยท1dยท
Discuss: DEV
๐ŸงฌFunctional Programming
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
๐ŸงฎZ3 Solver
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท3hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
Threaded Code
muforth.devยท7hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Single Core Hundred Thousand Concurrency๏ผˆ1750866547511600๏ผ‰
dev.toยท2hยท
Discuss: DEV
๐ŸŒŠStream Processing
Of Course ML Has Monads! (2011)
existentialtype.wordpress.comยท4dยท
Discuss: Lobsters, Hacker News
๐ŸงฌFunctional Programming
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.comยท23hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Ultra-Efficient Contracts: Breaking the Substitutes Barrier in Combinatorial Contracts
arxiv.orgยท1d
๐Ÿ”—Combinatory Logic
Schema In, Data Out: A Smarter Way to Mock
hackernoon.comยท1d
๐Ÿ›Fuzzing
Counting with Categories (Part 2)
golem.ph.utexas.eduยท2d
๐Ÿ”€Category Theory
Creating Domain Types for Safer Code
dev.toยท2dยท
Discuss: DEV
๐Ÿ”’Linear Types