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 @KayOS-AI

Block or report 0bserver07

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
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. 2x CTO, Head of ML. I build agent driven systems, data pipelines, and whatever else needs to exist to make world a better place.

Tinkering

  • CodingAgents.Dev – Link aggregator and community for people interested in coding agents, built with a coding agent
  • AgenticEngineer.ING – Solo journey to become an agent-driven engineer through interactive lessons across any domain
  • Erdos Navigator – Agent navigator that turns Claude Code into a theorem assistant prover
  • yad.codes – Technical blog and digital garden

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.

Interests

  • Self Healing and Improving Agent Systems – LLM long-horizon tasks, vision/world models, SecResearch/DevSec, sandboxes, VMs
  • Program Synthesis / Coding Agentsprogramsynthesis.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. erdos-navigator erdos-navigator Public

    A toolkit for AI agents to explore and attempt Erdős's 1,179 unsolved mathematical problems

    Python

  2. Study-Reinforcement-Learning Study-Reinforcement-Learning Public

    Studying Reinforcement Learning Guide

    Python 151 37

  3. 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 95 34

  4. unit420_kaggle_submission unit420_kaggle_submission Public

    Python