🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

U.S. Florida deploys robot rabbit to control invasive Burmese Python population
cbsnews.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
U.S. Army Tests Ultra AI Combat Vehicle Near Russian Border
basanzietech.blogspot.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Professor Emeritus Rainer Weiss, influential physicist who forged new paths to understanding the universe, dies at 92
news.mit.edu·2d·
Discuss: Hacker News
📦Unikernel Systems
The biggest frogs build their own ponds
science.org·9h·
Discuss: Hacker News
🏔️climbing
Why We Build
thetortoiseandhare.substack.com·4d·
Discuss: Substack
🔄Reproducible Builds
PostCraft AI: A tool to help busy professionals write authentic LinkedIn posts
postcraft-ai.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The Four Styles of Confidence on a Team
adamsmith.cc·8h·
Discuss: Hacker News
🧪Property-Based Testing
A Deep Dive into Apple's DNG Processing Vulnerability
msuiche.com·5d·
Discuss: Hacker News
💾Retro Computing
Do Nothing Preemption
papers.ssrn.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
How Will AI Impact Higher Ed?
jamesgmartin.center·1d·
Discuss: Hacker News
💾Retro Computing
Google Photos adds image background removal for custom stickers, only on iOS
9to5google.com·11h
🍎Apple
Spate of hoax calls about active shooters stir fear at college campuses around the US
apnews.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Sci-Hub Blocked in India, Founder Tells Plaintiffs to Expect Disappointment
torrentfreak.com·2d·
Discuss: Hacker News, r/Piracy
🖥️Self-hosted Infrastructure
Weekly Update 466
troyhunt.com·3d
🍎Apple
How ChatGPT Surprised Me
nytimes.com·4d·
Discuss: Hacker News
🔬Unikernels
I'm a Stanford student. A Chinese agent tried to recruit me as a spy
thetimes.com·14h·
Discuss: Hacker News
🛡️seL4
Comp-X: On Defining an Interactive Learned Image Compression Paradigm With Expert-driven LLM Agent
arxiv.org·6d
🤖Program Synthesis
An Empirical Study on How Video-LLMs Answer Video Questions
arxiv.org·6d
🛡️seL4
COVID19 Prediction Based On CT Scans Of Lungs Using DenseNet Architecture
arxiv.org·2d
💻CS
A Minimalistic Approach to Predict and Understand the Relation of App Usage with Students' Academic Performances
arxiv.org·2d
🔬Static Analysis