🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Gutenprint Discontinues macOS Support
gimp-print.sourceforge.io·3d·
Discuss: Hacker News
🍎Apple
Scientist exposes anti-wind groups as oil-funded. Now they want to silence him.
electrek.co·1d·
Discuss: Hacker News
📡Network Protocol Design
Azure's Weakest Link – Full Cross-Tenant Compromise
binarysecurity.no·6d·
Discuss: Hacker News
🛡️seL4
The US used to be a haven for research . Under Trump , scientists are packing their bags .
csmonitor.com·2d·
Discuss: Hacker News
🔬Unikernels
Restaurant asks patrons to not use Google AI
firstalert4.com·3d·
Discuss: Hacker News
🍎Apple
The Great Giana Sisters (COMMODORE 64)
retrovania-vgjunk.blogspot.com·3d·
Discuss: Lobsters, Hacker News
💾Retro Computing
The Two Versions of Parquet
jeronimo.dev·6d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Logitech MX Master 4 flagship mouse to offer haptic feedback – report
9to5mac.com·1d
🍎Apple
Your Next App: Web-Based App, Native or … Both?
thenewstack.io·6d
🍎Apple
Ask HN: What is your source for answers?
news.ycombinator.com·1d·
Discuss: Hacker News
➡️Category Theory
Generative Procrastination: Shipping Fast Without Progressing
gauravchande.com·4d·
Discuss: Hacker News
🎮Verification Games
Small time home labbing
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Emergent Crowds Dynamics from Language-Driven Multi-Agent Interactions
arxiv.org·5d
🎮Verification Games
CUTE-MRI: Conformalized Uncertainty-based framework for Time-adaptivE MRI
arxiv.org·5d
🐫Embedded OCaml
Apple @ Work: Macs, AI, and the blind spot in enterprise security
9to5mac.com·4d
🍎Apple
AGP: A Novel Arabidopsis thaliana Genomics-Phenomics Dataset and its HyperGraph Baseline Benchmarking
arxiv.org·5d
🔠Type-Level Programming
Sovereign, Self Healing AI
github.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Internet Access Providers Aren't Bound by DMCA Unmasking Subpoenas–In Re Cox
blog.ericgoldman.org·2d·
Discuss: Hacker News
🌐NetworkProtocols
Explainable Counterfactual Reasoning in Depression Medication Selection at Multi-Levels (Personalized and Population)
arxiv.org·1d
🏹Effect Systems