🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Why do browsers match CSS selectors from right to left?
stackoverflow.com·6h·
Discuss: Hacker News
🔤Regular Expression Theory
Flag this post
Honeypot: Requests for (Code) Repositories, (Sat, Nov 8th)
isc.sans.edu·2d
🔒Protocol Verification
Flag this post
Belgian AI scientists resist the use of AI in academia
apache.be·6h·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
Entities enabling scientific fraud at scale are large, resilient growing rapidly
pnas.org·5h·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Non-recursively deleting a binary tree in constant space: Restructuring the tree
devblogs.microsoft.com·3d·
Discuss: Hacker News
🔬Reverse Engineering
Flag this post
Looking Back: The First 100 Days of Our Website’s AI Chatbot
spin.atomicobject.com·2d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Google's MCP Toolbox for Databases: A Technical Deep Dive for Engineering Teams
agnost.ai·4d·
Discuss: Hacker News
👁️System Observability
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·4d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Sourcekit-Bazel-bsp: iOS Development in Cursor / VSCode, for Bazel projects
github.com·2d·
Discuss: Hacker News
🔌IOKit
Flag this post
Show HN: React Prompt Kit
github.com·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Rethinking Vibe Coding: A Skeptic's Field Notes
dev.to·5d·
Discuss: DEV
🤖Program Synthesis
Flag this post
From DevOps to Developer Advocacy: Finding My Path in the Age of AI
dev.to·4d·
Discuss: DEV
🔧DevOps
Flag this post
DIY Server Cabinet
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Flag this post
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
arxiv.org·3d
🧠Automated Reasoning
Flag this post
Building a New York Times Connections Solver with Python
dev.to·2d·
Discuss: DEV
🧩Parser Combinators
Flag this post
Building Test Suite for "repo-contextr" using "pytest"
dev.to·3d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Tool-Driven Behavioral Directives: How to Scale LLM Agents Without Prompt Spaghetti
dev.to·3d·
Discuss: DEV
🛡️seL4
Flag this post
The Secrets of Cyber Security That Experts Don't Share
dev.to·3d·
Discuss: DEV
🔒Protocol Verification
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·6d
✓Automated Theorem Proving
Flag this post