🔍 Refinement Types - abnv · Scour

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Making a Language

thunderseethe.dev·9h

🔬programming language theory

Using Haskell in Production

agentultra.com·1d

Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring

arxiv.org·1d

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

📦Closure Conversion

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·15h·

Discuss: Hacker News

🪢Rope Data Structures

Template Method Design Pattern

denvaar.dev·1d

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·16h·

Discuss: Hacker News

🔒Rust Borrowing

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·2d

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors

towardsdatascience.com·18h

🔧Error Recovery

Type-Safe Routing Without the Build Step

werkbank.dev·13h·

Discuss: Hacker News

⚙️TOML Parsers

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·18h

🔧Scheme Macros

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Designing a Programming Language for the Desert

futhark-lang.org·16h·

Discuss: Hacker News

🔄Bootstrapping

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·20h

🏗️Cranelift

Loading more...