drewfer @drewfer@qoto.org

@arteteco Plantable paper?

@arteteco Giving out pamphlets or flyers for your events at the farmers market might also work.

The kind of people that attend those would probably be interested in doing some 5-gal bucket patio-gardening.

@arteteco One of the local groups gives away compost worms a most local fairs and street festivals.

Just won the fast draw competition?!? #TotallyNotAnAccident

It's 5:00 on Friday and I'm listening to dubstep and writing unit tests for the CRC impl.

@williamlweaver @SecondJon @AnonByNature @peterdrake

The interesting thing that I've observed is that conservatives seems to focus most on the left's reaction to his 'buffoonery' but not the broader reaction to his 'course corrections'.

@williamlweaver @SecondJon @peterdrake

"Enrage your Opponent so they react emotionally, not logically, and the opportunities for a win increase"

This has direct ties back to tribalism/political identity issue. Partisanship has become a game where the objective is to become the winner, not to seek out the best policies with the best outcomes for the populous.

@sporksmith Some of the guys on the project are currently using coq but I don't have any experience with it. If I find anything I'll let you know.

@freemo apologies, I didn't mean surveys for proofs, I mean papers that discuss the general 'state of the art'.

@williamlweaver re: Basis? Much of it has to do with political identity. We're wet-wired to hate out-groups and defend in-groups regardless of right/wrong.

re: advocating policy: IMHO we need to take an evidence based approach but that directly clashes with with the above. Until we find a practical solution to the above, I'll support your advocacy. That probably makes me naive though :)

CS People: anyone with formal proof experience? We're toying with some research into #DeepSpec style formal proofs of architectures and language and I'm looking for some good survey papers to get up to speed. Any suggestions?

@elmiko@mastodon.technology _Old Man's War_ was great! Haven't read _The Ghost Bridges_ yet but it looks like I should put it in my ToRead list :)

I haven't gone browsing on the fed timeline too much lately so I haven't really encountered all that much annoying/offensive material.

So far the local #QOTO timeline + some news bots are keeping me engaged enough to get what I want outside of the people I'm directly following.

It seems like instance admins should look at Postel's law when thinking about their social responsibilities as an admin.

If you want the fediverse to be an engaging and robust tool for the exchange of ideas you need to moderate users on your instance strictly by your code of conduct but accept pretty much anything save technical attacks and illegal content from other instances and let the local users moderate their own feeds.

@trayofbees I got Carpal Tunnel Syndrome just reading that!

@spinflip The tdqm_notebook is probably calling the request multiple times with the same range header. You're going to have to build an iterator around iter_content() that updates the Range header when the underlying connection closes and then pass that to the notebook.