Domain-Specific Languages, Language Design, Compilers, Interpreters

The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·2d·
Discuss: Hacker News
Existential Types
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·1d·
🏗️Dune
Flag this post
Scala vs. F#
alexn.org·3d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·1d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
original ↗
blog.robbowley.net·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Understanding the Digital Underworld That Puts Your Data at Risk
dev.to·10h·
Discuss: DEV
🛡️Privacy Engineering
Flag this post
Free AI and Data Courses with 365 Data Science— 100% Unlimited Access until Nov 21
kdnuggets.com·41m
🎯Complexity Classes
Flag this post
Coding Agents Are Outliers
vivekhaldar.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
An eBPF Loophole: Using XDP for Egress Traffic
loopholelabs.io·2d·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Performance Analysis of NOMA-Assisted Optical OFDM ISAC Systems with Clipping Distortion
arxiv.org·1d
📐Linear Algebra
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·1d·
🔧Unikernel Development
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·2d
⚙️Compiler Design
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.to·1d·
Discuss: DEV
⚙️Abstract Machines
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
AI in Frontend Development: Lessons from Testing Modern Design-to-Code Tools like V0, Builder.io, and Kombai
dev.to·13h·
Discuss: DEV
🌐ActivityPub
Flag this post
Building a Memory-Powered Chatbot with LangGraph: A Student's Guide to Conversational AI
dev.to·3h·
Discuss: DEV
🌐Network Protocols
Flag this post
Building Innovative Tech Solutions: My Journey from Full Stack Developer to Community-Focused Apps
dev.to·2h·
Discuss: DEV
🌐ActivityPub
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post