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
just wanted to chat about that sonic pi hackathon idea we had :)
Sonic Pi hackathon could be fun, anyone else interested?
i think maybe this gitter room isn't the best place to reach out to people who might be interested :)
unfortunately with my current schedule it's looking like i won't have the time for a few months though
We haven't really had time to think about what to do next, but yes maybe gitter isn't the best place.
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 :)
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.
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."
This is the dot-home code itself, right?
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.
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.)
Just give me a sec to debug a little more code first. lol
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?
@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
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.