PDP-10 and Microcomputers โ€“ By Nemanja Trifunovic
nemanjatrifunovic.substack.comยท39mยท
Discuss: Substack
๐Ÿ’ปClaude
Flag this post
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ยท2dยท
Discuss: Hacker News
๐Ÿ“formal specification
Flag this post
How to Use GPT-5 Effectively
towardsdatascience.comยท1d
๐Ÿค–AI
Flag this post
Building a highly-available web service without a database
screenshotbot.ioยท3dยท
Discuss: r/programming
๐Ÿ”Static Analysis
Flag this post
TigerFans: Building a High-Performance Ticketing System with TigerBeetle
renerocks.aiยท20hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
A Guide to Designing and Scaling Multi-Agent Systems Using Open-Standard Protocols
pub.towardsai.netยท1d
๐Ÿค–AI
Flag this post
Choice of language/libraries - 2d graphics, functional
reddit.comยท15hยท
๐Ÿ”งPLT
Flag this post
Predictive Microbial Competition Modeling via Multi-Scale Agent-Based Simulations & Bayesian Optimization
dev.toยท11hยท
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
Why We Can't STOP AI Singularity? The Looming Future of Artificial Intelligence
dev.toยท2hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
D2-UC: A Distributed-Distributed Quantum-Classical Framework for Unit Commitment
arxiv.orgยท2d
๐Ÿ”งPLT
Flag this post
AI-Driven Optimization of Zeolite Synthesis via Reinforcement Learning & Multi-Objective Bayesian Optimization
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI
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
Understanding the Logic Behind Two Sum โ€” and Extending It to Three Sum
dev.toยท2hยท
Discuss: DEV
๐Ÿ”Static Analysis
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