HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tslater2006

no profile record

comments

tslater2006
·10 месяцев назад·discuss
Foesn't this show other top level functions besides main? From the JEP

```Top-level members are interpreted as members of the unnamed class, so we can also write the program as:

String greeting() { return "Hello, World!"; }

void main() { System.out.println(greeting()); }```
tslater2006
·11 месяцев назад·discuss
Because if he had the general proof he wouldn't need to go out of his way to prove n=4, since it would be covered already by the general proof
tslater2006
·в прошлом году·discuss
The readme shows support for dumping dex files. Edit: missed that it has a comment that stays "unsupport for now" but at least it looks like something planned
tslater2006
·в прошлом году·discuss
Heh, was looking up the wiki on the Baader Meinhoff phenomenon only to find out it sends you to your link. Guess that's an easier name to know it as :)