🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Doing time. The emergence of irreversibility – PubMed
pubmed.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
🏹Effect Systems
Innovation starts with consumers, not academia
lemire.me·20h·
Discuss: Hacker News
🍎Apple
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·3d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
ML/AI Pipelines: The "So What" of Crypto Data Ecosystems
davanti-research.medium.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
A Practical Framework for Managing Performance
kb.buildingbetterteams.de·19h·
Discuss: Hacker News
👁️System Observability
Notes from a product design vibe coding hackathon
intercom.com·1d·
Discuss: Hacker News
🍎Apple
North Korean XORIndex malware hidden in 67 malicious npm packages
bleepingcomputer.com·1d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Google's Reverse Acquihire of Windsurf and the Future of AI Developer Tools
qodo.ai·2d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code
github.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Chip4Mac68000 – A Chip8 emulator for the original Macintosh
github.com·1d·
Discuss: Hacker News
💾Retro Computing
Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source
news.ycombinator.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Detecting and Pruning Prominent but Detrimental Neurons in Large Language Models
arxiv.org·2d
➡️Category Theory
Site-Level Fine-Tuning with Progressive Layer Freezing: Towards Robust Prediction of Bronchopulmonary Dysplasia from Day-1 Chest Radiographs in Extremely Preter...
arxiv.org·8h
🐫OCaml
Posture-Driven Action Intent Inference for Playing style and Fatigue Assessment
arxiv.org·8h
🎮Verification Games
Safe Deep Reinforcement Learning for Resource Allocation with Peak Age of Information Violation Guarantees
arxiv.org·3d
📡Network Protocol Design
Auditing Facial Emotion Recognition Datasets for Posed Expressions and Racial Bias
arxiv.org·1d
🔬Static Analysis
Automated Novelty Evaluation of Academic Paper: A Collaborative Approach Integrating Human and Large Language Model Knowledge
arxiv.org·1d
✓Automated Theorem Proving
Found a pair of open-source tools for building Voice AI Agents
reddit.com·1d·
Discuss: r/programming
🎮Verification Games
Fairness Is Not Enough: Auditing Competence and Intersectional Bias in AI-powered Resume Screening
arxiv.org·8h
🎮Verification Games
Which graph motif parameters count?
arxiv.org·8h
➡️Category Theory