« first day (2314 days earlier)      last day (2649 days later) » 
00:00 - 18:0018:00 - 00:00

6:21 PM
I'm alone and bored D:
 
@Morwenn Well, what do you usually do against boredom?
 
@fredoverflow I occasionally sleep it off.
 
@Morwenn set something on fire
 
Sometimes I've got the motivation to code, but not tonight.
@jaggedSpire I'll set your ass on fire.
 
just going to look at results now to determine the winning location for uncon IV
 
6:27 PM
Ok, that was a bit too direct.
 
@Morwenn :C
 
:3
 
Or was the best response to that a winky face
 
Ell
@rightfold the reason I ask is because I want to take a function taking a function of arbitrary arity
and I feel as though this needs some kind of matching on types
but it might just need using type classes in a fancy way
but it seems like it ought not break parametricity
outside foo bar = \x y -> foo (bar x y)
outside qux fubar = \x y z -> qux (fubar x y z)
outside : (a -> b) -> (... -> a) -> (... -> b)
 
6:47 PM
@AldwinCheung D-bags can be conveniently organized in D-buckets
@R.MartinhoFernandes Why yeah. When you're going to bash someone's idea, why not do it in style
 
7:08 PM
@Ell What would be the type of "a function of arbitrary arity"?
arbitrarity
 
Ell
@fredoverflow (a -> b) where a : Type
or err
where b is a type
of tuple of functions
er wait I mean
(a -> b) where b is of function type
 
user1804599
Flynn looks like SPJ
 
user1804599
@Ell can't and don't, all functions are unary
 
user1804599
Take tuples
 
user1804599
Or newtypes
 
user1804599
7:17 PM
Special casing, again, is broken because there are non-special cases where functions are returned
 
user1804599
Is id unary? What if you apply it to a function?
 
Ell
hmm
id is unary
 
Uncon IV will be held in Prague It's June 3rd btw
14
 
Ell
oooh
 
Look at the prices of Ryanair tickets fly through the roof!
 
Ell
7:25 PM
lol yep
@thecoshman add the date on the pin too
 
Xeo
Whoo, moar travelling
 
Asio is event driven, rather then writing loops. Its a different model of writing code. #cplusplus #async
It's too much work to list the things wrong with that tweet
 
Ell
who writes these things :S
 
Jens Weller
 
7:32 PM
The only one.
 
Asio is not event-driven, it's reactor based. Of course it doesn't write loops, and you can still write loops. "Then"* "It's"*. And oh I hope he doesn't think of std::async, but I'd call it IO/Asio anyhow
 
user1804599
@Ell but id :: (Int -> Bool) -> Int -> Bool
 
Ell
@rightfold :(
@rightfold right so, outside not id = \f x -> not (id f x)
 
user1804599
Don't do this
 
user1804599
It's broken and annoying
 
Ell
7:40 PM
@rightfold I don't see how it's broken
 
user1804599
Make different functions for different arities
 
Ell
it works as expected
 
user1804599
Or take the arity as argument, which is possible because Idris
 
user1804599
No it doesn't, try writing generic code with this. It's broken. Don't do special cases that aren't inherent to some problem, you're inventing them
 
Ell
@rightfold I don't see how it's a special case :S
eh
I guess it needs overlapping instances
 
7:43 PM
@sehe Particularly strange, given that a lot of event-driven code actually does involve loops (e.g., the event loops used in Windows and MacOS programs).
 
Seems like he's jotting down notes hastily at a Meeting C++ meeting
And either the speaker is not doing a great job, or he's not getting the gist clearly
(inb4 y not both)
 
Xeo
In the end, it's all looping somewhere, isn't it.
 
Deep
 
Looping in the deep.
 
@Xeo Seymour Cray once commented to the effect that "interrupts at one level are just polling at a lower level" (the CDC 6600 used polling rather than interrupts for I/O and such) and this is pretty much the same thing.
 
Xeo
7:49 PM
you can turn one into the other easily anyways
 
His best quote was about why it was better to use a few big, fast machines than a lot of little ones: "If you were plowing a field, which would you rather use: two strong oxen, or 1024 chickens?"
 
@Morwenn Unrolling In The Deep
@JerryCoffin to keep the floor clear of sugar, would you buy roombas, or house an ant nest?
 
8:04 PM
@sehe I'd (try to) get the kids to spill less sugar on the floor... :-)
 
@sehe Toddlers
 
8:36 PM
@Mysticial So, our lab got $16 to build a data storage computer. Should I spend all my money on RAM :-)
 
