Domain-Specific Languages, Language Design, Compilers, Interpreters

TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·14h·
🔍Formal Verification
Flag this post
Rapid-eks – Production EKS in 13 minutes with Terraform + Python
hackernoon.com·1d
🔧DevOps
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·4d·
📚Automata Learning
Flag this post
Lowering in Reverse
buttondown.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·4d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
I am torn about using Lo
reddit.com·2d·
Discuss: r/golang
🔤Language Design
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
github.com·18h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·3d
📦Module Systems
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·3d
🔄Reproducible Builds
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Launch-Day Diffusion: Tracking Hacker News Impact on GitHub Stars for AI Tools
arxiv.org·2h
🌐ActivityPub
Flag this post
The Dublin Protocol Manifesto
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·2d
🔲Cellular Automata
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·8h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·2h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
REMIND: Input Loss Landscapes Reveal Residual Memorization in Post-Unlearning LLMs
arxiv.org·2h
📚Automata Learning
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·2d·
Discuss: DEV
🔧ppx
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post
Beyond Basic RAG: AI Agents for Context-Aware Responses
thenewstack.io·1d
🧩Parser Combinators
Flag this post
Boost Your Development Skills with the Right Resources
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post