« first day (1123 days earlier)      last day (3834 days later) » 

9:00 PM
@BartekBanachewicz I think you got my opinion all wrong, I'm not against static typing, I just don't think it's good/important in all cases. Sometimes it helps me and sometimes it doesn't. Depends on what exactly what I'm doing.
 
Ruby is not weak-typed
 
Ell
^
 
w/e noone likes ruby
 
@CatPlusPlus Fine, I don't feel like arguing on that right now.
 
@BenjaminGruenbaum thing is, I can always be dynamically typed in a statically typed langauge if I want to
 
9:02 PM
I need that Venn diagram with "dynamic typing proponents", "static typing proponents" and "people who know type theory"
Dynamic typing is a subset of static typing
 
@CatPlusPlus I only took one course. I want to take more. Stupid university doesn't have anything to offer :/
 
but in a dynamic language, you just feel poor.
 
Fuck university
 
Xeo
Okay, wtf did I do now. The office isn't the same anymore D:
 
9:03 PM
Which is I why I read "dynamically typed" as "we couldn't implement proper typing" every time.
 
@CatPlusPlus That doesn't say anything though. "Dynamic typing is a subset of static typing" - while mathematically true doesn't say anything about the usefulness.
 
@BenjaminGruenbaum it does. It means you can write dynamically-typed code in a statically-typed language
 
Ell
@BartekBanachewicz lol
 
Static typing can eliminate a lot of bugs
 
you can write var or any or whatever and there you go
 
9:04 PM
Sure, type errors might be thrown at runtime, but that's still a bug
 
@CatPlusPlus I love having arguments where we all agree on things and keep repeating ourselves.
 
There's your usefulness
 
Ell
@CatPlusPlus therefore dynamic typing can eliminate a log of bugs? o.O
 
Weak dynamic type systems are pretty much the worst always anyway, the rest is workable
 
Ell
9:05 PM
Idk how this subset thing works xD
 
@Ell Not really, no
 
Xeo
Okay, I can go through more doors now. I HATE INCREASE IN CHOICE
4
 
Unless you do static type checks, but then you get static typing
 
Ell
@BartekBanachewicz so only static typing is "proper" typing?
 
9:07 PM
@Ell it's certainly more advanced and gives you more choices.
 
@Ell Only static typing exists.
 
@Ell You have one type in your type system, call it "every" - that's the dynamic type and it has no constraints. That's the most obvious reduction imo.
 
Ell
Oh wait. it just clicked
 
@Ell think boost::any
 
Xeo
okay wtf does this elevator do
halp
 
Ell
9:08 PM
@BartekBanachewicz yeah, it just clicked in my mind xD
 
Anyway, I'm out. Cya.
 
@Xeo lol
 
@BenjaminGruenbaum see you around.
 
Ell
Doesn't look like a subset to me though o.O
 
@Ell Static : { int, string, any }, Dynamic = Static - { int, string }
 
9:09 PM
Sigh.
 
Static = Dynamic + { int, string }
 
I can never seem to remember to put header information on things.
 
@Ell Think of a program where you can only use boost::any.
 
please forgive me for using + and - for set operations, I know it's wrong as fuck
 
Ell
I guess yeah
 
Xeo
9:10 PM
Oh damn I love this narrator
 
1
A: Is static typing a subset of dynamic typing?

Basile Starynkevitchstatic typing happens at compile-time, not at run-time! And that difference is essential!! See B.Pierce's book Types and Programming Languages for more.

AHahahahahahahahahaha pearls of wisdom on shit overflow dot com
 
> Technically, it actually is the other way round: a "dynamically typed" language is a special case of a statically typed language, namely one with only a single type
 
wat
@CatPlusPlus Let's throw it down to hell.
 
Ell
I have been wondering this since I can remember: electronics.stackexchange.com/questions/32675/…
7
 
The title is awesome.
 
Xeo
9:15 PM
I wonder if I can actually take control before the narrator decides he doesn't like me anymore.
 
mah apologies
 
Xeo
THE DAMN NARRATION CHANGED AGAIN; RARGH!
anyways, now that I think I did everything the proper way - time to fuck with the narrator.
 
@Xeo Hentai games?
 
Xeo
The Stanley Parable
 
Oh, ok.
 
