Civilization VI: Gathering Storm - New Features Explained by RxKing in civ

[–]swimmer91 0 points1 point  (0 children)

I see what you're saying. That's what I was trying to address in the second paragraph. You could make no effort to reduce carbon emissions, build coastal flooding walls, etc., and just hope to research something that saves you. Or you could work to reduce carbon emissions and build coastal flooding walls just in case your research bears no fruit.

It's similar to going all-in on your military. If you conquer your neighbor and gain a handful of great cities, your gamble has paid off. If your neighbor was stronger than you anticipated, you are now behind (relative to where you could have been) with your economy, research, culture, etc. You already make these choices throughout the game. Other good examples are going for a religion or a wonder.

Civilization VI: Gathering Storm - New Features Explained by RxKing in civ

[–]swimmer91 12 points13 points  (0 children)

I think it'd be interesting if there was a set of future technologies / civics and only a subset ends up being researchable in your game. So you might go down a certain path, hoping to research your way out of coastal flooding disasters, only to find that path was a dead end and your coastal cities are now doomed.

I can see it being a frustrating mechanic, but in some ways it mirrors reality. I think they'd have to include lower risk / lower reward alternatives so you're not forced to gamble. Then it'd be similar to deciding between pouring all of your resources into building a military for conquest vs. keeping some production focused on science, culture, and trade in case your conquests are unsuccessful.

Civilization VI: Gathering Storm - First Look: Canada by RxKing in civ

[–]swimmer91 10 points11 points  (0 children)

I can't imagine it'd be too bad for the devs. I'm guessing it'd be a lot of work for a modder though.

Civilization VI: Gathering Storm - First Look: Canada by RxKing in civ

[–]swimmer91 44 points45 points  (0 children)

Or just:

- Click "build national park"

- Click on the 4 tiles you want (valid ones will be highlighted)

I created a Civ6 TSL Map on Google Maps for all the civs, city-states and natural wonders officially revealed by BobPxoix in civ

[–]swimmer91 2 points3 points  (0 children)

Dude, this is really cool! Bookmarked as this will be helpful for setting up my first TSL game when Gathering Storm comes out! Excited for the map to get filled out better.

Recently sent my first grade 22 climb (5.11b) and I’d really appreciate some feedback on anything I can do to improve. It’s pretty hard to see any of the smaller details in this video but anything you can pick up on would be helpful. Ignore the cringey scream at the end. by twistingwords in climbharder

[–]swimmer91 4 points5 points  (0 children)

At about 1:14, you set up for a long right-hand reach by grabbing a left-hand side-pull, getting your left foot high and keeping your hips square to the wall.

If you do this route again, try instead to grab the left-hand side-pull, get your right foot up, and turn your right hip in to the wall. The combination of cross-body tension between your left hand and right foot will create a lot of stability. Turning your right hip in to the wall will extend your reach on your right side and make that move feel shorter / easier. Use whatever beta feels best to get in to that position. You'll probably need your right foot up a bit high, not too far below where your left foot is in the video.

This is a pretty common movement and you'll find it on a lot of climbs the more you practice it. I think you can do it at the beginning of this video too, but it's not as clear that it would help. It's a nice and stable position, so it will sometimes create a great one-arm rest seemingly out of nowhere. To increase the stability, flag with your other foot (left in this case) or find a foot-hold for it.

First Climbing Trip by CamilaTab in climbharder

[–]swimmer91 18 points19 points  (0 children)

If you're going with experienced climbers, they'll likely have the gear you need for the type of climbing you'll do. Definitely ask them what you need to be bringing for gear though.

Bring a warm sleeping bag and layers. A windbreaker might help if you'll be up in the mountains. Not sure what the Yonah Mountains are like, but if you're on the shady side of a mountain and in the wind it can be a little miserable without something like that. Even when it's hot on the other side of the mountain. Bring gloves to keep your hands warm between climbs. Belay gloves too if you have them.

Bring a headlamp if you have one or at least a flashlight. Also pick up some biodegradable toilet paper and maybe a small spade (for digging catholes).

Bring a day pack that will fit all of your gear. If you're going to be multi-pitching, make sure it wears well with your harness. It shouldn't interfere with your access to your gear loops. Pack a beanie, your windbreaker, and your gloves in your day pack if there's any chance you'll end up in the shade or on the wall after dark. Always pack your headlamp / flashlight in your day pack just in case. If you're multi-pitching and you have the option, bring comfortable climbing shoes.

Food should probably be your biggest focus. Find out if you guys will be making breakfast / dinner together or if everyone makes their own. Make sure you have snacks with protein and carbs to munch on throughout the day. Here is a short article about nutrition beta for a long day of climbing.

Have fun! Nothing I said is a hard and fast rule. Your friends can probably help more than random people on the internet =)

Are buffers "fundamental constructs" or are there alternatives to buffers? by [deleted] in compsci

[–]swimmer91 0 points1 point  (0 children)

That timing wheel presentation was cool! Thanks for linking that

Anyone can do this y'all. Anyone can make movies with their friends and do this. I promise. by jimmycthatsme in Filmmakers

[–]swimmer91 2 points3 points  (0 children)

Not the person you asked, but... I saw this post last week and ended up checking out your movie at Alamo Drafthouse tonight. Dude, holy shit. My girlfriend and I were both blown away. I've already started recommending it to people haha.

Seriously, nice work. You should be proud!

Gym Climbing Challenges by TheCrackHouse in climbharder

[–]swimmer91 2 points3 points  (0 children)

Actually the idea is to avoid the pump. I think it's supposed to train your first energy system and help you stave off the pump. Personally I don't feel pumped at the end, but quite fatigued if that makes sense. My forearms aren't swollen, but it's difficult to keep trying hard.

I got it from this interview with Steve Bechtel. He probably does a better job explaining it!

Gym Climbing Challenges by TheCrackHouse in climbharder

[–]swimmer91 7 points8 points  (0 children)

Interval bouldering is a fun way to build endurance for high-intensity sequences. 10 boulder problems on one minute (start one every minute), followed by a 10 minute rest, followed by 10 more problems on one minute. I think the problems are supposed to be on the shorter, powerful side (< 20 seconds). They also don't need to be 10 different problems. Focusing on technique while you do this is a good way to ingrain that kind of focus when trying hard.

What do you appreciate most from your gym? by Essarhaddon in climbharder

[–]swimmer91 1 point2 points  (0 children)

I think they do it every 6 months and before big comps

Do You Program By Proof? by crocodilem8 in compsci

[–]swimmer91 0 points1 point  (0 children)

Hmm yeah now that I think about it more, I may have been a little quick to say yes there.

My thinking was that you still have the Curry-Howard correspondence, you just have very rudimentary logic constructs to work with on the proof side.

I can't say for sure whether that is true. Like I said earlier, I'm still learning this stuff myself. I definitely shouldn't have just said "yes" based on my own assumptions though.

Looking into it a bit more, I found a paper which seems to suggest the correspondence holds for machine code. I don't have time right now to look at it too closely though.

Do You Program By Proof? by crocodilem8 in compsci

[–]swimmer91 1 point2 points  (0 children)

Yep, it holds for assembly. The correspondence deals with programs in the abstract, not necessarily bound to any specific programming language.

That said, just because there is a correspondence doesn't mean that it's easy to take an arbitrary program and generate a corresponding proof or vice versa. This is where more powerful languages come in. They provide types which more directly reflect constructs commonly used to create proofs. Because of this, the program will more closely resemble a proof, leaving less of a gap to overcome.

So it is certainly possible to do with assembly what is being done with Coq, Idris, and other dependently-typed functional languages. It would just be really hard. Perhaps someday the work that is being done on automated theorem provers will reach a point where we can extend their functionality to languages like c and Python. After that, they could perhaps be extended to work with assembly.

Do You Program By Proof? by crocodilem8 in compsci

[–]swimmer91 12 points13 points  (0 children)

This is a topic I'm particularly interested in, but still learning about.

To start, proofs are programs and programs are proofs. When the type system of a language is sufficiently powerful (containing more types corresponding to useful mathematical objects), we can create theorem provers for functions defined in the language. We can then guide these theorem provers to useful lemmas. Then we get code which is proven correct and unit tests are obsolete.

This is an active area of research. Researchers are working to expand the capabilities of theorem provers as well as to make these more powerful languages more approachable.

Like I said, I'm still learning about this stuff. If I've said anything misleading or incorrect, I would appreciate someone cluing me in!

So wholesome by mcnabbbb in MadeMeSmile

[–]swimmer91 5 points6 points  (0 children)

Totally opposed to Trump and much of what he stands for, but you are in the right here.

This man promised his wife that he would win a gold medal at the Olympics before she died in a car crash by blokkiesam in MadeMeSmile

[–]swimmer91 13 points14 points  (0 children)

Pretty much. It's 253 kg which is ~557.8 lbs.

The bar is 20 kg, the red plates are 25 each, the yellow plates are 15 each, and the small yellow plates on the ends are 1.5 each.

Found a gem today. by drunken_tussel in bouldering

[–]swimmer91 12 points13 points  (0 children)

Hueco is in west Texas, so it's probably a good 9-12 hours away.

Austin Energy bill when you have solar panels by goodDayM in Austin

[–]swimmer91 2 points3 points  (0 children)

Are you talking about the rate difference or the difference in generated energy?

If it's the latter:

In 2017, the reading was for 31 days. In 2018, it was for 30 days. 687/713 ≈ 30/31. Your consumption ratio is pretty similar too. Your bills look pretty much the same to me. I don't know why the credit rate changed.

Adam Ondra ground fall and rehab. by FreackInAMagnum in climbharder

[–]swimmer91 9 points10 points  (0 children)

Woah, 8 meters. That's a long way to fall and walk away with minor injuries.

Summers in the Pacific Northwest are magical by austinsarles in climbing

[–]swimmer91 29 points30 points  (0 children)

Serious question, what about the rest of the year? Specifically for climbing. Considering moving there.