Speeding up sideeffects with JIT in mountaineer
pierce.dev·1d·
Discuss: Hacker News
🦀Rust Macros
LangChain vs. Langfuse: Key Differences and Their Role in LLM App Development
wizardlabs.com·20h·
Discuss: Hacker News
✨Algebraic Effects
Memory Safety Is Merely Table Stakes
usenix.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.org·1d
🌳Trie Structures
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·1d·
Discuss: Hacker News
🧭Content Discovery
K6 + .NET Aspire: Seamless Load Testing
dev.to·1d·
Discuss: DEV
🌐WASI
The Heart of Software Engineering Still Beats
annievella.com·2d·
Discuss: Hacker News
📏Code Metrics
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·4d
🎯Performance Proofs
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·2d
🧠Machine Learning
Building Your Own DSL with @resultBuilder in Swift: HTML Builder
dev.to·8h·
Discuss: DEV
🔤DSLs
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3d·
Discuss: DEV
✓Automated Theorem Proving
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·4d
⚖️Hoare Logic
How to Banish Anxiety, Lower MTTR, and Stay on Budget During Incident Response
dev.to·1d·
Discuss: DEV
👁️System Observability
Day 18: When Automation Goes Wrong
dev.to·1h·
Discuss: DEV
⚡Proof Automation
From Painful API Testing to AI-Powered Ease with Keploy
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Building A Wallet System - Part 1: Authentication with Apollo Server
dev.to·19h·
Discuss: DEV
🔌Interface Evolution
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·4d
🧪Property-Based Testing
Navigating the 'It Works on My Machine' Maze: A Developer's Guide to Consistent Local Environments
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.org·1d
🦠Malware Analysis
My Keploy Testing Experience
dev.to·11h·
Discuss: DEV
🔄Reproducible Builds