🔗 Dependent Types - hello · Scour

Technical Dimensions of Programming Systems 🔨Compiler Design

tomasp.net·2d·Hacker News

From Stringly to Strongly Typed 📦Serde

eignex.com·5d·Hacker News

The Capability-Tractability Tradeoff 📏Linear Types

buttondown.com·2d

A Fibrational Perspective on Differential Linear Logic 📏Linear Types

Compile-Time Map and Compile-Time Mutable Variable with C++26 Reflection 🦀Rust Macros

stackoverflow.blog·1d·r/cpp

Autonomous Systems & Reasoning Research ⚓Anchors

cli.narelabs.com·4d·Hacker News

Relational modeling and APL ⁑ Dercuano 🔍Datalog Engines

dercuano.github.io·2d·Lobsters

The appeal of bidirectional type-checking 📐Type Theory

haskellforall.com·3d

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models 🧮SMT Solvers

A principled rethinking of array languages like APL ⁑ Dercuano 📏Linear Types

dercuano.github.io·2d·Lobsters

F# Weekly #19, 2026 – Understanding Compilers Through an Algebraic Expression Compiler 🔨Incremental Compilation

sergeytihon.com·3d

Making Julia as Fast as C++ 🌀Naiad

flow.byu.edu·5d·Hacker News

marcelofarias/botscript: BotScript - A TypeScript superset for the LLM era 🛡️Error Handling

github.com·4d·Hacker News

A Categorical Semantics for Linear Logical Frameworks 📏Linear Types

I Built Rust-Style ADTs in 30 Lines of Python (Pattern Matching Works) 📦Serde

dev.to·6h·DEV

Towards Definitional Interpreters for Hoare Logics 📏Linear Types

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages λFunctional Programming

Building Safety-Critical APIs: A Guide to Linear Types and Austral Implementation 📏Linear Types

dev.to·5d·DEV

Cplus2ASP: Computing Action Language C+ in Answer Set Programming 🌳Pratt Parsing

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs 🧮SMT Solvers

Log in to enable infinite scrolling