« first day (1102 days earlier)      last day (3863 days later) » 

6:00 PM
Well thats my month's salary, actually.
lol
 
holy moly
 
so far
 
Its a lot here since everything is much cheaper.
 
my current strategy is get better, then go and finish my degree, and then go and look for work
 
good strategy
 
6:01 PM
@DeadMG You haven't finished your degree?
 
@GamesBrainiac University and I did not get along very well.
plus the whole "Horribly sick" thing didn't really increase my tolerance of bullshit.
 
@DeadMG Same here.
 
My current strategy is: weep
 
@DeadMG What uni, if you don't mind me asking?
 
a crappy one
what else is there to know?
 
6:02 PM
@GamesBrainiac I do. But it was in the top 10 in the UK for CS.
 
@TonyTheLion Really, dude?
 
for several years running in fact.
 
@TonyTheLion I remember him saying he wanted to go to Cambridge, so yea :P
 
yeah I applied to Oxford instead.
 
@R.MartinhoFernandes ERMAGHERD, I can't believe you took me seriously.
 
6:03 PM
and didn't get it.
 
@DeadMG Christmas present!
 
@GamesBrainiac Yea, no that's not where he went
 
lol, I got into Oxford, but couldn't pay XD
 
@R.MartinhoFernandes Not quite. The side-effects of the surgery would make it an unpalatable idea to go stuffing myself into all the Christmas food.
 
6:04 PM
I had really good math grades.
Now, I suck at math.
 
@TonyTheLion I don't know, you often complain about how boring and disappointing some things in your life are :S
 
@R.MartinhoFernandes This is true.
 
@R.MartinhoFernandes what is the rule of zero?
 
I found life disapointing ever since I realized that I could program good.
 
@DeadMG But why would you want to go back to Uni? You can be kick-ass just rolling on your own.
 
6:06 PM
@GamesBrainiac I know, but a lot of companies don't want to even consider you if you don't have one.
 
@GamesBrainiac He tried finding a job for almost a year now and hasn't got anywhere
 
@JohannesSchaub-litb Shame on you for not reading his blog
 
@DeadMG I see, thats really short-sited.
 
also
 
6:07 PM
Hmm, quite googlable these days :)
 
it can be hard to search for a job when you apply, and then you eat something you shouldn't and whilst the recruiter is trying to contact you, you need to be asleep or screaming in pain.
the things you learn.
 
@JohannesSchaub-litb Basically, "Delegate copy/move construction, destruction, assignment."
 
@Borgleader i just remember that one tutorial often cited about various SFINAE techniques
 
@DeadMG yea that does make it harder.
 
@DeadMG Pick up the phone and scream in pain at them!
 
6:08 PM
lol
 
@DeadMG I see the physical difficulties. But hey, look. If the idiotic recruiter can't see what you're capable of, why on earth would you want to work for that company?
 
only select few are any good
the others are just monkeys
matching words on CV's to requirements
 
@GamesBrainiac Firstly, they probably don't really know what the recruiter is like. Secondly, virtually all recruiters suck IME so it's hard for them to choose a decent recruiter.
 
My boss => best recruiter
 
@DeadMG Well, can't you apply for venture capital or something?
 
6:10 PM
what
 
"Hey wanna grab a beer?" => best recruiting line.
 
well, I could have considered creating my own business
 
@R.MartinhoFernandes No wonder you're so happy.
 
but I simply don't have a product I'd be confident of selling.
 
@R.MartinhoFernandes Never worked for me (i.e., for anybody trying to recruit me).
 
6:10 PM
@DeadMG Do that, you would suck at taking orders or even suggestions anyways.
@DeadMG ahh
 
I do suck at taking orders.
 
sell Belgium
 
@TonyTheLion thats gettin old
 
@ScottW I think "proficient" was a couple years back.
 
6:11 PM
@TonyTheLion lol
 
I haven't done C++ in a while, my life is good.
 
@TonyTheLion what have you been doing?
 
masturbating C#
 
@TonyTheLion VIGOROUSLY
 
6:12 PM
it has to be "Masturbating vigorously".
 
@GamesBrainiac Meh, I'm happy because I replaced the hole my friends left when I left them.
That sounds funny. And cheesy.
 
@ScottW Er, "hot new word on the street"? what the fuck even is that
 
@JerryCoffin G[r]oss
 
@JerryCoffin I expect a torrential rain of downvotes
 
6:13 PM
@ScottW He meant he is past "proficient".
 
yeah
 
@ScottW C++ Masturbator Vigor
 
I mean that my personal skill could have been considered "proficient" a long time ago.
 
guys, who is good at proofs by induction?
 
your math teacher
 
