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

Small-step Semantics, Big-step Semantics, Reduction Rules, Language Specification

7 Best Practices for API Design 🔥
newsletter.systemdesign.one·1d·
Discuss: r/programming
👁️System Observability
ML Systems: Motivating Dense Models
jacobkahn.me·5d·
Discuss: Hacker News
🧮Lambda Calculus
Knowledge and memory
robinsloan.com·2d·
Discuss: Hacker News
📚Automata Learning
Skip to the End
thenanyu.com·16h·
Discuss: Hacker News
💾Retro Computing
How We Broke 40M Developers: An Agile Pioneer's Lament
flowchainsensei.wordpress.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Learning to code from scratch with AI: what worked, what didn't
indiehackers.com·2d·
Discuss: Hacker News
📚Automata Learning
Natural Latents: Latent Variables Stable Across Ontologies
lesswrong.com·4d
📝Term Rewriting
I made a transformer by hand (no training)
vgel.me·4d·
Discuss: Hacker News
📚Automata Learning
Content Query Languages
deanebarker.net·4d·
Discuss: Hacker News
🧩Parser Combinators
Ask HN: When it's too much observability?
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
Observability’s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.io·4d
👁️System Observability
Difdef: Utility to do an N-way diff and N-way merge, for N>2
github.com·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·4d
🧠Automated Reasoning
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·3d·
Discuss: Hacker News
📚Automata Learning
UAV-Based Intelligent Traffic Surveillance System: Real-Time Vehicle Detection, Classification, Tracking, and Behavioral Analysis
arxiv.org·18h
🩹Self-Healing Systems
If I hear "design pattern" one more time, I'll go mad
purplesyringa.moe·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
ASCENDgpt: A Phenotype-Aware Transformer Model for Cardiovascular Risk Prediction from Electronic Health Records
arxiv.org·18h
🧩Parser Combinators
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·18h
🩹Self-Healing Systems
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·5d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📊Runtime Verification
Beyond Vibe Coding: A practical guide to AI-assisted development
beyond.addy.ie·2d·
Discuss: Hacker News
🤖Program Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap