💻 Programming languages - matmat · Scour

The seven programming ur-languages (2022) 🔗Concatenative Programming

news.ycombinator.com·6d·Hacker News

The Complicated Nature of Programming Languages 🏗️Compiler Archaeology

functiondispatch.substack.com·1d·r/programming

Intuitive concurrent programming in any language 🌐Protocol Synthesis

lf-lang.org·19h

Common Foundations for Recursive Shape Languages 🔤Type Theory

CS 7520: Programming Languages and Semantics 🛠Language Design

my.eng.utah.edu·6d

Why not use Lean? 🔬Lean

lawrencecpaulson.github.io·2d·Hacker News

Value-oriented programming in Futhark λLambda Encodings

futhark-lang.org·3d

Formally speaking, "Transpiler" is a useless word 🔗Monadic Parsing

people.csail.mit.edu·6d·Hacker News

Finding duplicated code with tools from your CS course λLambda Encodings

purplesyringa.moe·3d·Hacker News

People get confused when language implementations break language guarantees ⚖️Verification Calculi

Computer Things via buttondown.com·4d

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) λLambda Formalization

dkeenan.com·5d·Hacker News

LL and LR in Context: Why Parsing Tools Are Hard 📝Parsing Grammars

blog.reverberate.org·4d

FIKA: Expanding Dependency Reachability with Executability Guarantees 💧Liquidhaskell

shreeve/rip-lang: A modern language that compiles to JavaScript 🔗Concatenative Programming

github.com·5d·Hacker News

Proofs are Programs: A Few Examples of the Curry-Howard Correspondence 🔤Type Theory

adueck.github.io·3d·Hacker News, r/programming

The Path Not Taken: Duality in Reasoning about Program Execution 🔍Concolic Testing

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version) 🧠Separation Logic

On the Emergence of Syntax by Means of Local Interaction 🔲Cellular Automata

Symbolic Synthesis for LTLf+ Obligations ⚔️Lean Tactics

On Languages Describing Large Graph Classes 🔗Graph Isomorphism

Log in to enable infinite scrolling