🔬 Hindley-Milner Implementation - abnv · Scour

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·1d

📞Session Types

A Note on Flat Abstract Syntax Trees

gist.github.com·14h·

Discuss: Hacker News

🌳Tree Walking

A Proof of P = NP

dev.to·1d·

Discuss: DEV

🎨Graph Coloring

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·14h

📜Proof Languages

An introduction to lockless algorithms [LWN.net]

lwn.net·21h

🎯Ring Buffers

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)

arxiv.org·1d

🪜Recursive Descent

Oatmeal - Constraint propagation for fun

eli.li·2d·

Discuss: Lobsters, Hacker News

🧩Constraint Solvers

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·12h

👑Dependent Haskell

About the Information System on Graph Classes and their Inclusions

graphclasses.org·19h

🔗Graph Rewriting

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·2d

🗂️Type Indexing

Property-based testing as executable specs for agentic coding

kiro.dev·7h·

Discuss: Hacker News

🎲Test Generators

Main Content || Math ∩ Programming

jeremykun.com·1d

🔢Algebraic Datatypes

isledb: An embedded key-value engine built on object storage in Go

reddit.com·1d·

Discuss: r/golang

🐹Go Internals

Revisiting Regular Types

abseil.io·2d

🚀Hindley-Milner+

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·13h

✅Type Checking

Simplifying assertions with lenses

blog.ploeh.dk·19h

🚂Error Monads

andywingo/wastrel: WebAssembly-to-C compiler

codeberg.org·11h

🌐WASM Runtimes

What Functional Programmers Get Wrong About Systems

iankduncan.com·12h

🚂Error Propagation

Looking at binary trees in C++

meetingcpp.com·2d

🤐Zipper Structures

SAE Feature Matchmaking (Layer-to-Layer) by Mitali M

greaterwrong.com·4h

🔢Algebraic Datatypes

Loading more...