🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·20h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Hou Tu Pranownse Inglish
zompist.com·8h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·2d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
[D] Best (free) courses on neural networks
reddit.com·1d·
Discuss: r/MachineLearning
🎯Complexity Classes
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·3d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
AI writes pretty good code these days and it doesn't really matter
dev.to·5h·
Discuss: DEV
🐫Embedded OCaml
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·2h·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🔍CBMC
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·1d·
Discuss: DEV
💬Mach Messages
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
A DRL-Empowered Multi-Level Jamming Approach for Secure Semantic Communication
arxiv.org·2d
❓Existential Types
Flag this post
AI-Driven Biomarker Discovery for Accelerated Orphan Drug Development
dev.to·1h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1h·
Discuss: DEV
🔧DevOps
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Unvanquished now cross-compiles Linux macOS and Windows from Debian Docker image
unvanquished.net·3d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·16h·
Discuss: DEV
🏃Escape Analysis
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·23h·
Discuss: DEV
🛡️seL4
Flag this post