AgenticEngineer.ING Featured
activeSolo journey to become an agent-driven engineer through interactive lessons across any domain.
A collection of things I've built and contributed to
Solo journey to become an agent-driven engineer through interactive lessons across any domain.
Link aggregator and community for people interested in coding agents, built with a coding agent.
Agent navigator that turns Claude Code into a theorem proving assistant for 1,179 of Erdős's math problems.
AI coding assistant built in 2017 - before LLMs. Issue labeling, duplicate detection, commit generation using seq2seq.
The largest collection of standup comedy specials on the internet.
End-to-end self-driving neural network in Keras.
Keras implementation of FC-DenseNet for semantic segmentation.
Research site on making computers write code. Tracking formal methods, neural approaches, and LLMs.
Curated collection of papers on RL, RLHF, and LLM alignment.
Solo journey to become an agent-driven engineer through interactive lessons across any domain.
Link aggregator and community for people interested in coding agents, built with a coding agent.
Agent navigator that turns Claude Code into a theorem proving assistant for 1,179 of Erdős's math problems.
AI coding assistant built in 2017 - before LLMs. Issue labeling, duplicate detection, commit generation using seq2seq.
The largest collection of standup comedy specials on the internet.
End-to-end self-driving neural network in Keras.
Keras implementation of FC-DenseNet for semantic segmentation.
Research site on making computers write code. Tracking formal methods, neural approaches, and LLMs.
Curated collection of papers on RL, RLHF, and LLM alignment.
Converting AI research papers into runnable code. Program synthesis and research reproducibility.