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

Open Source Is Too Important To Dilute
thenewstack.io·29m
🔓Open Source Software
Philips Hue White Ambiance is actually terrible…
wejn.org·2h
🔓Reverse engineering
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·1h
🔐Quantum Security
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
Machine Code Isn't Scary
jimmyhmiller.github.io·2d
🔤Character Encoding
Explaining information architecture to a 6-year-old and an 82-year-old
littlelanguagemodels.com·23h·
Discuss: Hacker News
🗂️Information Architecture
Dollars per token considered harmful
modal.com·1d·
Discuss: Hacker News
💻Local LLMs
Billions of Edges per Second with Postgres
onesparse.com·1d·
Discuss: Hacker News
🗜️Graph Compression
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·9h
📜Proof Carrying Code
Inheritance over composition, sometimes
death.andgravity.com·2d
🦀Rust Macros
Row Polymorphic Programming
stranger.systems·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Three unrelated thoughts about working with LLMs
henrycourse.com·17h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Honest Abe: Anti-BS Epistemology
austinross.xyz·41m·
Discuss: Hacker News
🔲Proof Irrelevance
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
🔲Proof Irrelevance
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·11h·
Discuss: DEV
🔄Language Evolution
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·23h·
Discuss: Hacker News
🦋Format Metamorphosis
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·1d
✨Effect Handlers
Situated Software (2004)
web.archive.org·20h·
Discuss: Hacker News
🚀Indie Hacking
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·2d·
Discuss: Hacker News, r/programming
🔒Type Safety
Loading...Loading more...
AboutBlogChangelogRoadmap