6:15 PM
How the fuck did he get rotten flesh on his plate.
 
i got a question about it, concerning proofs about properties of BNF grammars
 
Still thinking about it :(
 
btw
how does Haskell handle variadics?
 
Prove base case. Prove inductive case.
 
oh boy come on
@DeadMG it doesn't know variadics
 
6:16 PM
@R.MartinhoFernandes He really means: "I didn't know how to spell Dunning-Kruger effect." :-)
 
Ell
@deadmg I know its masochistic but a good android app can bring in the bucks if you have a good idea
 
Xeo
@DeadMG Not
 
@Ell I don't.
 
so a given function can only handle tuples of size 1, 2, ... or N. not all at once
 
@JohannesSchaub-litb People who write recursive code (should be).
 
6:16 PM
@DeadMG No such thing. You can fake it with either some clever typeclassing or with TH, but most of the time you don't use it.
 
@R.MartinhoFernandes Easy. 1)Take rotten flesh 2) put on plate 3)stab with fork, put in mouth 4) chew and swallow 5)????? 6) Vomit.
4
 
@R.MartinhoFernandes i thought that too. but our teacher does not seem to prove the base cases in his lecture
 
Xeo
@R.MartinhoFernandes Actually, shouldn't a recursive tuple type work?
no, wait
 
@R.MartinhoFernandes So basically everything that I would think of as being implemented with variadics in C++ would have to be a language primitive in Haskell?
 
@JohannesSchaub-litb I suppose they're trivial and he just omits them for brevity.
You can't use induction without a base case.
 
6:17 PM
so he says about how induction on grammars work: "P(e) is true if P(e1) is true given that P(e2) is true for all subexpressions e2 of e1"
sorry, i should have used indices...
 
he should learn to use descriptive names.
e, what a useless fucker.
 
updated ^^
@DeadMG it stands for some arbitrary expression grammar
 
@JohannesSchaub-litb Yeah, that's not formally correct.
 
Xeo
@DeadMG Turns out you don't really need variadics
 
time for doughnut :)
 
6:19 PM
@R.MartinhoFernandes hmm, but he uses this style in all his lecture and noone complained of the ~50 ppl in the room
 
Xeo
(Also, Applicative ♥)
 
Well, as I said, I assume he takes the base cases as trivial. But that depends on the P.
 
also rep.
yay, I guess.
 
The base case would be something like, for all terminals t, P(t).
 
6:20 PM
I should start a recruiting service for programmers :P
Instacash:P
 
@GamesBrainiac god no
 
@R.MartinhoFernandes what would the base cases be in the case of a grammar?
 
@ScottW eh?
 
@DeadMG Ever-present curried functions replace the need for it, I guess.
@JohannesSchaub-litb The terminals, I suppose.
 
6:21 PM
@ScottW ahahahahaha
 
time to code something funky
 
@R.MartinhoFernandes I could have a partial-application compiler primitive, I guess.
 
@DeadMG aw yiss
 
Xeo
@DeadMG partial application != currying :P
 
yeahano.
 
6:22 PM
Essentially, The Lounge thought me programming. Thanks Loungers :)
<3
 
Things like <*> from Applicative let you chain as many arguments as you want.
 
I don't think Wide needs currying, but it certainly needs partial application
 
@TonyTheLion You've graduated, I'm still a student :P
 
Wide needs narrowing
noooooooooooo
 
hmm.
 
