🔗 Lisp - matmat · Scour

Functional Logic Program Transformations

arxiv.org·1d

🔗Functional Compilers

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

medium.com·13h·

Discuss: Hacker News

🤝Unification Algorithms

Writing your first compiler

popovicu.com·3d·

Discuss: Hacker News, r/golang

📝Compiler Design

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·17h

📊Static Analysis

Using Haskell in Production

agentultra.com·1d

🔗Functional Compilers

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Making a Language

thunderseethe.dev·7h

🛠Language Design

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

On the way to step functions: the two worlds

blog.julik.nl·2d

🐚Shell Calculus

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

⬆️Lambda Lifting

Anyone here a LISP/schemer?

tildes.net·5d

🧠Lisp Dialects

Why not tail recursion?

futhark-lang.org·2d·

Discuss: Lobsters, Hacker News

💻Programming languages

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·1h

🔓Reverse engineering

Evolution of LLMs use by a programmer

asfaload.com·12h·

Discuss: Hacker News

🧩WASM Components

Understanding Poke methods

jemarch.net·1d

🔧Binary Parsing

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

How to Write Your Own Programming Language in C#

codemag.com·2d

🔗Concatenative Programming

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

To assert() or not to assert()?

ilya-sher.org·2d

🛡️Proof-Carrying Archives

Thefoggiest.dev

thefoggiest.dev·5h

Loading more...