Log inSign up
Leonid Bugaev
3,352 posts
Leonid Bugaev profile banner
@buger

Leonid Bugaev

@buger
Founder, Proof Continuous correctness audits for critical infrastructure Every finding backed by a runnable reproducer
Istanbul
reqproof.com
Born 1987
Joined October 2007
5,068
Following
5,522
Followers
RepliesRepliesRepostsRepostsMediaMediaArticlesArticles

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
  • Pinned
    @buger
    Leonid Bugaev
    @buger
    Mar 15, 2025
    Have become top 3 trending developer on Github, with @mitchellh right behind me 😱
    Image
    1
  • @buger
    Leonid Bugaev
    @buger
    14h
    Me asking Kimi to parallelise the work, Kimi - lets start swarm with 78 parallel sessions. My rate limit - 🥲 But if seriously it is amazing, and thats exactly how I envision agentic flows, if not current limits...
    Image
    2
  • @buger
    Leonid Bugaev
    @buger
    20h
    Advice for the people looking for intern or junior roles. I get this kind of requests regularly, and so far acceptance rate 0, and here is a reason for it. Why would anyone need a junior - I already have an agent. I do not need one more "person" to whom I need to talk what to
    1
  • @buger
    Leonid Bugaev
    @buger
    Sep 4
    If your idea of engineering is turning tickets into code, AI is coming directly for the centre of your identity. Coding faster will not solve that. Learning one more framework will not solve it. Becoming better at prompting a model may extend the same identity for a while, but it
    7
  • @buger
    Leonid Bugaev
    @buger
    Sep 4
    Article cover image
    Article
    Good Engineering Doesn’t Trust Engineers
    AI is taking over coding. To survive that mess, software has to remember what engineering actually is. TLDR: AI may not be the end of software engineering. It may be the first thing that finally...
Advertisement
Advertisement