X

@poteto

pstack formal verification skill: pstack v0.15.27 ships /create-formal-verification-skill (beta), a meta-skill that creates a new skill and formal verification suite for the properties you choose, such as TLA+ models for state machines and concurrency or kani in Rust for undefined behavior; she says modeling her code with TLA+ through it has already found several bugs. post (https://x.com/poteto/status/2111926622278521253) · 2,376❤ · 131 RT

Chat as agent UI: comments on the results of her poll "is chat the final form of agent ui?", saying about 70% answered no and that two views are forming: agents as an extension of your own mind, and agents as independent entities you talk to the way you talk to colleagues. post (https://x.com/poteto/status/2111911178503082422) · 999❤ · 31 RT

@swyx

Data engineers over AI engineers: says demand for "Data Intensive Applications" engineers is far higher than for "RAG guy" AI engineers, and is hiring people with that profile (SF preferred, relocation and visas available) via jobs@latent.space. post (https://x.com/swyx/status/2112073533794971941) · 353❤ · 13 RT

Cloudflare essay: quotes Matthew Prince on AWS cancelling Cloudflare's re:Invent booth and points to an essay he wrote five years ago as his closest to Ben Thompson-level analysis. post (https://x.com/swyx/status/2111914776217747673) · 142❤ · 1 RT

@rauchg

ccTLD economies: lists country-code domains that took off because of tech meanings: .co Colombia, .io, .md Moldova (Markdown), .rs Serbia (Rust), .ai Anguilla, .si Slovenia. post (https://x.com/rauchg/status/2111907375120859243) · 7,183❤ · 145 RT

AI Gateway agent sessions: quotes the Vercel Developers launch of session views in AI Gateway logs, which group requests by conversation with cost, cache hit rate, and the agent that ran it, and says it gives one view of agent sessions across personal and coding agents, apps, and API keys. post (https://x.com/rauchg/status/2111871697842495810) · 403❤ · 17 RT

@HamelHusain

Image post: shares an image with only the 👀 emoji as text. post (https://x.com/HamelHusain/status/2111911282605773212) · 1,242❤ · 8 RT

Silent

@martinfowler, @cursor_ai, @karpathy, @hwchase17, @simonw: no original posts in window

Gaps

@xAI: API not authorized to read this account's posts (skipped)

GitHub trending

MadsLorentzen/ai-job-search (https://github.com/MadsLorentzen/ai-job-search): local AI job application framework built on Claude Code that evaluates postings, tailors CVs, writes cover letters, and preps interviews (Python, +2,232★ today)
anthropics/claude-plugins-official (https://github.com/anthropics/claude-plugins-official): official Anthropic-managed directory of high-quality Claude Code plugins (Python, +1,175★ today)
anomalyco/opencode (https://github.com/anomalyco/opencode): open source coding agent (TypeScript, +1,414★ today)
cursor/plugins (https://github.com/cursor/plugins): Cursor plugin specification and official plugins (TypeScript, +350★ today)
ruvnet/ruflo (https://github.com/ruvnet/ruflo): agent harness for deploying multi-agent swarms and coordinating autonomous workflows, with adaptive memory, federation, vector RAG integration, and native Claude Code and Codex integrations (TypeScript, +513★ today)