Vibe Kanban - Orchestrate AI Coding Agents (via pitr) — discussion

#vibecoding

CSLib: A Focused Effort on Formalizing Computer Science in Lean (via p0llard) — discussion

#compsci #formalmethods #math

RPi3 running FreeBSD 12 clocks 390 days uptime as a Radius server [bsky] (by atmosx) — discussion

#freebsd

GoodJob, Solid Queue, Sidekiq, Active Job, in 2026 (via soulcutter) — discussion

#ruby

runjak.codes: An adversarial coding test (via m_eiman) — discussion

#security

Your App Subscription Is Now My Weekend Project (via anup) — discussion

#vibecoding

Subagents, Commands and Skills Are Converging (via anup) — discussion

#ai #vibecoding

Waiting for dawn in search: Search index, Google rulings and impact on Kagi (via diktomat) — discussion

#web

Secure Boot, TPM and Anti-Cheat Engines (via WilhelmVonWeiner) — discussion

#security

Best Practices for Ownership in GLib (via calvin) — discussion

#c

A high-level quality-of-service interface (via gnyeki) — discussion

#linux #performance

Field Notes on Scaling MoE Expert Parallelism with DeepEP (via jado) — discussion

#ai

Color‑Driven Code Navigation (via rileylabrecque) — discussion

#editors

Don't Trip[wire] Yourself: Testing Error Recovery in Zig (via asb) — discussion

#testing #zig

moon-rabbit: MSX2 Gopher browser (via classichasclass) — discussion

#retrocomputing

Results from the 2025 Go Developer Survey (via cgrinds) — discussion

#go

Inside StarRocks: Why Joins Are Faster Than You’d Expect (via eatonphil) — discussion

#databases

libcurl memory use some years later (via xSavitar) — discussion

#performance #web

FSNotes 7 - Remarkable fast plain text notes (by fluder) — discussion

#editors #ios #mac

How Binary Dependencies Work Across Different Languages (via abnercoimbre) — discussion

#programming