Vibe coding is so 2025.
Get in losers, now we're codemining.
Jun 6
This has been a massive success!
So I left 32x GPT 5.5 agents (enough to fill the 5h limit) on 32 separate machines. Each one received HVM5's unoptimized file, and a prompt demanding for a 10x speedup. After 4 rounds, all agents reached ~2x speedups, with 1.3x to 2x increases in file sizes.
Many cool ideas surfaced. Some are obvious and most agents rediscovered to them, like computed gotos. But others are actually surprising. For example, turns out a bounded LIFO freelist is MUCH faster than the usual algorithm. Many agents didn't bother trying. Neither did I!
Now I'm in the process of mining insights from the 32 runs so I can merge them into a "super HVM5". Not sure what is the best way to do this, and my 200x credits are about to expire, but I still have a few hours, so I have one shot at getting it right. Sounds fun!
(Also thanks for the free credits, I appreciate it a lot...)
2
41
16 Aug 2025
Where was Nigel Farage codemining this...He probably kept his head down or supported it like a good boy,just like lockdowns and jabs🤔🤔🤔
2
68
26 Apr 2022
I am glad you like jdt codemining but this project is just a POC that I did to validate my contribution with codeming to eclipse. I hope advanced codeming like parameter names with filter, junit and git minining will be available as standard in eclipde ide.
1
25 Apr 2022
@EclipseJavaIDE Hey Eclipse team ! I've been using "JDT Java CodeMining" plugin by @angelozerr (thanks!) for 4 years. Love it🤩. I could not go without it.
You should consider making it a standard feature!
Below are two captures of available Code Minings with or without plugin.
ALT Screenshot of Eclipse's default Code Minings options in preferences.
ALT Screenshot of Eclipse's Code Minings (experimental) options when JDT codemining plugin is installed.
2
2
tree-hugger is now on @madewithml 🎉
You can do #CodeMining at scale across languages with simple APIs.
#treehugger includes:
✅5 languages: Python, PHP, Java, JavaScript, C
✅ Extended APIs to mine: function, classes, methods, docstrings
📚 madewithml.com/projects/984/…
1
3
15
25 Aug 2020
why isn.t there world wide outrage, why is the BBC and other newscasters not codemining the heinous crimes towards the innocents in Paletine, it is sick your life is cheap if you live in Palestine because Israel and Zionists BUY silence whilst a nation weeps as land is stolen.
1
5
6
#CodeMining at scale accross languages with simple APIs with tree-hugger🎇
New version includes :
✅5 languages: Python, PHP, Java, JavaScript, C
✅Extended APIs to mine: function, classes, methods, docstrings
📚 Docs: lnkd.in/dgkiiQg
#minesourcecode #codedataset
ALT https://github.com/autosoft-dev/tree-hugger
5
10 lines of code, 1 minute and tree-hugger!
That's what it takes to:
⛏ mine 15k Python files
📚 create a novel data set for documentation and code association
🔥🔥🔥
github.com/autosoft-dev/tree…
#codemining #python #developers #mloncode #ml4code
ALT https://bit.ly/treehugger-repo
2
2
What if a Machine Learning Model could learn how to code? We are doing it!
🏆 We are excited to release #codeBERT. It's a MLM trained over Python source code thx to @huggingface
🕹 To easily load the model and its weights (code below)
#MLonCode #NLP #CodeMining #DeepLearning
6
48
154
22 May 2020
The option is called codemining and is hidden somewhere in the eclipse preferences.
1
2
28 Apr 2020
#TestNG has codemining now for @EclipseJavaIDE. Grab the latest release and suggest improvements if you see any.
github.com/cbeust/testng-ecl…
2
2 Mar 2020
Elrond ha implementado un nuevo sistema para retribuir el trabajo de los desarrolladores.
Ahora el 30% del gas consumido por un smart contract irá directamente al Wallet del autor del código
#welovelrond #codemining
14 Feb 2020
The purpose of the @ElrondNetwork #blockchain is to improve the experience of every internet user. But sometimes we are developers building for developers. Our new royalties system and tools should excite our fellow programmers. Here’s our week👇
2
28 Nov 2019
Avec le #CodeMining made in @YagaanSecurity , faites parler le #CodeSource de vos applications:
🔎 Cartographie des #données sensibles
🧿 Identification des #protections mise en oeuvre
🔧 Personnalisation aux #data corporate
#CEEParis #dataviz #TechShowParis #cloudexpo #Cloud
1
2
5
I've been using @EclipseJavaIDE parameter name codemining for many months now, and it really made each one of my code reading/code writing sessions better: eclipse.org/eclipse/news/4.1…
1
8
As an American Jew, I urge the JCRC to spend more time codemining the suspension of affirmative process for asylum seekers and separation of children from their families than a Congresswoman who is calling out this anti-American tragedy at the border. cbsnews.com/news/father-and-…
4
26 Feb 2019
It's a very cool news @gaparv . Where can find your work? Do you want to merge your work in my github jdt-codemining in order to people play with your work and if they like you could merge it on JDT?
1
2
26 Feb 2019
Glad codemining API pleases you. This codemining API comes from the great review of @mickaelistria who takes a lot of time to comment my gerrit patch and today here the result.
2
5 Feb 2019
#CodeMining ou comment améliorer sa #productivité avec #Eclipse #Photon par @jmdoudoux blog.oxiane.com/2019/01/24/e… @OxianeIT
2
3