📞 Session Types

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

Predicting How AI Will Impact Enterprise Networks
blog.telegeography.com·2d
📡Network Calculus
Cosplaying as a fiber ISP
zisacom.com·2d·
Discuss: r/homelab
🖥️Modern Terminals
Technoblogy – A NeoPixel Driver Using AVR Hardware
technoblogy.com·2d·
Discuss: Hacker News
⚡Circuit Design
Playwright for Beginners: Quick-Start Automation
qa.tech·2d·
Discuss: Hacker News
⚡Proof Automation
My process to debug DNS timeouts in a large EKS cluster
cep.dev·2d
🌐DNS Security
Snapchat open source cross-platform mobile framework. Looking for beta testers
news.ycombinator.com·4d·
Discuss: Hacker News
🌀Brotli Dictionary
Rate Limiting in Web Applications: Bug That Pays Your Rent
infosecwriteups.com·2d
🔍BitFunnel
Automating my University's STS Course & Lecturer Evaluation Process with Python + Selenium
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Altseason: Has It Already Arrived or Is It Gone?
hackernoon.com·1d
🖥️Terminal Renaissance
Quantum Inspired Legal Tech Environmental Integration for Emergency Pharmaceutical Logistics with Entropy Modulated Collapse and Multilevel Governance
arxiv.org·3d
🔐Quantum Security
Old Stats, New Tricks: How PCIC Builds on Decades of Recommendation Research
hackernoon.com·4d
🎯Content Recommendation
<p>I&rsquo;m the first to admit that my spelling is pretty atrocious, so I&rsquo;m heavily reliant on spellcheckers. But there has been more than one occasion w...
lmika.org·2d
⚡Proof Automation
Automated Solvent-Pulse Train Optimization for 13C MNBA Experiments via Bayesian Hyperparameter Tuning
dev.to·3d·
Discuss: DEV
🧲Magnetic Resonance
Evaluating Imputation Techniques for Short-Term Gaps in Heart Rate Data
arxiv.org·3d
📊Count-Min Sketch
Uncertainty-Driven Reliability: Selective Prediction and Trustworthy Deployment in Modern Machine Learning
arxiv.org·4d
🧠Machine Learning
Citations with Amazon Nova understanding models
aws.amazon.com·1d
🤖AI Curation
President of the Midnight Foundation Fahmi Syed on The Glacier Drop, Rational Privacy, and More
hackernoon.com·2d
🔗Hash Chains
GraphTreeGen: Subtree-Centric Approach to Efficient and Supervised Graph Generation
arxiv.org·2d
🔗Topological Sorting
LEAVES: Learning Views for Time-Series Biobehavioral Data in Contrastive Learning
arxiv.org·2d
📊Learned Metrics
Created A Bytecode Interpreted Programming Language To Learn About Go
reddit.com·5d·
Discuss: r/golang
🔗Concatenative Programming