📞 Session Types

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

Building Simple Component Packages
scriptingosx.com·1d
📦Package Managers
Android's pKVM Becomes First Globally Certified Software to Achieve SESIP Level 5 Security Certification
it.slashdot.org·1d
🛡️ARM TrustZone
AGAINST AI
against-a-i.com·20h
🗺️Competency Maps
Taking a Second Look
2ndsetai.substack.com·4d·
Discuss: Substack
🤖AI Curation
Polynomial preserving recovery for PHT-splines
arxiv.org·22h
🌀Differential Geometry
An Exploratory Study on Crack Detection in Concrete through Human-Robot Collaboration
arxiv.org·22h
🏺Computational Archaeology
[$] Simpler management of the huge zero folio
lwn.net·4d
🔩Systems Programming
Stop retyping teammate reminders meet Slashit App Snippets 🚀
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Finite-Width Neural Tangent Kernels from Feynman Diagrams
arxiv.org·22h
🌀Riemannian Computing
LayoutRectifier: An Optimization-based Post-processing for Graphic Design Layout Generation
arxiv.org·22h
📋Document Layout
GPT-5 in GitHub Copilot: How I built a game in 60 seconds
github.blog·4d
🔄Language Evolution
TACR-YOLO: A Real-time Detection Framework for Abnormal Human Behaviors Enhanced with Coordinate and Task-Aware Representations
arxiv.org·22h
🚨Incident Response
BeyondWeb: Lessons from Scaling Synthetic Data for Trillion-scale Pretraining
arxiv.org·22h
📊Learned Metrics
Running Gaia AI Nodes on Phala's Trusted Execution Environment
dev.to·20h·
Discuss: DEV
🏠Homelab Federation
How AI is Changing Milestone Tracking in Project Management
dev.to·17h·
Discuss: DEV
🔄Language Evolution
The GPT-5 Paradox: Genius in Thought, Gaps in Safety
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Personalized Distractor Generation via MCTS-Guided Reasoning Reconstruction
arxiv.org·22h
📊Learned Metrics
Reverse Physician-AI Relationship: Full-process Clinical Diagnosis Driven by a Large Language Model
arxiv.org·3d
🤖Advanced OCR
An Introduction to Agentic Workflows You Need To Know
dev.to·3d·
Discuss: DEV
🌊Stream Processing
BIPOLAR: Polarization-based granular framework for LLM bias evaluation
arxiv.org·22h
📝ABNF Parsing