🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

<div xmlns="http://www.w3.org/1999/xhtml"> Asymmetric daylight saving time in the EU </div>
uninformativ.de·10h·
Discuss: Hacker News
🧮Lambda Calculus
China’s Great Firewall suffers its biggest leak ever as 500GB of source code and docs spill online — censorship tool has been sold to three different countries
tomshardware.com·1d·
Discuss: Hacker News, r/news, r/worldnews, r/zhongwen
🖥️Self-hosted Infrastructure
Phoenix and MD Anderson expand cell therapy safety switches
longevity.technology·6h·
Discuss: Hacker News
🐳Containerization
Introducing x402-mcp: Open protocol payments for MCP tools
vercel.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Care about keeping your design files clean (2018)
monzo.com·3d·
Discuss: Lobsters, Hacker News
🧩Separation Logic
Text Files > Complex Tools: A Minimalist Snippet Manager
quarters.captaintouch.com·1d·
Discuss: Lobsters, Hacker News
🐳Containerization
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·6d·
Discuss: Hacker News
📚Automata Learning
Write Better with Vale
pragprog.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Quantum Algorithm Zoo
quantumalgorithmzoo.org·3d·
Discuss: Hacker News
🧠Automated Reasoning
On discourse and decentralisation
connectedplaces.online·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
All-around protection: ESR launches iPhone 17 cases, screen protectors, AirPods covers
9to5mac.com·2d
🍎Apple
The second wave of MCP: Building for LLMs, not developers
vercel.com·5d·
Discuss: Hacker News
💎Refinement Types
Journey starts here
i.redd.it·2d·
Discuss: r/homelab
🍎Apple
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Dispelling Myths of Open Source Complexity With Apache Iceberg
thenewstack.io·3d
🖥️Self-hosted Infrastructure
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·3d
🔄Reproducible Builds
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·5d
🩹Self-Healing Systems
1.0 release of the Google Cloud client libraries for Rust
github.com·4d·
Discuss: Hacker News, r/rust
🔄Reproducible Builds
Strategies for Improving Communication Efficiency in Distributed and Federated Learning: Compression, Local Training, and Personalization
arxiv.org·3d
🧩Parser Combinators
ServiceNow Says Windsurf Gave Its Engineers a 10% Productivity Boost
thenewstack.io·2d
👁️System Observability