afk vs DB RelationalAlgebra

Keep coding where you already do. "afk" connects the AI coding agents running in your existing setup — Claude Code, Codex, and more — to your phone. No new IDE. No new workflow. Keep using your editor and terminal as usual, and use "afk" when you step away. - Get notified when your AI finishes, fails, or needs your input. - Approve requests and answer questions from your phone. - Check active sessions and see what your AI is working on. - Send new tasks remotely and review the results. - Stay connected to your computer wherever you are. Your tools and code stay on your computer. "afk" simply gives you a way to stay in control from your phone. Install "afk" on your computer and pair your phone to get started: afkremote.com/install

A native iPad and iPhone app that converts a SQL query typed, pasted, or imported from a .sql file into relational algebra, tuple relational calculus and domain relational calculus. Each notation gets a step by step derivation, a final oneline formula, and an interactive diagram an operator tree for the algebra, a quantifier scope tree for the calculus and a fourth view stacks all three against the same query. Whatever SQL asks for that a notation cannot express exactly is reported rather than quietly approximated.