« first day (1821 days earlier)      last day (3122 days later) » 

user1804599
12:00 AM
@Mr.kbok still there?
 
user1804599
if yes, IRC
 
D'awwww Jessica Warren and James Aubrey :3
 
@AnalPhabet agreed
@Borgleader wut
 
I'm watching Bones
 
@Borgleader I used to watch that show too, but she doesn't play a very convincing nerd.
 
12:12 AM
@fredoverflow She's a pretty nerd though :)
 
yes
char s[] = "Bones";
--4[s];
12
 
user1804599
@fredoverflow the multiple diagnostic trick I showed earlier works great.
 
kewl
 
user1804599
main.klog:4:1: error: not a definition: '(usr std.io)'
main.klog:5:1: error: not a definition: '(foo)'
main.klog:9:3: error: not an expression: '()'
main.klog:12:10: error: not an expression: '()'
 
user1804599
All from one source file. :>
 
12:18 AM
@fredoverflow bravo
 
user1804599
error: internal compiler error: Prelude.undefined :D
 
@ThePhD hmmmmm?
 
@jaggedSpire Hello
 
@Borgleader Hi!
@ThePhD don't worry, I read nothing.
 
<3, thanks jagged
@Borgleader What're you spending your weekend on? :D
 
12:26 AM
I think I should go get dessert. The question is: do I go the the candy store and get candy, go to the candy store and get ice cream, go to the grocery store and get ice cream for the next few days, or experiment more with my chocolate cake recipe?
 
Any fun games?
@jaggedSpire Go get Icecream, make the chocolate cake, and then blend the two.
 
@ThePhD :O
 
@jaggedSpire Cho-co-late cake
:D
 
I...could ice the chocolate cake with the ice cream
 
NOW you're thinking!
Cake-Core Icecream.
Oh my god it sounds delicious, I want to make some myself.
 
12:28 AM
@Borgleader I was thinking maybe try adding cranberry juice instead of kahlua for the post-cooking additional moisture
something sweet and tart with a nice undertone.
coffee would probably be good too, but I'm not sure decaf is sold at the grocery store already made.
 
Cranberry juice mixed with apple juice is pretty good :)
 
So, I enjoyed myself for faaaaar too long with that pretty impotent grammar :) Here is a nice online demo. I've gathered the livecoding streams here: part #1, part #2, part #3 and part #4sehe 6 mins ago
Geez. That still takes a lot of time
 
(unrelated but wtv)
 
oooh it would be
 
I'm pretty sure I don't recommend Spirit v2 to ... anyone really. Unless they make a living writing parsers.
 