9:20 PM
Does anyone think that it is too much to expect an engineering student in a Differential Equations class to be able to recite (or at least apply) every derivative rule from first semester calculus?
 
Xeo
Hmmm.... that "input received" thing is gonna be interesting, I think
 
Ell
@Code-Guru depends how many derivative rules there are
I can only name some...
e^f(x) -> f^-1(x)e^f(x)
log((f(x)) -> f(x)/f-1(x)
 
@Ell let's say less than 20...but about a handful of them are used very often
 
Hello, a quick question.
 
Ell
meh I need proper math lookey things
uh oh
RRRUUUUUUNNn
 
9:22 PM
"expect an engineering student" -> that's often too much.
 
Xeo
hahaha, the broom storage
 
@Code-Guru Depends on how many times they used each rule, and how much time has passed since then.
 
@Ell both of those are specific instances of a more general rule...and not quite exactly correct. However, one of my tutoring students couldn't even get that close
 
Ell
@Code-Guru I could probably write down 7 general rules for differentiating stuff
 
Ell
9:23 PM
but that is obviously lower level because I'm only at college atm
 
"how to get some other page title" - everyone recommends PHP
 
@Ell that sounds about right
 
Ell
also I just realised where I went wrong in a physics test today >.<
anyway I'm gonna revise for my test tomorrow some more, later guys :)
 
@caps this particular student took calculus 1 and 2 during the summer, so it hasn't been very long. He should have been using the rules every day since he first learned them.
 
later babe
 
9:26 PM
I'm just frustrated that one of my students wants help in DiffEq, but I spend 90% of the time teaching what I consider basic material by that point in a college career
 
@Code-Guru Reciting might still be a bit much for some (like me), but he should be able to apply them.
 
I pretty much end up doing the problems for him.
@caps granted, but application should be nearly second nature, even if you can't recite the precise mathematical definition.
@caps and having something close to the right rule doesn't seem like too much to expect. At least then I could give some correction rather than just doing the problem while the student sits there and watches.
 
cplusplus.com/doc/tutorial/classes <- in this C++ tutorial, there is an "object name" after the closing bracelet of the class. I tried playing around with that, but can't figure out what it does, or how it's supposed to work. Can anyone help me?
 
@Adrian don't use cplusplus.com
use en.cppreference.com instead
 
I'm trying to think of a programming example...maybe it's like someone interviewing for a C++ job and doesn't know what int means.
 
9:29 PM
@Adrian cplusplus.com is Wrongâ„¢.
 
or maybe more like not knowing the syntax for a function or a for loop
 
Ok, is this pre C++11 or factually wrong period?
 
@Adrian Their tutorials are notoriously bad.
 
@Adrian Promotes bad coding practices in general.
 
@Adrian ever
 
9:30 PM
the rules for derivatives are that basic, imo
 
(well, not notorious enough in my book considering many beginners still fall in that trap)
 
anyway...I'm done ranting for a moment ;-)
 
Thanks. I'll keep that in mind in the future. I had never stumbled upon this syntax in C++ and had been using classes for while now.
Have a good day/night, bye!
 
@Adrian Case in point, I guess.
Point in case?
You know, I've never understood that phrase.
 
Xeo
@Adrian It just creates an object of that class right after declaring the class.
 
9:32 PM
@Adrian it's evening
 
and now I have myself so worked up over that deal that I'm not sure I can concentrate on coding
 
Oh my, renaming works.
 
@Adrian Just to be clear: cplusplus.com isn't always wrong, and in many cases that it's wrong, the problems are subtle. In many ways, that makes it even more dangerous; you may think you know something, and what you think you know may seem to stand up to testing and such--but then when you really need it, what you think you know will often be just wrong enough to lead to massive problems.
 
Xeo
@EtiennedeMartel Not in this case.
 
@Xeo Hence the trademark sign.
 
9:33 PM
@JerryCoffin, don't you have a github account?
 
user1804599
Having to have leather to make books is ridiculous.
 
jerry is not hip enough
 
@R.MartinhoFernandes He only has two.
 
@Jefffrey I think I set one up, but I don't really use it much. Why?
 
why am I still typing on my phone?
 
user1804599
9:34 PM
Building a decent house takes less effort than making a bookshelf.
 
@JerryCoffin I'm looking for inspirational code
 
I have some inspirational code around. Sec.
 
I'm scared
 
Xeo
ahahahahaha, the door 430 achievement
awesome
 
@R.MartinhoFernandes Woops.
 
9:37 PM
Art is inspirational, right?
 
@R.MartinhoFernandes These might be inspirational, but I hate to think what they might inspire...
 
Xeo
AHAHAHAHAHA
the broom storage
ahaha
 
17 mins ago, by Xeo
hahaha, the broom storage
Are you in some kind of a loop?
 
Xeo
3rd time now
it's great
Etienne would surely know what I mean
alright, time to ignore the narrator
 
@R.MartinhoFernandes art is scary
 
9:41 PM
I've been thinking of putting "forever alone" on a T-shirt.
 
user1804599
 
I mean "forever alone", the program above.
 
@Jefffrey think tron approach is better?
 
@Pawnguy7 than wat
 
I just convinced @BartekBanachewicz to use Haskell for his GUI code. People who do Haskell can't complain when it sucks because that'd make them uncool. Fun is bound to ensue ^_^
So no C# or JS for GUI for him. Haskell and hopefully the GTK binding.
 
9:47 PM
@Jefffrey In case you missed it previously, perhaps this inspirational little ditty:
 
Xeo
oookay, wtf kind of ending was that
 
Your task: convert from MS-DOS to Windows or Linux while maintaining the same functionality.
 
The Stanely Parable, right?
 
Xeo
@EtiennedeMartel Yes
 
@BenjaminGruenbaum Do you know what FRP is?
 
9:48 PM
Free Repeated Punches.
 
@Jefffrey not sure. Coop in separate levels or something.
 
Fast Ricochet Penis.
 
@BartekBanachewicz I was actually going to search xvideos.
 
Xeo
alright, let's try that again but this time don't stop and stare into space
 
9:49 PM
...
 
34
A: What does comma operator mean in a switch statement?

Mike Seymour is it a compiler error or not. The code is invalid in both languages: the case expression must be a constant expression, and a constant expression can't contain a comma operator. (In C, this is stated explicitly; in C++, you have to unpick the grammar to find that a constant-expression must ...

How come 1,2,3 is not the constant 3?
 
> No video match with this search.
Damn
 
Xeo
@EtiennedeMartel Did you ever visit the broom closet twice?
 
Also, I want him to make it. I think it's viable to do in Haskell I just think it's harder and I wouldn't use it here.
 
@Xeo I don't recall visiting the broom closet.
 
Xeo
9:50 PM
It's great.
 
@EtiennedeMartel So you have never come out of the broom closet either?
 
@R.MartinhoFernandes Hmmm?
Oh ahahah.
That clarifies
 
user1804599
IJsbeer!
 
Xeo
Damn, this isn't two endings. And now the narration makes sense, about the rooms repeating. Shouldn't have stood still the first time around.
 
@FredOverflow At least in C, a constant expression cannot include a comma operator. "Constant expressions shall not contain assignment, increment, decrement, function-call, or comma operators, except when they are contained within a subexpression that is not evaluated." (C99, §6.6/3).
 
user1804599
9:55 PM
Ugh.
 
user1804599
Why is this cow climbing a ladder.
 
Oct 24 at 17:33, by Jerry Coffin
@Jefffrey If you want mysteriousness, try this.
 
@Jefffrey So have you ported it to a modern OS yet?
 
@Pawnguy7 I'm not sure
 
@rightfold Are you tripping?
 
user1804599
9:57 PM
@FredOverflow Mojang is.
 
mobs don't climb shit
theoretically
 
user1804599
They do. vOv
 
@JerryCoffin of course :)
 
