Cody

About a third of the way though and really enjoying. I'll note that if Captain Marcus isn't at least a little bit inspired by Commander of the Watch, Lord Vimes, then I'll eat my affordable leather boots serving as a metaphor for the increased costs associated with poverty.

The water temperature is part of the problem, though.

Wicked is one of the most insulting cases of Hollywood Ugly I have ever witnessed

I'm sorry I strapped you to the machine that reads your brainwaves and lights up green when you think of red and red when you think of green and forced you to make it light up green

That last one *is* pretty funny.

It's amazing how quickly you learn what things in your house are slightly below arms length when your back hurts

Saturday Morning Breakfast Cereal - Ethics Saturday Morning Breakfast Cereal - Ethics

@zachweinersmith.bsky.social spitting facts again www.smbc-comics.com/comic/ethics-7

Mass debate right in front of my eyes!

Yes, but it's a fiddly one.

A much as I like the horizontal bar rule notation, I feel like Haskell code would be more readable

LawyermanTM (@lawyerman_ktk) on twitter: "Mass transit systems are a SERVICE. they don't "lose" money, they cost money. These are services, not poorly run business. Framing public services as profit making entities is the worst form propaganda. No one says the military "loses" $8.8 billion/year. Same here"

When drugstores disappear: Why nearly 15,000 Bostonians live in ‘pharmacy deserts’ Roxbury is one such victim. Having lost four drugstores since 2017, the vast majority of the neighborhood now qualifies as a pharmacy desert.

Guess where I live?

www.boston.com/news/the-bos...

I'm sure she loves you in all possible worlds.

I should pretend to flirt with everyone I meet, I think it's the only time I'm bearable

If your theory of ethics is making you do horrible things it's not because "ethics is counterintuitive". It's because your ethics are bad.

HAL is just a big softie!

The real tragedy isn't people who are jerks to you all the time. It's the ones who are jerks maybe 80% of the time. Leaving you guessing

But... I do hate getting woke from a good nap :(

For the math folks on here: NSF has suspended Terry Tao's grant. www.nsf.gov/awardsearch/...

I play upbeat bossa nova music as I get up in the morning just in case I happen to be the protagonist of a movie about self discovery

Coming soon: MDR Dasher Keyboard: For Work That's Mysterious & Important Standard equipment for Macrodata Refinement: CNC-milled body, integrated trackball, modular design—Please enjoy each keystroke equally.

Dang they might just sucker me in www.kickstarter.com/projects/ato...

I think.

Yes, though they are usually built on state of the art SAT solvers underneath.

Not quite: in incremental sat solving, you want to "un-learn" literals. This is more finicky than un making branching choices.

The Derivation Problem for 2-to-1 Decreasing Grammars (or Rewriting Systems) with Duplication: Is it Decidable? Has the following problem been considered before? If so, does someone know if it is decidable? Input: a source word $S_1 \dotsb S_n$, a target word $T_1 \dotsb T_m$, and a set $G$ of production ru...

Hey, a bona fide open (as far as I know) problem on CStheory! cstheory.stackexchange.com/q/55577/3984

Warm up your brain tanks!

...that involve that new constraint!
Maybe this is part of the reason mathematicians love groups.

Things get more subtle when dealing with, e.g. Boolean constraints, but maybe I'll explain that some other time.

Any other cool examples?

One example is lists of linear constraints. Because of the Farkas lemma, we know that only linear operations on constraints are necessary to find a contradiction, and linear operations are always invertible.

So adding a constraint can be "undone" by simply undoing the operations...

... But this generality comes at a steep performance price: typically you need many indirections, and memory usage gets quite strained, GC becomes mandatory, etc.

In cases with more structure, it becomes useful to learn how to "undo" actions more cleverly than keeping a pointer to the old data.

I was nervous because I didn't know what immutable data structures were.

As it turns out, I actually didn't know what *mutable* structures were!

So that was lucky.

But there's more than one way to skin a cat. Functional data structures are convenient ways to get very generic backtracking...