🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Operational Semantics

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Higher Order Functions in JavaScript – Map, Filter, Reduce Deep Dive
dev.to·16h·
Discuss: DEV
⬆️Lambda Lifting
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·3m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com·23h·
Discuss: r/MachineLearning
🧠Learned Compression
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
Transitioning from Assembly to C: Challenges and Solutions for Programmers Effectively
dev.to·16h·
Discuss: DEV
🔩Systems Programming
To Bind and Loose a Reference
thephd.dev·21h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
Reflection and open implementations (2006)
dcc.uchile.cl·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Trip June 2025 ISO C++ standards meeting (Sofia, Bulgaria)
herbsutter.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🛠Language Design
Notes/Learnings from building software at a fast paced startup
reddit.com·1d·
Discuss: r/ExperiencedDevs
📏Code Metrics
Exploring High Efficiency Web Analysis Results(1750616211008400)
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Discover C++26’s compile-time reflection
lemire.me·19h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap