Skip to content
View 0bserver07's full-sized avatar
:shipit:
Coding Agents & Program Synthesis
:shipit:
Coding Agents & Program Synthesis

Organizations

@DraperUniversity @AI-ON @chromosome-seg @CongruentAI

Block or report 0bserver07

Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
0bserver07/README.md

Hey, I'm Yad

Hacking on new things for fun and learning. I build agent driven systems, data pipelines, and whatever else needs to exist to make world a better place.

Tinkering

  • ๐Ÿ”ฌ SutroYaro โ€“ Agent-driven research lab with the Sutro Group [๐Ÿ“ writeup]
  • ๐Ÿงฎ Bourbaki โ€“ Autonomous agent for mathematical reasoning and proof [๐Ÿ“ writeup]
  • ๐Ÿงญ Erdos Navigator โ€“ Agent navigator that turns Claude Code into a theorem proving assistant [๐Ÿ“ writeup]
  • ๐ŸŽ“ AgenticEngineer.ING โ€“ Interactive lessons to become an agent-driven engineer across any domain
  • ๐Ÿ„ Mycelium Theme โ€“ Digital garden, Obsidian workflow, and blog in one [๐Ÿ“ writeup]
  • ๐Ÿ“ก StackUnderflow โ€“ Local observability for your coding agents: search, replay, and analyse sessions offline. Starts with Claude Code
  • ๐Ÿงฉ Chimera โ€“ Coding agent framework composed from modular primitives [๐Ÿ“ writeup]
  • โœ๏ธ yad.codes โ€“ Technical blog and digital garden
  • ๐Ÿš€ Novalis โณ โ€“ AI-native terminal designed to be rewritten by the coding agents running inside it
  • ๐Ÿ—„๏ธ MCPantry โณ โ€“ Desktop app to manage MCP servers, skills, plugins, and agent configs across your AI tools
  • ๐ŸŒ CodingAgents.Dev โณ โ€“ Link aggregator and community for coding agents
  • ๐ŸŽฎ Claude Code Games 101 โณ โ€“ Learn Claude Code by building games

Background

  • Cofounded KayOS โ€“ Built 13 production AI platforms across legal tech, marketing analytics, and BI. Developed agent infrastructure (knowledge graphs, AI sandboxes, ETL frameworks) and a full AI coding IDE with ACP integration. 21k+ commits across 65 repos.
  • Before that: Data / ML at NEAR Foundation (770M+ blockchain transactions), Be On Deck, and RobyAI.

Deep Learning OSS

Interests

  • Self Healing and Improving Agent Systems โ€“ LLM long-horizon tasks, vision/world models, SecResearch/DevSec, sandboxes, VMs
  • Program Synthesis / Coding Agents โ€“ programsynthesis.pub
  • RL and Neuroscience โ€“ curated 432 papers in Study-Reinforcement-Learning
  • Comedy and Creative Writing โ€“ built Library of Comedy, the internet's largest standup database
  • Autodidacticism and Superlearning

Links

Pinned Loading

  1. Study-Reinforcement-Learning Study-Reinforcement-Learning Public

    RL study guide โ€” foundations through RLHF, DPO, GRPO, RLVR, agentic RL, and offline RL. Hand-written CS294 notes, 19 lecture drafts, 5 tested exercises, citations that resolve.

    Python 160 37

  2. StackUnderflow StackUnderflow Public

    StackUnderflow: the local observability for your coding agents. Search, replay, and analyse every session, all offline. Starts with Claude Code.

    Python 2 1

  3. bourbaki bourbaki Public

    An autonomous agent for mathematical reasoning and proof

    Python 3

  4. chimera chimera Public

    Open-source Python framework for building coding agents. Pick your provider, pick your tools, pick your loop. Chimera wires them together. Recreate SWE-Agent, Aider, Cline, Codex in a few lines, orโ€ฆ

    Python 1

  5. cybertronai/schmidhuber-problems cybertronai/schmidhuber-problems Public

    58 implementations of synthetic learning problems from Jรผrgen Schmidhuber's papers (1989-2025). Pure numpy, laptop-runnable, paper-comparison metrics per stub. Algorithmic-lineage companion to hintโ€ฆ

    Python 196 10

  6. Nvidia-Autopilot-Keras Nvidia-Autopilot-Keras Public

    Keras Implementation of End to End Learning for Self-Driving Cars by (Baris Kayalibay, Grady Jensen, Patrick van der Smagt)

    Python 96 34