« first day (1867 days earlier)      last day (3074 days later) » 

4:00 PM
Oh, what about 'red lemonade'. I'm still trying to work out what it is myself.
 
@MartinJames mmm
 
user1804599
Yummy, more pickles.
 
sbi
@thecoshman Had you been on Twitter about a month ago, you would have seen that I was baking these.
 
ooh, I have pickled chillies in cupboard... should try them soon
@sbi I saw that, and responded, you were stealling cake
 
user1804599
4:01 PM
@BartekBanachewicz I implemented part of a type checker with refinement types once. :D
 
user1804599
Also with Z3.
 
That's a different sort of bread/cake though, no?
 
sbi
@thecoshman Oh look, you were.
 
I know :)
@Sbi are you known for good stolen cake?
 
sbi
@thecoshman Yes, of course. The local variant here has much more than just raisins, but this looks very close.
 
4:04 PM
@sbi It's an odd picture, it often looks much darker and denser, almost like a fruit cake
 
sbi
@thecoshman Stollen. I don't think I'm known. It's always a surprise how this year's batch turns out. The last four years have been pretty good, though.
 
Is that a cake that would traditionally have a coin hidden in it?
 
darker!!!!
 
@thecoshman Not if it's been stolen.
 
sbi
4:06 PM
@thecoshman I can't remember such a custom. (Which doesn't mean that it might not be practiced by the inhabitants of a small Saxon village somewhere.)
 
@sbi Stollen :o
 
@Morwenn Brack I believe
 
sbi
@Morwenn Yes. We'll cut our first this Sunday. Yum.
@thecoshman Wrong.
 
@sbi oh, yours? oh, no
 
@BartekBanachewicz oh wtf, Z3 is MIT?! much impress MS
 
sbi
4:07 PM
@thecoshman Wikipedia's‌​.
 
@sbi Not sure I've ever eaten a real one. But it looks sooooo tasty.
 
@Morwenn same here, I've had store brought stuff, but I doubt it's as good
 
sbi
@Morwenn It also tastes rather good. Well, you gotta have a sweet tooth to like it.
 
@sbi iow, you have to be a decent human being :P
 
sbi
@thecoshman A good one ("Dresdner Christstollen") costs >€10 in the supermarket. (Not much more than ours, I bet, if you count the energy we waste on baking them for a day or two. The ingredients alone add up to €6-8 per loaf.)
If you have spend less, they weren't good.
 
4:10 PM
@sbi they weren't good :P
Oh... I have pumpkin mush (can't spell the p word) to make a pie with
shame I haven't really got anyone to help me eat it though :'(
 
user1804599
@ScarletAmaranth It was changed to MIT recently.
 
Be a shame to let it go to waste, they don't sell the cans like they do in america
 
@Elyse I thought it wasn't MIT, that's why I am a bit confused; this explains it
 
Hmm... do I want pasta things, or cheese and meat nibbles for dinner
 
@thecoshman Cheese & meat noobles.
 
sbi
4:19 PM
@thecoshman :(
 
@Nooble yeah, but stuff is already opened... not sure how long it will last
@sbi worse, I don't eat that much and it'd be a big cake/pie thing
 
sbi
@thecoshman A friend of mine once cooked a wonderful noodle sauce, like Bolognese, only with pumpkin, rather than tomato sauce. Yum!
 
@sbi done that too. A sort of creamy sauce with chunks of roasted pumpkin
 
sbi
@thecoshman Put the remains into the freezer.
 
@sbi Oh yeah... despite that puree being in the freezer now, I forgot I had one to put the pie back into :P
 
sbi
4:21 PM
 
@sbi that's adorable
on a serious note, if you are going to start feeding birds, don't stop at winter time
on a silly note, if you are feeding birds, put glue on the bird feeder, then you can enjoy them for ever and ever
 
i have to start using liquid haskell
 
I have to sort out a hosting for my email...
after that server died, I couldn't be arsed to set it up again, only to continue not using it
any way, home time :D
 
sbi
Indeed. I'll leave, too.
Bye!
 
@sbi Oh dear
 
4:29 PM
> A formal verifier doesn't make off by one errors.
whistles #esoteric
 
@TonyTheLion Gallons upon gallons of freedom units.
 
:)
Happy Thanksgiving @Nooble :)
 
@TonyTheLion Thanks :D
No school tomorrow either.
 
Yay :)
 
Which means from now until tomorrow night, Lumiukko will get some work. /cc @набиячлэвэлиь
 
4:38 PM
@Nooble ayy
Do you like the tests I implemented?
 
@набиячлэвэлиь I haven't tested the tests yet.
But they look fine.
 
@Nooble I mean, how I implemented the tests
I should also remove Catch as submodule and CMake-download the Catch single-include
 
@набиячлэвэлиь Nah.
 
CMake downloading deps is a horrible idea.
 
4:40 PM
@BartekBanachewicz what about fibers and boost coroutines
 
@Mr.kbok fuck boost and anything C++ related
 
@набиячлэвэлиь Because then it doesn't show up in the repo :P
 
@Nooble It does
in cmakelists
 
@BartekBanachewicz eh. you can use win32 fibers in any language really
 
4:43 PM
@набиячлэвэлиь dependencies should show up in external.
 
@Mr.kbok well dunno about fibers specifically
@Nooble npm differentiates between "dependencies" and "devDependencies" FYI
 
@Nooble You can have a file with the url and read it
 
not that C++ is even remotely close to a working package manager but
 
4:45 PM
> Why not Haskell?
* Lots of new terminology
* Mutable state takes more effort
* Laziness changes how you need to reason about code
* Once you get used to it, these aren't problematic
 
...and then web developers around the world rejoiced https://www.microsoft.com/en-us/WindowsForBusiness/End-of-IE-support
 
@набиячлэвэлиь Yes I know about ExternalProject_Add. In fact, my horrible experience with them is documented here in the lounge.
 
how to avoid speeding fines https://t.co/wToOaKqSU6
@Nooble Is it that bad?
 
@BartekBanachewicz You are still beside Haskell side I see
 
4:52 PM
@Nooble cmake is horrible stop using it
 
I'm happy to see that
 
A bit sloppy though
inb4 hands up, hoping you don't die after the game is over
 
@Jefery "still"?
 
I'm going towards the "Let's work with Haskell" swing of my pendulum again
 
@набиячлэвэлиь People stopped giving a fuck about IE a long time ago :P
 
4:56 PM
drunk
 
@Jefery I did write some Rust in the meantime mind you
not nearly as practical and usable as Haskell though
 
I wanna go hoooooooome
 
I'm going towards "I want an Audi TT" swing again
 
@BartekBanachewicz I'd like to have a discussion with you about function overloading in Haskell. Only focusing on the cons of that.
 
4:57 PM
@ElimGarak Not sure why they'd keep the door locked after being surrounded
 
@Jefery you mean cons of lack of overloading?
 
Cons that overloading would bring.
 
complexity.
done.
 
And by overloading I mean it in the C++ sense of having two functions with the same name but different arguments types.
 
@Jefery open or closed?
as in, can I add my own overloads later or do you want to provide them all upfront
 

« first day (1867 days earlier)      last day (3074 days later) »