Martin Mirchev

📣Big news! We’re excited to share that AutoCodeRover has been acquired by @SonarSource 🎉. Bringing our sophisticated AI agent platform into the Sonar solution, we’ll help redefine the SDLC, supercharging developers to build better, faster. More here: bit.ly/3X9UT3H

✨ You can now access our hosted cloud service for a free trial at: app.autocoderover.dev ✨ Our latest agent is available to download on GitHub via github.com/nus-apr/auto-c… ✨ We are also looking to expand our current team, see autocoderover.dev for open positions!

Our latest experiments using AutoCodeRover-v2 achieves 46.2% pass@1 on SWE-Bench Verified, 37.33% on SWE-Bench Lite and 24.89% on SWE-Bench Full. Free Trial: app.autocoderover.dev GitHub: github.com/nus-apr/auto-c… #AutoCodeRover #AI4SE #AIDevAssistant

Register for a free trial in our Cloud Platform at app.autocoderover.dev

Beyond efficacy - AutoCodeRover-v2 is here! Augmenting AutoCodeRover with specification inference, AutoCodeRover-v2 resolves 31% of SWE-Bench lite & 19.31% of SWE-Bench, with a modest cost of ~$0.7 per task & to be open-source! Find out on arXiv: arxiv.org/abs/2408.02232 1/2

The latest version of AutoCodeRover (using GPT-4o) resolves 30.67% of the tasks (pass @1) in SWE-bench Lite. Achieving this efficacy while economical with only 0.12m tokens costing $0.7 per task and completing each task within 7 mins. #AutoCodeRover #AISE #AIDeveloper #SWEBench

Introducing AutoCodeRover Presenting our autonomous software engineer from Singapore ! Takes in a Github issue (bug fixing or feature addition), resolves in few minutes, with minimal LLM cost ~$0.5 ! Please RT 🧑‍💻 github.com/nus-apr/auto-c… 📝 github.com/nus-apr/auto-c… [ 1 / 4]

@mboehme_ @RuijieMeng @AbhikRoychoudh1 Thanks, Marcel! It was really nice to collaborate with and learn from you!

What if you could make your fuzzer ask an LLM about the correct structure and order of protocol messages as specified in hundreds of pages of RFC? 🎉 Accepted @ NDSS'24 📝 mpi-softsec.github.io/papers/NDSS24-… 🧑‍💻 github.com/ChatAFLndss/Ch… Led by @RuijieMeng w/ M. Mirchev, @AbhikRoychoudh1 & YT

@LiveOverflow A lot of things by Buunshin or just the Vision label youtube.com/watch?v=aoGZTv…

Please link me your favorite drum and bass sets 🎶 I will also accept other music. Need some hacking background music.

Registration is now open for the 1st International Competition on Automated Program Repair. Check our website apr-comp.github.io for more information #APRCOMP #APR

@elonmusk What is your current status with The Boring Company and do you consider testing it in Europe?

Senior Dev A instantly knows the answer to Junior Dev B's esoteric .Net error message. Dev B thinks to himself, "I'll never know answers like that, where is my career going?" Dev A thinks to himself, "How the hell do I know an answer to that nonsense, where is my career going?"

@the_antlr_guy Hello, is it possible to get a little advice from you for a grammar I am writing?

The ideal school would teach health, wealth, and happiness. It‘d be free, self-paced, and available to all. It‘d show opposing ideas and students would self-verify truth. No grades, no tests, no diplomas - just learning. Actually, you’re already here. Careful who you follow.

Receive your free dev stickers, worldwide! @notifuse stickers.notifuse.com

@imgur sometimes you can find dickbutt sometimes wisdom #neverboring #imgur

Register for the @GameVoxVoice "Ring in the New Year" Giveaway, for a chance to Win a Siberia 800 Headset and More! gleam.io/jhKvu/gamevox-…

Hey @SpeakerRyan, don’t abuse Congressional process to ram through CISA. We are watching. tumblr.fightforthefuture.org/post/134741217…

Dear @andreynovakov please vote for the amendments delivering real #NetNeutrality on October 27th! #SaveTheInternet savetheinternet.eu

I #StandWithAurous