🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Python heapq.nlargest vs list.sort
ddaa.net·17h·
Discuss: r/programming
🏹Effect Systems
I have a hard time to figure out a proper DNS setup
mydomain.com·7h·
Discuss: r/homelab
📡Network Protocol Design
Secure Your Keys with Keyand.me
thasso.xyz·19h·
Discuss: Hacker News
🛡️seL4
A Mental Model for C++ Coroutine
uvdn7.github.io·10h·
Discuss: Hacker News
🏹Effect Systems
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
➡️Category Theory
What Makes Code Beautiful
thecoder.cafe·1d·
Discuss: r/programming
🔬Static Analysis
The Covert Hardware Implant: Part 1
rift.stacktitan.com·9h·
Discuss: Hacker News
💾Retro Computing
LLM Failures
funcall.blogspot.com·3d·
Discuss: Hacker News
🐫OCaml
A model for IV&V that's useful
waldo.jaquith.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·23h
✓Automated Theorem Proving
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·1d·
Discuss: Hacker News
❄️Nixified Development
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·2d
🔄Reproducible Builds
We solved AI API interoperability
supermemory.ai·3d·
Discuss: Hacker News
🐫OCaml
Distributed Systems for Fun and Profit
book.mixu.net·4d·
Discuss: Hacker News
📦Unikernel Systems
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
We have computation because of weaving
maalvika.substack.com·8h·
Discuss: Substack
💾Retro Computing
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis