Breaking the Barrier for Asynchronous MPC with a Friend
eprint.iacr.org·1d
📡Async Channels
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·1d
📞Session Types
Advanced Python Concepts
dev.to·7h·
Discuss: DEV
🔗Concurrency Primitives
The Point Is Addressing
cacm.acm.org·19h·
Discuss: Hacker News
💾Persistent Heaps
Programmer's Guide To Theory - Practical Grammar
i-programmer.info·3h
📋Backus-Naur Form
Rice-like complexity lower bounds for Boolean and uniform automata networks
arxiv.org·9h
🎯Finite Automata
List is a Monad: Understanding Map, flatMap, and Maybe in Practice
hackernoon.com·6h
🔗Lexical Scoping
Multi-scale Temporal Prediction via Incremental Generation and Multi-agent Collaboration
arxiv.org·1d
🔄Coroutines
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.org·1d
⚡Control Synthesis
Saga Distributed Transactions Pattern
learn.microsoft.com·1d·
Discuss: Hacker News
📮Persistent Queues
Velocity Trapping in the Lifted Totally Asymmetric Simple Exclusion Process and the True Self-Avoiding Random Walk
journals.aps.org·1d
🧮Combinator Calculus
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·1d·
Discuss: Hacker News
🏗️Calculus of Constructions
Is Life a Form of Computation?
nautil.us·3h
🖥️Lisp Machines
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·1d·
Discuss: DEV
🔗Concurrency Primitives
From Prompt to Production: A Developer's Guide to Deploying LLM Applications
codowithdhanian.gumroad.com·35m·
Discuss: DEV
🎮Language Ergonomics
Neural dynamics of reversal learning in the prefrontal cortex and recurrent neural networks
elifesciences.org·1d
🪜Recursive Descent
Dynamic Resource Allocation for Heterogeneous AI Chip Clusters via Reinforcement Learning
dev.to·22h·
Discuss: DEV
📋Task Queues
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·1d·
Discuss: DEV
🔀Control Structures
How singleton contradicts longtermism
lesswrong.com·1h
↕️Bidirectional Types
r/AI_Central
reddit.com·1d·
Discuss: r/AI_Central
🧠Memory Models