🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Is anyone using kerberos.io for CCTV ?
kerberos.io·1d·
Discuss: r/homelab
⎈Kubernetes
H2, the Java SQL Database
h2database.com·17h·
Discuss: Hacker News
🔄Reproducible Builds
Update or Upgrade?
eshop.macsales.com·3d·
Discuss: r/homelab
🔬Unikernels
Meta names Shengjia Zhao as chief scientist of AI superintelligence unit
techcrunch.com·16h·
Discuss: Hacker News
🧗Climbing Tech
Common Task: A roadmap for a humanist future
commontask.org·1d·
Discuss: Hacker News
🤖Program Synthesis
I tracked my coding time for a month. I only debug 2% of the time
floustate.com·2d·
Discuss: Hacker News
👁️System Observability
Using Claude Code and Serena to Debug Serena Itself
davidlambauer.de·5d·
Discuss: Hacker News
👁️System Observability
Migrating to AWS in production with zero downtime
loops.so·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Aula WIN68 Hall-Effect Standard Edition Keyboard Review
boilingsteam.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
How I keep up with AI research
thijsverreck.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
The Force: A Star Wars themed programming language
github.com·5d·
Discuss: Hacker News
🔬Static Analysis
Meta-Learning for Cold-Start Personalization in Prompt-Tuned LLMs
arxiv.org·3d
✓Automated Theorem Proving
SIFOTL: A Principled, Statistically-Informed Fidelity-Optimization Method for Tabular Learning
arxiv.org·1d
🔠Type-Level Programming
ZORMS-LfD: Learning from Demonstrations with Zeroth-Order Random Matrix Search
arxiv.org·2d
💻CS
Intellidwell Sprinkler Controller
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Unposed 3DGS Reconstruction with Probabilistic Procrustes Mapping
arxiv.org·1d
➡️Category Theory
Deep Generative Models in Condition and Structural Health Monitoring: Opportunities, Limitations and Future Outlook
arxiv.org·4d
🔄Finite State Machines
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.org·4d
💻CS
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·1d
➡️Category Theory
2025 One Hertz Challenge: 16-Bit Tower Blinks at One Hertz
hackaday.com·2d
🍎XNU Internals