Martin Mirchev @mp_mirchev
PhD Student in National University of Singapore. Interested in Automated Program Repair and Automated Testing (Fuzzing) Singapore Joined October 2015-
Tweets21
-
Followers49
-
Following385
-
Likes327
📣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!
✨ 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
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]
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
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 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
Chicken @pakpakkchickens
7K Followers 6K Following Nothing to sell you. ZERO. No private groups, IG, telegram, NOTHING. Don't be dumb sending ME $$$
Kiran @Kiran_t11
37 Followers 609 Following
Negar @Nyorga_
9 Followers 96 Following
Mohammad Hossein Khos... @Mh_khoshechin
264 Followers 910 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Annibale Panichella @AnniPanic
2K Followers 817 Following Sith apprentice and dark arts supporter. In the spare time, Associate Professor in Software Engineering at @serg_delft, @tudelft and head of the CISELab.
Larry Diehl @larrytheliquid
797 Followers 658 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
RektAndReturned @RektAndReturned
11 Followers 240 Following
Thomas Dohmke @ashtom
60K Followers 412 Following Building GitHub Copilot for the sake of developer happiness. CEO @GitHub
Abhishek Tiwari @mig40000
48 Followers 81 Following Assistant Professor of Software Engineering at the University of Southern Denmark
wuc9521 @wuc9521
84 Followers 1K Following
Kiran 🏳️⚧�... @kirancodes
284 Followers 146 Following Trans gal 🏳️⚧️, Pronouns: (She/Her) Postdoc I work in Programming Languages research, on formal verification. British South Asian diaspora~
Andreea Costea @andre_costea
132 Followers 181 Following formal verification, languages, and OCaml enthusiast @NUSComputing
Poosethey @Poosetheyacxe
0 Followers 133 Following
weisongsun @weisongsun
45 Followers 636 Following Research Fellow at Nanyang Technological University; Trustworthy Intelligent Software Engineering, AI Security.
Gauransh Tandon @gauranshtandon
61 Followers 479 Following CS PhD Student @UBC_CS @UBC_SPL | Ex MLE @ServiceNow | BS CS @IllinoisCS | Ex Researcher @Cambridge_CL | Musician
Catherine @a_catherine77
288 Followers 3K Following
Janice @morse_janice58
281 Followers 3K Following
Vola Merch @volamerch
1 Followers 26 Following At Vola Merchandise, we offer a wide range of merchandise for all your needs. Whether you’re a fan of music, sports, movies, or just looking for unique and styl
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Mingwei Liu @mliu918351
217 Followers 725 Following Software Engineering Researcher, Associate Professor at the School of Software Engineering, Sun Yat-Sen University, China.
Dulaji Hidellaarachch... @dulajidinupama
213 Followers 290 Following Lecturer at RMIT University, Australia | Interested in: #RequirementsEngineering | #SoftwareEngineering | #HumanAspects | #QualitativeResearch
Thanh Le-Cong @ThanhLeCong2705
146 Followers 385 Following PhD Student @Unimelb. PhD Fellow @GoogleAI. Research Intern @Amazon. Ex Research Engineer @smusg. Working on Reliable AI4Code.
Roberto Giacobazzi�... @rgiacobazzi
841 Followers 653 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Ruijie Meng @RuijieMeng
334 Followers 467 Following PhD candidate at @NUSComputing, and incoming tenure-track faculty at CISPA. Software Security.
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Sebastiano Panichella @spanichella
2K Followers 2K Following Computer Science Researcher | Teacher | Philanthropist | Free-time Actor | Tennis Lover | Storyteller. Projects: https://t.co/0Qxfm1ZC8s
Yaroslav Golubev @areyde
877 Followers 3K Following Research Administrator @JetBrains Research. Love writing papers and poetry, history, languages, and literally everything else. 俄然覺，則蘧蘧然周也。🦋
Eduard Pinconschi @pinconschi
18 Followers 124 Following
Shane McIntosh @shane_mcintosh
2K Followers 773 Following Software engineering researcher, Leader of the @SoftwareREBELs, Associate Professor at @UWaterloo
The BTC economy @BTCNixDev
277 Followers 1K Following npub10uf2fr0wlg4edurnhs4zr066tsy4sz3pzzqpm6hwr5xm4rf3xkusfsdvsv
Yannic Noller (@yanni... @yannicnoller
559 Followers 652 Following CS Professor at @ruhrunibochum See you on BlueSky: https://t.co/HEXCP9tkuT
Thuan Pham @thuanpv_
2K Followers 900 Following Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing. (Fuzz) Testing enthusiast. Tweets are my own.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
SBFT 2025 @sbftworkshop
572 Followers 639 Following The 18th Search-Based and Fuzz Testing Workshop is co-located with @ICSEconf 2025. @sbftworkshop
etipsapp @etipsapp
87 Followers 888 Following
Lyubomir Shoylev @deathimage
3 Followers 67 Following
devonnetanouye @devonnetanouye4
402 Followers 3K Following
Daleen Miller @Akueyihche
377 Followers 4K Following I'm just a small town girl... who delight's in the high-end life. I'm a lover of exquisite music, superb food, subtle drink, and cleanliness.
Kim Anh @sdalbicoti1985
136 Followers 701 Following
Jui Khatun @juikhatun7353
53 Followers 562 Following
OpenStack @OpenStack
149K Followers 655 Following Deployed by thousands. Proven production at scale. #OpenStack is a set of open source software components that provide common services for cloud infrastructure.
Nicky Romero @nickyromero
2.4M Followers 867 Following I make music, play instruments and love my dog ✨ FASTER MASTER out now!
NERVO @nervomusic
903K Followers 371 Following Music, Videos, #NERVOnation radio and more... ➡️ https://t.co/HGk5VQbPIQ ⬅️
Eric Prydz @ericprydz
860K Followers 330 Following
Above & Beyond @aboveandbeyond
507K Followers 518 Following The official Twitter of @jonogrant, @paavo_s & @tonymcguinness. Founders of @Anjunabeats and @Anjunadeep. 'Bigger Than All Of Us' is out now.
Jebrim @AgileJebrim
4K Followers 2K Following Rendering Engineer creating hard real-time graphics & compute GPU technologies for mission/safety-critical systems. Opinions are my own.
Sinaei @Intel80x86
8K Followers 399 Following Windows Internals enthusiast, Interested in hardware design & low-level programming. An active developer of @HyperDbg debugger. https://t.co/TUALkTusHt
Sebastian Ingrosso @Ingrosso
1.2M Followers 173 Following Pre-save 'A new day' with Celine Dion. https://t.co/YFvc3GYbNp
Chicken Genius @pakpakchicken
228K Followers 69 Following Nothing to sell you. ZERO. No private groups, IG, telegram, NOTHING. Don't be dumb sending "ME" $$$
derek guy @dieworkwear
1.4M Followers 958 Following Menswear writer. Editor at @putthison. Creator of @RLGoesHard. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter
Mitchell Hashimoto @mitchellh
141K Followers 139 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Bertrand Meyer @Bertrand_Meyer
4K Followers 218 Following Software engineer (theory and practice). Author, consultant, professor, project manager.
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Code Intelligence @CI_Fuzz
972 Followers 308 Following Writing secure and stable software shouldn't be hard. Mastodon: @[email protected]
porter robinson @porterrobinson
710K Followers 1K Following MY THIRD ALBUM “SMILE! :D” is out now !!
Chris Lattner @clattner_llvm
86K Followers 189 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Skrillex @Skrillex
5.6M Followers 1K Following
Mohammad Hossein Khos... @Mh_khoshechin
264 Followers 910 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Formal Languages and ... @FormalLanguages
119 Followers 3 Following Covers automata theory, formal language theory, grammars, and combinatorics on words. New submissions to https://t.co/4jOos7OL8p (not affiliated with arXiv)
Daniel Litt @littmath
50K Followers 884 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Reyhan @Reyhaneh
2K Followers 763 Following Assistant Professor of @plfmse at @IllinoisCS, Director of Intelligent CAT Lab (https://t.co/wO38Gqxs7n), PhD @UCIbrenICS, @Google PhD Fellow
FormaliSE @FormaliSEconf
392 Followers 95 Following FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.
Mothership @MothershipSG
471K Followers 290 Following Singapore-based digital media company focusing on news, current affairs, and entertainment for tomorrow's generations. We turned 10 in 2023 🚀
Astafgorilla🔻🪂 @astaf_gorilla
1K Followers 243 Following The judgy kitty will see you now. Ocassionally unhinged, consistently annoying. Meowers🏳️🌈 🍉🍉🍉 #FreePalestine #FuckIsrael
Eric S. Raymond @esrtweet
33K Followers 169 Following Yes, I *am* that ESR. Well, it's the question people usually ask. Programmer, wandering philosopher, accidental anthropologist, troublemaker for liberty.
Sonar @SonarSource
10K Followers 1K Following Trusted by 7M developers, our @SonarQube solutions (Server, Cloud, for IDE) cover your code quality and security needs –AI-generated or written by developers 🚀
CAV @confCAV
796 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
George Pîrlea @GeorgePirlea
849 Followers 4K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Rajeev Alur @RajeevAlur
2K Followers 232 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
NUS @NUSingapore
68K Followers 100 Following The National University of Singapore is Asia’s leading university with a global approach in education, research and service. (RT, links and likes ≠ endorsement)
Lisan al Gaib @scaling01
21K Followers 655 Following lead them to paradise | intelligence is inherently about scaling | be kind to us AGI
AI Notkilleveryoneism... @AISafetyMemes
88K Followers 1K Following Techno-optimist, but AGI is not like the other technologies. Step 1: make memes. Step 2: ??? Step 3: lower p(doom)
OpenAI @OpenAI
4.3M Followers 3 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202
Alexander Popov @a13xp0p0v
7K Followers 365 Following Linux Kernel Developer / Security Researcher / Free Software Maintainer. Admin of @linkersec. This is my personal account.
Behnaz Hassanshahi @Behnaz_88
79 Followers 145 Following
🇺🇦 Alex Polozov @Skiminok
4K Followers 797 Following Sr. Staff Research Scientist @GoogleDeepMind • previously @Theteamatx, @MSFTResearch, @uwcse • program synthesis, GenAI for Code & SWE • he/him
Deedy @deedydas
205K Followers 5K Following VC at @MenloVentures. Formerly founding team @glean, @Google Search. @Cornell CS. Tweets about tech, immigration, India, fitness and search.Trends for United States
You might like