6:23 PM
I suck
:(
 
currying and stuff doesn't really play well with overloading.
I seem to recall
 
Few things play well with overloading :P
 
too slow
 
Currying is essentially using functions to return other functions right? If thats the case, whats a partial application?
 
@ScottW lol
 
Xeo
6:25 PM
@DeadMG Ya
 
@GamesBrainiac In a language with only curried functions? Technically no different than passing an argument.
 
Xeo
You either need to call the first one that matches (normally the one with the lowest number of parameters), or specify the number of parameters you want at currying-time.
@R.MartinhoFernandes Only for in-order arguments, though
@GamesBrainiac std::bind(foo, somearg, _1) for foo(T, U)
 
@R.MartinhoFernandes My understanding of Currying comes from Scala. Basically what I did, is abstract out some of the common functionality in a summation function and a factorial function, and then make a new function. I used that new function to re-implement the sum and the factorial function. Isn't that currying?
Trivial, I know.
 
A curried function is a function that does partial application when supplied an argument.
 
Currying is when you add curry to something. Like if you add curry to your rice, you've curried the rice.
 
6:29 PM
lol
 
@TonyTheLion Actually it comes from a guy's last name.
 
that's not true at all.
 
Like f(1)(2) instead of f(1, 2).
 
the chicken would be what was curried.
 
Xeo
6:29 PM
@GamesBrainiac With foo from above, curry(foo) == [](T a1){ return [](U a2){ return foo(a1, a2); }; }
 
@DeadMG fuck overloading
 
@BartekBanachewicz No.
 
Xeo
@BartekBanachewicz ad-hoc overloading
 
what's ad-hoc overloading?
 
Ahh yes.
 
6:29 PM
Who wants to fuck overloading? I mean as a guy, where do you put it?
 
It comes from Haskell Brooks Curry
 
@BartekBanachewicz C++ style.
 
Xeo
@TonyTheLion Into all the functions
 
essentially overloading means one function will do two different things
 
6:30 PM
@TonyTheLion Horrible joke suppressed.
 
removing overloading would be firstly, impossible since I want C++ compat, but secondly, a world without overloading would involve passing every fucking function everywhere, all the time.
 
@R.MartinhoFernandes oh you
 
Xeo
@DeadMG Didn't we go over that before?
 
why? why isn't Haskell's "template" system enough?
 
well, we have gone over that before, in that I said that it would and I don't recall any serious counter-suggestions
 
6:31 PM
@Xeo would you mind giving me a python example?
 
Hmm, pub time. See ya.
 
@GamesBrainiac seriously, it's a polymorphic lambda, it's the same in python
 
@BartekBanachewicz Erm, so essentially, isn't it a HOF?
 
@R.MartinhoFernandes Have fun.
 
@GamesBrainiac ugh is that the only FP primitive you know so you repeat it over and over?
 
6:32 PM
@GamesBrainiac In the same way squares are rectangles.
 
it's a function that changes from f(a,b) to f(a)(b)
 
@BartekBanachewicz Nope, I know loads more :D
 
@GamesBrainiac then look above, it should be pretty easy to get
and the main benefit is that f(a) is something meaningful
that is, partially applied f
 
Xeo
5 mins ago, by R. Martinho Fernandes
A curried function is a function that does partial application when supplied an argument.
 
Arrite, so an example of a curring function (to my understanding) would be something like this def fun(f: Int => Int)(a: Int, b: Int)
 
6:34 PM
@Xeo sometimes rephrasing might help in explaining, me thinks.
 
@Xeo what does partial application mean in this context?
 
Xeo
@GamesBrainiac I have no idea what that means
9 mins ago, by Xeo
@GamesBrainiac std::bind(foo, somearg, _1) for foo(T, U)
 
hmm
 
@GamesBrainiac wait does that change meaning in any context?
@GamesBrainiac what the fuck is that
 
@Xeo Arrite, let me write something in Python
 
6:36 PM
fuck python
 
Xeo
sec
talking on the phone right now
 
if I have foo(Optional(float)); bar(Optional(double)); f() { x := None; if (cond) foo(x); else bar(x); }, I wonder if I should make that illegal.
 
@GamesBrainiac in haskell it's a -> b -> c "==" a -> (b - > c)
 
Xeo
will give an example after that
@BartekBanachewicz Python is okay-ish
@DeadMG no
 
def fun(f, a, b):
    return f(a, b)

print fun(lambda x, y: x + y, 10, 20)
 
Xeo
6:37 PM
legal
 
@Xeo I don't find it particularly bad, but then again, I don't find it particularly interesting in any aspect
 
@Xeo Yeah, I started at "yes", but am now considering "no".
 
Xeo
@GamesBrainiac just wait a min
 
@GamesBrainiac You hereby have permission to write something in Python.
 
Xeo
@DeadMG I misread
 
6:38 PM
@Jefffrey I think this is the downvoter:
 
@JerryCoffin Aww, thanks jerry! :D
 
@GamesBrainiac what.
 
Xeo
I read your "illegal" as "legal"
 
@Xeo If foo or bar took a reference to Optional(?) then I would have to make that illegal, I think.
 
@GamesBrainiac just read this
 
Xeo
6:39 PM
@DeadMG Can't think on the phone, gimme a min :S
 
kk
 
@GamesBrainiac Surely. When it comes to allowing others to do work, my generosity is nearly boundless.
 
"nearly"?
 
@JerryCoffin lol
 
@DeadMG No boundary has ever been encountered, but I have no proof it couldn't exist.
 
6:46 PM
hm you have no proof in the other direction either
I wonder what should we pick basing on Ockham's razor.
is a boundary an entity?
 
@BartekBanachewicz now sf::String.toAnsiString is breaking :\
 
@BartekBanachewicz More of a relationship.
 
@Pawnguy7 sfml suckage, heh?
maybe you have unicode there?
 

« first day (1102 days earlier)      last day (3863 days later) »