🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Weekly Update 462
troyhunt.com·10h
⚖️Legal Compliance
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·2d
⚔️Lean Theorem
Reporting from the Born-Digital Collections, Archives and Memory Conference 2025
blogs.bodleian.ox.ac.uk·10h
🏛️PREMIS
Lzexe Home Page
bellard.org·6h·
Discuss: Hacker News
🏺ZIP Archaeology
Lucidly Launches a New Platform to Redefine Website Proofing and Collaboration
markets.businessinsider.com·8h·
Discuss: Hacker News
🚀Indie Hacking
I hacked my washing machine
nexy.blog·1d·
Discuss: Lobsters, Hacker News
🏠Home Automation
Startup Claims up to 100x Better Embedded Computing Efficiency
spectrum.ieee.org·4d·
Discuss: Hacker News
🖥️Hardware Architecture
Majority of 1.4M customers caught in Allianz Life data heist
theregister.com·6h
🔤EBCDIC Privacy
This free SteamOS plugin is a game-changer for handheld performance – it’s already given my Asus ROG Ally a new lease of life
techradar.com·4h
🖥️Modern Terminals
REST vs gRPC – When to Use What
dev.to·1d·
Discuss: DEV
⚡gRPC
Show HN: I built a desktop reminder app using Rust and Vue.js
github.com·22h·
Discuss: Hacker News, r/opensource, r/selfhosted
🪟Awesome windows command-line
Master Python Easily: Top Python Training for Beginners
dev.to·18h·
Discuss: DEV
🌳Incremental Parsing
Approximating CCCV charging using SOC-dependent tapered charging power constraints in long-term microgrid planning
arxiv.org·16h
🔧Cassette Engineering
Decentralized Exchange Development Company
dev.to·12h·
Discuss: DEV
🔗Blockchain Archives
🚀 Claude Code just changed my entire workflow
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Enhancing Speech Emotion Recognition Leveraging Aligning Timestamps of ASR Transcripts and Speaker Diarization
arxiv.org·16h
🎵Audio ML
Understanding Prompt Programming Tasks and Questions
arxiv.org·4d
🔗Concatenative Programming
Obscured but Not Erased: Evaluating Nationality Bias in LLMs via Name-Based Bias Benchmarks
arxiv.org·4d
💻Programming languages
Revisiting LLM Reasoning via Information Bottleneck
arxiv.org·3d
📏Linear Logic
Show HN: Go-respec – Generate OpenAPI specs from Go code, no annotations needed
github.com·4d·
Discuss: Hacker News
🔌Interface Evolution