danielrmay

Thanks for making Hister, I've been using it for a few days (~7k docs) and I'm impressed so far.

I had an eerily similar experience interviewing at a similar public SaaS co recently.

Ten years ago, maybe

Wow, this might seal the deal for "SaaS-pocalypse". I imagine the upside is high for Spoons considering the wealth of data and a well-oiled product enshittification playbook.

"I hope our names are touching on the watchlist"

Choosing what to remember is my biggest challenge!

This is absurd and I love it.

As an example, webfonts can make rendered text differ from the underlying text that ends up on your clipboard.

Rendered text cannot be assumed to equal the underlying text, unfortunately

This, and some results smartly ignoring the selected sort order because gmail suggests you "follow up", both work together to paint a vivid picture of a disassociated product team who no longer understands their customer.

Fascinating, and arguably an illustration of why the bifurcation of responsibility is interesting in the first place.

I see. It still feels like a bit of an oddly solemn way of saying "this is the part we admit responsibility for"

I'm enjoying learning about these hard problems, but this line about credit made me chuckle:

> We helped prepare the manuscripts and formalize the proofs in Lean, and we take responsibility for their correctness

Offering to take responsibility for the correctness of a proof written in Lean feels like volunteering to be the fall guy in case someone finds a flaw in basic arithmetic, no?