Alex
Alex
Clojure.java.jdbc finally removed the deprecated code, so I rewrote lobos to use the up-to-date library.
I'm building from scratch on a Raspberry Pi (with ARMv7 Processor rev 5 (v71) CPU), and it hangs on [optimizaters.lisp](https://github.com/Clozure/ccl/blob/v1.12-dev.5/compiler/optimizers.lisp) on `v1.12-dev.5` (or `v1.12` or `v1.12.1`), but it works fine...
Fixing the caching problem from issue #206
Hello, So in the [`vote_ids_for_house()`](https://github.com/unitedstates/congress/blob/master/tasks/votes.py#L64) function, the basic logic is to download the index page and parse that for the matching links ([line 71](https://github.com/unitedstates/congress/blob/master/tasks/votes.py#L71) _et seq._). The problem is, if...
I just wanted to let you know, I tested this on a Raspberry Pi 4, and it appears to work with GCC, Clang, and TCC. They all end up having...
Hello, So, I am using the latest version of py-retrosheet with SQLite3. There are two problems I've run into, namely: 1. Queries of the form `'SELECT * FROM rosters WHERE...
Since the publication of the associated paper ([arXiv:2304.08391](https://arxiv.org/abs/2304.08391)), it appears quite a bit has been done. So I wanted to ask: how does this compare to the "official" Mizar distribution?...
The Standard Basis for Standard ML [specifies](https://smlfamily.github.io/Basis/overview.html) "required" signatures and structures, but some are missing in Moscow ML, specifically: - Missing requires Signatures - [ ] `GENERAL` - [ ]...
In [EQT_INTRO.hlp](https://github.com/jrh13/hol-light/blob/master/Help/EQT_INTRO.hlp#L14), it erroneously names the inference rule `EQF_INTRO` instead of `EQT_INTRO` on line 14.