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
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·1d
🦀Rust
Flag this post
The Craft of Science with AI: Evidence, Judgment, and Practice
datasociety.net·7h
🎲Probabilistic Programming
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·1d
🧫Cellular Automata
Flag this post
Generation of antigen-specific paired-chain antibodies using large language models
sciencedirect.com·12h
🔗Parser Combinators
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·17h
🔄Category Theory
Flag this post
Is it possible to learn React and Typescript in less than a month?
⚙Functional Programming
Flag this post
How to improve my python skills?
🧩Theorem Proving
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🧩Theorem Proving
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
⚙Functional Programming
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
🔗Parser Combinators
Flag this post
Prog8
🏗Computer Architecture
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·1d
🔐Cryptography
Flag this post
Loading...Loading more...