🔠 Type-Level Programming - matmat · Scour

std::accumulate: Exploring an Algorithmic Empire (2016) 🦀Rust Borrowing

youtube.com·3d·Hacker News

Haskell Data Pipelines 🌊Streaming Systems

github.com·1d·Lobsters, Hacker News

Subtyping, Subclassing, and Trouble with OOP ⬆️Lambda Lifting

okmij.org·4d·Hacker News

LemmaScript: A Verification Toolchain for TypeScript via Dafny ✅Format Verification

midspiral.com·4d·Lobsters, Hacker News

Common Foundations for Recursive Shape Languages 🔤Type Theory

Show HN: Kdts, an optimization-first TypeScript compiler 🎯Gradual Typing

docs.kimlikdao.org·3d·Hacker News

Agentic Market 🔍BitFunnel

agentic.market·4d·Hacker News

CS 7520: Programming Languages and Semantics 💻Programming languages

my.eng.utah.edu·6d

256 Lines or Less: Test Case Minimization 🧪Binary Fuzzing

matklad.github.io·6d·Lobsters, Hacker News, Hacker News

Big O for MySQL: Why the Same Query Gets Slow at Scale 📐Error Bounds

anotherboringtechblog.com·3d·Hacker News

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) λLambda Formalization

dkeenan.com·6d·Hacker News

Lil: A Scripting Language 🔗Concatenative Programming

beyondloom.com·6d·Hacker News

Reasoning Primitives in Hybrid and Non-Hybrid LLMs 🧮Constraint SMT

Formally speaking, "Transpiler" is a useless word 💻Programming languages

people.csail.mit.edu·6d·Hacker News

BendersLib: A Benders Decomposition Library in Python 🧮Constraint Solvers

news.ycombinator.com·3d·Hacker News

C++ Scripting with Libriscv ⚙️WASM Runtime

libriscv.no·4d·Hacker News

FIKA: Expanding Dependency Reachability with Executability Guarantees 💧Liquidhaskell

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation 🧩WASM Components

deadpixi/nondescript: A simple embedded programming language 🔧Binary Parsers

github.com·3d·Lobsters

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version) 🧠Separation Logic

Log in to enable infinite scrolling