crypto_monad
crypto_monad
Since in Python functions are values, we can assign any function to any variable. This also applies to sources and sinks. At the moment, we rely on the sources and...
When there are two modules that expose a function with the same name, and those get imported directly (using aliases), the control flow is resolved incorrectly. Example: `module_a.py` ```python def...
The module `Compiler.Common` exposes the `tmpName` function creating a new temporary file. https://github.com/edwinb/Idris2/blob/65db4fbf961cbdd36f10a9a75e7c3311b91f5585/src/Compiler/Common.idr#L116-L119 According to [GNU manpage 3 for tmpnam(3)](https://linux.die.net/man/3/tmpnam), this function should never be used: > Never use this...
With the `matrix-static` package (https://hackage.haskell.org/package/matrix-static), there exists a wrapper around `matrix` that keeps dimension information on the type level. There are multiple possible interactions between these two packages: * References...
In rust, some extensions like `rust-analyzer` make significant use of the inlay-hints feature of vscode. Apparently, vscode-theme-gruvbox does not correctly theme these and they appear with a magenta background: ...
Is there an updated version for Kernel 4.14 or is 4.4 still the only stable kernel for SP3?
`ginger` decided that there is no difference between functions, tests and filters. Unfortunately, there is a clash for the tests and filters `lower` and `upper`: In jinja2: `|upper` returns an...
The `not` unary is missing. This is easily testable with the following test case: ``` , testCase "if not true then \"yes\" else \"no\"" $ do mkTestHtml [] [] "{%...
Currently, any error in a route will get exposed to the caller: https://github.com/vincentsarago/lambda-proxy/blob/master/lambda_proxy/proxy.py#L697-L705: ```python try: response = route_entry.endpoint(**function_kwargs) except Exception as err: self.log.error(str(err)) response = ( "ERROR", "application/json", json.dumps({"errorMessage": str(err)}),...