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
Non-recursively deleting a binary tree in constant space: Traversal with parent pointers
devblogs.microsoft.com·11h
🧠Memory Management
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
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·13h
🧩Theorem Proving
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·1d
🧫Cellular Automata
Flag this post
I Use AI
🧩Theorem Proving
Flag this post
Is it possible to learn React and Typescript in less than a month?
⚙Functional Programming
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·1d
🔐Cryptography
Flag this post
The Next Frontier in NLP: Smarter Agents, Not Just Bigger Models
pub.towardsai.net·20h
🔗Parser Combinators
Flag this post
Reasoning models don't degrade gracefully - they hit a complexity cliff and collapse entirely [Research Analysis] [R]
⚖️Logic Programming
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·21h
🔗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·17h
🔗Parser Combinators
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🔐Cryptography
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·4h
🔢Mathematical Logic
Flag this post
Loading...Loading more...