📞 Session Types

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

How the ZX Spectrum Laid the Foundations of Modern Algorithms
zxonline.net·1d·
Discuss: Hacker News
🖥Retro Computing
Why We Develop EloqDB Mainly in C++
eloqdata.com·5d·
Discuss: Hacker News
🦀Rust Borrowing
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·2d·
Discuss: Hacker News, r/programming
🐚Shell Calculus
Attacks on Microsoft Sharepoint: What admins need to do after patching
heise.de·2h
🔓Hacking
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·5d·
Discuss: Hacker News
🔒WASM Capabilities
H-Nets – The Past
goombalab.github.io·2d·
Discuss: Hacker News
🧠Machine Learning
npm ‘is’ Package Hijacked in Expanding Supply Chain Attack
socket.dev·12h·
Discuss: Hacker News
📦Package Managers
Google Debuts OSS Rebuild Project
linuxiac.com·22h
🔓Open Source Software
Machine Learning Fundamentals: federated learning project
dev.to·1d·
Discuss: DEV
🤐Secure Multiparty
The Future of AI in Software Engineering: Transforming Development from Code Creation to Intelligent Orchestration
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Resource Cleanup in Go Web Servers: Lessons from Nursery School
dev.to·4d·
Discuss: DEV
💾Persistence Strategies
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.org·1d
🔲Cellular Automata
Post-Quantum Cryptography in Kubernetes
kubernetes.io·5d
🔐Quantum Security
Fluid Antenna-enabled Near-Field Integrated Sensing, Computing and Semantic Communication for Emerging Applications
arxiv.org·1d
📡Information theory
Meta-learning of Gibbs states for many-body Hamiltonians with applications to Quantum Boltzmann Machines
arxiv.org·3h
🕸️Tensor Networks
The AI tool no one talks about is secretly winning
dev.to·10h·
Discuss: DEV
📏Code Metrics
Machine Learning Fundamentals: ensemble learning
dev.to·3d·
Discuss: DEV
🎵Audio ML
DENSE: Longitudinal Progress Note Generation with Temporal Modeling of Heterogeneous Clinical Notes Across Hospital Visits
arxiv.org·2d
📈Time Series
Diabolic Parasite is an ESP32-S3 USB dongle for penetration testing and security research (Crowdfunding)
cnx-software.com·25m
💿WORM Storage
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·1d
✋Tactile Computing