⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Preventing Reentrancy Bugs From Creeping Back In: Linking TLA+ Models to Rust Code
medium.com·7h·
Discuss: Lobsters
🏛️Agda
Beyond the Prototype: 15 Hard-Earned Lessons to Ship Production-Ready AI Agents
hackernoon.com·5h
⚡Proof Automation
An InfoSec Architect's First Taste of Temporal
supasaf.com·11h·
Discuss: Hacker News
⏰Temporal Logic
AI Agents Under the Hood
blog.surkar.in·14h·
Discuss: Hacker News
⚡Proof Automation
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·22h
💻Programming languages
Context Engineering: Going Beyond Prompt Engineering and RAG
thenewstack.io·13h
🌀Brotli Internals
We solved AI API interoperability
supermemory.ai·5h·
Discuss: Hacker News
🔌Interface Evolution
Accelerate learning with GitLab Duo Agent Platform
about.gitlab.com·2d
⚡gRPC
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.com·23h·
Discuss: r/MachineLearning
📏Linear Logic
Machine Learning Fundamentals: confusion matrix project
dev.to·10h·
Discuss: DEV
📥Feed Aggregation
We Need AI Systems That Can Govern Themselves
cacm.acm.org·7h
⚡Incremental Computation
Maximizing Leverage in Software Systems
bencornia.com·2d
🌊Streaming Systems
Distributed Systems for Fun and Profit
book.mixu.net·1d·
Discuss: Hacker News
🌊Streaming Systems
LLM Failures
funcall.blogspot.com·3h·
Discuss: Hacker News
💻Programming languages
Open Source Tool for AI-Specific Threat Modeling — Fast, Context-Aware, and Developer-Friendly
infosecwriteups.com·18h
🎯Threat Hunting
Reliable Distributed Applications
docs.temporal.io·2h·
Discuss: Hacker News
⏰Temporal Logic
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·22h
🔢Denotational Semantics
Structured Concurrency: Hierarchical Cancellation & Error Handling • James Ward • GOTO 2024
youtube.com·4d
🌐Protocol Synthesis
LLMs and Agents are new software primitives
blog.gjmveloso.dev·1d·
Discuss: Hacker News
🌀Brotli Internals
Linux Foundation Adopts A2A Protocol To Help Solve One of AI's Most Pressing Challenges
linux.slashdot.org·4h
🔐Capability Systems