TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·7h·
Discuss: Lobsters, Hacker News
🧮Algebraic Effects
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·14h·
Discuss: r/programming
🔧programming language design
Flag this post
ClusterMAX 2.0 is here!
threadreaderapp.com·7h
📲local-first software
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
🦀Borrow Checker
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
Stop Coding and Start Planning
kill-the-newsletter.com·8h
🧰software development practices
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·2d
🔧programming language design
Flag this post
Co-Optimizing GPU Architecture And SW To Enhance Edge Inference Performance (NVIDIA)
semiengineering.com·1d
🧮Algebraic Effects
Flag this post
Ramesh Inala’s AI Blueprint for Scalable Financial Data Ecosystems
hackernoon.com·7h
🔧programming language design
Flag this post
Identical particles as a genuine non-local resource
nature.com·1d
🧮Algebraic Effects
Flag this post
⚡ Rethinking Prompt Engineering: How Agent Lightning’s APO Teaches Agents to Write Better Prompts
dev.to·12h·
Discuss: DEV
🦀Borrow Checker
Flag this post
AI Art Turbocharged: Differentiable Diffusion for Hyper-Realistic Results
dev.to·9h·
Discuss: DEV
🧮Algebraic Effects
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·19h
🔧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·16h·
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/ClaudeAI
🧰software development practices
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·1d
🔧programming language design
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2d
🧮Algebraic Effects
Flag this post
The Rise of the Specialist: Why Small Language Models are the Future of Enterprise AI
dev.to·8h·
Discuss: DEV
📲local-first software
Flag this post
<p>**Abstract:** Scaffold proteins are central to numerous cellular processes, often acting as adaptors and organizing hubs. Current scaffold protein design met...
freederia.com·1h
🧮Algebraic Effects
Flag this post
Generative Hints
arxiv.org·19h
🧮Algebraic Effects
Flag this post