Well.
That's cows for you.
 
I need a bluetooth thingy for my PC
So I can send music to my GF's room from my spotify radio.
 
10:01 PM
woops
 
Wrong lounge?
 
@rightfold for the rent of artful trifles
@BartekBanachewicz or buy a Onkyo receiver with spotify. Nah. Just don't buy an overly expensive thingie: I have a Voiis and there's is some wow involved when transmission rates are shifting to make up for low-buffering situations.
Apparently some fools designing the A2DP protocol figured that "Hell, no one will notice"! Well, guess what: I do. Every time :/
 
@sehe The BT speakers I got here work great with any BT player really, so I would just need to set up a virtual link duplicating my soundcard
 
user1804599
Minecraft was fun today.
 
@Jefffrey How's this for inspiration: RSA encryption/decryption in one screen of code: ideone.com/CxceTY (warning: it only supports a key so tiny that it's utterly impractical, but a bignum library could cure that with little more than one #include).
 
10:07 PM
@BartekBanachewicz Ah, you already have BT enabled receiver. Don't you get seasick sometimes (of the pitch drift?)
@BartekBanachewicz Also: see pulse-audio, simply apt-get install pulseaudio-module-bluetooth - BAM
 
@sehe haven't been noticeable yet. I've been told it supports all the fancy shebangs with the "HQ" audio
@sehe Also I've heard a lot of good things about Sonos stuff lately.
 
