Theodore Ehrenborg

`harsh ask` doesn't work correctly between 1am and 2am just after DST happens

7

**Describe the bug** Between 1am and 2am, `harsh ask` does not ask me about today's habits, even if they are not done. It will still ask me about yesterday's habits...

Native support for Convolution Layer

2

Use case: I’ve written a [module](https://github.com/TheodoreEhrenborg/phutball/) in Python that plays a board game. Part of the module uses a convolutional neural network, which I made with TensorFlow Keras. I’d like...

Example verus proofs

2

Thanks for the call with BAIF @rozbb. I'm informally reaching out to ask some questions and show you what Verus looks like when applied to your codebase. # Questions 1....