langfield
langfield
I'm wondering if there's functionality in beartype for doing something like this: ```python #!/usr/bin/env python3 """ This code does not work because these features are not implemented. """ import sys...
For example, do we ever intend it to detect the issue in either of these: ```python from beartype import beartype @beartype def fn(n: int) -> None: n = "waffle" @beartype...
**Disclaimer.** This is a shameless plug for my own tool. Hi! This is an extremely neat project! I love that you guys have been using `git` to handle contributions for...
I have what must be the most basic use case imaginable. I want to block all HTTP traffic, on the host machine, a single computer. It took me the better...
I've only just noticed that the `README` says these are only shallowly-checked. I'm very surprised, as these seem like bread-and-butter data structures. Is it accurate to say that whenever we...
This configuration passes the tests on a local `stack` installation, but fails on the website. ```yaml name: minesweeper version: 1.1.0.5 dependencies: - base library: exposed-modules: Minesweeper source-dirs: src ghc-options: -...
It is insane that there are 5 different ways to represent notes in the codebase. The reason for all this is because I've been following a preference for keeping product...
This PR is the beginnings of a complete rewrite of the logic used during `pull` commands, and a first implementation of `clone` logic that leaves the `collection.media/` directory in the...
This is an optimization first conceived of in https://github.com/langfield/ki/issues/39#issue-1337020883. We first run `git init` in the media directory. Then we detect unused media using an API call to whatever backend...
It looks like calls to `update_note()` will collapse cards into whatever deck the single source-of-truth file is in. See below: https://github.com/langfield/ki/blob/44e497f311a88d9685db254e4b89d89d6128a1e1/ki/__init__.py#L484-L491 This is a major bug, and I'm surprised we...