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
There is no truthy or falsy in Rust
joschuba.com·1d
🦀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·13h
🎲Probabilistic Programming
Flag this post
I Use AI
🧩Theorem Proving
Flag this post
Euler-Heisenberg action for fermions coupled to gauge and axial vectors: Hessian diagonalization, sector classification, and applications
arxiv.org·23h
🔄Category Theory
Flag this post
The Next Frontier in NLP: Smarter Agents, Not Just Bigger Models
pub.towardsai.net·22h
🔗Parser Combinators
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
🔗Parser Combinators
Flag this post
AI and machine learning outside of Python
infoworld.com·19h
🔗Parser Combinators
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·6h
🔢Mathematical Logic
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
🔗Parser Combinators
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🔐Cryptography
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·2d
🔗Parser Combinators
Flag this post
Loading...Loading more...