🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

The Medieval World Revealed
worldhistory.substack.com·2h·
Discuss: Substack
➡️Category Theory
EchoVaults - Digital Vaults for loved ones in emergency situations.
echovaults.org·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
TypeScript vs JavaScript Explained with Real-Life Examples
codewithvinod.com·5d·
Discuss: r/programming
🔬Static Analysis
Rust is a great fit for the agentic era
kerkour.com·4d·
Discuss: Hacker News
🔬Static Analysis
Introduction to JavaScript
thenewstack.io·5d
💻CS
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·3d·
Discuss: Hacker News
👁️System Observability
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
We're Speeding Toward Skynet
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Language Models for Adult Service Website Text Analysis
arxiv.org·4d
➡️Category Theory
Moped – Windows Notepad Equivalent for Mac
github.com·2d·
Discuss: Hacker News
🍎Apple
VideoITG: Multimodal Video Understanding with Instructed Temporal Grounding
arxiv.org·2d
🎮Verification Games
RegCL: Continual Adaptation of Segment Anything Model via Model Merging
arxiv.org·3d
🔍Formal Verification
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·3d
✓Automated Theorem Proving
Artificial Intelligence Governance for Businesses
arxiv.org·3d
💻CS
Using Large Language Models for Legal Decision-Making in Austrian Value-Added Tax Law: An Experimental Study
arxiv.org·6d
✓Automated Theorem Proving
Would this be a good setup for a beginner Homelab?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Security-Focused Homelab
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
AI is a tool to disentangle presentation from content (reimagine and retell)
medium.com·6h·
Discuss: Hacker News
💻CS
NonverbalTTS: A Public English Corpus of Text-Aligned Nonverbal Vocalizations with Emotion Annotations for Text-to-Speech
arxiv.org·2d
🐫OCaml
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·2d
🎮Verification Games