Tags ai2 ai-agents5 ai-coding1 ai-policy1 ai-safety1 android3 audio1 auth1 chinese1 claude-code1 cli1 code-review1 coeffects2 constraints1 cordis2 craftsmanship1 deepagents1 deepseek-harness2 distributed-systems2 durable-execution1 effects2 engineering-culture1 formal-methods1 gguf1 grpc3 humor1 java1 jni1 jwt1 kerberos1 kotlin1 langchain1 learning1 legacy-code1 livedata1 llama.cpp2 local-llm1 macos1 multi-tenant1 ndk1 nuclear-history1 on-device-ai1 plugin-systems2 pragmatism1 productivity1 quantization1 risk1 security1 software-engineering1 streaming1 system-design1 teamwork1 temporal3 tools1 type-theory1 vibe-coding1 youtube1