Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    Lloyd
    @lloydmeta
    At timing but will aim for 10 mins
    Chris Salzberg
    @shioyama
    Thanks, as a title maybe "Functional Programming in Ten Minutes" ? :wink:
    Lloyd
    @lloydmeta
    I'm actually wondering if I should even include "Functional Programming" in the title because I'm afraid it might scare ppl away or turn them off
    I'm aiming for less (potentially zero) jargon and category theory, and more on showing some practical benefits
    but yeah, maybe "Safe, reusable patterns in 10 minutes" or something
    Chris Salzberg
    @shioyama
    Sure, "functional programming" is pretty broad, "reusable patterns" might be more manageable
    Chris Salzberg
    @shioyama
    @lloydmeta Could you give me a quick title to add to the doorkeeper event page?
    Chris Salzberg
    @shioyama
    I'm just going to put you down for "Safe, reusable patterns in 10 minutes" :smile:
    Metallion
    @Metallion
    good day, kind sirs :) andreas here, the sonic pi presenter from last week
    just wanted to chat about that sonic pi hackathon idea we had :)
    Chris Salzberg
    @shioyama
    Hi Andreas! Thanks for your great talk!
    Sonic Pi hackathon could be fun, anyone else interested?
    Metallion
    @Metallion
    crickets :)
    i think maybe this gitter room isn't the best place to reach out to people who might be interested :)
    Metallion
    @Metallion
    if the above message sounded aggressive, i would like to apologise as that wasn't the intention. :) it was just me kinda talking to myself, thinking i should probably e-mail people directly if i want to set up this hackathon
    unfortunately with my current schedule it's looking like i won't have the time for a few months though
    Chris Salzberg
    @shioyama
    Ok, no problem
    We haven't really had time to think about what to do next, but yes maybe gitter isn't the best place.
    Chris Salzberg
    @shioyama
    Metallion
    @Metallion
    Oh cool
    looks like that's happening right now basically... too bad i can't go though :( i'm headed for europe to attend cebit (and graspop metal meeting... hehe) next thursday and still have a bunch of stuff to prepare
    that's the same reason i couldn't setup a sonic pi hackathon quite yet :)
    Chris Salzberg
    @shioyama
    Ok no worries :smile:
    David Siaw
    @davidsiaw
    :eyes:
    Curt J. Sampson
    @0cjs
    Oh, not a lot of activity here recently! Anyway, I'm coming to the meeting on Friday evening, and if you've got a slot to fill I'd be happy to give a brief overview of my [dot-home][https://github.com/dot-home/_dot-home] system for control and distribution of personal environment and configuration files.
    Metallion
    @Metallion
    Hey Curt. Been a while. :)
    Curt J. Sampson
    @0cjs
    Yeah!
    Metallion
    @Metallion
    How would you summarise that talk in one sentence so I can put it on Doorkeeper?
    Curt J. Sampson
    @0cjs
    I guess just as above: "An overview of dot-home (https://github.com/dot-home), an system for control and distribution of personal environment and configuration files."
    Metallion
    @Metallion
    It's on the long side but it'll work. And any social media account you'd like to pimp next to it? Github would work too.
    Curt J. Sampson
    @0cjs
    That's the social media URL right there, the GitHub one.
    Metallion
    @Metallion
    I meant yours :) We currently have social media links for all authors.
    This is the dot-home code itself, right?
    Curt J. Sampson
    @0cjs
    Oh, no, I don't really do social media beyond GitHub.
    Metallion
    @Metallion
    I see.
    Anyway looking forward to your talk. Christian Horn also got back to me with a talk about "bit rot".
    Still have to reply to him.
    But looks like our list of talks is filled out now.
    Curt J. Sampson
    @0cjs
    I won't be using slides, BTW; I'll be demoing in a command-line window. Is your projector good at supporting output formats (on VGA or via an HDMI converter I have) that are not standard FullHD, or do you think I should get there a bit early to make sure my laptop is set up with a compatible resolution? (It's a ThinkPad X201s with a native panel resolution of 1440x900.)
    Metallion
    @Metallion
    It's just a TV actually. I could quickly hop down to the 6th floor and check what it can do.
    Just give me a sec to debug a little more code first. lol
    Curt J. Sampson
    @0cjs
    Sure. If you've got any non-standard-screen-size output you can plug into it, that should tell you if it's likely to be ok. But I can get set up with an alternate resolution, if it needs one, in ten minutes or so. Actually, I should just try out switching to an FHD resolution for mirrored internal/external at home, first, come to think of it.
    BTW, do you guys have a paid Doorkeeper account or do they offer some sort of free plan for "non-profit" type stuff?
    Metallion
    @Metallion
    I'm actually not sure what type of Doorkeeper acocunt we have. Do you know, @rramsden ?
    Metallion
    @Metallion
    @0cjs Sorry it took me a while to get back to you on this. We can't really access any of the TV's inputs other than HDMI because of how it's mounted on the wall. But if you have a HDMI to VGA converter, it can probably handle that. Here's the output from xrandr while my laptop is plugged into HDMI without a converter.
    HDMI1 connected 1920x1080+0+0 (normal left inverted right x axis y axis) 0mm x 0mm
       3840x2160     30.00 +  25.00    24.00    29.97    23.98  
       1920x1080     60.00*   50.00    59.94    24.00    23.98  
       1920x1080i    60.00    50.00    59.94  
       1680x1050     59.88  
       1280x1024     60.02  
       1280x960      60.00  
       1360x768      60.02  
       1280x800      59.91  
       1280x720      60.00    50.00    59.94  
       1024x768      60.00  
       800x600       60.32    56.25  
       720x576       50.00  
       720x576i      50.00  
       720x480       60.00    59.94  
       720x480i      60.00    59.94  
       640x480       60.00    59.94  
       720x400       70.08
    Curt J. Sampson
    @0cjs
    Ok, I'll try to confirm my laptop can do 1920x1080 via the HDMI. Shouldn't be an issue.
    Curt J. Sampson
    @0cjs
    Spent an hour finally properly learning and documenting xrandr, and now I know exactly how to deal with 1920x1080 output from my laptop, tested through my VGA adapter. So all is good!
    Metallion
    @Metallion
    Cool. :)
    I've been intimately familiar with xrandr for quite a while already. It's how I've handled dual monitor setups for pretty much as long as I've been in Japan.
    Curt J. Sampson
    @0cjs
    I've not used dual monitor in ages. Like, since 2011 or something like that.