📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

“Rift,” by Arthur Sze
newyorker.com·3h
🏛Digital humanities
How to Create and Combine SwiftUI Views Without Getting Lost in Deep Nesting and Complex Layouts
matteomanferdini.com·3h
📋Format Specification
Data Lakehouse Security: Supporting Scalable Analytics and AI Workloads
blog.min.io·3d
📦METS Containers
The Switch 2’s next killer app is already here
theverge.com·1d
🗜️LZW Variants
Affection Displays and Relationship Satisfaction in Indonesia, Nepal, and Poland
journals.plos.org·17h·
Discuss: Hacker News
🇸🇪Nordic Cryptography
Google DeepMind Formal Conjectures
google-deepmind.github.io·19h·
Discuss: Hacker News
🕸️Algebraic Topology
Streamline DevOps troubleshooting: Integrate CloudWatch investigations with Slack
aws.amazon.com·2h
👁️Observatory Systems
Dissertation Typesetting Considerations
tony-zorman.com·1h·
Discuss: Lobsters, Hacker News
📜Text Collation
EROFS Implementing Metadata Compression For Even Smaller Image Sizes
phoronix.com·1h
📦Deflate
I Spy: Escalating to Entra ID's Global Admin with a First-Party App
securitylabs.datadoghq.com·22h·
Discuss: Hacker News
🎫Kerberos Exploitation
There are plenty of expensive SSD NAS, but I tested the TerraMaster F4 and it might deliver exactly what many people want from this technology
techradar.com·2h
🏠Homelab Preservation
The New Bar for Engineers in 2025: AI-Native or Behind
zachwills.net·12h·
Discuss: Hacker News
🔌Interface Evolution
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·4d·
Discuss: Hacker News
💾Persistence Strategies
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·4d
📜Proof Carrying Code
The Expressions of Depression and Anxiety in Chinese Psycho-counseling: Usage of First-person Singular Pronoun and Negative Emotional Words
arxiv.org·9h
🇨🇳Chinese Computing
Python Fundamentals: cassandra-driver
dev.to·3d·
Discuss: DEV
🔀CRDT
I built a simple Discord music bot (Docker-ready) because I couldn't find a bloat-free selfhosted option
reddit.com·11h·
Discuss: r/homelab
🔄Sync Engine
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·4d
🔐Quantum Security
Building a BLE-Powered Air Quality Dashboard with Grafana
hackster.io·1h
🏠Home Automation
Kotlin only treats the symptoms of null pointers, while Rust cures the disease. That’s one of the main reasons I prefer Rust.
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing