📞 Session Types

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

Performance Testing, Part 1: The Road to Continuous Performance Testing
tweag.io·5d
👁️System Observability
Faceclick: A lightweight Emoji picker with keyword search
ratfactor.com·2d·
Discuss: Lobsters
📝Text Compression
Research. Impact. APAC — Introducing the APNIC Foundation Research Fellowship
blog.apnic.net·4h
⏳Time Capsule Networks
AI is the new user interface for biology
manifold.ai·14h·
Discuss: Hacker News
🤖AI Curation
Elegant theory predicts the chaos created by bubbles
phys.org·18h
🔗Tailscale
Quick Tip - Auditing configured Per-VM EVC (Enhanced vMotion Compatibility)
williamlam.com·16h
⚙️WASM Runtime
vygrant: oauth2 bridge for legacy cli tools
reddit.com·3d·
Discuss: r/golang
🔌Interface Evolution
CFAR RadarSim - Multi Target Detection System
hackster.io·18h
📊Spectrograms
Show HN: Privacy first tone rewriter Chrome extension using local Gemini Nano
github.com·20h·
Discuss: Hacker News
🗣️CMU Pronouncing
Driving Customer Engagement with a White Label NFT Marketplace
dev.to·43m·
Discuss: DEV
⏳Time Capsule Networks
+VeriRel: Verification Feedback to Enhance Document Retrieval for Scientific Fact Checking
arxiv.org·1d
🔗Document Similarity
🗝️ React Keys — Why They Matter in Lists
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
Apple Seeds Seventh Beta of macOS Tahoe to Developers
macrumors.com·15h
🍎Apple Archive
Apple Seeds Seventh Developer Betas of iOS 26 and iPadOS 26
macrumors.com·15h
🍎Apple Archive
CSV Injection in nopcommerce v4.10 and 4.80.3
seclists.org·5h
📡Feed Security
Automated Validation of iPSC Differentiation Trajectories via Multi-Modal Fusion & Bayesian Optimization
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
Automated Predictive Material Degradation Modeling for Adult Incontinence Pads
dev.to·3d·
Discuss: DEV
🧲Cassette Physics
Autonomous Adaptive Optics System for Exoplanet Atmospheric Characterization via Deep Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔬Optical Physics
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.to·6d·
Discuss: DEV
✅Format Verification
Running Faucets Detection and Alert Systems
hackster.io·4d
🎙️Whisper