« first day (1663 days earlier)      last day (3284 days later) » 

Ell
8:00 PM
you're living
 
they are deadlock bringers
actually, it's just me being dumb
but you already knew that
 
Ell
> note: non-deducible template parameter
balls
 
whoa guys I just made the shittiest crepe ever
 
Ell
we don't want to know about your bathroom experiences thank you
 
crepes with strawberry jam are great
 
8:11 PM
@Ell yeah. mostly.
 
Ell
man I just can't see how this is non-deducible
@StackedCrooked Did you use PF_RING or something like that as a driver and implement ip/tcp in userspace?
or did you write a whole driver?
 
I said crepe not crap. Also I don't see how a crap could not be shitty anyways
 
My colleague is working incorporating the the PF_RING driver.
 
Ell
Yeah it was a terrible pun
 
> "debug" tools
 
8:13 PM
@StackedCrooked What is that?
 
@Ell No, the stack was purely in software and connecting it to the underlying hardware was not part of the project itself.
 
Ell
I see
I think
 
@Mr.kbok man I bet that "cheese" is really good ( ͡° ͜ʖ ͡°)‎
 
@wilx some kind of driver that allows for fast access to the data on the network socket
 
Ell
8:14 PM
I was just curious
 
@StackedCrooked You are not supposed to use different mutexes with the same CV, I think.
 
@wilx I think so too.
> The notifying thread does not need to hold the lock on the same mutex as the one held by the waiting thread(s); in fact doing so is a pessimization, since the notified thread would immediately block again, waiting for the notifying thread to release the lock.
I was confused by this.
And now it's clear.
Thanks.
 
user3010322
@CatPlusPlus Computation in XML is kinda verbose, even with CData tags, no?
 
Computation of what
 
user3010322
8:18 PM
@CatPlusPlus Just, referencing other elements in the XML and trying to harvest the notion of reusable pieces of code.
 
user3010322
Then again, the last time I tried I was using a half-baked version of XML, so my complaints are probably unfounded.
 
user3010322
It really says something if I can not attend your class and get perfect scores on everything. :/
 
What code
XML is not code
 
user3010322
But at least I'm getting that easy "Grade Cushion" or w/e its called.
 
I think I'm boring her.
 
user3010322
8:21 PM
@R.MartinhoFernandes Unicode Her.
 
Ell
@R.MartinhoFernandes I take it she's in the bathroom? :P
 
oooh sfinae means that if a substitution in one particular template stuff fails and some other overload works then it's not treated as a compiler error
 
user3010322
OH MY GOD AN ARRAY IS NOT A POINTER AAAAAAAAAAAAAAAAAAAAGH.
7
 
ok I'm basically a guru now
 
Ell
@AlexM. yep
 
8:21 PM
brb writing down C++ on my CV
 
Ell
"substitution failure is not an error"
 
user3010322
At least he explained unions properly, which is surprising.
 
@Ell it took this article to make it clear to me that substitution meant putting explicit or deduced types in the templates eli.thegreenplace.net/2014/sfinae-and-enable_if
I had no idea what substitution it was referring to before
this language is so awesome
how can the human mind comprehend all this vast amount of complexity
 
@CatPlusPlus It can be (e.g., XSLT).
 
user3010322
8:27 PM
@R.MartinhoFernandes Ooh, talk about your sidereal (sp?) drive!
 
@ThePhD school again?
 
Ell
@R.MartinhoFernandes talk about your trecking around europe!
 
@Ell Not really though.
 
Ell
@Jefffrey why not?
 
user3010322
@AlexM. :C
 
8:29 PM
@Ell I don't know. I'm stuck.
Point is that robot is doing nice experiences. Like hitchhiking, dating some girl, etc...
That's living.
Studying to pass a database exam is not "living".
 
ITT only dead people study
 
Ell
@Jefffrey right, it's an investment in yourself
 
@milleniumbug Oh come on, you know what I mean.
 
Ell
you will reap the reward later
 
I find that my friends are too smart and too "this should go this way" kind of people. So there's no adventure.
There's no "let's just go by our hearts".
 
8:33 PM
@milleniumbug condvars are (IMO) pretty much a mess in general. The differences from a counted semaphore are almost never actually useful, but do make them much more difficult to implement, use, or understand, or document.
 
is ill-formed some sort of catch-all term for everything that doesn't compile
 
Ell
I think so.
 
or at least what wouldn't normally compile
 
Ell
Not sure, I forgot the difference between stuff
 
@AlexM. ...except that it could compile (but the compiler does have to issue a "diagnostic", whatever exactly that is).
 
8:34 PM
> fatal error C1083: Cannot open program database file: '...': No error
5
 
Ell
lol
 
Noice
 
Ell
I've confused myself
or maybe java has confused me
 
Does anyone know Scala?
 
probably someone does
 
8:37 PM
I would like to know if it's worth it.
I would like to hear some Scala fanboy.
 
rightfold surely knows something about it
rightfold must've tried all languages in the world by now I think
 
Ell
@Jefffrey I kinda do
rightfold does know it
and I really do like it
 
@AlexM. language slut
8
 
