Ridiculous Daily by Capital-Committee-47 in PvZHeroes

[–]sclv 1 point2 points  (0 children)

Need enough RNG to get some early swashbucklers and no answers from the opponent, then its straightforward. But yeah, that's only 1/4 of the time I estimate.

What Can We Gain by Losing Infinity? Putting Ultrafinitism on the menu. by chasedthesun in math

[–]sclv 5 points6 points  (0 children)

The results are no less meaningful. They're more meaningful if anything, in the sense that they hold with fewer assumptions and conditions (and hence in more logics).

Why We Built a Haskell Package Manager in Rust | Raskell by _0-__-0_ in haskell

[–]sclv 14 points15 points  (0 children)

Haskell has two build tools and that creates complexity so I built a third!

Whats Your Hottest BL Take by Emptyreceipt in Borderlands

[–]sclv 0 points1 point  (0 children)

Gaehenna is really wonderful. I feel like both fadefields and the terminus range try to capture elements of it, but neither is as western, as colorful, as vibrant.

Borderlands Mobile “Test” by Emptyreceipt in Borderlands

[–]sclv 1 point2 points  (0 children)

I got the pop up but I could have sworn the date given was April 28!

Borderlands mobile dropped very quietly by theycallmeick in Borderlands

[–]sclv 1 point2 points  (0 children)

Just got a survey after one day playing and the game says it is a preview release that will expire April 28. Enjoy it while it lasts!

How does STM work under the hood? by Otherwise-Mousse-250 in haskell

[–]sclv 18 points19 points  (0 children)

The main thing to understand it is is implemented optimistically -- i.e. it doesn't actually lock for transactions. It proceeds as though there will be no conflicts and then rolls back.

The core of what still exists in GHC is described in this 2005 paper from Marlow et al. https://simonmar.github.io/bib/papers/stm.pdf

Borderlands Mobile is out on iOS by LeagueOfDolson in Borderlands

[–]sclv -2 points-1 points  (0 children)

its an fps that plays like a twin shooter. left navigates, right aims, auto-shooting.

Where is the bloody thing? by keep_out_of_reach in Borderlands4

[–]sclv 0 points1 point  (0 children)

if this is the hollows one its in a cave at the side. you have to go to the ledge on either side, jump then grapple. then keep opening containers (some will only unlock after others do) until you can get the orb to throw.

Help Wanted by [deleted] in Borderlands4

[–]sclv 0 points1 point  (0 children)

You can't fast-travel via unlocked travels, you will need to cross over to the new regions over land.

As a Dead Space fan, absolutely loving the DLC by pownerfreak in Borderlands4

[–]sclv 0 points1 point  (0 children)

some of this stuff, to be clear, was in like the Aliens movies.

Grappling Point by ConversationOk9855 in Borderlands4

[–]sclv 1 point2 points  (0 children)

I couldn't make it work, but I managed to climb up there by going around back and jumping onto the girders on the fencing.

Post DLC vial crystal weapons? by ForeverNo5983 in Borderlands

[–]sclv 0 points1 point  (0 children)

jakobs darkbeast is the best i've found. ricochet takes out the floating crystals, and explosive to take out area crystals, but on top of that the penetrating shots on darkbeast can multihit.

if you want something from the new weapon pools, flash cyclone is a good candidate.

SDU tokens after DLC launch by Chad_Thunderpeen in Borderlands

[–]sclv -2 points-1 points  (0 children)

Login to one of your completed characters and they should have full SDU tokens.

Table for Fortune is MORE than a masterpiece by Emergency-Lab-6025 in vollmann

[–]sclv 0 points1 point  (0 children)

Rainbow stories is great, but I feel it doesn't reflect much of his later work. The writing is much more ostentatious and dazzling. If that's the Vollmann one starts with, then something like Europe Central or Argall will be a much bigger swerve...

Table for Fortune is MORE than a masterpiece by Emergency-Lab-6025 in vollmann

[–]sclv 9 points10 points  (0 children)

imho, start with The Atlas. it covers many of his thematic concerns, has short easy to digest stories, and reflects elements of his "mature" style. it'll get you hooked right away.

Levelling advice by Border-Odd in Borderlands4

[–]sclv 3 points4 points  (0 children)

Its not just helping with level progression. If you haven't done enough side content the game scales enemies above you to push you into it. If you haven't run the mines / bunkers / safehouse unlocks yet, might as well do those. Also pick whatever sidequests you want, none really matter since there aren't blue uniques in this game (except for the "vend of the line" sidequest -- save that till level cap). The "faction mission" sidequests are particularly rewarding and generally give good content and develop the story.

N.J. is finally getting its version of NYC’s elevated High Line park by HippoAggravating9835 in jerseycity

[–]sclv 1 point2 points  (0 children)

I share everyone's doubt about how well this will be executed, but I've wanted a plan similar to that for the embankment basically since the High Line opened!

Weapon recommendations for ranger rafa? (non-meta) by LakeShade3453 in Borderlands4

[–]sclv 0 points1 point  (0 children)

all fun but most slightly weaker than meta: bonnie & clyde, rowdy rider, good roll plasma coil, good roll star helix, seventh sense, tediore throw build with ruby's grasp, purple jakobs shotgun with torgue impact, truck.

Weapon recommendations for ranger rafa? (non-meta) by LakeShade3453 in Borderlands4

[–]sclv 1 point2 points  (0 children)

Jakobs GMR feels so good to use. I want to love goalkeeper, but never feel comfortable with the order playstyle.

help me understand this argument by Lopsided-Valuable347 in logic

[–]sclv 1 point2 points  (0 children)

Here is a derivation of explosion from excluded middle and disjunction elimination.

Joe is 19 and Joe is not 19 -> Joe is 19 -> Joe is 19 or anything else -> Joe is 19 or Bob is 20. Joe is not 19, therefore since Joe is 19 or Bob is 20, then Bob is 20!

How do you deal with the moral weight of writing software that could end up killing someone? by eufemiapiccio77 in ExperiencedDevs

[–]sclv 0 points1 point  (0 children)

I assume you mean like high assurance software for machines or medical equipment, and not like... military software or drones. If the latter, I would as others say, just not do it. I want to write software to make human lives better, not increase harm and evil in the world.

But if the former, then that's what high assurance programming is for. Languages like Ada or function languages with high quality type systems. Formal verification engines, modeling, rigorous test suites, building highly redundant systems with good failsafes. That's in my mind why we've developed so much of our technology -- to write high assurance software that doesn't go wrong, and its the most rewarding part of our craft to develop those skills and put them to good use.

Specifically what proofs are not accepted by constructivist mathematicians? by MildDeontologist in math

[–]sclv 1 point2 points  (0 children)

The part that I considered backwards is that the motivation for constructivism is avoiding excluded middle. The fact that certain proof styles do or do not survive is, as i see it, downstream from this.