🐿️ 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

Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·13h
📞Session Types
Schemars v1 is now released
reddit.com·4h·
Discuss: r/rust
🦀Rust Macros
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
The collective waste caused by poor documentation
shanrauf.com·20h·
Discuss: Hacker News
📦Deflate
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·4d·
Discuss: Hacker News
🗣️Domain-Specific Languages
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·21h·
Discuss: Hacker News
🦀Rust Macros
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·1h·
Discuss: Hacker News
📊Graph Databases
You're still the engineer (using coding agents effectively)
mike.gg·3h·
Discuss: Hacker News
📏Code Metrics
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·2h·
Discuss: DEV
🛠Language Design
Exploring High Efficiency Web Analysis Results(1750876031390300)
dev.to·3h·
Discuss: DEV
🌊Stream Processing
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·10h·
Discuss: Hacker News
🔗Constraint Handling
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
Computational Approaches to Understanding Large Language Model Impact on Writing and Information Ecosystems
arxiv.org·1d
📜Digital Philology
Hypercubical manifolds in homotopy type theory
arxiv.org·18h
🔶Cubical Type Theory
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·14h·
Discuss: Hacker News
🧩WASM Modules
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Loading...Loading more...
AboutBlogChangelogRoadmap