Skip to content

Instantly share code, notes, and snippets.

View breandan's full-sized avatar
📖
I may be slow to respond.

breandan breandan

📖
I may be slow to respond.
View GitHub Profile
@breandan
breandan / prelim_results.tex
Last active February 12, 2022 10:06
Paired T-test with full distribution logging. P-values are reported in each cell.
%\begin{table}[H]
%\begin{tabular}{l|cccc}
%Model & renameTokens & permuteArgument & swapMultilineNo & addExtraLogging \\\hline\\
%microsoft/codebert-base-mlm & 0.023 (32) & 0.333 (18) & 0.702 (32) & 0.984 (15) \\
%microsoft/graphcodebert-base & 0.399 (33) & 0.483 (20) & 0.196 (32) & 0.015 (17) \\
%dbernsohn/roberta-java & 0.001 (34) & 0.024 (20) & 0.216 (32) & 0.143 (15)
%\end{tabular}
%\end{table}
% (microsoft/codebert-base-mlm x renameTokens):
@breandan
breandan / Peano13.kt
Last active December 28, 2021 01:46
When compiling the following code, the Kotlin 1.6.10 compiler appears hang forever. I killed it after 5+ hours. https://youtrack.jetbrains.com/issue/KT-50553
import kotlin.jvm.JvmName
fun main() {
val thirteen = S2
.let { it + S4 }
.let { it + S4 }
.let { it + S4 }
.let { it + S4 }
.let { it + S4 }
.let { it + S4 }
@breandan
breandan / peano.kt
Last active December 27, 2021 07:10
Causes IDE to become unresponsive.
// This file was generated by Shipshape
@file:Suppress("UNUSED_PARAMETER", "UNCHECKED_CAST")
package ai.hypergraph.kotlingrad.typelevel.peano
import kotlin.jvm.JvmName
open class S<X: S<X>>(val x: S<X>?)
object O: S<O>(null)
fun S<*>.toInt(i: Int = 0): Int = x?.toInt(i + 1) ?: i
@breandan
breandan / output.log
Created December 19, 2021 16:40
Output from running `./gradlew cleanTest test --no-build-cache -i > output.log`.
Initialized native services in: /Users/breandan/.gradle/native
Initialized jansi services in: /Users/breandan/.gradle/native
The client will now receive all logging from the daemon (pid: 24992). The daemon log file: /Users/breandan/.gradle/daemon/7.3.2/daemon-24992.out.log
Starting 14th build in daemon [uptime: 16 mins 35.731 secs, performance: 100%, non-heap usage: 60% of 256 MiB]
Using 10 worker leases.
Now considering [/Users/breandan/IdeaProjects/AceJump] as hierarchies to watch
Watching the file system is configured to be enabled if available
File system watching is active
Starting Build
Settings evaluated using settings file '/Users/breandan/IdeaProjects/AceJump/settings.gradle.kts'.
@breandan
breandan / gcode_stats.csv
Last active December 13, 2021 06:27
Stats for Google Code repositories.
repo licenses total files total lines holes holes * inherited members
l2jfreya123 ?/Custom 1523 387537 143395 14925143
tahuya-road ?/Custom 1042 114222 38504 865937
volatileengine ? 118 12027 4278 50679
openprocesslogger ? 96 14139 5439 46429
tinwiki ?/Apache 205 28364 8007 106509
seamlets ?/Apache 287 13187 4764 36779
jhsheets ? 136 11050 3922 217256
gloodb ? 606 33583 11708 54542
rsbotownversion ?/Apache 308 227599 93154 44681153
@breandan
breandan / subtype_stats.log
Created December 2, 2021 22:49
Subtype stats for a few sample projects.
file:/Users/breandan/IdeaProjects/gym-fs/data/Genymobile_gnirehtet.tgz
AdbMonitor (local: 12 fields, 14 methods)
AdbMonitorTest (local: 0 fields, 9 methods)
Binary (local: 1 fields, 4 methods)
CIDR (local: 3 fields, 6 methods)
CommandLineArguments (local: 10 fields, 5 methods)
CommandLineArgumentsTest (local: 1 fields, 10 methods)
Forwarder (local: 9 fields, 5 methods)
GnirehtetActivity<:{null} (local: 7 fields, 7 methods) / (local+inherited: 7 fields, 7 methods)
GnirehtetService<:{null} (local: 11 fields, 11 methods) / (local+inherited: 11 fields, 11 methods)
@breandan
breandan / gitlab_repos_deduped.txt
Last active November 27, 2021 06:10
A few dozen GitLab repos containing Java code which are not hosted on GitHub.
https://gitlab.com/gym-rats/android-app
https://gitlab.com/coupies/android-sdk
https://gitlab.com/greg/diva-android
https://gitlab.com/jerome/android-emulation
https://gitlab.com/abgeana/android-commandlinetools
https://gitlab.com/solarus-games/solarus-android
https://gitlab.com/safesurfer/SafeSurfer-Android
https://gitlab.com/technowolf/wallture-android
https://gitlab.com/englishanywhere/FirebaseUI-Android
https://gitlab.com/configseeder/java-demo
2021-11-03T19:57:16.2842583Z Found online and idle hosted runner in the current repository's organization account that matches the required labels: 'ubuntu-latest'
2021-11-03T19:57:16.3690666Z Waiting for a Hosted runner in the 'organization' to pick this job...
2021-11-03T19:57:16.5416760Z Job is waiting for a hosted runner to come online.
2021-11-03T19:57:19.9766328Z Job is about to start running on the hosted runner: Hosted Agent (hosted)
2021-11-03T19:57:23.2842764Z Current runner version: '2.284.0'
2021-11-03T19:57:23.2865669Z ##[group]Operating System
2021-11-03T19:57:23.2866609Z Ubuntu
2021-11-03T19:57:23.2867075Z 20.04.3
2021-11-03T19:57:23.2867420Z LTS
2021-11-03T19:57:23.2867829Z ##[endgroup]
@breandan
breandan / code_synth_graphcodebert.txt
Created October 16, 2021 06:47
Code synthesis logs with GraphCodeBERT.
Evaluating code completion with microsoft/graphcodebert-base on file:/lustre03/project/6025349/breandan/gym-fs/data/...
> python embedding_server.py --model=microsoft/graphcodebert-base --offline
Starting embeddings server...
Started embeddings server at http://localhost:8000/?query=
Put 1.0 in (2, renameTokens)
\begin{table}[H]
\begin{tabular}{l|ccc}
Complexity & renameTokens \\\hline\\
20-30 & 1.0 ± 0.0 (1)
\end{tabular}
@breandan
breandan / doc_synth_codebertbase.txt
Last active October 15, 2021 14:40
CodeBERT document synthesis
> python embedding_server.py --model=microsoft/codebert-base-mlm --offline
Starting embeddings server...
Started embeddings server at http://localhost:8000/?query=
Ground truth doc: Prefix CAN be null
Synth origin doc: JUnitPath1
Synth refact doc: ArgumentSafeTesting
| original doc | synthetic doc before refactoring |
|----------------------------------------------------------------------------------|----------------------------------------------------------------------------------|
| public DialectConfiguration(final IDialect dialect) { | public DialectConfiguration(final IDialect dialect) { |
| super(); | super(); |