@[email protected]

[@[email protected] @jbclements]

#elonmusk is clearly an abysmal manager, and now appears to be a moderately repulsive human being. If you agree, please join me on Mastodon.

[@[email protected] @jbclements]

@mwand I'm starting to feel like https://t.co/JXZglT3MMR might be a wee bit more zealous about moderation than I'm looking for. Am I wrong?

[@[email protected] @jbclements]

@ShriramKMurthi It seems clear to me that the choice of server, which implies a choice of moderation policy, is incredibly important. I had an existing mastodon account on <some server>, tried to search for you, and was told that your profile had been hidden and might be offensive.

[@[email protected] @jbclements]

@ShriramKMurthi @lexi_lambda I think nextdoor is super-valuable; I think that "toxic cesspool" *is* your neighborhood. (And mine, to be clear). That's what people are actually like, when you don't have twitter & facebook to show you only things you agree with. Or so I claim.

[@[email protected] @jbclements]

@dabeaz @elfprince13 @ShriramKMurthi @joepolitz so in some sense, the only real problem here is the error message, which should perhaps report that e is not currently bound to a value. problem solved?

[@[email protected] @jbclements]

@jbartos @NYTGames One solution to this may involve using a "bonus subscription" which may already be available in your account. Or not. Sigh.

[@[email protected] @jbclements]

@sauersometimes @NYTGames one solution to this may involve using "bonus subscriptions" to add an email account to your nytimes account.

[@[email protected] @jbclements]

@NYTGames Tip to save your marriage after you mistakenly click this option: go to 'account>account settings>share the times>bonus subscriptions' and add an account. if you have one available.

[@[email protected] @jbclements]

@WalterPickhardt @NYTGames Are you referring to the "bonus digital access subscription" that appears to be available in "Account > Share the Times" ?

[@[email protected] @jbclements]

@Kamaribis @jbartos @NYTGames Ditto... can't believe (a) they didn't think of this and (b) I didn't think of this. Sigh.

[nrc @nick_r_cameron]

I am fully prepared to mask up in crowded places, healthcare settings, around vulnerable people, etc. for the rest of my life. I don’t see how we do it any other way. I wish we as a society would accept and normalise this

[@[email protected] @jbclements]

@notjustbikes @atheist2008 You're both sounding just a bit shouty here...

[@[email protected] @jbclements]

@disconcision Wow, sorry I haven't seen this earlier! Possible takeaways for the stepper's interface (which I am absolutely not in love with at all): vertical layout of steps enables natural scrolling interface, repl interface enables configurability as evidenced by hide.

[@[email protected] @jbclements]

@jeremyjkun @ShriramKMurthi No, but I label them clearly to indicate that I don't personally stand behind their correctness. (Specifically, I label them "regression tests", which is obviously not clear, hence my desire to know the right term!)

[@[email protected] @jbclements]

@AlexJonesax GHC has Shake, and Racket/mflatt is now developing zuo, which is based on similar ideas. Still declarative, but has a richer set of dependency primitives & not based on shell scripting. Disclaimer: though I will probably soon get to know it well, to date I have never used it

[@[email protected] @jbclements]

@jeremyjkun @ShriramKMurthi I think the key difference (should have said this!) is the fact that I don't stand behind the correctness of these tests. I'm basically saying "I have no idea if this is correct, but it's how it behaves right now".

[@[email protected] @jbclements]

@ccshan Ooh, close! On slack a friend reminded me: https://t.co/d9iV1stFgL

[@[email protected] @jbclements]

ugh ugh searching for reference to self-guided 10-lab intro to shell, linux, editors, etc. offered by... students... at ... berkeley? search still not good enough for me, sigh.

[@[email protected] @jbclements]

@ShriramKMurthi @noelwelsh I'm not cool enough to see the tweet that started this, but would this be an appropriate place to mention shrubbery? https://t.co/b1cYVEMs9Y