🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

The evolution of life may have its origins in outer space
mpg.de·1d·
Discuss: Hacker News
🐫OCaml
Google DeepMind Formal Conjectures
google-deepmind.github.io·5d·
Discuss: Hacker News
➡️Category Theory
Show HN: RewriteBar v2.13.2: Review Window Improvements, Localizations and More
rewritebar.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Signals for Python – Reactive State Management Inspired by SolidJS and Angular
reaktiv.bui.app·13h·
Discuss: Hacker News
🏹Effect Systems
Haptic Feedback in Apple Touchpads
xray.greyb.com·9h·
Discuss: Hacker News
🍎Apple
Remembering Descent, the once-popular, fully 3D 6DOF shooter
arstechnica.com·7h·
Discuss: Hacker News
🎮Verification Games
Why outsourcing cybersecurity is rising in the Adriatic region
helpnetsecurity.com·1d·
Discuss: Hacker News
👁️System Observability
The First Large Visual Memory Model
memories.ai·1d·
Discuss: Hacker News
🔄Finite State Machines
My Two Lives as a Programmer
maxmynter.com·3d·
Discuss: Hacker News
🔬Static Analysis
AI Assistant Can Slow Experience Programmers Down
saysomething.hashnode.dev·4d·
Discuss: r/programming
✓Automated Theorem Proving
Ask HN: How did you navigate an illegal termination?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
ChatGPT Agent now available on the Mac app
9to5mac.com·1d
🍎Apple
ScSAM: Debiasing Morphology and Distributional Variability in Subcellular Semantic Segmentation
arxiv.org·1d
💻CS
Azoth: Objective-C UI library for SDL3
github.com·4d·
Discuss: Hacker News
🍎XNU Internals
Weak baselines and reporting biases lead to overoptimism in ML for fluid PDEs
arxiv.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Neural Corrective Machine Unranking
arxiv.org·22h
✓Automated Theorem Proving
An Exploratory Study on Human-Robot Interaction using Semantics-based Situational Awareness
arxiv.org·1d
🛡️seL4
SAFT: Structure-Aware Fine-Tuning of LLMs for AMR-to-Text Generation
arxiv.org·4d
🐫OCaml
Test-Time-Matching: Decouple Personality, Memory, and Linguistic Style in LLM-based Role-Playing Language Agent
arxiv.org·2d
🎮Verification Games
Disability Across Cultures: A Human-Centered Audit of Ableism in Western and Indic LLMs
arxiv.org·2d
🔍Formal Verification