PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·2d
🏗️Compiler Archaeology
LINQ and Learning to Be Declarative
nickstambaugh.dev·6h·
Discuss: Hacker News
🔗Concatenative Programming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·9h
λLambda Encodings
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
An enough week
blog.mitrichev.ch·59m·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Cactus Language • Semantics 2
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Haskell Weekly Issue 493
haskellweekly.news·11h·
Discuss: Hacker News
🧬Functional Programming
Defeating Return Type Polymorphism
philipphagenlocher.de·23h·
Discuss: Hacker News
🧬Functional Programming
Getting a Hypergraph of Functions to a Browser
systeminit.com·4h·
Discuss: Hacker News
📐E-graphs
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·10h·
Discuss: DEV
⚡Cache Theory
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·8h
⚡Proof Automation
The Chip That Spoke Lisp
jxself.org·2d
🤖Lisp Machines
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1h·
Discuss: Hacker News
🔗Lisp
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·9h·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Programmer in Wonderland
binaryigor.com·5h·
Discuss: Hacker News
🔩Systems Programming
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·1d·
Discuss: Hacker News, r/neovim
🔗Lisp
Modern C and initializing an array
subethasoftware.com·3h
🗂Data structures
AI as both authors and reviewers of research papers
openreview.net·46m·
Discuss: Hacker News
🔲Cellular Automata
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·1d
🧮Compute Optimization
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·8h
🌐WASI