Structured (Synchronous) Concurrency
fsantanna.github.io·2d·
Discuss: Lobsters, Hacker News
🤝Protocol Design
Go Concurrency Face-Off: Channels vs Mutexes
hackernoon.com·1d
🤝Protocol Design
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·1d
🧭SMT Solvers
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·8h·
Discuss: r/rust
🧠Memory Management
Embedded-server : undertow basics
dev.to·2d·
Discuss: DEV
🌍Distributed Systems
Swift Concurrency's Biggest Unintuitive Gotchas
blog.jacobstechtavern.com·1d
⚙Functional Programming
Subinterpreters and Asyncio
blog.changs.co.uk·1d·
Discuss: Hacker News
📝Lisp
how to decide on the sequence of computable numbers
academia.edu·9h·
Discuss: Hacker News, r/programming
📈Complexity Theory
What it took to make a multi-agent trading simulation durable and observable
union.ai·51m·
Discuss: Hacker News
🧩Theorem Proving
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·1h
⚙Functional Programming
The Ultra Scale Playbook vol-2: Data Parallelism
jaisidhsingh.bearblog.dev·14h
🔧Compiler Design
Scalable Digital Twin Synchronization via Hierarchical Causal Graph Optimization
dev.to·8h·
Discuss: DEV
🎲Probabilistic Programming
Gamedev patterns in Rust and how I learned to love the singleton
reddit.com·17h·
Discuss: r/rust_gamedev
🦀Rust
GRPO in Reinforcement Learning Explained
digitalocean.com·4h
🎲Probabilistic Programming
Fearless Programming with Rust
infoq.com·18m·
Discuss: Hacker News
🦀Rust
Contrasting Data and Objects (2018)
tedinski.com·7h·
Discuss: Hacker News
⚙Functional Programming
Anypoint MQ: Enabling Robust Messaging for Modern Integration
curietech.ai·15h·
Discuss: DEV
🤝Protocol Design
You Can Build Better AI Agents in Java Than Python
medium.com·1d·
Discuss: Hacker News
🧩Theorem Proving
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🧫Cellular Automata
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·8h
🧩Theorem Proving