Immutable by Design: The Deep Tech Behind Tigris Bucket Forking
tigrisdata.comยท2d
๐Ÿ”Static Analysis
Flag this post
How Tiles Works โ€“ Tiles Privacy
blog.tiles.runยท1dยท
Discuss: Hacker News
๐Ÿ“formal specification
Flag this post
Building a highly-available web service without a database
screenshotbot.ioยท3dยท
Discuss: r/programming
๐Ÿ”Static Analysis
Flag this post
How to Use GPT-5 Effectively
towardsdatascience.comยท1d
๐Ÿค–AI
Flag this post
The Rise of the Agentic Enterprise
unstructured.ioยท1d
๐Ÿ”Static Analysis
Flag this post
A Guide to Designing and Scaling Multi-Agent Systems Using Open-Standard Protocols
pub.towardsai.netยท22h
๐Ÿค–AI
Flag this post
A Short History of Generative AI
pub.towardsai.netยท1d
๐Ÿค–AI
Flag this post
Choice of language/libraries - 2d graphics, functional
reddit.comยท10hยท
๐Ÿ”งPLT
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.comยท4dยท
๐Ÿ”Static Analysis
Flag this post
Moonshot's Kimi K2 Thinking emerges as leading open source AI, outperforming GPT-5, Claude Sonnet 4.5 on key benchmarks
venturebeat.comยท1d
๐Ÿค–AI
Flag this post
Building Altruistic and Moral AI Agent with Brain-inspired Emotional Empathy Mechanisms
arxiv.orgยท1d
๐Ÿค–AI
Flag this post
Quantifying Uncertainty in Multi-Agent Reinforcement Learning via Spectral Decomposition
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Predictive Microbial Competition Modeling via Multi-Scale Agent-Based Simulations & Bayesian Optimization
dev.toยท6hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Detached agent chains that work like people do
dev.toยท2dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
SSPO: Subsentence-level Policy Optimization
arxiv.orgยท1d
๐Ÿ“formal specification
Flag this post
You should write an agent
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
D2-UC: A Distributed-Distributed Quantum-Classical Framework for Unit Commitment
arxiv.orgยท2d
๐Ÿ”งPLT
Flag this post
Beyond Pinecone: A Developer's Deep Dive into the Top 10 Vector Databases for GenAI in 2024
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Tool-Driven Behavioral Directives: How to Scale LLM Agents Without Prompt Spaghetti
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
Disciplined Biconvex Programming
arxiv.orgยท4d
๐ŸชœScala
Flag this post