@AlexM. Not Agda or Ada IIRC.
 
Ell
he tried agda I think
 
8:42 PM
It's Ada.
After the woman who invented programming.
 
Ell
Agda is also a programming language
 
wasn't Ada just a programmer
and that other guy the guy who build the hardware
 
Ell
dependently typed
lady ada made a cotton mill computer or something, idk
 
It wasn't "just" a programmer. She's the author of the first published algorithm written for execution on a machine.
 
@JerryCoffin Don't know much about threading, but they seem to be so tightly coupled with mutexes I'm somehow wondering if a condition variable have its own one instead.
 
8:43 PM
> Augusta Ada Byron and now commonly known as Ada Lovelace, was an English mathematician and writer chiefly known for her work on Charles Babbage's early mechanical general-purpose computer, the Analytical Engine.
yeah that guy, Cabbage or w/e
 
@EtiennedeMartel Both Ada and Agda are programming languages.
 
@Jefffrey Yeah, Agda is fucking obscure, so of course rightfold's gonna try it.
 
hardware is useless without software.
 
Obscure? I wouldn't say so.
@Puppy It's actually the other way around.
 
@AlexM. Babbage built the engine. Ada wrote an algorithm that runs on it.
 
8:44 PM
...and vice versa.
 
@EtiennedeMartel yup but I trust babbage was aware of the machine's potential
 
@Jefffrey It's clearly both ways round.
 
so I'd place him above her
 
without software a CPU is just a hunk of silicon with a bunch of pretty patterns on it.
 
Are you really the kind of person who creates rankings of important people?
 
8:45 PM
@Puppy There were non-programmable machines, which did not contain any "software".
 
nope, I'm just stating that babbage invented the machine that could be used to program
 
@Jefffrey Which were comparatively useless compared to a CPU.
hence the invention and incredible success of that design.
 
Yes, but they existed and worked.
 
@AlexM. The machine was theoritical, for the record. It never really existed.
 
and there were software algorithms written and used by mathematicians
just not executed on any hardware except the human brain.
they existed and worked too.
 
8:46 PM
While software cannot run or work without hardware.
 
it's the combination of software and hardware that makes the modern computer.
 
@Jefffrey That's not true. You can put an algorithm on paper and prove that it works.
 
user3010322
Turning in my assignment without even looking at if it runs correctly. #YOLO
 
@EtiennedeMartel regardless, the program would not have been possible without it
 
@EtiennedeMartel "prove that it works" != run
 
8:47 PM
@AlexM. The program was written to take into account the engine, so that's kinda self serving.
 
@Jefffrey You can run it on your brain instead
 
Still discussion is stupid.
 
Ell
@EtiennedeMartel without running it?
 
yes
 
@Ell Yes
 
Ell
8:49 PM
How?
isn't that the halting problem?
 
@Ell Fun fact: you can't prove a program works by running it.
 
@Ell Ever heard of "correctness"?
 
@Ell The halting problem only shows that you can't make one function that works for all programs.
it doesn't show that any particular function can't be proven.
 
^ this
Also applies to mathematical proofs (Gödel incompleteness theorem)
 
I remember reading research papers that contained mathematical proofs that the algorithm worked, without even showing a working implementation to go with it.
 
8:51 PM
Agda's algorithms are proven to terminate every time, by the compiler.
 
Ell
Coq's are proven to work too
 
@EtiennedeMartel if they proved it correct, what need is there for an implementation? if you can't make a correct implementation, you're obviously faulty :P
 
Because they're not Turing-complete (but that's really irrelevant, since you can build serious software without needing TC)
 
@AlexM. In any case, as a programmer, I consider the world's first programmer more important than the world's first programmable computer designer.
 
both are required in combination to make our systems work
 
8:56 PM
Yeah, but I'm far more interested in software than in hardware.
 
Zynga still exists? :O
 
@EtiennedeMartel "Never" isn't quite accurate. He never finished building one, but (long) after he died, at least a couple were built (the first was around 2001 or 2002 though).
 
@fredo I was in a meeting with Don Syme today :)
 
@EtiennedeMartel Ah, here we go.
 
> weighs five tons
That definitely doesn't fit in a pocket.
 
9:09 PM
do you guys ever notice yourselves exhibiting something like passive learning
I've been noticing in my case for a while now
like, you read something and have no idea about it but then days after it sort of feels like it sank in and you make the connections
even without consciously thinking about it in-between
 
@JerryCoffin The more interesting question is "does it work?"
 
@AlexM. I learned to ride a bicycle like that.
 
@EtiennedeMartel Something about "You Momma's pocket" virtually springs to mind... :-)
 
> We can say with some confidence that had Babbage built his engine, it would have worked.
it's wooooooooorkiiiiing!!
 
@AlexM. From what I've heard, most of that stuff is done while sleeping.
 
9:15 PM
@milleniumbug He prototyped part of his first design, and it not only worked at the time, but still works today.
@AlexM. Pretty sure that happens to most people fairly frequently.
 
Ell
@milleniumbug we built the machine from his plans
so yeah, it works :D
 
@EtiennedeMartel "invented"
 
user1804599
@EtiennedeMartel an algorithm isn't software.
 