12:30 AM
:(
 
Spirit X3 is said to be much better (in that it compiles fast and hasn't got most of the gotchas)
 
user1804599
Use Parsec.
 
I should totally redo that work in Spirit X3 soon
 
user1804599
and Haskell FFI
 
nom!
 
user1804599
12:31 AM
:p
 
user1804599
never used it
 
user1804599
I know
 
@sehe When did X3 come into boost?
 
I like the name
@Borgleader 1.59 I think. Experimental though
 
12:32 AM
I think the develop branch is way ahead of trunk/master now
 
i assume it didnt improve spirit::lex?
 
It dropped it (AFAICT)
 
damnit
 
Well I'm off to the grocery store to pick up some cake-related stuff and probably cake-unrelated stuff too.
 
@Borgleader There's no concrete plans to weave it in, but the design should in principle still support it
 
12:33 AM
@jaggedSpire hf
 
@Borgleader Thanks
 
user1804599
not sure if I want homoiconicity
 
Chicken, Fries with BBQ sauce
hmmmmmmmmmmmmm
 
@Borgleader I had a burger with fries and bbq sauce earlier.
 
12:45 AM
I had a burger with fries and a sauce I can't remember the name of earlier
 
Burger club \o/
 
mil islas sauce
it wasn't very amazing
 
user1804599
Great album.
 
Thousand Island dressing is a salad dressing and condiment based on mayonnaise and can include olive oil, lemon juice, orange juice, paprika, Worcestershire sauce, mustard, vinegar, cream, chili sauce, tomato purée, ketchup, or Tabasco sauce. It also typically contains finely chopped ingredients, which can include pickles, onions, bell peppers, green olives, hard-boiled egg, parsley, pimento, chives, garlic, or chopped nuts (such as walnuts or chestnuts). == OriginsEdit == According to The Oxford Companion of Food and Drink, the dressing's name comes from the Thousand Islands region, located along...
 
12:48 AM
hahahah top kek kids these days
 
could just be something else and reusing the name though
 
@LucDanton it looks like what they call mil islas
anyway the mil islas was for the fries
the burger used ranch
that one was great
but I've yet to meet a sauce that kills my favorite sauce combo that I always get at subway
honey mustard + chipotle
on bacon and beef
you can't beat that
the point of monads is to provide a context in which operations on the contained types can be chained
what a crazily unintuitive way to this
but at least it's clicking now
 
@AlexM. no
Don’t worry about monads.
 
@LucDanton hey man no one disses thousand island
it's yummy
 
@LucDanton what is it then
 
12:54 AM
@Rapptz I’m not dissing anything.
 
why would you put something in a context and provide a way to bring other things in it if not for chaining
 
@AlexM. As they saying goes, they’re monoids in the category of endofunctors. It doesn’t matter. You’ve found instance Monad Maybe helpful. Maybe you’ll find other instances helpful. Maybe you’ll start using operations that don’t depend on the choice of instance, meaning that you’d really be coding against class Monad. But you don’t have to know about monads.
 
@LucDanton oh I meant alex
it's really good on chicken
 
what if I want to know about monads
this is unrelated to what I was doing before
 
@AlexM. Well then if you have to know, it’s the other way around. Bringing a context along is monadic (i.e. an instance of it).
 
12:58 AM
Blah. These equations are dingus.
 
Focus on join btw (or >>=/>=> if you prefer). A lot of literature mention things like replicateM or what have you to illustrate why Monad 'matters' but those things actually apply(hah) to Applicative or Alternative, not Monad.
 
> In functional programming, a monad is a structure that represents computations defined as sequences of steps: a type with a monad structure defines what it means to chain operations, or nest functions of that type together.
are you sure I'm getting this wrong
I mean sure category theory may see it differently but which one is relevant here
 
@AlexM. My point exactly. I’m suggesting you start with the instances, then the Haskell type-class, and maybe you can learn about the actual concept.
I’m ordering by relevance to your code needs. It’s not harmful to know about monoids in the category of endofunctors.
 
but that's what I was doing
that's where I got the idea from
 
@AlexM. I don’t know of any resource that’s helpful for learning about class Monad, except maybe 'You could have invented monads'. I know of a lot of resources that give you a superficial non-understanding, which I do find harmful.
There’s also the fact that the notion of type-classes is weird from a programming point of view.
 
1:03 AM
I wonder why return is called like that, it looks more like a constructor to me
 
This makes no sense.
It provides the Chromaticity for RGB elements...
But it gives EIGHT elements, when its supposed to be 2 per
What the fuck are the other 2 chromaticity values for?
 
btw I recommend learning about instances first because I find that actually helpful and fun. Juggling lists is cool. I don’t mean to demean anyone by it.
 
Ell
Herro
 
OH
It's for WHITE.
Red, Green, Blue, WHITE.
But where does the white point come from?
From the primaries value...?
 
is white like a different term for alpha
 
1:09 AM
Not really
 
@ThePhD when in doubt /cc @ElimGarak
:)
 
Chromaticity is an objective specification of the quality of a color regardless of its luminance. Chromaticity consists of two independent parameters, often specified as hue (h) and colorfulness (s), where the latter is alternatively called saturation, chroma, intensity, or excitation purity. This number of parameters follows from trichromacy of vision of most humans, which is assumed by most models in color science. == Quantitative descriptionEdit == In color science, the white point of an illuminant or of a display is a neutral reference characterized by a chromaticity; all other chromaticities...
 
For instance, it’s possible to translate a list comprehension into a general Applicative/Monad (and Alternative/MonadPlus) comprehension. It’s reusable knowledge.
 
@Borgleader We can do this without him! D:<
Besides, he's sucking his own dick right now.
 
... wat
 
1:09 AM
@LucDanton man I'm not going to stop and switch to sth else, never did
it's a waste of time
 
@AlexM. I don’t understand.
 
15 hours ago, by Elim Garak
Alright, initial ARM NEON slow variant of 4x4 matrix-matrix mult yields 5x speed up over scalar. I think I'm going to go suck my own dick then proceed to test the other variants.
 
@LucDanton if I start reading about sth I go on until I'm done
 
@AlexM. If you take the 'computation with a context' model too close to heart, you may be surprised when you run into the Cont instance. (Which I can’t help but notice is missing from the list of instances.)
 
1:27 AM
@ThePhD This is delicious. You monster, you.
:)
 
@jaggedSpire She said responding to a message about sucking ones own dick.
 
@Borgleader vOv
What can ya do?
Sometimes it just happens
Gotta say, I think I might prefer the kahlua to the pomegranate juice.
 
Ell
mmm kahlua
 
Oh well, now I have one of my favorite juices in my apartment, and plenty of ice and a few fresh glasses
And double chocolate gelato
And I still have kahlua...
whatever shall I do
the answer, of course, is listen to "Actual Cannibal Shia LeBeouf" a few more times.
so funny
 
user1804599
cool, now I also treat => as whitespace.
 
1:34 AM
hola
 
cola
 
user1804599
which is very nice:
 
user1804599
(logger (->record level => level
                  message => message))
 
@jaggedSpire . imgur.com/AQSHQOB
 
1:42 AM
@AlexM. ikr?
molas are the largest bony fish in the world, and cousins of pufferfush. :)
they're about 14 feet tall and 10 feet long
 
truly they are the whales of the sea
 
Ell
my report is too large
 
@LucDanton :D
@Ell decrease the margins
 
Ell
I tried already
I need to make the title more compact
 
1:59 AM
maybe reduce the line height
 
