🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Working hours and health – key research topics in the past and future
pmc.ncbi.nlm.nih.gov·2h·
Discuss: Hacker News
💻CS
OneLLM - Better open router?
onellm.dev·2d·
Discuss: r/programming
📦Unikernel Systems
The XINU Page
xinu.cs.purdue.edu·2d·
Discuss: Hacker News
📦Unikernel Systems
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog·4d·
Discuss: Hacker News
🌐NetworkProtocols
Cocoindex: Data Transformation for AI
cocoindex.io·2d·
Discuss: Hacker News
🛡️seL4
Memory-level parallelism :: Apple M2 vs Apple M4
lemire.me·3d·
Discuss: Hacker News
⚙️Operating System Design
Beauty Comes from Absence
karlkoch.me·2d·
Discuss: Hacker News
➡️Category Theory
My first verified (imperative) program
markushimmel.de·5d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
An InfoSec Architect's First Taste of Temporal
supasaf.com·4d·
Discuss: Hacker News
⚙️PL Implementation
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·21h·
Discuss: Hacker News
❄️Nixified Development
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·1d
🛡️seL4
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·3d
📡Network Protocol Design
https:// daniel.haxx.se/blog/2025/07/11 /cybersecurity-risk-assessment-request/
daniel.haxx.se·2d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Show HN: Dispytch – Python framework for event-driven services
github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
LISTEN: Lightweight Industrial Sound-representable Transformer for Edge Notification
arxiv.org·2d
🔬Unikernels
Show HN: ByteWise Search a Privacy, Zero-Traffic, Community-Driven Search Engine
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Unikernels
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·2d
✓Automated Theorem Proving
Question on Cisco SX350X-24-K9
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·4d
🔠Type-Level Programming
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·3d·
Discuss: r/programming
💻CS