« first day (1833 days earlier)      last day (3132 days later) » 

12:06 PM
how's your gaem going guys
 
Xeo
whose
 
There's only one gaem
 
And you just lost it
 
what eat?
 
user1804599
@TonyTheLion semen
 
12:10 PM
muh not my thing
 
user1804599
good, more left for me!
 
@VermillionAzure Why's that?
 
@TonyTheLion That's because you don't know how to cook it. There are dedicated books if you ever want to learn.
 
@Morwenn lol.
thanks for the info
 
Natural Harvest is one of them IIRC.
 
Xeo
I have that aswell
 
#nerds
 
@R.MartinhoFernandes thanks
 
fuck this unskippable 15 secs YouTube ads
 
adblock
 
12:19 PM
@AndyProwl addblock...?
I haven't seen a youtube add for quite some time
 
oh, you can block them?
 
ofc
 
Xeo
worst thing about youtube ads is that it's always the same one
 
it's not
 
12:20 PM
Yeeeeaaaah, finally managed to crack the fastest known sorting network of size 24 /o/
 
Xeo
for me it is, anyways
 
I've seen two different ads in the last 15 minutes
it totally destroys the atmosphere of Chopin
 
use adblock
 
@AndyProwl Try Œsophage de Tourterelle if you want some destroyed Chopin.
 
I don't want destroyed Chopin
 
12:21 PM
But it's great :D
 
user1804599
Chopin your cock off with an axe.
 
justgirlythings
 
@LucDanton (re: ADL) oh I guess so. Would the types, for arguments, also 'suffer' from that?
 
it cannot be great
adblock plus doesn't seem to be what I want
 
@AndyProwl Actually I always found Chopin boring; it was pretty interesting to find another take on the original pieces.
 
@Morwenn Dude, first pizza is meh, now Chopin is boring
Chopin is the most brilliant musical genius ever
 
user1804599
@fredoverflow yay
 
@AndyProwl I like chopping my Pizza.
 
@R.MartinhoFernandes I take it that can read the key pass file that is synced in via dropbox or what not
 
@AndyProwl I didn't say what he wrote wasn't well-written. I just find the result boring most of the time.
 
12:24 PM
@fredoverflow could perhaps your uni stop using a home-baked video player :P?
 
2 mins ago, by Elyse
Chopin your cock off with an axe.
 
@thecoshman Yes. I use ownCloud.
 
@fredoverflow I started reading that, then it descended into funny stuff
 
@ScarletAmaranth There is a download button below the video. I think the format is mp4.
 
@Morwenn I have no idea how you can find it boring but well, de gustibus
 
12:24 PM
@R.MartinhoFernandes is that hosting on your nas box I take it?
 
@fredoverflow oh, good
 
user1804599
@fredoverflow I want Karel the Robot: Lambda Calculus Edition.
 
I want Karel the Robot: English Edition
 
@R.MartinhoFernandes also, how would you feel about having some sort of offsite replication buddying?
 
@AndyProwl When it comes to piano, I prefer Debussy, Prokofiev, Rachmaninov, etc...
 
12:25 PM
'i want to creat a Programm that play scissor paper lizard'.... lizard?
 
@Elyse There once was a version with higher order commands! Not lambdas though :(
 
@Morwenn Rachmaninoff yay
Debussy's not my cup of tea
 
user1804599
@fredoverflow I want one without side-effects.
 
user1804599
 
12:27 PM
WTF? I gotta reseach this..
 
paper disproves spock?
 
> This variant was mentioned in a 2005 article in The Times of London and was later the subject of an episode of the American sitcom The Big Bang Theory in 2008 (as rock-paper-scissors-lizard-Spock).
 
@Elyse That's going to be very hard :)
 
@thecoshman What do you mean?
 
12:28 PM
Karel The Monad?
 
@TheForestAndTheTrees It'd be illogical to argue against peer reviewed paper
 
Hmm.. it seems that my education is lacking in this vital area of gaming and/or decision-making.
 
user1804599
@fredoverflow Why?
 
@R.MartinhoFernandes basically, I host an encrypted folder for you, and you for me.
 
user1804599
Just use a subset of Haskell!
 
12:29 PM
@Elyse why would sponge win over devil
 
user1804599
Or Mercury!
 
user1804599
Logic Karel.
 
Karel The Robot has no types. Going from "no types" to "subset of Haskell" is quite a stretch :)
 
some more smarts then just that obviously, but at the basic level
 
12:29 PM
@AndyProwl it's just as likely as pretty much any of the options available xD
 
Chat is well coded.png
 
@GregorMcGregor Reload
And make sure you're not in the future
 
@GregorMcGregor Recode
 
@thecoshman I don’t understand the question.
 
