Micro DSLs for scenario tests with Rust macros
dystroy.org·1d
🦀Rust Macros
Linkage
11011110.github.io·14h
📐Mathematical Art
DeepQuali: Determining Software Quality with AI
blog.qaware.de·37m·
Discuss: Hacker News
📏Code Metrics
The Barbell of Software Value
mehmetmhy.com·3h·
Discuss: Hacker News
🌀Brotli Internals
LLMOps vs MLOps: What Every Developer Needs to Know in 2025
dev.to·12h·
Discuss: DEV
💻Local LLMs
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·4h·
Discuss: Hacker News
✅Format Verification
This Page Is a Quine
pranavg.me·21h·
Discuss: Hacker News
🔤Type Theory
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·3h
⚙️ABNF Mining
Compiling Dinner
gist.github.com·3d·
Discuss: Hacker News
🔨Compilers
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·9h·
Discuss: Hacker News
🔍Type Inference
Vibe Coding Terminal Editor
matklad.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
We need to seriously think about what to do with C++ modules
nibblestew.blogspot.com·12h·
Discuss: Lobsters, Hacker News, nibblestew.blogspot.com, r/cpp
🔗Static Linking
The Origins of Python
inference-review.com·1d·
Discuss: Hacker News
💻Programming languages
The Art of Transformer Programming (2023)
yanivle.github.io·1d·
Discuss: Hacker News
🤖Lisp Machines
Turning Your Documentation into Smart Responses
dev.to·23h·
Discuss: DEV
🤖Archive Automation
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·3h
🌊Stream Processing
things rust shipped without (2015)
graydon2.dreamwidth.org·6h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Miso: A swiss table implementation from scratch in rust
reddit.com·22h·
Discuss: r/rust
🦀Rust Verification
The Grammar According to West
dwest.web.illinois.edu·4d·
Discuss: Hacker News
🔬Lean