@BartekBanachewicz Lol. Yeah, it's likely hifi (hint: no). But it's awesomely convenient to just "dialup" the music in your tablet or phone. I like it
 
@rightfold be better with something in the ocean.
I am still amazed there aren't shipwrecks to be honest.
This was like the one thing everybody wants.
 
user1804599
I don’t care. I don’t visit oceans.
 
Where do you live?
 
user1804599
10:11 PM
I built a beautiful house with a friend, as well as an underground cow farm, a wheat farm and paths.
 
Biome?
 
user1804599
The one with the oak and birch trees.
 
Hmm, one annoying thing about tmux is that SSH agent forwarding kinda gets messed up.
 
@rightfold what server?
 
I think that is a forest.
 
user1804599
10:13 PM
There is a gravel mountain biome nearby.
 
Unless they changed it.
 
@JerryCoffin I think I understand the general idea.
 
Gravel mountain?
 
user1804599
@Jefffrey normal Minecraft server.
 
@rightfold you built a house in a random server?
 
10:13 PM
@R.MartinhoFernandes Isnt' there any special provision (I believe SSH has it, or maybe you already knew?)
 
user1804599
No, in my own server. :V
 
@BartekBanachewicz I have (well, my wife got it) a Sonos base and speaker. The idea's decent, and the electronics seem all right too. The speaker, however...well, like many smaller speakers it tries to make up for a complete lack of deep bass by having a really serious resonance around 100-120 Hz or so. Some people seem really impressed, but I can't stand it.
 
I remember when I played singleplayer.
I wish I could still do it :\
Do boats still turn slow?
 
@rightfold injk gimme the ipz
 
user1804599
@Jefffrey It’s not online 24/7 and no.
 
10:15 PM
@sehe Dunno. Problem is that SSH_AUTH_SOCK environment variable doesn't get the new value when you restore a tmux session for obvious reasons.
 
@rightfold am I not a friend?
 
@Jefffrey what was the first word there?
 
But I found out about set -ga update-environment now.
 
user1804599
@Jefffrey No. :v
 
hello mortals
 
10:16 PM
Barteks are immortal?
 
yes
but I didn't say that btw.
 
@Pawnguy7 In the end, there can be only one!
 
True.
 
Xeo
I love the music in the control ending.
 
@Pawnguy7 if not joking
@Xeo ikr
 
10:19 PM
I think there used to be a lounge server or something.
 
there was.
but now the official lounge game is KSP
 
Is it multiplayer?
 
@anthrond Of course, I mentioned both for a reason :) I've added a little explanation though. Cheers — sehe 29 secs ago
@R.MartinhoFernandes Wow, that's quite an advanced feature. How did screen cope here?
 
@sehe Hmm, it can't update the environment of existing shells though :S
 
@Pawnguy7 But is it webscale? By the way, I archived that server. It wasn't being used. Luc still has the backup
 
10:23 PM
But new windows do get the agent settings.
 
@R.MartinhoFernandes You can script your way out of that! (script to dump env to file, issue command in all windows that sources said script. hacky stuff)
 
@sehe what version is it, do you think?
 
@Pawnguy7 The older one, of course. Also: it's the offline version
@R.MartinhoFernandes I'd never actually care too much about this. I usually proxy my connections transparently using ssh -o ProxyCommand nc ... so one agent is enough. I like it that way
 
Older one?
 
@sehe What?
@sehe That doesn't cut it for me. I want to, say, push to GitHub using my local agent.
 
10:26 PM
@R.MartinhoFernandes I rarely use an agent (just have passphraseless keys on trusted machines or using passphrases). Then, iff I use an agent I don't forward the agent to remotes. I just connect directly to secondary hops using netcat as transparent proxy.
 
