⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Evaluating and lowering AI hallucination cost
johndcook.com·16h
⚡Incremental Computation
Project SERVFAIL: one year in
sdomi.pl·9h
📡BGP Archaeology
How Amazon Bedrock CMI Cut AI Model Onboarding Time by 75%
engineering.salesforce.com·1d
🔄Sync Engine
New Effort To Upstream LTTng In The Linux Kernel Draws Criticism From Torvalds
phoronix.com·2d
🔌Interface Evolution
Decrypting DPAPI Credentials Offline
infosecwriteups.com·30m
🕸️WebAssembly
A Recap on May/June Stability at Neon
neon.com·9h·
Discuss: Hacker News
👁️Observatory Systems
Context in LLMs and the Blockchain
networked.substack.com·8h·
Discuss: Substack
🤝Distributed Consensus
AI Engineering in Legal Practice
ai.intellectronica.net·2d·
Discuss: Hacker News
⚡Proof Automation
Situated Software (2004)
web.archive.org·9h·
Discuss: Hacker News
🚀Indie Hacking
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·12h·
Discuss: Hacker News
🦋Format Metamorphosis
Outbound Modeling for Inventory Management
arxiv.org·1d
🔗Constraint Handling
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Uncensored Multi-Agent AI Debate System Locally with Knowledge Base Now with a UI! (Part 3)Full code.
dev.to·1d·
Discuss: DEV
📝ABNF Parsing
AI, Humans, and Data Science: Optimizing Roles Across Workflows and the Workforce
arxiv.org·2h
🔄Archival Workflows
Artificial Intelligence Governance for Businesses
arxiv.org·2h
🌍Cultural Algorithms
The Power of Building from Scratch
towardsdatascience.com·14h
🌍Cultural Algorithms
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·2d
🔢Denotational Semantics
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·1d
💻Local LLMs
STAGED: A Multi-Agent Neural Network for Learning Cellular Interaction Dynamics
arxiv.org·2h
🔲Cellular Automata
Sparse Identification of Nonlinear Dynamics with Conformal Prediction
arxiv.org·2h
🧮Kolmogorov Bounds