TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·5h·
🧮Algebraic Effects
Flag this post
The Riemann zeta function and tuning
en.xen.wiki·2h·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
The model underlying R-hat and a Bayesian estimator
statmodeling.stat.columbia.edu·2h
🧮Algebraic Effects
Flag this post
ClusterMAX 2.0 is here!
threadreaderapp.com·5h
📲local-first software
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·2d·
🦀Borrow Checker
Flag this post
OpenAI Model Spec
model-spec.openai.com·14h·
Discuss: Hacker News
🔧programming language design
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·3d·
Discuss: Hacker News
🔧programming language design
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·1d
🧮Algebraic Effects
Flag this post
Engineering Enterprise-Grade Context: Making the Model Context Protocol (MCP) Viable for Financial Services
dev.to·4h·
Discuss: DEV
🕸semantic web
Flag this post
Code Never Lies, It Just Mirrors the Coder
dev.to·10h·
Discuss: DEV
🔧programming language design
Flag this post
Why Software Development Is Not Assembly-Line Work
dev.to·8h·
Discuss: DEV
🧰software development practices
Flag this post
⚡ Rethinking Prompt Engineering: How Agent Lightning’s APO Teaches Agents to Write Better Prompts
dev.to·10h·
Discuss: DEV
🦀Borrow Checker
Flag this post
AI Art Turbocharged: Differentiable Diffusion for Hyper-Realistic Results
dev.to·7h·
Discuss: DEV
🧮Algebraic Effects
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·17h
🔧programming language design
Flag this post
I Built a File-Hiding App Because I Didn't Know Any Better (And It Actually Works!)
dev.to·14h·
Discuss: DEV
🔧programming language design
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
reddit.com·1d·
Discuss: r/LocalLLaMA
🧰software development practices
Flag this post
The Rise of the Specialist: Why Small Language Models are the Future of Enterprise AI
dev.to·5h·
Discuss: DEV
📲local-first software
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·1d
🔧programming language design
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·2d·
Discuss: DEV
🧰software development practices
Flag this post