I'm not just passing through on the forwarding server. I "am there".
 
@R.MartinhoFernandes In that case, it seems that your "first hop" (the tmux session) is your "workstation". I'd simply run the agent there in the firsrt place.
 
I'd rather not have to deal with separate sets of keys.
 
To put it simpler: In principle I don't share agents. It doesn't make me feel safe and it doesn't convene me.
@R.MartinhoFernandes Ah. That could be a boon. Never thought of it that way. I liberally create new keys on each machine and add them all. My bitbucket knows me by 8 public keys by now.
 
stackoverflow.com/q/19940587/493122 /cc @R.MartinhoFernandes
Nevermind. I thought/hoped it was a good question.
 
10:33 PM
@sehe Dunno. Sometimes I think I'm getting more paranoid than it is healthy.
 
What do you call... courses in political correctness?
The reeducation thing.
 
Xeo
> Danger: Danger everywhere.
 
?
 
JBL
@Pawnguy7 Civic education ?
We had courses named like this.
 
Also, I've heard Christmas is incoming.
 
Xeo
10:39 PM
Gah, I wanna jump so badly in this game
 
@EtiennedeMartel No gifts for you.
 
@Pawnguy7 etiquette
 
@R.MartinhoFernandes It's always that way. I gift myself stuff.
 
Um.
Somewhat but it wasn't by that wording. Hrm.
 
10:41 PM
^ Do you need a google? I have one spare that you can borrow
amenities, civility, code, convention, courtesy, customs, decency, decorum, deportment, dignity, form, formalities, mores, politesse, propriety, protocol, rules, seemliness, suavities, usage, good behavior, p's and q's, proper behavior, social graces, ...
 
@EtiennedeMartel I gift myself stuff all the time. That doesn't count.
 
Xeo
@Etienne: do you know if the room with the lightshow has a "waiting" ending?
 
@Xeo No idea.
 
Xeo
tch, I thought you played this game :P
 
Perhaps it was "diversity training"?
 
10:44 PM
lawl
 
Or.. diverse something.
That is a buzzword.
 
Haha. Boost docs are fucked up here: The queue.hpp header (1_54) has confused the hell out of the documentation generator in 1_55: boost.org/doc/libs/1_55_0/doc/html/boost/lockfree/…
BOOST_NO_CXX1_idp100289128.html, srsly?
 
Xeo
wow, the narrator is getting desperate about me staying away from the stairs
 
stay away from the stairs!
 
@Pawnguy7, wanna talk about some snake design?
 
10:51 PM
@Jefffrey yours or mine?
 
generic
 
In unrelated news, I miss writing informal things.
My kingdom for a "you" :(
Um, sure.
Have anything in mind?
 
you want to talk about each other's snake? that sounds ambiguous ;0
 
@Xeo I played a bit. Got 4 or 5 different endings.
I'm gonna need to come back to it.
 
I guess that is why making snake clones is a bad idea.
That joke keeps coming up :\
Though when I was making the screensaver, they also said my fish were penises, so.
 
10:53 PM
hi
 
@Pawnguy7 the snake is in a (virtual) grid, so the coordinates of its segments are positions relative to a grid, how would you express this in classes?
 
@Pawnguy7 ew. getta room :)
 
Xeo
Aw, the narrator really sounded sad just now
 
@Jefffrey For mine, the snake contains its segments, as... vectors.
 
@Jefffrey s/how/why/
 
10:56 PM
Not sure what else you would do.
 
@Pawnguy7 a deque of corners
 
^ that is almost was I did
 
Corners?
 
No need to store the intermediate cells. I mean, that's redundant
 
@Pawnguy7 the places where the snake turned right or left
 
10:58 PM
What do you need for the headmost straight portion?
Or is the head and tail automatically corners?
 
user1804599
Use a stack.
 
Hrm.
Well, I am simple, so I used simple things :d
 
@rightfold you need to pop from the back and push to the front, a queue or deque is better
 
@rightfold That's not useful because it needs to shrink/slide at the tail
 
user1804599
I was making a joke. :v
 
10:59 PM
sorry
 
user1804599
Use a ring buffer.
 
Bad joke. Bad lobster. Feel bad
@rightfold Fixed size? Nah.
 

« first day (1123 days earlier)      last day (3834 days later) »