« first day (1715 days earlier)      last day (3242 days later) » 

11:16 PM
saw this on /v/
get a load of those temps
 
@rightfold I give up. Checked exceptions suck!
 
Ell
11:29 PM
@Rapptz feelin' hot hot hot
 
@Rapptz @JerryCoffin not safe to be running your PC in the mojave desert ;)
dat
pun
 
what pun
 
user1804599
mv.visitInsn((boolean) expr ? ICONST_1 : ICONST_0);
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Boolean", "valueOf", "(Z)Ljava/lang/Boolean;", false);
 
user1804599
:D :D :D :D :D
 
user1804599
11:42 PM
Exploit checked exceptions being erased.
 
user1804599
@fredoverflow functions defined in this program can now be compiled and called. :)
 
user1804599
(module A
  (fn f () #true)
  (fn g () #false))
(package p
  (module B
    (fn f () #null))
 
You can't even sanely parameterize with exceptions, because catch (T) does not work in Java.
@Puppy Hadoken
 
user1804599
assertTrue((boolean) class_.getMethod("f").invoke(null)); works.
 
I don't know what's worse, checked exceptions or erased generics.
 
user1804599
11:44 PM
checked exceptions
 
user1804599
I never had any problems with erased generics.
 
Do you use Eclipse? Mars was released a couple of days ago.
 
user1804599
No, I use IntelliJ.
 
nice
 
user1804599
The keygen was FOSS which is nice.
 
11:46 PM
IntelliJ IDEA Community Editon is free, anyway?
 
I love BenQ.
What's that purple thing? A mousepad something?
 
Does anyone know if its possible to mathematicly / programmatically find a fit inequality function, knowing wich input variables produce true or false?
Without bruteforcing comparisons that is..
 
Can you give an example?
 
Say i know:
f(1,2) = 1
f(2,2) = 0
f(3,2) = 0
f(3,4) = 1
Could i somehow inherit:
f(x,y) = x < y ?
 
11:49 PM
Is the above list of inputs exhaustive?
 
Well, i guess possible inputs are practically infinite
 
then no.
 
hi @Puppy
 
there's an infinite number of functions that could produce that output.
 
user1804599
@fredoverflow lambdas are compiled to pretty neat bytecode.
 
11:50 PM
I know there are others, but i mean more in propalistic terms.
 
@rightfold invokedynamic something?
 
probabilistic?
 
user1804599
They're compiled to methods in the containing class.
 
Asume they are the only ones
 
that does not even make sense.
 
user1804599
11:51 PM
Then invokedynamic is used to turn them into instances of a functional interface.
 
the function is not a probability, it's set somewhere in code.
 
@rightfold Only if they don't capture local state, right?
 
yes i dont know how to spell
 
user1804599
@fredoverflow No.
 
the spelling is not my primary concern with that suggestion
it's that the suggestion plain does not make sense at all.
 
user1804599
11:52 PM
If they capture local state, the method takes it as an argument.
 
and furthermore, I don't see any purpose in what you're trying to do.
 
Win the Nobel Prize, maybe?
 
But i want buest guess, simplest logic satisfying the inputs
 
Then try < and friends and see what fits best.
 
except that the number of inputs is realistically uncountably large
 
11:53 PM
yea, thats what im currently doing, bruteforcing essentialy
 
and furthermore
 
But i am also trying for x mod y etc etc
 
Xeo
@fredoverflow Nah, massage mitten for the kitties. It's basically a brush you put on your hand
 
since it's a real function and not some random crap, it can do random things
like I dunno
 
addition, bitshifting..
 
user1804599
 
@Xeo A petting condom?
 
if (x == 98667668) return x; else return x < y;
 
Xeo
lol
 
@Borgleader ...
 
@Puppy Thats another concern, i wont be bruteforcing constants, but its a valid point
 
11:54 PM
or how about just if(global_var) return x < y; return y > x;
or if (rand()) return x < y; return y < x;
 
Xeo
@Puppy That changes nothing :P
 
I am not supporting constants at the moment, if those are wanted the programmer has to provide them in comments
 
@DavidKron probably not
 
seems to me like you basically can't support anything.
 
@rightfold Where is the 42 in the bytecode?
Oh line 10.
 
11:56 PM
@DavidKron think about it
how many operations are deterministic
 
i.e., you have "solved" the problem by changing "function" into "Something that meets my arbitrary extremely tiny subset of actual functions"
 
e.g. f(0) => 1 doesn't imply +1
 
in which case, just take that as your input instead of a function and problem solved.
 
user1804599
@fredoverflow it's passed as the first argument to lambda$f$0.
 
Well i have to start somewhere, i add things every day ^^
 
11:56 PM
@rightfold So does the local variable become a field of the class?
 
@DavidKron It's not possible unless you create the deterministic relationships yourself
Or limit them.
Think about it this way; how many things can you do to 1 to get 0?
 
@DavidKron Try adding "sense"
 
How many steps can it take?
 
@VermillionAzure A lot, you should see my code lol
 
@DavidKron So.
How do you determine which one to apply?
 
11:57 PM
Bitshifting, string concatination, etc etc
 
user1804599
@fredoverflow If the dynamic binder (which is called by invokedynamic) decides to generate a class that has that, then yes.
 
I take the first valid one, cuz thats what i want :)
 
@DavidKron Yes, but what decides "first"
There are a potentially an unlimited amount of operations that can satisfy your requirements
 
I start with the smallest and then grow bigger
 
user1804599
But it doesn't become a member of a. That would be moronic.
 
11:58 PM
The first is usually a simple comparison
 
@DavidKron There are still many 1-step operations that fit your requirement
 
if you want to know what the function actually is, then just take that description as an argument instead of trying to reverse-engineer it, which is impossible.
 
Well then its the users fault, they have to write more testcases ^^
 
Right shifting, -1, multiplication by 0
@DavidKron Dude
Why are you trying to do this
 
Cuz its my thesis
 

« first day (1715 days earlier)      last day (3242 days later) »