« first day (2249 days earlier)      last day (2705 days later) » 
00:00 - 19:0019:00 - 00:00

7:39 PM
I just looked at it and saw "do we really need concepts?" and my main question to that is "do we really need templates? they are just functions that operate on functions and types" :P
 
Ell
@Griwes your language has type level functions doesn't it? :P
So surely you can answer your own question
 
:P
Currently there isn't much you can do with that, since there's still no way to actually write a user-defined type (I'm half-writing, half-thinking-over how exactly to represent some things in the semantic DAG), but once that exists, it'll be possible to start doing metaprogramming.
 
Ell
I can't wait to break that :D
 
Not very useful yet, since AFAICT all that'll allow is to write function foo(t : type) { return struct { let a : type; }; }...
I will kind of have templates, but mostly because pattern matching on signatures would be abhorrent without that, but eh, I don't think an STL-wannabe will require that, frankly.
 
Ell
@Griwes What will your typeclass syntax look like?
I want to have some code ready to break your compiler with
 
7:48 PM
(Unless I invent a smart way to do this otherwise, but either way it's meant to be the same as foo :: Functor a => a -> a in Haskell.)
@Ell lol
Also: I still don't actually have tests beyond the parser, but I'm nearing the part where I need to have individual compilable files to check whether compiling them works on CI.
@Ell This is a syntax bikeshed for typeclasses.
Will probably change a few times before I implement them, and will most certainly change after that. :D
I'm currently mostly torn between "allow custom operators (and lead to the state of Haskellhell)" and "don't allow custom operators and make the available ones always refer to a specific hardcoded typeclass".
 
Ell
allow custom >:D
and lead to the state of agda hell
 
@Griwes Semantics aren't DAGs, they're full graphs.
 
...right. Brainfart due to not enough sleep over the weekend and long work hours today. Sorry.
Thanks for the sanity check.
 
Ell
hmmmm
 
@Griwes Nice of him, but seems superfluous. You're in the Lounge, so your insanity is obvious. :-)
 
8:05 PM
@Griwes a `fmap` b isn't much worse than a <$> b
 
@milleniumbug Well fmap and mbind are the two things that I do like having an operator for... :P
But the thing is, if I don't allow it, I end up with a shitton of things that are baked into the compiler.
If I do allow it, I end up with a hell unleashed.
 
Ell
@Griwes they don't have to be super "baked in"
 
If they are not baked in, then I'm effectively allowing custom operators.
 
Ell
you could write the compiler as if you were allowing them
but then don't expose this
it'd be easy to change this then if you change your mind
okay griwes I think I have code ready to break your compiler with :3
let me just check it again xD
 
8:21 PM
Show me. xD
 
Ell
gimme a min
 
This is some next level bullshit, though, trying to break a compiler feature that doesn't exist yet. ;D
 
Ell
@Griwes can I put a with before a function?
like, how do I do template<class T> void myfoo(x T);?
let foo = with(T : type) function(x t);?
 
The MSVC Build Tools installer has a facultative option that you can't uncheck. Great job.
 
facultative?
 
8:35 PM
Optional, sorry for the Frenchism :p
 
@Ell Yes, although function is always a statement.
 
Ell
eh
it's not a statement here though right?
 
@Ell what I meant is that you will be able to write with (T : type) function foo (x : T) {}, but for what you wrote you'd need a lambda instead.
 
Ell
ah okay, nah your form is fine for me
@Griwes what do type aliases look like?
or template aliasse
 
@Ell let foo = bar;
@Ell didn't think about that yet, but prolly something similarly easy (like let foo = with (T : type) bar(T);.
wait
let foo = bar; will also work for template aliases, since templates are first class.
 
8:48 PM
Anybody there ...???
 
Ell
bin
 
@Ell Nah, there's a dedicated room.
 
@Mysticial <3
 
Fuck, I still missed one.
 
Ell
8:55 PM
@Griwes how do you construct stuff?
 
braced init
(I mean, after I finish implementing structures. :P)
 
Ell
@Griwes I'll do the code at some other point
I had what I thought was working
but then I refactored badly
and now I can't remember what the original looked like vOv
but it was just russells paradox really
because you don't have universe polymorphism :P
basically create a set type which takes a T -> Bool, write a compliment function which returns the compliment, create an isElementOf, create a notMemberOfSelf set, check whether type is a member of notMemberOfSelf, do something conditionally on that? vOv
a while loop is a much more practical way to break it though I suppose
 
9:18 PM
@Ell meh, boring
 
Ell
@Griwes still enough :P
 
boring :P
 
lisa it's your birthday, happy birthday lisa
 
@fredoverflow that explain things.
 
10 minutes into VC2015 and chill: it's already too late for hope. Variadics seem broken beyond repair.
 
Ell
9:32 PM
@ScarletAmaranth @Ven I am so confused
3
I thought you were the same person :(
 
facepalm
 
Ell
oh wait
no I didn't
ahh I just got vivi mixed with ven xD
 
I am Vivi
you asshole
:D
 
Ugh, be it variadics, constexpr, non-type template parameters and lack of alternative operators without<ciso646>, MSVC seems way beyond broken. That's terrible .______.
 
Ell
9:33 PM
@ScarletAmaranth yeah
:D
@ScarletAmaranth @vivi I am so confused, I thought you were the same person :(
^this is what occurred in my head :P
 
could be because I am, in fact, the same person
 
Ell
yes haha
Are you on fpchat btw? Tel is a genious :O
I mean, you're a genious too ofc O:)
 
Nope, no FPchat for me.
I barely have time for lounge.
 
scarlet what's kickin m8
 
are you Cakadi?
 
9:38 PM
guess again
 
Ell
It's doggo
 
It's a sledgehammer.
 
ScottW?
I can barely keep track of my IRL shit guise... today I mistakenly failed a student I didn't mean to, he sent me a rather confused email.
 
@Morwenn You thought I was a sledgehammer but I'm doggo. Bamboozled again.
 
@ScarletAmaranth hi
 
9:41 PM
@Callionymusneptunius second try ain't bad, I am always on the lookout for Cakadi's shenenigans; I am well, albeit busy - thyself?
 
@набиячлэвэли I fear you're wrong
 
Great Club > Sledgehammer
 
@ScarletAmaranth same, you should come to our discord
 
@Callionymusneptunius I've been there since its conception, pffft :P
 
Ven
@Ell uwot
 
9:43 PM
Those beautiful rollcatches with the golf swings
 
@ScarletAmaranth what's your name on it
 
@Callionymusneptunius Vivi
 
omg i didn'tk now!!!
 
that's becuase you didn't join the discord hype train fast enough
 
huh i was there almost instantly
i just think no one knew who the hell each other was
 
9:45 PM
Who is Callionymus
 
at first you couldn't change nickname
 
Mysticial?
 
Pandza?
I thought he was still Garak. At least till ~last week
 
9:46 PM
not a sexy croatian mofo sorry
 
@sehe Doesn't feel like him
 
Mmm. You one of the merkins?
Trying to think of two names, one with ... bird like/seal like avatar
 
@набиячлэвэли yeah, not anywhere near enough GPU talk
 
Ven
he's Sexy
the big great n quick raiden
 
@ScarletAmaranth Not even that
The linguistical constructs match not those of Garak
 
9:48 PM
@Morwenn In the side-bar recommendations, that gets another vibe now
@набиячлэвэли Not nearly. Just would like to know. No biggie. I'll figure it out one day. Or not
 
Ell
@ScarletAmaranth oh dear :V
I'm sure he wasn't pleased at that
 
@sehe all's you's gotta do is scroll's up
 
Like I said. Maybe one day. Programming here :)
 
@Ell yeah well I told him he passed at 10am and then failed him in uni database at 5pm :P turns out there were two folks sharing surnames, I failed to realize the entire semester
 
@Callionymusneptunius Cool new avatar
And long time no fooking seen
 
9:51 PM
@ScarletAmaranth you FAILED because of your last name
@sehe i've been on discord
 
Oh I believe you. I, technically, am too sometimes. It's not doing much for me yet
 
@Callionymusneptunius I really wish that would be a legit reason, some surnames are just shit, I am sorry :P
 
Ell
discord is bad :(
as a piece of software I mean, not the people
 
i somehwat agree, it has some ways to go
but i like the style of it more than most other things out there
skype for example
is utter trash
 
I don't. It couldn't be more overcrowded with non-features
Skype is spartan in comparison. Which is good.
 
9:53 PM
I have a guy whose name translates to "thin mud"... fuck off dude :P
 
It's basically an IRCxMumble love child
 
Slack is also verging too overcomplicated though I think it has a better balance
 
oh yea didn't we have a slack? i completely forogt about that...only logged in like twice ever
 
@набиячлэвэли Teehee. If you add all 7928 IRC clients together you have about the nominal list of UI elements in the main Discord screen
 
oh noes, UI elements! run for the hills
 
9:55 PM
Well. We're not all so versatile
 
@sehe Wow, now that sounds pretty mean.
 
With that pic & the music
 
user1804599
Awesome new emojis
 
user1804599
🤡
 
user1804599
🤡🤠🤤🤢👨🏻‍🏫🦊☄️
 
user1804599
9:57 PM
So rad
 
        m_unescapedId %= boost::spirit::qi::lexeme[*(boost::spirit::qi::char_ - (boost::spirit::qi::lit(m_fieldSeparator) | boost::spirit::qi::lit(s_quoteCharacter) | boost::spirit::qi::lit(s_crCharacter) | boost::spirit::qi::lit(s_lfCharacter)))];
        m_escapedId =
            boost::spirit::qi::lexeme[*((boost::spirit::qi::char_ - boost::spirit::qi::lit(s_quoteCharacter))[boost::spirit::qi::_val += boost::spirit::qi::_1]
            | (boost::spirit::qi::lit(s_quoteCharacter) >> boost::spirit::qi::lit(s_quoteCharacter))[boost::spirit::qi::_val += s_quoteCharacter])];
What the fuck did I run into this time
Who the hell codes like that
8
 
@rightfold hey qt, is that pic really u :3 :3 :3
pullin' a classic cicada eh
god that was so cute when bartek and cicada were an item
 
> cute
:)
 
Ven
@Callionymusneptunius they even made a game together!
@sehe I admit to being unable to read that.
 
@Ven mm, the romance is in the air tonight <3
 
Ven
10:04 PM
you know it bby
 
lmao tatsoryk
i called it, dead shortly after i cursed it
 
Ven
:)
 
it was doomed the moment it had the same letters as "kyrostat"
 
@Ven It's stupid code and it's making me very angry
 
not wholly certain but I think that Wide is by far the longest-lived project in the Lounge
 
10:09 PM
> in
yeah
 
Wide was "in" the lounge?
 
i think rightfold is the longest living project in the lounge
and my god did we fuck up
 
We’ve done it, world. We found a theory Alex Jones is not willing to get behind. https://t.co/kGE6CM6s9X
 
we created a COBOL monster
 
A COBOLd
 
10:17 PM
A CUCKOLd
 
@Griwes Theory: Alex Jones does not exist
 
Ven
10:43 PM
I propose to rename Java's "design patterns" to "boilerplate shapes".
 
11:07 PM
@Mysticial Well, Puppy talked about it quite a bit anyway. As I recall, at least one other person also played with his code at least a little bit.
 
-1
Q: windows.h no such file or directory (compile c code on linux)

JojaI have a c program that includes a header . This program works fine on windows but on linux when I compile the code with: gcc main.c -Wall -o main I get: main.c:2:10: fatal error windows.h: No such file or directory compilation terminated Do you have any idea why this error happens and how to...

gee, I wonder why... @Mysticial @Borgleader
 
Ven
@jaggedSpire @Borgleader your daily handmade cat nicety! imgur.com/a/jUAn6
 
lol "performance" and "linked-list" tag
also "node.js" and "c++", seriously
 
I'm more concerned about the .
It's a C++ question on Code Review.
 
11:22 PM
-3
Q: how to increase performance of c# codes

Sadegh SalimianI am working on a code in c# which I need a very good performance. I selected c# for it's GUI and high level language. in some parts of my code I need to process huge data for image processing.but the operations is simple like matrix product. and in some cases FFT. so I define a class which have ...

~~purrformance~~
 
"codes"
Fucking hell it's a mass noun.
 
Time to shleep.
 
Whakle up shleeple
 
Whale up.
 
11:40 PM
don't go to sleep now
that'd be a waste of time
 
Ven
yup
 
@Ven :3
@milleniumbug wowwwwwww
@Mysticial Friendly reminder to send me that thing from meta. TIA.
 
Ell
johnathon blow says parsing is almost embarrassingly parallel :3
 
yes just launch a new parser for every file
(that's the "almost" part)
 
Ell
right
but what if we are working on one file?
 
11:49 PM
@milleniumbug AHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHA Fail
@Borgleader Gimme 2 hours. Still at work atm.
 
@Ell parsing is a no-op
(just parsing, that is)
 
Ell
yes I suppose :P
 
simplify your language so every sequence of bytes is a valid text, and parsing becomes literally embarrassingly parallel
 
00:00 - 19:0019:00 - 00:00

« first day (2249 days earlier)      last day (2705 days later) »