⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

I Ran Local LLMs on My Android Phone
itsfoss.com·23h
💻Local LLMs
The Data Backbone of LLM Systems
infoq.com·4d·
Discuss: Lobsters
🔗Constraint Handling
built fasterpc bc i was frustrated with the usual distributed service comms, no more rest apis, or heavy MQs
github.com·1d
⚡gRPC
So you have your data, but how does it relate to the physical world?
blog.mapped.com·6h·
Discuss: Hacker News
🌊Stream Processing
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🔲Cellular Automata
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Why Event-Driven Systems are Hard?
newsletter.scalablethread.com·1d·
Discuss: Hacker News, r/programming
📋Protocol Buffers
The Nine Rules of AI PoC Success: How to Build Demos That Actually Ship
docker.com·22h
🌍Cultural Algorithms
Days 29-30: Mission Accomplished - Building an Enterprise Platform in 80 Hours
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Predictive Dynamic Stability Assessment via Multi-Modal Neural Resonance
dev.to·1d·
Discuss: DEV
📊Quantization
Unleashing AI Reflexes: The Asynchronous Advantage
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
RAPTOR: A Foundation Policy for Quadrotor Control
arxiv.org·7h
✨Effect Handlers
The Psychogenic Machine: Simulating AI Psychosis, Delusion Reinforcement and Harm Enablement in Large Language Models
arxiv.org·7h
🔲Cellular Automata
AMLNet: A Knowledge-Based Multi-Agent Framework to Generate and Detect Realistic Money Laundering Transactions
arxiv.org·7h
🔍Vector Forensics
[$] Fighting human trafficking with self-contained applications
lwn.net·15h
🦀Rust Borrowing
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·7h
🧮Z3 Solver
HalluField: Detecting LLM Hallucinations via Field-Theoretic Modeling
arxiv.org·7h
🧠Machine Learning
Dynamic Relational Priming Improves Transformer in Multivariate Time Series
arxiv.org·7h
🧠Machine Learning
From Zero to AI Agent: My Journey into Java-based Intelligent Applications
dev.to·10h·
Discuss: DEV
🔌Interface Evolution
ViSTR-GP: Online Cyberattack Detection via Vision-to-State Tensor Regression and Gaussian Processes in Automated Robotic Operations
arxiv.org·7h
🔍Vector Forensics