Ell
why am I hungry
I've eaten so much
 
you gon' be fat
 
Ell
I'm alr3ddy fa7
 
that's because you're shopping around for a laptop while claiming you can't afford a gym membership
SHAME!
 
Ell
@nick lol trudat
I'm actually 83kg atm
 
2:09 AM
@nick Well its true
he cant afford it
not after buying a laptop
 
Ell
^
;)
 
fun fact: if 1 CPU cycle took 1 second, your computer would take 4000 years to boot (assuming 40s standard boot time)
 
Ell
@nick the gym isn't good for losing weight anyway
eating less is
 
@Borgleader :P
Ell you're clearly on a computer anyways why do you need another?
 
Ell
so i can take lectyour notz
 
2:12 AM
BACK IN MY DAY, we used a thing called a pen and a sheet of paper
 
Ell
I use it too
but for programming it's bad
in all seriousness, it's more so I can google things or talk in the lougne during lecuters ;)
 
and true, so eat less so you can lose weight and save money on food. which means you can buy a better laptop
they don't let you google things?
 
@nick you changed your nick to nick from nick
you have reclaimed your nick niche of nick from your nick niche of another nick nick
 
@orlp ._. disappointment was real
 
Ell
2:14 AM
@nick yeah I am losing weight currently
 
@jaggedSpire OH MY GOD STOP
 
Ell
well, I have been maintaining for last 3 weeks
via copious amounts of alcohol
 
@nick :( okay
 
@jaggedSpire he's the nickiest nick
 
Ell
but I am resuming calorie deficit tommozz
 
2:14 AM
I changed it because it was rendering weirdly in SO flairs and people were having a hard time pinging me
 
Ell
@nick well I don't have a laptop do I?
 
@nick Ah.
 
like, turn your damn keyboard over its not that hard
 
Ell
I only have desktop which is here at home
 
@nick lel
@ScottW SCOTT!
mumble?
sweet
 
2:16 AM
@ScottW NOOOOOOO
@Ell yesterday, you said tomozz
 
@nick at least it's not a word avalanche
 
ok I saw "work avalanche" and immediately started looking for the door
 
Ell
@nick nah m8
 
Ell
I've lost 12kg already
which I'm happy about
 
2:17 AM
work is something to delegate
@jaggedSpire wat is this
 
@nick :D
fun
 
that explains everything
brb food
 
Ell
RIIISEE WARRRIORRRRRRRRR
anybody playd Volgarr the Viking?
top notch game, that
 
Dooo dee doooo.
Hiiiiii scott.
Only if you promise to smother me in love every Wednesday.
Sob.
I guess I can.
 
Ell
okay so I am 8th out of 164 in my class
 
2:22 AM
SOB
 
oh man I'm getting popcorn
 
is popcorn a bad disease?
 
@ThePhD I'll take thunrsdays :)
 
Ell
yeah it means bad
 
@Borgleader You should take Sundays instead,
 
Ell
2:23 AM
I need to get to 1st
 
because you're my bright morning star. ♥
 
Don't worry, @ThePhD, we can lure unsuspecting people into The Way of Catface together
 
@ThePhD Why not both \o/
 
Ell
yeah I need to be the wurst
 
@jaggedSpire I am not part of any such order!
 
2:23 AM
@ThePhD oh sorry, my mistake
 
@jaggedSpire No!
@jaggedSpire Grumble.
 
@ThePhD :3
 
what's going on in this thread
 
q_q
@AlexM. Torment beyond measure.
 
I just thought you might have been having second thoughts...
 
2:26 AM
Never.
 
@ThePhD feel the power of the catface, know the happiness it can bring
 
@Borgleader :D
 
Ell
guys cmon
 
@Ell what?
 
Ell
2:36 AM
just seriously man
please
 
@Ell whaaaat
 
Ell
I'm not being funny
just take a look and you'll see for yourself
 
o.o
what are you on about?
 
seriously this is pretty out of context, I think.
 
maybe hes drunk
 
Ell
2:37 AM
I'm just saying it's not a joke any more
 
but no typos...
 
Ell
I'm really going to be upset if this continues
 
...you need to be first in your class?
 
Ell
lol I'm just having you guise on
Idk what the fuck I'm talking about
there was silence
and I wanted to fill it
 
oh good for a second I thought one of us was having less sleep than I thought
 
Ell
2:41 AM
I am not well rested in fairness
 
neither am I. We can be sleep deprivation buddies!
 
Ell
you know what that means right?
wait. How old are you again? :V
 
@Ell kahlua drinking game?
23
 
Ell
It means that we should sleep together
Since we are both deprived
 
@Ell excellent plan
 
2:45 AM
@Ell you smooth motherfucker
hahahahaha
 
@Borgleader p funny
 
Ell
But Kahlua is good too
 
@Ell Yep
 
Ell
Do you have Scott on fb also?
 
nope
 
Ell
2:57 AM
Kk
 
did check fb today though. Apparently someone pinged me there a month ago
vOv
 

« first day (1821 days earlier)      last day (3122 days later) »