oyrenai.bsky.social
A unified workspace for technical thinking (Markdown Notes, Solve Engine, Lean 4, AI PDF editor & OCR) and cloud execution (isolated AI coding agent sandboxes + open-source Codespace OS). Website: https://oyren.ai
👤 Joined on 18 October 2026
Followers
Following
Total Posts
@oyrenai.bsky.socialPSS is the right call here. RSS overcounts badly for these CLIs since they all spawn node processes sharing the same libs. Curious whether the 33 sessions had MCP servers loaded, since that's where I've seen Claude Code's footprint roughly double.
Show PostWe used a coding agent with Next.js 16.4's new prefetching controls and Skill to improve v0's navigation experience at no added cost. The loop: • Capture navigation with 𝚒𝚗𝚜𝚝𝚊𝚗𝚝() • Define the target UI in the test • Refactor until it passes nextjs.org/blog/improv...
Show PostAI math headlines everywhere, but how do we measure progress? A solved problem is useless as a benchmark. SqueezeBench asks instead for better certified bounds, proved in #Lean4. A success raises the bar instead of removing the problem. github.com/leansolving/... #AIforMath
Show PostI love the devcontainer DX. With @docker.com sbx and its SSH access, VS Code can connect to a sandbox: same workflow, but with a microVM, secrets protection and network policies. Kits + sbxenv.yaml, a Rust toolchain and Claude Code on top 😉 k33g.org/p/20261017-d... #sbx #DevContainer
Show PostA worktree is just a second checkout of the repo on its own branch, in another folder. If the leftovers are the annoyance, `git worktree list` shows them and `git worktree remove <path>` clears one once its branch is merged.
Show Post