$16, nice.
 
nwp
spend it on a pen to remember the project
 
$16k (for the record)
 
nwp
8:52 PM
that could make for a mighty fine pen
 
@Mikhail This feels like this ends in a joke that goes something like "pen signs you"
 
9:06 PM
@Mikhail Just download the RAM for it.
 
I already hit my bandwidth quota, fucking Comcast
 
Well then you're fucked.
 
that's why i don't use comcast
 
@johnathon Because Tomcast is written in Java, and all I really needed was a reverse proxy anyway.
Well, I guess Java isn't really the whole problem by itself, but getting Tomcast set up correctly can be painful.
 
@JerryCoffin Tomcast web server?
 
9:17 PM
@johnathon Exactly. We were talking about web service, right?
 
@JerryCoffin that's some really old not supported anymore software lol
@JerryCoffin i was talking about ISP service
 
@johnathon What? It was just updated last month.
 
@JerryCoffin Not a tremendous fan at all of how Windows couples threads, windows, and message queues.
 
@JerryCoffin comcast throttles you on bandwith for home cable account. TOMCAT isn't TOMCAST
 
9:18 PM
@johnathon Whoosh!
 
@JerryCoffin lol
@JerryCoffin the application i was talking about was windows web server app from way back in the day (3.1 days)
@JerryCoffin but comcast is an ISP not a web service app
 
@Puppy Nor am I--but my not being a fan doesn't seem to prevent things from happening.
 
tis true.
much like how I am not a fan of YouTrack
but I practically came when I managed to get rid of Webpack
 
@Puppy As I recall, you're switching from YouTrack to Jira, aren't you?
 
Xeo
LWA and KonoSuba so good again this week. KonoSuba was funny as fuck, and LWA's episode was, I feel, its best so far. cc @Mysticial @StackedCrooked
 
9:31 PM
@JerryCoffin That's the plan.
YouTrack is so fucking terrible that whilst I have not used JIRA personally, I cannot imagine it's worse
maybe we can do away with needing external spreadsheets for our projects on top of an issue tracker
 
@Xeo LWA?
 
Xeo
Little Witch Academia
Trigger saving anime again
 
oh
 
