⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

I Ran Local LLMs on My Android Phone
itsfoss.com·9h
💻Local LLMs
The many, many, many JavaScript runtimes of the last decade
shapeof.com·3h
🏗️Compiler Archaeology
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·23h
⚡gRPC
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.to·12h·
Discuss: DEV
🔧Hardware Verification
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·8h·
Discuss: DEV
🦀Rust Macros
Human-AI Collaboration Increases Efficiency in Regulatory Writing
arxiv.org·17h
🧠Intelligence Compression
Building Production-Ready AI Agents with CrewAI and Amazon Bedrock AgentCore
dev.to·8h·
Discuss: DEV
🌊Streaming Systems
Building software that survives contact with reality
complexsystemspodcast.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Investigating Symbolic Triggers of Hallucination in Gemma Models Across HaluEval and TruthfulQA
arxiv.org·17h
✨Effect Handlers
Titania Programming Language
dev.to·19h·
Discuss: DEV
🧩WASM Components
How to Code Better with AI
medium.com·10h·
Discuss: Hacker News
🔄Language Evolution
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Show HN: Helios, an open-source distributed AI network using idle community GPUs
github.com·2h·
Discuss: Hacker News
🏠Homelab Federation
Introducing Disko - Made with AWS Kiro
dev.to·3h·
Discuss: DEV
❄️Nix Adoption
SciML Agents: Write the Solver, Not the Solution
arxiv.org·17h
🧮SMT Solvers
My Journey into Agentic AI Development: AI Newsroom
dev.to·1d·
Discuss: DEV
📡RSS Automation
Coders End, from Typers to Thinkers
etsd.tech·11h·
Discuss: Hacker News
🔄Language Evolution
Stop Coding. Start Writing
rgoldfinger.com·1d·
Discuss: Hacker News
🔩Systems Programming