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
There is no truthy or falsy in Rust
joschuba.com·20h
🦀Rust
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·3d
🔢Mathematical Logic
Flag this post
The Craft of Science with AI: Evidence, Judgment, and Practice
datasociety.net·2h
🎲Probabilistic Programming
Flag this post
The Next Frontier in NLP: Smarter Agents, Not Just Bigger Models
pub.towardsai.net·11h
🔗Parser Combinators
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·19h
🧫Cellular Automata
Flag this post
I Use AI
🧩Theorem Proving
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·12h
🎲Probabilistic Programming
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
🔗Parser Combinators
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
🤝Protocol Design
Flag this post
Is it possible to learn React and Typescript in less than a month?
⚙Functional Programming
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·12h
⚖️Logic Programming
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·1d
🔗Parser Combinators
Flag this post
Loading...Loading more...