@Puppy I'd guess you'll be able to, anyway. Jira actually works pretty decently (at least for me--a pretty easy board to glance at and see what issues are assigned to me, and easy to drag them from "To Do" to "In Progress" to "Done", anyway.
 
Xeo
@Mysticial I hope you're watching it. Can't remember if you do.
@JerryCoffin You can customize Jira pretty heavily, if need be
 
9:38 PM
We're using Jira at work. But I don't have anything from experience to compare it against.
 
@Xeo I'm not. I'm also two weeks behind on like 3 shows. lol
 
@Xeo Our IT guys have said so as well, but I haven't done much (well, anything, really) in that direction personally.
 
Xeo
@Mysticial Bad Mystical.
(Yes, that's intended)
 
Gonna be a bit of a rough road ahead for me in terms of Anime. Since I'm moving in March and AMD Zen is coming out and I have some stuff to do with that.
 
Xeo
it's 20min / day :/
 
9:42 PM
I just finished watching Lucky Star. Why isn't there more of it? D:
 
Xeo
Cuz it sucks. :P
 
@Mysticial Moving to glorious washington state?
 
@GManNickG No. I got tired of paying ridiculous rent so I'm trading that for mortgage instead.
 
@Mysticial Nice!
 
@Xeo But I liked it :/
 
Xeo
9:48 PM
I was mostly kidding. I personally never managed to finish Lucky Star
 
@GManNickG Not cheap though since there's no such thing as "cheap with a view" in downtown Chicago. So I'm gonna be stretched a bit thin for at least a year while I recoup my savings.
 
@Xeo Well, I can understand why :p
And since there's never any cliffhanger, you're not pressed to watch the following episode.
 
@JerryCoffin We're more interested in bigger-scale reports and management. I can already deal with individual issues mostly OK.
 
10:21 PM
Anybody have any experience with Storinator? The case looks pretty hot.
 
@Puppy Jira has a fair number of reports, charts, and graphs. It also makes it pretty easy to put together a dashboard with a number of widgets, so (for example) you can shown a burn-down graph for your current sprint, a pie chart of which stories are assigned to which people, and how you're doing on completing tasks for your next "version" (release).
 
we have a burn-down graph with YouTrack
it's just shit
 
Xeo
meh burndown
it's a shitty guesstimate
people suck at estimating tasks anyways, so tracking how many points you "burned down" is just useless
 
@Puppy I'd have to agree they're generally pretty useless. Quite a bit of that is just that people don't bother to update their tickets until just before the sprint retrospective (or maybe even the next sprint planning meeting) so it tends to show almost no progress until the last minute, then almost everything for the sprint shows up as happening at the last minute.
 
we don't have that problem
 
10:29 PM
@Xeo My point wasn't so much that these are particularly useful--only that if management wants charts and graphs, Jira does at least make it fairly quick and painless to generate them (and most of their being useless stems from the nature of the problems involved, not the tool used to track it).
 
the problem we have is that the ticket states aren't properly representable
particularly we have a ticket state for pending review which isn't accounted for
 
Xeo
obtw puppers
I think I see your point of really short lived branches even for big features.
the last two weeks have been a major pain
in that regard
staying alone on a long branch was fine
but jfc if you have more than maybe two people working on it and on the master at the same time
and then you have back-end who randomly decide to merge back to master before front-end and break everything there.
Gonna mention it in the next FE weekly. Or general dev retrospective.
 
@Puppy That can be added. I'm not sure how (I'm not an administrator), but we've added exactly that for at least some of our projects.
 
Xeo
It's also shitty for CRs, at least with Stash, since that only allows proper CR for multiple commits as part of a PR
Note quite sure how to handle CRs even with the other way, though. Branch, implement small task, PR to master - and wait until it's CR'd to continue working on things that depend on those changes?
since they're planning to put master into lock-down so only PRs can be made
may have to talk to them about that.
 
@JerryCoffin We have one, it's just that the sprint burndown graphs can't handle them
 
10:49 PM
@Puppy Oh, right.
 
11:12 PM
My question about RAID configuration was closed on Server Fault. I think there is an on-going conspiracy of IT professionals to hide the design of high performing IO configurations.
 
IOW, you're fucked.
 
IOW a measure of IO bandwidth?
I don't like the Server Fault people, anytime you ask a real question they give you some bullshit like talk to a professional. Imagine if we answered noobie C++ questions with "go find a real programmer".
 
TBH, it is somewhat of a broad question. Since it'll depend on what kind of performance you want? If you want maximum possible bandwidth, then the answer is, no raid, 1 thread per drive. A RAID card that doesn't bottleneck on the chipset. And not too many drives to be bottlenecked on PCIe.
If you need the fault-tolerance. Then you're fucked.
If you need maximum sequential bandwidth as if it were a single logical drive, then you're extra fucked.
If you ask on Server Fault, then you're doubly super extra fucked.
 
So, I asked if I should use a RAID card + splitter or two RAID cards for sequential write on a 30 drive RAID6 config.
The other real bullshit is that I was told many times to "go talk to a professional" by a lot of people. But professionals seem to have little clue what they are talking about, with a many different configurations proposed. For example our department spent about $300K for 300TB of storage. I think it can be done for 10 less...
 
Your question is way broader than that. Maybe if you rephased it to ask specifically which of those configurations are better for X use-case. But I'm pretty sure the answer will be, "this question has been put on hold because it can be benchmarked".
 
11:29 PM
@Xeo Always-disabled feature flags is good for such work
 
Xeo
Whatever the fuck you wanted to write at first.
 
@Xeo You can base future branches on branches that haven't yet passed CR. You just have to rebase them when the branch is changed to address comments. It's fairly painless as long as you don't have too much work based on such branches
 
Xeo
@Puppy Hmhm.
 
obviously parallel branches is better than serial branches but serial branches are doable
 
Xeo
I'm now imagining a stack of branches, and our resident Git Guy killing me
 
11:32 PM
well
think of it more as one long branch, but you PR to merge in at multiple points instead of only at the end.
 
Xeo
cuz we don't want gitar hero
 
why not?
 
Xeo
I think stash auto-updates PRs with new commits on that branch
 
GitHub does that too
 
Xeo
so I can't just fire off a PR at a certain commit and keep working on that branch
 
11:35 PM
you need to have multiple actual branches, typically
 
Xeo
right
 
but logically, you could think of it as a single long branch.
 
Xeo
I fucked up Git so bad it turned into Guitar Hero https://t.co/vUKZJAQKWg
I always have to remember that one
so yeah
 
that shouldn't occur
when your first PR goes in, you rebase the second on top of current master
the history is effectively unchanged from "I did all the shit one thing at a time and waited on code review", you can just do most of the work up front without waiting.
 
Xeo
I guess it also depends on the CR turn-around time
 
11:38 PM
and for feature branches, they are merge sources not merge targets, so Gitar Hero should not occur
 
Xeo
might look weird for a couple days with stacking branches, but will look fine in the end
well, we've been regularly merging master into our branch, exactly so it doesn't diverge too much
thankfully we're finally merging back tomorrow
rebase & --no-ff merging, that is
with all the fun that comes with it
i.e. resolving all the merge conflicts again
thank fuck I found git rerere for my future branches at least.
 
pretty sure that if you need rerere, you fucked up
 
Xeo
eh
rebasing might get me merge conflicts, I solve them once, not every time I rebase against master
 
they won't come up every time you rebase against master, since your branch is already based on those commits
 
TIL git rerere is an actual git command
 
11:41 PM
you only need to resolve conflicts with new commits on master that aren't in your base
 
Xeo
I remember having to resolve the same conflict multiple times even with a rebase, but I might be misremembering
 
6
Q: Someone just deleted their answers and ragequit over the navbar redesign. Can we make sure we undelete their answers?

Mark AmeryIn the comments at http://stackoverflow.blog/2017/02/Why-Stack-Overflow-Redesigned-the-Top-Navigation, AndryDude claims to have ragequit after deleting their top answers: Assuming that no automatic system will have caught this (which might be false), can a member of staff find out who this use...

^^ ahahaha /cc @Borgleader
 
you should never have to resolve the same conflict multiple times
the only time I've seen that happen is if you have a bad base to begin with
 
I suspect the name refers to the user's mental state and what noises he makes when he has to use that command
 
Xeo
Well, we'll see what we do next
 
11:43 PM
e.g. master and release/xyz both have feature/blah, you want to merge in new stuff but don't base on feature/blah, so you need to resolve conflicts with feature/blah for both merges
 
Xeo
but we certainly can't do another branch like we did for this feature
 
Ell
Hmm
 
Xeo
especially since 80% of the team worked on it anyways
 
but in that case you can still cherry-pick
 
Ell
I wonder what an efficient number parsing algorithm is
 
Xeo
11:44 PM
anyhow
I should be sleeping
almost 1am
 
@Xeo Whatever you decide to do, it's a lot easier to do with small branches ;p
 
Xeo
I've been sleeping shitty the last couple days and I've been at work extra early to make the hard deadline we have this time.
Gonna need a lot of sleep on the weekend...
 
speaking of sleep, I am also being called to my bed
 
^^ Without even reading it I can't resist saying botany.
 
11:57 PM
"You're crushing my face" ~ Bed
 
00:00 - 18:0018:00 - 00:00

« first day (2314 days earlier)      last day (2649 days later) »