📞 Session Types

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

HPE OCP NIC 3.0 Intel i350-T4 Quick Look
servethehome.com·22h
🔌Operating system internals
A mathematician’s coming-of-age story.
mathwithbaddrawings.com·18h
📐Mathematical Art
Reverse engineered 90 legacy builder tools – created a YARA corpus
news.ycombinator.com·16h·
Discuss: Hacker News
❄️Nix Flakes
FeralInteractive/gamemode
github.com·4h
🔌Operating system internals
Implement AI Typesetting in Word
medium.com·1d·
Discuss: Hacker News
📋Document Grammar
Symplectic Elimination
arxiv.org·1h
📐Linear Algebra
Show HN: SQLite-vector – Vector search extension for SQLite (no index, 30MB RAM)
github.com·14h·
Discuss: Hacker News
💾SQLite
Ivory: Postgres cluster management tool
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
My hyperconverged homelab
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
As the Go Ecosystem Continues Grow, gopls Continues to Scale
hackernoon.com·3d
🌳Persistent Data Structures
Looking for simple/lightweight alternatives to update "latest" tags
reddit.com·6h·
Discuss: r/kubernetes
📦Archive Formats
On Arbitrary Predictions from Equally Valid Models
arxiv.org·1d
🧠Machine Learning
Debugging AI Apps in Very Simple Way – Fix Real Problems in ChatGPT, LangChain, OpenAI
dev.to·17h·
Discuss: DEV
🌳Incremental Parsing
📈 Code quality improvement after switching to workflow optim
dev.to·1d·
Discuss: DEV
⚙️Batch Processing
The Production Readiness Gap: What AI and Bootcamps Don't Teach About Backend Engineering
dev.to·3d·
Discuss: DEV
🌐WASI
Building a Smart Recipe Discovery Platform with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Python Fundamentals: cloudpickle
dev.to·4d·
Discuss: DEV
💧Liquid Types
HIVMedQA: Benchmarking large language models for HIV medical decision support
arxiv.org·4d
🚀SIMD Text Processing
Need options for Homelab Storage
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Deep Generative Models of Evolution: SNP-level Population Adaptation by Genomic Linkage Incorporation
arxiv.org·1h
🧮Kolmogorov Bounds