user1804599
@fredoverflow untyped lambda calculus, fine. :(
 
12:30 PM
@thecoshman surely the illogical position would be to blindly believe a peer-reviewed paper without reviewing it yourself
god, I sound like Sheldon.
 
is it normal that "debug mode" (with debug symbols and no optimizations) compiles slower than "release mode" (O3)?
 
hi
 
@ScarletAmaranth Yes and no
 
@Elyse What would the type of moveForward() be?
 
It has to put more shit in, but doesn't run the optimizer
 
12:32 PM
@LucDanton say have a function like f(bar b), would that be subject to ADL to distinguish between ::bar foo::bar foobar::bar` etc.?
 
Both of these operations are not cheap
 
user1804599
@fredoverflow there is only type, so that type.
 
@thecoshman wtf dude (also read up on ADL and then you’ll know when it applies)
 
Okay and what would the value represent? A world where Karel has moved forward?
 
@LucDanton :\
 
12:33 PM
I love lambda cactus.
 
@thecoshman it’s not hard
 
inb4 stars
 
user1804599
@fredoverflow the result, yes.
 
user1804599
the input would be the original world.
 
also @thecosh your last two questions were indeed hard to understand. You're probably confused, reading up the basics should help
 
user1804599
12:35 PM
Booleans can be encoded with Church encoding; \xy.x and \xy.y.
 
Let's play hangman: _ _ _ _ _ _ _ _ _ _
 
b
 
there used to be a hangman bot in a chatroom over at EL&U once
 
12:37 PM
None of the above
 
not sure if it's still there
 
The solution is "F U C K V S 2 0 1 5"
3
no wait, he's using 2013
 
@AndyProwl sure am :P
 
user1804599
@GregorMcGregor b u k k a k e
 
Xeo
aaah, so sleepy
 
12:37 PM
@Xeo sleep, then
 
Xeo
I'm at work
 
go home and sleep
 
I sort of get ADL, the actual function that get's invoked is what ever closest matches the type of the arguments passed to it.
 
@Xeo red bull
 
@Xeo sleep at your desk, its a thing where I work :P
 
12:38 PM
@thecoshman no, that's overload resolution
 
Xeo
I went to sleep at 00:30, woke up at 05:00, and couldn't get back to sleep for some reason
 
@thecoshman Then read about it and you’ll know instead of sort of knowing.
 
And I sort of forgot that foo f will mean ::foo f unless some other namespace is being used.
 
ADL is about looking into namespaces where the arguments' types come from
 
Xeo
@thecoshman except it doesn't
 
12:39 PM
@Xeo more or less
 
ITT coshy is too lazy to read the standard
 
@AndyProwl yeah
 
@thecoshman mostly less
 
@TonyTheLion the standard isn't meant for humans... or pirates
 
@TonyTheLion well hard to blame him for that
 
12:40 PM
true
 
but there should be other places than the Standard one can look at
 
@Elyse Fun fact: that's how it's actually implemented, Karel's world is immutable and computes new worlds with changes :)
 
user1804599
@fredoverflow then you can easily do replays!
 
I think I originally did it this way so I would have a chance to detect cycles at runtime, but I never got around to actually check for cycles.
 
user1804599
What are cycles?
 
12:41 PM
half bicycles
am I Luc Danton yet
 
@Elyse provably infinite loops
 
user1804599
You can't detect all cycles.
 
Sure I can... at runtime!
 
@GregorMcGregor No. Luc would have written 'no spoonfeeding'
 
user1804599
12:42 PM
Well, you can detect all cycles.
 
@AndyProwl problem is, if you attempt to make like an abridged version, it'd either be wrong too much, or not abridged :\
 
user1804599
But then you will have false positives.
 
Why? There is no randomness and no input in Karel.
 
@thecoshman there’s not much to abridge, it’s not hard, go read about it
 
Oct 16 at 10:51, by Luc Danton
@VermillionAzure half a bicycle
 
12:43 PM
@thecoshman I was fiddling with the idea of making an annotated standard
 
user1804599
@fredoverflow Wait, Karel's memory is limited to the field size, isn't it?
 
@GregorMcGregor All my certainties just collapsed
 
user1804599
If so, and there's no I/O, then non-halting programs can be detected trivially.
 
user1804599
Just see whether they enter the same state twice.
 
@Elyse At runtime? Yes.
 
12:43 PM
Luc McDanton
 
@LucDanton well that's a silly example, there is no 'i' at global scope, so it's correct.
 
user1804599
If they do, you have an infinite loop.
 
@Elyse exactly
 
> I'm not half the bicycle I used to be (Paul McPaul)
 
user1804599
If they don't, it will halt.
 
user1804599
12:44 PM
Maybe you can make it cheaper and less accurate by using a Bloom filter.
 
@thecoshman There is no 'other namespace' either.
 
@LucDanton give it a global name space struct i{}; and it's fine
 
@Elyse Some infinite loops can be (and are!) detected at compile time, for example while (onBeeper()) turnLeft();
 
@thecoshman But then it’s not the counter-example I meant to present, so please don’t do that.
 
user1804599
@fredoverflow nice, you can optimise that to "throw new infiniteloop();" :P
 
12:45 PM
yes, if you change the code then it’s some other code
 
@fredoverflow If you keep turning left you're bound to fall off the damn Beeper
 
@AnalPhabet I lol'd
 
@LucDanton a counter to be saying that foo is more or less ::foo?
 
user1804599
@fredoverflow can you implement quicksort in Karel?
 
@thecoshman Right.
 
user1804599
12:46 PM
So that it sorts beepers by height.
 
[tag:@thec-so-trell]
 
Karel is Turing-complete, so quicksort should be possible...
 
user1804599
You should try implementing cons lists.
 
user1804599
Or a Brainfuck interpreter.
 
Scope is a fairly important concept dude. I suggest you start there.
 
12:46 PM
I once implemented the Eight Queen problem in Karel, and boy did I have to write a lot of code!
It was at least 300 lines, maybe more, my memory is a little blurred.
 
@fredoverflow well, it is possible, just maybe not practical
 
> Lambda hackery: Overloading, SFINAE and copyrights
 
user1804599
data EmptyList a = EmptyList

sort :: EmptyList a -> EmptyList a
sort = id
 
@thecoshman When people see the word "Turing-complete", practicality usually tends to be ignored ;)
 
sounds like a repf title
 
12:50 PM
@Elyse Also reverse = id and random_shuffle = id
 
user1804599
And id = id.
 
ididid
 
user1804599
Can you implement id in point-free style?
 
point-free means no variables?
 
user1804599
No named parameters.
 
12:51 PM
Not even for lambdas? ;)
 
user1804599
No.
 
lambdabot> @pl \x -> x
id
:(
 
user1804599
id :: forall a. a -> a
id x = join const
 
user1804599
:D
 
12:53 PM
what do all these symblols mean
why are there so many symblols
> >haskell
 
@fredoverflow Without lambdas you’ll need a combinator calculus and id (aka the I of SKI) is one such combinator.
 
@LucDanton Oh, the I of SKI is identity? TIL. What do S and K stand for?
 
user1804599
SKI calculus to the rescue.
 
user1804599
λ :t let s = (<*>); k = const in s k k
let s = (<*>); k = const in s k k :: a -> a
 
user1804599
U combinator would be even more fun but can't be typed in Haskell. :(
 
12:54 PM
@fredoverflow 'Substitute' and 'Konstant' kinda work.
 
user1804599
hmmmm :)
 
Substitute Konstant IDs
 
or else
 
So, what am I going to implement next... I guess void pointers and function pointers, then I can write qsort and bsearch!
 
@fredoverflow well, Turing-complete says nothing about practicality. I'm sure you could argue some of planetry system can be made Turing-complete
 
12:55 PM
it can't
 
@fredoverflow void pointars to ze reskq
 
@thecoshman Aren't crabs also Turing-complete? ;)
 
\o/
10004 points now!
 
@fredoverflow lol, I remember that one
 
@wilx gratz
 
12:56 PM
@wilx BRB, downvoting a handful of answers...
 
> 9,994 reputation
 
you can now snob the low rep filty peasants :)
 
@fredoverflow lol
OMG. Who? sigh
 
Wait, I haven't even started yet!
Someone stole my practical joke :(
 
let's watch some GW2 streams
 
12:58 PM
@GregorMcGregor but the spoilers
 
@GregorMcGregor GW2, for real?
 
user1804599
Who needs stinking limited type checkers?
 
user1804599
λ let k x y = x
λ let s x y z = x z (y z)
λ let u f = (f s) k
λ (u u) 42
<interactive>:13:4:
    Occurs check: cannot construct the infinite type: ...
λ (unsafeCoerce u u :: a -> a) 42
42
 
yeah who even plays that
 
wait, why the hell is release upgrade trying to remove my plasma-desktop
 
12:58 PM
actually, does anyone here play GW2?
 
I used to
 
j’ai piscine a+
4
 
@Griwes Plasma is dangerous to your health.
 
@LucDanton well, watching streams of it sounds like a particularly dull thing, and I do watch lets-plays
 
a+ nage bien mon poussin
 
user1804599
12:59 PM
The function is correct but Haskell's crippled type system is too stubborn.
 
@GregorMcGregor I've been tempted... but I'm bad at sticking to games
time for some good by cake :D
 
easy enough just buy adhesive
 
@AndyProwl FFfffffffUuuuuu!! :D
 
@thecoshman yeah I do
 

« first day (1833 days earlier)      last day (3132 days later) »