🔠 Type-Level Programming - matmat · Scour

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·1d

🔄Session Type Inference

I got bored and had Claude design and implement a programming language

github.com·2h·

Discuss: Hacker News

🔗Concatenative Programming

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·16h

⚔️Lean Theorem

Simplifying assertions with lenses

blog.ploeh.dk·21h

🔗Functional Compilers

A Note on Flat Abstract Syntax Trees

gist.github.com·17h·

Discuss: Hacker News

🔗Monadic Parsing

Well-Typed.Com: hs-bindgen 0.1-alpha release

well-typed.com·11h

⬆️Lambda Lifting

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·12h·

Discuss: Blogger

📊Graph Databases

Package-Inferred Systems are Dangerous

aartaka.me·23m

📦Package Managers

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·2h

🧪Binary Fuzzing

My Experience at the North American Haskell Hackathon AmeriHac

thedeveloper101.github.io·1d·

Discuss: Hacker News

🔗Functional Compilers

How I Built My Project in Haskell

dev.to·2d·

Discuss: DEV

🔗Functional Compilers

Show HN: Deterministic linguistic enrichment pipeline for Node.js

npmjs.com·16m·

Discuss: Hacker News

🌀Brotli Internals

Fragments: February 9

martinfowler.com·16h

🗣️Domain-Specific Languages

QtWidgets to QtQuick, An Application Journey Part 2

qt.io·5h

🔌Interface Evolution

What Functional Programmers Get Wrong About Systems

iankduncan.com·16h·

Discuss: Lobsters, Hacker News, r/programming

⚖️Verification Calculi

What's up with Haskell's do notation?

slightknack.dev·18h

🧬Functional Programming

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

reddit.com·2d·

Discuss: r/golang

🏺Database Archaeology

Differential Logic • 4

inquiryintoinquiry.com·1d

⚔️Lean Theorem

Revisiting Regular Types

abseil.io·2d

λLambda Encodings

I don't like imports

kevincox.ca·17h·

Discuss: Hacker News

🦀Rust Macros

Loading more...