🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Migrate Enterprise Classic ASP Applications to ASP.NET Core
faciletechnolab.com·1d·
Discuss: r/programming
⚙️PL Implementation
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔄Reproducible Builds
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·10h·
Discuss: r/programming
🔬Static Analysis
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·4h
🔍Formal Verification
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·15h·
Discuss: Hacker News
⚙️PL Implementation
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·1h·
Discuss: Substack
🔍Formal Verification
Data-Star.dev – v1 and Beyond
data-star.dev·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·14h·
Discuss: Substack
🐫Embedded OCaml
LLM Inference Handbook
bentoml.com·5h·
Discuss: Hacker News
🛡️seL4
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·45m·
Discuss: Substack
🔬Static Analysis
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·8h·
Discuss: Hacker News
🌐NetworkProtocols
Revitalizing Legacy Code
javapro.io·1d·
Discuss: Hacker News
💾Retro Computing
Perl 5.42 Released - Still Going Strong
i-programmer.info·1d·
Discuss: r/programming
⚙️PL Implementation
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
💥Job Ready AI Powered Cohort: Complete Web Development + DSA + Aptitude GOOD or BAD !!!!!!!💥
sheryians.com·2d·
Discuss: r/programming
💻CS
Data Science Weekly – Issue 607
datascienceweekly.substack.com·5h·
Discuss: Substack
👁️System Observability