Medium

Read writing from Hideaki Takahashi on Medium. PhD @ Columbia researching AI & system security | https://github.com/h5i-dev/h5i (Axum‑based Rust web framework designed for formal verification with Lean 4)

Popular posts: 1
Total points: 116
HN comments: 79
Rank: #19,306 personal

Visit medium.com/@koukyosyumei → RSS feedOn Hacker News May 2026 – May 2026

Software Engineering 1 AI & Machine Learning 1

Most points Most discussed Most cited Newest

Claude Code and Codex can have real-time conversation via Git

2026116 points79 comments AI & Machine Learning details

While Claude Code and Codex have significantly accelerated the automation of software development, limitations in the context window of a…