user1804599
@Jefffrey Yes.
 
user1804599
It's awesome.
 
user1804599
9:21 PM
Its type system is more advanced than your mother's womb.
 
Ell
the type system is really great
 
user1804599
Just don't pretend it's Haskell and you'll be fine.
 
@EtiennedeMartel I've been getting less sleep lately, maybe that's why it shows more often for me
 
Scala's tooling is meh
 
or rather not more often but more noticeably
 
Ell
9:24 PM
I wish scala supported targetting .net still
 
user1804599
Generics would be crippled.
 
user1804599
You need to erase some of it, and some of it not, and it'd be tremendously complicated.
 
Just use C# or F# if you really want to be a hipster
 
Anyone know why I cant have a vector like this

vector <string, int> hierarchyKey;

It is throwing up major compilation errors
 
Ell
C# isn't hipster
you old fogey
 
9:25 PM
Read carefully
 
user1804599
@loosebruce Because an int isn't an allocator.
 
@loosebruce hi cicada
9
 
Ell
@loosebruce vectors are homogeneous containers
 
@loosebruce What does vector <string, int> mean?
What should go in there?
 
@loosebruce A vector can only contain one type of object (though that type could be a std::pair like: std::vector<std::pair<string, int> >. If you think you want that, however, there's a decent chance you're trying to re-invent something like a map or multimap.
 
9:29 PM
Thanks all, I was just trying to implement a queue "badly" , where I add employees to a vector depending on a level

[1] - Big boss
[2] - Tom , Bob
[3] - Jim
[4] - Sarah, Rambo, Arnold, Trevor
Will try it with a map and iterate through that way
 
you want a map that maps employees to their level
or vice-versa
levels are the keys you get it
 
user1804599
std::multimap<int, std::string>
 
Ok so map<int, map>; ?
 
user1804599
Or just use Boost.MultiIndex and call it a day.
 
user1804599
Or SQLite.
 
9:34 PM
atomic fetch_add is cool
 
user1804599
tbb::concurrent_bounded_queue and std::mutex are cooler.
 
user1804599
Implementing a mutex in terms of tbb::concurrent_bounded_queue is easy. Create a concurrent bounded queue with a capacity of 1. Locking is enqueue, unlocking is dequeue.
 
I imagined the bottle filming porn behind the monitor
and jack being the coder
 
lol
 
9:39 PM
That's oddly specific
 
well it's obvious nobody would hide behind a monitor to do accounting
it must be porn
it's getting too hot, I need a way to get cold air in my apartment
 
Blimey.
 
if I open the window at night it's only worse because it's hotter outside
4 months of this shit :'(
 
user3010322
I wonder if that counts as not being turing recognizable....
 
@AlexM. You need to move to the mountains.
 
9:45 PM
@AlexM. or strip instead
 
@milleniumbug I'm already in my pantsu
 
@AlexM. woah what's the temperature there?
 
@AlexM. that's hot
 
@AndyProwl ~24 deg during the day
 
@AlexM. even now?
we've got 14 here :(
 
9:47 PM
nah now it's like ~20 outside and 24 inside near my computer
it's colder in the kitchen
wish it was still winter :(
I hope my gpu doesn't die because hot
 
@AlexM. It is (in Antarctica).
 
I wanna play witcher 3
@JerryCoffin you know what would be awesome
 
I wanna have...never mind.
 
well paid remote position, move to a northern country during summer, come home during winter
like norway or sth
 
@AlexM. 20 < 24! Open the window :P
 
9:51 PM
@AndyProwl I think I'll open the one in the kitchen because it has a good anti-mosquito net and leave the doors open
 
what would be really nice would be a well paid remote position, move to a hot country during summer and to another hot country during winter
 
@AlexM. ...or just a job in San Diego. :-) (Redwood City could work pretty well too, as long as it wasn't working for EA).
 
yes but norway looks really pretty
 
Thanks again, so I've built up my multimap<string, int>

Should I just iterate it in order, or can I search by value and output using that as my sequence?
 
That's really nice, but living there? Nor way...
 
9:55 PM
@AlexM. Fair enough (though that looks to me like it's probably also been heavily manipulated).
@loosebruce Iterating in order will go from smallest to largest key, so if that's the order you want, go for it (reverse of that is easy too). If you want the values in some other order, then you'll probably need to iterate through keys in your preferred order, and retrieve the values associated with them.
 
Ell
@AlexM. how is your JNI wrapper going so far?
@AndyProwl Oh dear :P
 
@Ell :D
 
@Ell atm I'm at home, I'll continue with it tomorrow at work
 
I was wondering why nobody is insulting me for that pun
 
9:58 PM
@JerryCoffin , I want to order it by value , not by my key. Perhaps I will need to transform the multimap into another structure when I go to output its contents.
 
Ell
@AndyProwl maybe it was so bad that nobody recognised it as a pun ;)
 
but while reading about this stuff I realized I can use enable_if to remove the need for the rather messy overloads I have right now when it comes to java <-> cpp conversions
this is so fascinating
 
@Ell Probably
 

« first day (1663 days earlier)      last day (3284 days later) »