🔗 Functional Compilers - matmat · Scour

Functional Logic Program Transformations

arxiv.org·3d

⬆️Lambda Lifting

haskellweekly.news·2d

💧Liquidhaskell

Functional Optics for Modern Java

blog.scottlogic.com·1d

💧Liquid Types

Designing a Programming Language for the Desert

futhark-lang.org·3d·

Discuss: Hacker News

🏗️Compiler Archaeology

Lisp Coding Standards v1.0

franz.com·2d·

Discuss: Hacker News

Michael Tsai - Blog - Improving the Usability of C Libraries in Swift

mjtsai.com·22h

📜Proof Carrying Code

The Linguistic Registers of Rust

without.boats·2d·

Discuss: Hacker News

🦀Rust Macros

Introduction to Coinduction in Agda Part 1: Coinductive Programming

jesper.sikanda.be·2d

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs

arxiv.org·1d

vivace-graph-v3: CL graph database & Prolog implementation

github.com·14h·

Discuss: Lobsters, Hacker News

Why Rust won't make your embedding model inference fast

filipmakraduli.substack.com·8h·

Discuss: Substack

🔩Systems Programming

The GNU C Library version 2.43 is now available

sourceware.org·8h·

Discuss: Hacker News

🔗Static Linking

Scala 3.8 released!

scala-lang.org·2d·

Discuss: Hacker News

💧Liquid Types

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·3d·

Discuss: Hacker News

⚖️Verification Calculi

Clean Code in the AI Era

dev.to·1d·

Discuss: DEV

⚡Proof Automation

E9p – pure Erlang 9p implementation

tangled.org·6h·

Discuss: Lobsters, Hacker News

🔒Linear Types

Using Haskell in Production

agentultra.com·3d

💧Liquid Types

Making a Language

thunderseethe.dev·3d

🛠Language Design

Parser Combinators: Parsing for Haskell Beginners

entropicthoughts.com·2d

🔗Monadic Parsing

Show HN: Polymcp – Turn Any Python Function into an MCP Tool for AI Agents

news.ycombinator.com·4h·

Discuss: Hacker News

Loading more...