How do linear session type frameworks deal with communicating over an unreliable channel (eg the network)? Do they assume that’s handled at a lower level or doe...
🤝Session Protocols
Flag this post
Think for Yourself
🔄Nanopass
Flag this post
Caricature-inspired brain mapping method sharpens forecasts of cognitive and emotional traits
medicalxpress.com·36m
✨Effect Inference
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.io·1d
💾Cache-Oblivious Algorithms
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·2d
∫Mathematical DSLs
Flag this post
Moving From C++ to Rust? Clickhouse Has Some Advice
thenewstack.io·6h
🌈Gradual Languages
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·3d
⚖️Inference Rules
Flag this post
SPRTA: A smarter way to measure evolution uncertainty
phys.org·5h
🌳Tree Diffing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·6d
⚖️Inference Rules
Flag this post
What Are Auto-regressive Models? A Deep Dive and Typical Use Cases
blog.pangeanic.com·2d
🎯Finite Automata
Flag this post
Chaos-inspired active learning for physics-informed neural networks to assess the reliability of multi-state systems
sciencedirect.com·6h
🚂Error Propagation
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·1d
🪜Recursive Descent
Flag this post
Enriching and Fresh
💫Effect Systems
Flag this post
Loading...Loading more...