PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·18h
🎭Staged Interpreters
The Mondrian introduction to functional optics
marcosh.github.io·12h·
Discuss: Hacker News
🔍Lens Libraries
JSON Schema in the Wild: Real World Applications & HAL 🌍
dev.to·4h·
Discuss: DEV
📋JSON Parsers
Real-Life Challenges in Interpretation: Expectations & How to Prepare
lingualinx.com·7h
🗣interpreters
TypeScript Flaws (2024)
intercaetera.com·21h·
Discuss: Hacker News
📋Template Compilers
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·17h·
Discuss: Hacker News
🎮Language Ergonomics
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com·1h·
Discuss: Hacker News
🔮Metacircular Evaluators
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
📋Backus-Naur Form
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·18h
✅Type Checking
I went through every prompt in Anthropic’s library.
threadreaderapp.com·11h
🎮Language Ergonomics
What's new in Python 3.14
docs.python.org·39m·
Discuss: Hacker News
⚡Incremental Parsing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
💬Interactive REPLs
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1d
⚡functional programming
Causal Abstractions, Categorically Unified
arxiv.org·18h
💫Effect Systems
Static Bundle Object: Modernizing Static Linking
medium.com·7h·
Discuss: Hacker News
🌈Gradual Languages
German Interoperability Day: How does AI affect standards?
heise.de·3h
🌉Language Bridges
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
The Alignment Paradox: Why Transparency Can Breed Deception
lesswrong.com·9h
✨Effect Inference
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·1d·
Discuss: Hacker News
🌐WASM Runtimes