🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

For Synthetic Situations
lesswrong.com·9h
🎮Verification Games
Flag this post
Check if your website runs on green energy
thegreenwebfoundation.org·8h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Nostr is deceptively tricky to understand
njump.me·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Flag this post
Finding Signal Through the Noise
elijahpotter.dev·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
My Wishlist for PHP in 2026
stitcher.io·4d·
Discuss: Hacker News
❓Existential Types
Flag this post
I ****Ing Hate Science
buttondown.com·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Flag this post
AccessFix Update!
dev.to·4h·
Discuss: DEV
📊Runtime Verification
Flag this post
Beyond Localhost: Security, Authentication, and Real-World Sources
hackernoon.com·20h
🌐Network Protocols
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·4d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·9h·
Discuss: DEV
🔒Protocol Verification
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1h·
Discuss: DEV
💻CLI Tools
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·10h·
Discuss: DEV
🧮Z3
Flag this post
🛡️ Fortify - AI-Powered Security Analysis Platform
dev.to·6h·
Discuss: DEV
🔧DevOps
Flag this post
Building BrandGenie: An AI-Powered Brand Identity Generator with Mastra
dev.to·2h·
Discuss: DEV
🌐ActivityPub
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·19h
🖥Self-Hosting
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
AI writes pretty good code these days and it doesn't really matter
dev.to·1d·
Discuss: DEV
🐫Embedded OCaml
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·5h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
dev.to·3h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·20h
🧩Parser Combinators
Flag this post