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
New software could expand access to drug checking services, meaning that people could make sure the drugs they're using don't contain unexpected substances
tandfonline.com·18h
🌍Distributed Systems
Flag this post
Monthly News – October 2025
blog.linuxmint.com·1h
🐧Linux
Flag this post
Eglot, Ruby LSP and StandardRB
katafrakt.me·2d
📝Text Editors
Flag this post
I reverse engineered my cheap managed switch's firmware
xda-developers.com·18h
🐧Linux
Flag this post
Hacking the Color BASIC PRINT command – part 7
subethasoftware.com·1d
📝Lisp
Flag this post
original ↗
raymondcamden.com·3d
🔗Parser Combinators
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·3d
🔌Network Programming
Flag this post
Moving From C++ to Rust? Clickhouse Has Some Advice
thenewstack.io·22h
🦀Rust
Flag this post
Built SlopGuard - open-source defense against AI supply chain attacks (slopsquatting)
🧩Theorem Proving
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
🧩Theorem Proving
Flag this post
DentalSplat: Dental Occlusion Novel View Synthesis from Sparse Intra-Oral Photographs
arxiv.org·8h
🎲Probabilistic Programming
Flag this post
Large Language Models as Information Sources: Distinctive Characteristics and Types of Low-Quality Information
arxiv.org·8h
🧮Programming Language Theory
Flag this post
The Red Queen Code Review Pattern — Perpetual Evolution in AI-Powered Development
🧩Theorem Proving
Flag this post
Inferring three-nucleon couplings from multi-messenger neutron-star observations
nature.com·13h
🎲Probabilistic Programming
Flag this post
Anthropic Commits To Model Weight Preservation
lesswrong.com·16h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...