November 2021 Archiv

Shimano-Pritt anti-midge SPF 50 anti-flat carecide extra tasty.

Can I still add tubeless tire sealant, glue and frying oil to the ultimate cream wishlist?

Oversampling.

Buses and trains are supposed to arrive at constant intervals, but in practice some intervals are longer than others. With your luck, you might think you are more likely to arrive during a long interval. It turns out you are right: a random arrival is more likely to fall in a long interval because, well, it’s longer.

Probably Overthinking It (Allen Downey): The Inspection Paradox is Everywhere

Very occasionally.

E is an equational theorem prover. That means it is a program that you can stuff a mathematical specification (in many-sorted first-order logic with equality) and a hypothesisconjecture into, and which will then run forever, using up all of your machines resources. Very occasionally it will find a proof for the conjecture and tell you so ;-).

github.com/eprover/eprover

Behalve deze.

Stellingen die over stellingen gaan zijn altijd flauw.

Wouter Teepe

Writing is no longer public.

What do philosophy and statistics have in common?

People like them the least.

There was a study done in 2019 in the United States of how people feel about humanities and arts. There's us! Philosophy! Statistics! People like us the least. Science, history, even math got in there higher than us. What is going on? I'll tell you what's going on: People aren't reading. When people, general public, are out there engaging with humanities and arts, they're not reading. They're watching videos. They're doing online searches. Sometimes they pick up a book, but that's classified as engaging with literature, and it doesn't happen nearly as much as you think. Usually it's shows with historical content or researching something online. People like documentaries. So "writing stuff" is not public philosophy. That's just writing stuff - you're like every other blogger out there.

The Inclusive Philosopher: Philosophy and Inclusive Design