📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

original ↗
pvk.ca·1d·
Discuss: Lobsters, Hacker News
🏗Computer Architecture
Apache SeaTunnel Source Connectors (2025): The Ultimate One-Stop Review for Data Integration
dev.to·6h·
Discuss: DEV
🌍Distributed Systems
6 ChatGPT Prompts Every Software Developer Should Know
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
how-side-effects-work-in-fp
chadnauseam.com·3d
⚙Functional Programming
Java Basics: Writing your first program
dev.to·1d·
Discuss: DEV
🧠Memory Management
Efficient WebSocket Server-Side Processing(8187)
dev.to·2d·
Discuss: DEV
🤝Protocol Design
GraphCogent: Overcoming LLMs' Working Memory Constraints via Multi-Agent Collaboration in Complex Graph Understanding
arxiv.org·1d
🧩Theorem Proving
Czkawka / Krokiet 10.0,
medium.com·1d
🦀Rust
On Delta-Homology Analogy: Memory as Structured Trajectories
arxiv.org·1d
🧫Cellular Automata
HTTP Request Processing with Zero-Copy Optimization(9624)
dev.to·3d·
Discuss: DEV
🤝Protocol Design
Middleware Architecture Patterns for Request Processing(4996)
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
🎯 Java Interview Questions Made Easy (With Analogies You’ll Never Forget)
dev.to·10h·
Discuss: DEV
🧮Programming Language Theory
The Better AI Gets, The More It Needs Us
every.to·5h
🤖Sci-Fi
HTTP Request Processing with Zero-Copy Optimization(0857)
dev.to·3d·
Discuss: DEV
🤝Protocol Design
Bidirectional Communication Patterns in Modern Web Apps(8274)
dev.to·2d·
Discuss: DEV
🤝Protocol Design
Claude Code Q&A: What Works, What Doesn't, and What Will Save You Hours
every.to·5h
🧩Theorem Proving
Middleware Architecture Patterns for Request Processing(8872)
dev.to·3d·
Discuss: DEV
🏗️Software Architecture
Czkawka / Krokiet 10.0: Cleaning duplicates, ARM Linux builds, removed appimage support and availability in Debian 13 repositories
reddit.com·1d·
Discuss: r/linux
🦀Rust
Introducing ArkTS, Huawei’s Next-Generation Development Language
dev.to·56m·
Discuss: DEV
👐Open Source Software
I Tried AI Coding Tools. Now I Want to Learn to Code.
every.to·5h
🔌Network Programming