« first day (1842 days earlier)      last day (3331 days later) » 

18:03
I think I have seen it before :)
My setter is watching dreamhack on tv
I think I've asked you before but what kind of setter is it?
virtual
@R.MartinhoFernandes irish red
Ell
Ell
@JohanLarsson oh wow
he is still watching, really watching
not interrupting even when gf started to cook
Ell
Ell
18:20
ah man
it's a nice final so I don't blame the dog
Ell
Ell
I have no idea if my killer sudoku solver works :V
tho not exactly the teams I wanted to see
Ell
Ell
I'm not sure how long wait
until terminating it and trying again
@Ell Write log output?
Ell
Ell
18:23
I haven't attempted that in haskell yet, but I think now is a good time to learn
what language did you write it in?
Ell
Ell
It is in haskell
What I've been doing this weekend: github.com/rmartinho/unicode-data/commits/master. Getting all Unicode data neatly into a git repo so I can just submodule it in ogonek. Only 17 CLDR versions and 5 Unicode versions to go :S. It'd be easier if the CLDR guys didn't change the directory structure with every update :<
Ell
Ell
@R.MartinhoFernandes could you ask the CLDR guys to do it for you?
maybe that's rude. I mean, ask for the "original" data.
I guess that might be just as difficult time consuming though
@Ell It's the original data. They just move folders around all the time, or sometimes they make a release and if a given folder has no changes, they don't include it.
I could get it from the svn repo, I guess.
Ell
Ell
18:33
my programme appears to be doing something so I'll just let it whizz over :V
I'll just cook tea.
"Cook Tea?"
@Ell don't call it "programme", that so gay :P
*Program
@Ell That's always a good idea.
Ell
Ell
@StackedCrooked It's my default spelling :P
@Dovahkiin tea as in dindins :)
18:37
Okay?
Ell
Ell
that's why I'm cooking it
I gotchu
this autohotkey program looks cool
I can now easily use for compose1 in my code
with Alt + c
huh
Fantasy picks Hero apart in their first game
ok guys
quiz time
cad
cad
18:44
Hey guys, could anyone tell me how I can write cool less-than-15-characters comments? I've just seen two being created and want to learn it too. :O
The answer is your mom
A what
name three movies in which two female characters have a conversation not about a man for more than 10 seconds
Oh look someone discovered Bechdel test
That's a tricky question
tbh
@orlp what if the villain is a man?
18:46
@melak47 then the conversation doesn't count
...because?
@melak47 because the point of the question is to illustrate that females are heavily underrepresented in media
so if two female characters have a conversation about a male cat, does it also not count?
@melak47 I guess we can allow animals
You did a false start by using 'female' and 'man' in the same sentence
18:50
@CatPlusPlus oops
most porns probably qualify
Ell
Ell
@orlp Steve Jobs
holy shit
knife edge base trade for Hero vs Fantasy game 1
Ell
Ell
Toy Story
Little miss sunshine
there must be many
user1804599
Hey fools.
Ell
Ell
18:59
hi fool
hej fold
you know which game I'm really sad that doesn't emulate well?
ratchet & clank
mah childhood :(
Ell
Ell
Hmm
Some girls here?
plonk
19:10
Ugh
Alex M. ? RO ?
user1804599
@Ramy The only girls here pretend they're boys because of pricks like you.
@Ramy nope
@AlexM. Liar.
there's telkitty if you want a girl to talk to
I recommend wearing a bird suit
Ell
Ell
19:17
@Ramy fack off mate
is ramy cicada
Ell
Ell
lol
Soo funny guys. Even you have a sense of humor.
user1804599
"DisableLeftShiftTrashCan": true,
user1804599
best Terraria hidden setting ever
user1804599
19:21
fuck that feature
^ She's eating something good.
Talk no jutsu.
@StackedCrooked the soul of the poor guy she's not recognizing the love of
@AlexM. He's actually in love with Chane Laforet. Not the girl on the picture above :)
user1804599
19:31
@StackedCrooked probably cock meat.
@StackedCrooked his soul anyway
fucking hell why has half of Coursera become paid service?
was coursera not always paid?
hell no
I used to be very surprised to find a paid course; now it's exactly the opposite
cad
cad
19:40
Hey fellas, anyone having the divinity to know how to write comments with less than 15 characters?
what if zelda was a girl?
@orlp she'd be called Linky
I'm looking for a nice review of a C# PR on github, do any of you happen to have one handy?
> So GitHub released a new text editor about a week ago called Atom [...]
Crack open the documentation for creating your first package and boom you are ready
to go...if you know CoffeeScript & CSON that is.
uuugh
not sure what I expected tho
it should be easy enough I just want a plugin that runs my racket tests and shows the output with colors and stuff in a separate window or tab
19:52
Atom sucks
it's the most sublime text 2 editor that I saw that is not 100 bucks
It's garbage that can't even edit text properly
They still haven't fixed the AltGr issue
Emacs is probably best for Lisp anyway
For Racket I just used DrRacket
I tried emacs but I'm a mouse guy
Mouse doesn't belong in text editing
In any editor
user1804599
DST is retarded.
19:56
how did you manage multiple files in dr racket? it doesn't have tabs and stuff
Ell
Ell
@AlexM. You can use mouse in emacs if you want
but yeah I guess not optimal
I use it tho
from time2time
from 2time^2
I really didn't encounter anything bad about atom except for its haskell plugin but that's just a sloppy plugin written by a bunch of people
not the editor's fault
@CatPlusPlus are you proficient at using emacs?
I'm not using Emacs
20:00
I liked that atom had the fuzzy finder out of the box
fuzzy finder = sublime text's goto anything
@CatPlusPlus Don't you use it?
@Nooble No
how relevant is opengl today and in the future?
broad enough?
Ell
Ell
Plenty broad :P
20:05
what do you mean by relevant
widely used perhaps, dunno how to word it
yes, it is widely used
@Abyx The fact that they're a rebel group doesn't make them US-backed.
user1804599
OpenGL is the future, and the future starts with you!
@Puppy oh, so US would help Syrian government to fight those bad rebels?
20:07
ehhh
@Puppy lol you're getting into Abyx thread
rip puppy
probably better to just let them kill each other then back any moderates who survived
abyx literally just joined to drop that link
as usual
yeah, you're right.
I intended to leave basically immediately but it seems the CS:GO matchmaking servers are currently down.
20:09
well I opened r/worldnews and then...
yep the dreamhack ended
@AlexM. Just watch WCS Global Finals instead.
CS GO servers always have issues when that happens because of the post-major stuff
20:24
@Elyse it can if used to power a generator, but really that's exactly why I'd be impressed.
@Borgleader what blackguard would do such a thing?
@StackedCrooked yeah, they're getting creative
> fap alone
user1804599
Fapping alone is quite safe.
Ell
Ell
@StackedCrooked lol
what board do you frequent?
20:39
@Ell that's one of the ads on nyaa.se
Ell
Ell
Oh right
I thought it was just on 4chan
gaah I have a type error I cannot see the reason for
the type of [show ... | ... ] must be [String] right?
Xeo
Xeo
@StackedCrooked J-List ads are typically NSFW
@Ell unless the type doesn't implement Show, then it's an error
@Ell It is
@milleniumbug yep
user1804599
@Ell Yes, because show returns a String.
user1804599
20:48
@Elyse Post that on every SO question.
user1804599
lol
Ell
Ell
intersperse :: a -> [a] -> [a]
if a is String then intersperse :: String -> [String] -> [String]
user1804599
yes
Morning.
user1804599
20:50
simple substitution
Ell
Ell
I just cannot see the type error :( I will try to write an SSCCE
Me, live on stream:
> I have no clue what I'm doing. Where's @Borgleader when you need him
user1804599
Good luck, Ell.
@Jefffrey Maybe.
Ell
Ell
> sep :: String
> sep = "SEP"
> row :: [String] -> String
> row = head
> xs :: [Int]
> xs = [0..10]
> sscce = intersperse sep (map row [show $ xs !! i | i <- [0..10]])
it must be so obvious to you guise :V
Oh wait I forgot expected output
user1804599
20:53
what are those >s
user1804599
and where is the type error
user1804599
this isn't an SSCCE
Ell
Ell
> It's simply self contained crap ell
Don't use !!
@Ell intersperse doesn't do what you think it does, I believe
Nevermind
20:56
What is that map row supposed to do
Ell
Ell
map row is meant to map each item in the list comprehension to row of that item, but now I realise I can just stick that inside the list
Isn't [show $ xs !! i | i <- [0..10]] equivalent to [show i | i <- [0..10]]?
Ell
Ell
@Jefffrey for the sake of SSCCE it is
Check the types of subterms and you'll see where the type error is
Ell
Ell
Couldn't match type ‘Char’ with ‘[Char]’
Expected type: [String]
  Actual type: String
In the expression: show $ xs !! i
In the second argument of ‘map’, namely
  ‘[show $ xs !! i | i <- [0 .. 10]]’
In the second argument of ‘intersperse’, namely
  ‘(map row [show $ xs !! i | i <- [0 .. 10]])’
^this is error btw
20:57
What type does [show $ xs !! i | i <- [0..10]] have?
And look the compiler even tells you
Ell
Ell
why is the actual type String?
Listen to me
What's the type of [show $ xs !! i | i <- [0..10]]?
Ell
Ell
@Jefffrey [String]
So map should take a function from what to what?
Ell
Ell
20:59
ohhhhhhhhhhhhhhhhhhhhhhhhh
Thank you guys
I am ashamed :(
There you go
user1804599
Eww !!.
user1804599
Partial functions!
But yeah, you don't want to use (!!)
It's O(n)
Ell
Ell
Okay
user1804599
21:00
No, not because it's O(n). Because it's partial.
Ell
Ell
I have another idea :)
No because it's O(n).
user1804599
map show (take 10 xs)
user1804599
or, more direct improvement, [show c | (c, _) <- xs `zip` [0..10]]
Yes this is great improvement
21:03
lol
user1804599
Much better then !!.
user1804599
!! is like fromJust; you're doing it wrong.
Also [0..10] contains 11 elements
Not 10
user1804599
Yeah right, fucking inclusive ranges.
good job
much improvement
wow
21:08
I like inclusive there
no fun that languages seem to be 50/50 about it
user1804599
Ruby wins; it has both.
user1804599
PureScript wins even more; it's a library feature.
@Elyse what do they look like?
@chmod711telkitty What?
user1804599
0..10 and 0...10.
21:13
ok ty, think you told me before
Ell
Ell
(also btw @Elyse the > are bird tracks for Literate Haskell)
user1804599
Oh.
user1804599
Ok.
user1804599
Nice, Tcl requires { on same line.
user1804599
set num [gets stdin]
while { $num != 42 }
{ puts $num; set num [gets stdin] }
21:18
terrible
user1804599
This passes only one argument to while.
user1804599
The next line is an invocation of a command named " puts $num; set num [gets stdin] ".
And I've completed 3 competing implementation in the grand old tradition of over-kill answers: live coding session (experiment) — sehe 7 secs ago
user1804599
I already love Tcl.
user1804599
I can't wait to use it in production.
21:21
[1..10] is inclusive in maths right?
set num [gets stdin] is repeated
@JohanLarsson yes
[1..10) would be exclusive
Ell
Ell
Is there a way I can implement instance Show (Maybe PuzzlePiece) where type PuzzlePiece = Int? or do I just have to do data PuzzlePiece = PP int | Blank or something almost certainly ill advised like that
I'd recommend implementing your face first
2
user1804599
No, you can't.
user1804599
You can with a language extension, but you really shouldn't.
21:24
terrible
@milleniumbug maths is always right
local instances should be a thing
user1804599
Also don't use Show for user-facing output.
user1804599
It's for what you'd use repr for in Python.
I have not used repr in Python, but I have seen a Lua repr which was basically summarized as "Help, my tooling is insufficient!"
21:26
@Elyse have you ever implemented syntactic unification for type substitutions?
user1804599
What is syntactic unification for type substitutions?
Ell
Ell
I shouldn't use show? Oh.
user1804599
I have implemented Hindley–Milner type inference.
unification that functional languages often do? Say I have Nil that is defined to return List a, but the function returns List b, so you need to find a <- b substitution before you can return
user1804599
Unify a with b, done.
21:28
right; it gets a bit more complicated :)
user1804599
Nil has type forall a. List a.
it's a trivial case, naturally
I am not interested in solving this particular substitution :P
user1804599
The gist is; turn forall a. List a into List <fresh unification variable> at the use-site, then unify. Extra steps may be needed to prevent Skolems from escaping their scopes.
^ exactly, was wondering whether you've written it before :P
the gist is, your face.
user1804599
21:30
I didn't implement Skolem scope checking though.
user1804599
Was too lazy.
Ell
Ell
Skolem
I have some issues finding an elegant implementation; I've done it like twice with various hacks, none of the solutions is particularly good
was hoping to get some pro tips :P
@ScarletAmaranth lol
user1804599
21:32
Note that this implementation supports System F, not just H–M, and also row polymorphism, hence type inference is a little more advanced.
system F is just first step for me, I need to finish the entire calculus of constructions
user1804599
Why .—.
because I want dependent types
user1804599
You don't need all of CoC for dependent types.
enters the Lounge, reads a few messages, understands 0%, leaves
21:34
you need basically all of CoC for dependent types + type constructors + polymorphic parametrism (off of system F)
user1804599
I love type constructors!
user1804599
What are you implementing?
a theorem prover
user1804599
Why?
21:35
because it's fun and has emerged form something entirely different
user1804599
Use Z3.
I didn't mean to write one
it just ended up being one... :-\
user1804599
ITT ScarletAmaranth accidentally wrote a theorem prover.
I was interested in getting free theorems and implementations out of parameterized types
user1804599
Nice.
user1804599
21:37
When the set of implementations is finite, generate all of them, and make the overall nondeterministic.
Ell
Ell
System F supports dependent types, no?
user1804599
No.
Ell
Ell
Oh wait
it supports subtyping
that's right innit?
@Ell That’s F-sub (likely)
user1804599
No, it doesn't. :P That's System F<sub>&lt;:</sub>.
Ell
Ell
21:38
Okay
I must have misremembered :)
user1804599
AFAIK System F is Hindley–Milner with support for higher-rank polymorphism.
user1804599
Hindley–Milner removes higher-rank polymorphism to make type inference decidable.
user1804599
I.e. you can have forall a. a -> a -> a, but not (forall a. a -> a) -> a.
@LucDanton you always seem to pop up when lambda is at stake ^^
Ell
Ell
is using elemIndex in haskell also discouraged?
user1804599
21:42
No.
@ScarletAmaranth Blame the GW2 servers for crashing at the inopportune time
user1804599
It's pure and total, which are nice properties.
@LucDanton is the expansion out yet?
user1804599
Still O(n) though.
@Ell yes
@ScarletAmaranth yup, it’s been a week
it was more or less smooth, all things considered
Ell
Ell
21:43
@Elyse performance is not an issue for me :)
is it good?
@ScarletAmaranth it’s exceptionally good
@LucDanton huh; how do raids work with no tank heal dps trio? do people stack on top of each other like in dungeons ^^?
raids are not out yet
ah...
well I did kinda dislike dungeons and fractals for this reason
step 1 is always stack on top of eachother
it gets silly
21:44
@ScarletAmaranth from the preview we had during the beta it’s not exactly like that, but it’s not too different from fractals either
@ScarletAmaranth gotta go fast
Ive only been up to like fractal ~30 so I woudln't know; still, not unfun but gets boring at some point
@ScarletAmaranth well under the old system it was the same from 30 to 50, except you have less and less margin for slacking
I think they would add random abilities to monsters... and of course the agony
user1804599
misagony
@ScarletAmaranth you’re supposed to play fractals AR-capped
so it doesn’t hurt—affects healing though
21:48
yeah you can't not have the level-appropriate cap
I might buy the expansion at some point, but have literally 0 time currently
@ScarletAmaranth here are my thoughts on what makes HoT great
does anyone have experience with std::bind on windows?
2
wrapping a __stdcall method
user1804599
Don't use std::bind. It's broken.
user1804599
Lambdas are simpler.
really?
ok, here is my problem: a library expects a C style callback method, and I would like to pass a class method as this callback
so, the solution I found involves dynamically binding a static method to this method
user1804599
21:52
std::bind has several special cases and pitfalls that lambdas don't have.
but it doesn't work because of __stdcall
can't be done.
I would prefer lambdas
__stdcall has nothing to do with it.
yes it can be done
21:53
you can't bind extra data to a function pointer, including a this pointer.
you can only do it if the C API permits a void* userdata argument, in which case you don't need bind in the slightest.
user1804599
If the method is non-static, you need to use a runtime code generator for that, like libffi.
check this stack overflow question out: stackoverflow.com/questions/33464721/…
if the C API doesn't permit an void* userdata argument, find the authors of this API and shoot them in the head
there is code there that should work, but __stdcall messes it up
ah
well I downvoted you for dumping your question
and now I'm definitely not gonna help you
21:54
what?
what do you mean by dumping?
@ElimGarak He send me a friend request on FB
@Jefffrey I have you on Facebook, my love.
I know
@LucDanton yeah I'll definitely buy it... I think winter holidays might be a good time to play a bit :P
wow
Innovation flattens Zest in the first two games
absolutely flattens him

« first day (1842 days earlier)      last day (3331 days later) »