« first day (1860 days earlier)      last day (3313 days later) » 

20:00
@Jefery I haven't got anything. You play on EU servs?
Yeah
@Ell That's brute force. No LU - whatever -decomposition in reach?
@Rerito Try #2179
add me as well
Ell
Ell
@decltype_auto LU -whatever -decomposition?
Ohhh
Sorry I meant by hand :)
20:02
by hand? why would anybody do that
@Jefery Done
And I got yours I presume @BartekBanachewicz :)
Wait
20:02
2179 sounds like a small number
user406009
@Puppy Doing things by hand is sometimes useful for understanding an algorithm.
maybe if you have the brain of a shrimp
or wait, let me rephrase that.
@Jefery Try the nick+ the #number
understanding the algorithm is worthless, more or less. get it correct, forget about it and move on.
Shit
20:03
Oups wrong reply
you only need to understand it enough to code it
@Puppy oh thats where I went wrong :/
I tried to understand the damn algorithms
@Rerito Check now
is puppy playing "whatever I don't understand is dumb" card again
no.
20:03
@Jefery Damnit nothing
i take it as a "yes"
that is completely different to what I just said.
user406009
@BartekBanachewicz No
@BartekBanachewicz not really
I tried "rerito#2331"
20:04
add a space between the o and the #
no, don't add the space
I merely made an observation as to the relative costs and benefits of detailed study of a particular small piece of code.
Ell
Ell
@Puppy what
are you having a laff
understanding algorithms is of course important
namely, that there is none.
it's no different to micro-optimization.
Ell
Ell
20:04
how do you modify it to meet your particular needs if you don't understand it?
puppy so nihilism
@Rerito Now?
@Ell I don't. Why would I need to?
Well still nothing
it does one and only one thing; if I need it I use it else I find another
Ell
Ell
20:05
@Puppy because there are no algorithms that meet your particular need
this is just the closest one
Ill try to relaunch the game
in that case
at the very most, I would step through it with a debugger.
@Ell I did that in my sorting library. Several times.
I would never attempt to do anything so pitiful as to execute it by hand.
Ell
Ell
@Puppy like that's going to help
20:06
@Ell A lot better than doing it by hand
Ell
Ell
abstract view is much easier to understand than the implementation of an algorithm
at least the CPU won't make some dumb mistake and forget to carry the one and invalidate the whole results
not to mention that it might get done today
@Jefery Gimme your full tag
Jesus christ
Sometimes I'm thankful SO exists
I can't stand a whole page of "Same here", "I have the same issues" and "Not fixed yet".
user406009
@Jefery You can open a new question on the SE games site!
20:09
@Borgleader <3 <3 <3
"If you're both definitely on the same region and can't add each other..."
Shit
What does it mean by "region"?
@Jefery I'm on linux on the laptop, and their web ui doesn't show friends... -_-"
Europe or State?
@Jefery EU, US, Asia etc
¬_¬ so friend wanted to send me some images... his transport of choice, facebook. Not email, not using the shared folder we have via dropbox; he choose facebook. What is wrong with the world?
20:10
@Rerito Jefffrey#2179
My Region is "Europe"
Got them both
Finally
I've got some fun decks, not necessarily competitive but quite fun
@thecoshman your friend forgot he had the dropbox?
Like
For example I'm already done
Anyone here who is an addicted "classical gamer"? Bridge, chess, backgammon, Go?
I used to play chess and enjoyed it
But it's been ages
20:17
@Rerito Same here
I need sugar
Brb gonna fetch some cheese
@BartekBanachewicz Up for a battle?
@chmod666telkitty What was that for?
@Jefery I'm up for getting a PhD
or something
my life's a waste
20:19
lol
I haven't achieved anything
my code's shit
Are you drunk?
no
I just had a daydream about being a mathematician again and you broke it
@Jefery Now that you mention it, I should get a little drunk
Not really
It's not good for your health
20:20
I'm going to fail this semester and I have no idea what happens next
@Rerito I'd say « me too » but I'm already a little drunk.
I won't get that teaching job
@Morwenn I'm fueling on Pouilly right now
@BartekBanachewicz is that because of the intership stuff
I've lied to you that C++ was the only thing making me angry @Jef
@milleniumbug internship?
Ven
Ven
20:21
@Morwenn don't start without us ;(
@BartekBanachewicz What's up mate?
@Rerito Without crème de cassis? :o
@Jefery see above
@BartekBanachewicz That time when there was a problem because the guy didn't acknowledge you were working already
@Morwenn Raw, with cheese it's delicious. Especially goat cheese
20:21
@BartekBanachewicz Is that for sure?
is that it
@Ven Too late. I don't have anything else to drink anyway. So I'm probably done drinking for tonight.
@TonyTheLion <3<3<3<3<3<3<3<3
@milleniumbug no, it's my fault this time
@Morwenn Seeking for the Balmer peak? :p
Ven
Ven
20:22
@Morwenn oh, oke
@Rerito I don't have cheese anymore in my fridge :(
@Rerito Hahahah Ballmer peak xD
@Jefery I don't think they can legally hire me as a tutor even if they wanted to
@Rerito No, I don't even have anything to code tonight.
Oh I've got plenty of booze
20:22
@BartekBanachewicz Welp, next year then.
I can get really wasted on rum and wine... And beer
@BartekBanachewicz oh I see
@Rerito I'm coming then.
this sucks balls
I was really looking forward to that and I've wasted that opportunity because I hate my uni so much I couldn't force myself to go there anymore
#ifndef EXIT_SUCCESS
# define EXIT_SUCCESS 1		/* just a guess */
#endif
20:23
@TonyTheLion presumably so, and that apparently, fb is easier :\
@набиячлэвэлиь lolwhat
@Morwenn I've got the left one
and I need BSc before I can start thinking about starting a maths degree
@BartekBanachewicz wait, so first you lounge-QQ several times about school and now you want to start a NEW degree?
20:24
@Rerito I get sick too fast with rum :(
@Morwenn You should try this one, it's killer stuff
@ScarletAmaranth not in informatics
@набиячлэвэлиь wow I am impressed
@набиячлэвэлиь #if 0 for comments? Impressive.
@Morwenn looks like you have been kicked on the forehead :p
20:26
My maths teacher on uni was amazing
I've enjoyed every single hour spent in his classes
that was the first year, I really liked my uni then.
especially this part ideone.com/j0BQT8 (damn, copy-paste ruined the formatting)
and you think that it will change everything
as in, math degrees contain no bullshit
I think I belong in academia in the end
@chmod666telkitty That's rather inventive o_o
I enjoy teaching and research the most
20:27
@milleniumbug My eyes are bleeding
in 30 years I'd see myself doing more or less what SPJ does now, splitting time between Haskell dev/research and teaching
@BartekBanachewicz I feel you, the industry sucks balls
Mundane stuff, almost no fun
well my job isn't mundane, at least the JS part
I really like it
lol Haskell and dev in one sentence
lol you must have done so much Haskell dev
20:28
Well some parts are really cool, but most of it is mundane so it's pretty boring sometimes
@набиячлэвэлиь I think that people who say something hinting that Haskell is esoteric in 2015 are just plainly ignorant
The worst is that the project has a huge potential... Which is not currently exploited
it stopped being a funny joke about a year after it stopped being true
@BartekBanachewicz I ignore everything that emits even a faint smell of Haskell
fpcomplete pushing shit big time
20:29
@набиячлэвэлиь It's nested do-while for for if if for if if , this is special snowflake
stack is pretty good
(except shellcheck, shellcheck's cool)
@набиячлэвэлиь that clearly makes you the most qualified person here to talk about development in and of Haskell
Sorry @Jefery missed the battle
20:30
so, without fanboying etc., stop fucking being telkitty, hth
@BartekBanachewicz dost thou use "stack"?
not yet
I use stackage cabal lists on CI but that's about it
what are you waiting for, it's amazing.png
@milleniumbug More like its retarded brother, spuciol swonflek
What's amazing about it?
20:31
@ScarletAmaranth I dunno, I think cabal is amazing and needs more love
@Jefery it actually works
like, production-grade works
@BartekBanachewicz As long as most of the world is ignorant, Haskell is esoteric.
you just list the dependencies you want, it creates an isolated environment, compiles and runs it for you, creates documentation and test suit
@BartekBanachewicz Since sandboxes cabal works fairly well v0v
@Morwenn this is idiotic. Majority adoption has nothing to do with actual usage. Haskell development is worth millions already.
@Jefery and stackage works better than fairly well.
@BartekBanachewicz well no it isn't but it's getting there :P
20:32
@BartekBanachewicz Comon she's trolling you and you fall for it so quickly
@ScarletAmaranth I am pretty sure even what Standard Chartered has alone is worth more than $1M
@Rerito wait so is Morwenn a girl after all
@BartekBanachewicz I could play the Wiktionary card but I won't.
@BartekBanachewicz oh you might be right
@BartekBanachewicz i know at&t and facebook started pushing some haskell too
@BartekBanachewicz Dunno
Facebook uses it for load balancing
AT&T I don't know what for
20:34
@Borgleader How are you today?
the thing is Haskell will never get majority adoption because it's good at systems of quality that majority never achieves
same as Ada
Ada will never get rid of "military" staple for some reason
(in peoples' minds)
@набиячлэвэлиь hey, it gets better - I mentioned the formatting got messed up after a copy-paste. I was wrong. It turns out it just mixes tabs and spaces for indentation.
@ScarletAmaranth aeroplane industry uses it a lot
> The writing in this manual is very esoteric; I need a degree in engineering just to understand it!
20:36
@milleniumbug heee heee heee
@ScottW how was it?
The example seems rather fitting.
@BartekBanachewicz I would probably use B-amn or Coq / aGda if I were an aeroplane industrial person :)
How do you even write such code
@набиячлэвэлиь that's why I'm impressed
20:37
@ScarletAmaranth I think that Haskell could incorporate Agda
Oh btw, @Ven where are you Paris-wise?
as an extension or something
I mean agda has a lot of freedom right now but it's hurting it a lot that they have to reimplement a lot of things
@BartekBanachewicz Haskell will stay away from that in my opinion, the moment you jump to full CoC you lose strong normalization - Haskell wants to stay as practical as possible
if it was officially under haskell umbrella it could become a super-strict Haskell subset or something
@milleniumbug Dude was probably at the Ballmer Peak when he wrote it
And then woke up three days later without any of his possessions
20:38
@набиячлэвэлиь You mean way above it?
@ScarletAmaranth I love how a lot of people don't get how true your last statement is
despite the "avoid success at all costs" motto
@набиячлэвэлиь That last part sounds like a Robot story :p
@ScottW were you doing only pure tutorial stuff or some actual file processing/io?
20:40
Today I came across a Singleton implementation
@ScarletAmaranth that being said, I wouldn't be surprised if we got Dependent Haskell by the end of 2016
fuck this malfunctioning universe; halting problem and general undecideability suck dicks
@BartekBanachewicz I would be surprised, but pleasantly
Instance on the stack, in the main function. Accessed through a global pointer
@ScarletAmaranth I hate NP way more than halting problem.
@BartekBanachewicz yeah well at least it's theoretically ok, unlike incompletness theorem, HP, entscheidungsproblem and all this crap
20:42
Oh, there's a new design for GitHub repositories. It almost feels too wide now.
theoretically it might be ok, but practically it sets limits that computers as we know them could never surpass
inb4 like ur mom
Lounge<Humor>
sure, but it "works" abstractly; also perhaps will at some point work practically - (quantum computers perhaps?) - the point with "as we know them" is correct
20:43
Or is it Tumor?
@ScottW You'd like parsing in Haskell. It's one of the things that's super practical, rather polished and extremely easy.
user1804599
xD
so, going back to reality for a sec
Ven
Ven
i can't delete it anymore :<
One thing I had a lot of problems with before were linker scripts and assembly startup scripts
Ven
Ven
20:45
chat coded by retards
@Ven you owe me a drink remember?
^ sed that chat for everything
Ven
Ven
@Rerito ..i said a coffee, technically
so I was wondering how hard would it be to write aforementioned for Rust
@Ven Let it be an Irish coffee, maybe it will be drinkable then xD
20:47
ewwwww
why ruin coffee :-\
Ven
Ven
@Rerito i can buy you a beer, but that's gotta be in paris anyway
Coz it's disgusting
so is your face
How could you know? :)
iunno I just like the phrase :P
20:48
@TonyTheLion Less tired than yesterday, and tomorrow is friday so I'm doing ok :)
Yourself?
@Borgleader had a nice day. Was off today. :)
Nice :)
@ScarletAmaranth I won't affront you by making a mom joke :p
and yes tomo is Friday and my mum is visiting for the weekend
that means I get to enjoy nice food and nice hotel :) Yay :)
Sweet :)
20:49
Gorgeous :)
Fantastic :)
Great :)
Oh current track here you might like @Morwenn: wish you were here by Pink Floyd :)
@Rerito Not my favourite.
@Morwenn Let me guess... Echoes?
> A 75KB command line demo is indeed very large for what it is, but I don't know yet how space usage climbs with program size.
20:50
@Rerito Haha, yeah. Or High Hopes.
hmpfhj
75kB is a lot
@Morwenn I like Animals a lot. And weirder, Atom Heart Mother
@Jefery ass :)
@Rerito Atom Heart Mother was a bit strange, but it's been a while since I last listened to it.
@TonyTheLion and your mum :P
Ell
Ell
20:52
@BartekBanachewicz for command line demo of what?
Bike is soooo fucked up.
@thecoshman Yes
Yeah, their work with Syd is too fucked up for me
@Ell freestanding rust
Ell
Ell
what does "command line" mean here?
20:53
UART I think
damn I don't know what to choose
Where is @jaggedSpire?
I'm certainly not going to write in C
I'm also a huge Dire Straits fan
what's nice is that both Rust projects I was able to find that target ARM target my specific board
one of them adds rust logic to C core
the other is completely C-free
in principle i love the idea of getting rid of C
but i also want to get some practical results and that'd be p much pioneer work
Ell
Ell
I forget what your particular board is again
20:58
stm32f407

« first day (1860 days earlier)      last day (3313 days later) »