🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·2d·
Discuss: Hacker News
📦Unikernel Systems
Sell Yourself Well – What Soham Parekh Can Teach Us
fldr.zip·1d·
Discuss: Hacker News
🛡️seL4
OpenAI Vulnerability: 48 Days, No Response
requilence.any.org·10h·
Discuss: Hacker News
👁️System Observability
MVC Isn't MVC – Collin Donnell
collin.blog·3d·
Discuss: Hacker News
🏹Effect Systems
Voxtral
mistral.ai·19h·
Discuss: Hacker News
🐫Embedded OCaml
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·1d·
Discuss: Hacker News, Hacker News
❄️Nixified Development
Show HN: Context Rot Technical Report – How Input Length Impacts LLM Performance
research.trychroma.com·1d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Using data version control to build better AI factories
lakefs.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
A Rust implementation of the Haraka hash function
github.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
How much attention do you need, really? Experiments in O(1) task completion
notion.so·2d·
Discuss: Hacker News
🏹Effect Systems
Are developers slowed down by AI? Evaluating an RCT (?) and what it tells us about developer productivity
fightforthehuman.com·2d·
Discuss: Hacker News
🏹Effect Systems
BURN: Backdoor Unlearning via Adversarial Boundary Analysis
arxiv.org·1d
🔬Unikernels
Adversarial Activation Patching: A Framework for Detecting and Mitigating Emergent Deception in Safety-Aligned Transformers
arxiv.org·1d
🐫OCaml
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·1d
🐫OCaml
Bridging Neural Networks and Dynamic Time Warping for Adaptive Time Series Classification
arxiv.org·1d
➡️Category Theory
LRMR: LLM-Driven Relational Multi-node Ranking for Lymph Node Metastasis Assessment in Rectal Cancer
arxiv.org·6h
🐫OCaml
Illuminating the Three Dogmas of Reinforcement Learning under Evolutionary Light
arxiv.org·6h
✓Automated Theorem Proving
Read GitHub repos in one second in VSCode
github.com·12h·
Discuss: Hacker News
❄️Nixified Development
StellarF: A Lora-Adapter Integrated Large Model Framework for Stellar Flare Forecasting with Historical & Statistical Data
arxiv.org·6h
🐫OCaml
Adaptive Framework for Ambient Intelligence in Rehabilitation Assistance
arxiv.org·2d
🔬Unikernels