🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Lexiq – Learn English for Computer Science with Quizzes and Flashcards
lexiq.etudionet.life·2d·
Discuss: Hacker News
🎮Verification Games
Show HN: VideoScope – Enhance your framerate and create silky-smooth slowmotions
videoscope.org·2d·
Discuss: Hacker News
🍎Apple
Show HN: (YC S23) OCR that works on the messiest PDFs
trycardinal.ai·2d·
Discuss: Hacker News
💾Retro Computing
ssh/RDP to home PC
noip.com·4d·
Discuss: r/homelab
📡Network Protocol Design
LLMs Can't Navigate Through the Physical World
hansenq.substack.com·3d·
Discuss: Substack
🔄Finite State Machines
Software flies airplanes. And sometimes software fails (2010)
softwarefreedom.org·4d·
Discuss: Hacker News
👁️System Observability
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·5d·
Discuss: Lobsters, Hacker News
🐫OCaml
The Rights-Ratchet Model
meshedinsights.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Our vision for the future of identity security? It's already in motion
oleria.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·3d·
Discuss: Hacker News
🛡️seL4
Update on Malicious Gems Removal
blog.rubygems.org·1d·
Discuss: Hacker News
🍎Apple
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·4d·
Discuss: Hacker News
🤖Program Synthesis
I Am Not a Calculator
massicotte.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
UK secretly allows facial recognition scans of passport, immigration databases
theregister.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Multi-Granularity Feature Calibration via VFM for Domain Generalized Semantic Segmentation
arxiv.org·3d
🔠Type-Level Programming
From "Aha Moments" to Controllable Thinking: Toward Meta-Cognitive Reasoning in Large Reasoning Models via Decoupled Reasoning and Control
arxiv.org·2d
✓Automated Theorem Proving
Technical specification of a framework for the collection of clinical images and data
arxiv.org·2d
💻CS
ViFP: A Framework for Visual False Positive Detection to Enhance Reasoning Reliability in VLMs
arxiv.org·2d
🎮Verification Games
FairPOT: Balancing AUC Performance and Fairness with Proportional Optimal Transport
arxiv.org·2d
🏹Effect Systems
Building and Aligning Comparable Corpora
arxiv.org·4d
🔬Static Analysis