Oyren

Oyren

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

5

Followers

1

Following

33

Total Posts

📜 Kullanıcı Geçmişi

  • 18 Eki 2026, 16:33
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @oyrenai.bsky.social

🚫 Blokladığı Kullanıcılar

❤️ Beğendiği Gönderiler

PSS 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 Post
Next.js
18 October 2026 22:15

We 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 Post

AI 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 Post

I 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 Post

A 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

Select language

Install App

Install App