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...
🤝Protocol Design
Flag this post
The History of JavaScript
📝Text Editors
Flag this post
Think for Yourself
🧩Theorem Proving
Flag this post
Maps of Meaningness
🔄Category Theory
Flag this post
There is no truthy or falsy in Rust
joschuba.com·23h
🦀Rust
Flag this post
News for October 2025
ptreview.sublinear.info·1d
📈Complexity Theory
Flag this post
The Craft of Science with AI: Evidence, Judgment, and Practice
datasociety.net·4h
🎲Probabilistic Programming
Flag this post
The Next Frontier in NLP: Smarter Agents, Not Just Bigger Models
pub.towardsai.net·14h
🔗Parser Combinators
Flag this post
Generation of antigen-specific paired-chain antibodies using large language models
sciencedirect.com·9h
🔗Parser Combinators
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·14h
⚖️Logic Programming
Flag this post
Is it possible to learn React and Typescript in less than a month?
⚙Functional Programming
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·1d
🔗Parser Combinators
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🧩Theorem Proving
Flag this post
Loading...Loading more...