00:47:44 <10P​leasingFungus> mostly it's like 00:48:14 <10P​leasingFungus> is the id game an interesting challenge in individual games, or is it something you basically solve once and then just execute mindlessly every game? with some very simple rule like 'id potions first' etc 02:34:28 Unstable branch on crawl.develz.org updated to: 0.26-a0-707-g31817bcca1 (34) 02:47:46 Unstable branch on cbro.berotato.org updated to: 0.26-a0-707-g31817bcca1 (34) 02:55:13 Windows builds of master branch on crawl.develz.org updated to: 0.26-a0-707-g31817bcca1 03:31:15 Fork (bcrawl) on crawl.kelbi.org updated to: 0.23-a0-3624-ge566ea1ced 03:53:34 Monster database of master branch on crawl.develz.org updated to: 0.26-a0-707-g31817bcca1 05:11:36 -!- amalloy is now known as amalloy_ 09:02:32 optimization for magical rings with combinatorial effects: https://jeremykun.com/2020/10/20/optimization-models-for-subset-cover/ 09:04:40 the problem i am trying to solve is actually an integer linear programming. 09:05:10 z3 is mainly for smt. maybe a traditional solver for ilp is faster. 09:06:02 the rings don't have combinatorial effects 09:08:08 i am not sure if z3 finds the global or local maxima. 09:11:08 several ilp solver says it is only for convex problems. those solvers definitely only finds the local optima unless i manually apply a globalization strategy. 09:11:29 but the globalization is the difficult part. 09:11:41 CrawlCycle: I hesitate to suggest the alternative suggestion of going and winning the game (also did you mean to talk about this in ##crawl ?) 09:12:52 sure. my bad. 09:13:45 Well, _I_ don't care but sometimes the vanilla devs get antsy ;-) 09:21:13 i find it interesting, but if it's not about development of crawl, ##crawl is probably a better fit 09:22:26 I find it interesting too & I was kind of expecting they'd turn up in ##crawl not just vanish :-/ 09:31:03 03Aidan Holm02 07[iwyu] * 0.26-a0-708-ga5110c5: More IWYU and header dependency cycle breaking 10(16 minutes ago, 39 files, 63+ 3-) 13https://github.com/crawl/crawl/commit/a5110c5b2776 09:48:56 04Build failed for 08iwyu @ a5110c5b 06https://github.com/crawl/crawl/actions/runs/329154446 09:49:25 03Aidan Holm02 07[iwyu] * 0.26-a0-709-g69c4cd0: Even more IWYU 10(5 minutes ago, 5 files, 66+ 0-) 13https://github.com/crawl/crawl/commit/69c4cd08e602 09:53:11 03Aidan Holm02 07[iwyu] * 0.26-a0-708-g706cb05: More IWYU and header dependency cycle breaking 10(38 minutes ago, 40 files, 64+ 3-) 13https://github.com/crawl/crawl/commit/706cb052b21a 09:53:11 03Aidan Holm02 07[iwyu] * 0.26-a0-709-ge04a4d6: Even more IWYU 10(9 minutes ago, 5 files, 66+ 0-) 13https://github.com/crawl/crawl/commit/e04a4d6afed1 10:04:59 04Build failed for 08iwyu @ 69c4cd08 06https://github.com/crawl/crawl/actions/runs/329187149 10:05:37 there can't possibly be any more IWYU left after that 10:09:05 i wish 10:10:52 there's a tool that will fix all this automatically, but it probably won't handle crawl's heavy use of conditional compilation very well 10:14:37 plus, one big uber-commit would make it even more nasty for forks to rebase/merge 10:16:17 aw thanks 10:19:23 betcha 11:47:57 03Aidan Holm02 07[iwyu] * 0.26-a0-709-g4650097: Even more IWYU 10(2 hours ago, 6 files, 67+ 0-) 13https://github.com/crawl/crawl/commit/4650097cf3bb 11:47:57 03Aidan Holm02 07[iwyu] * 0.26-a0-710-g09a45e2: IWYU part 3 10(2 hours ago, 35 files, 143+ 2-) 13https://github.com/crawl/crawl/commit/09a45e20edc0 13:31:09 Unstable branch on crawl.akrasiac.org updated to: 0.26-a0-707-g31817bc (34) 13:54:02 Pinkbeast: I did a PR this morning for that travel_open_doors thing I mentioned before. 13:54:25 I did make it a third setting for the option in the end. 13:56:09 Mmm, thanks (although I think I'm now just used to it and TBH it's a bit of a proxy for what I actually want autoexplore to do which maybe I should fix up myself.) 14:00:28 I can understand it if you're used to the game behaving like that. Personally, I just came across auto-explore and found that it saves a lot of time, but also kills characters. So I thought it could be improved. 14:00:52 That's with the default options, though. 14:02:35 If I kill an enemy at one with a spect weapon, no spect will be created. 13https://crawl.develz.org/mantis/view.php?id=12376 by sdynet 14:03:12 Indeed, the reason I have basically every autoexplore stopping option on (including travel_open_doors) is to reduce its tendency to yoink me 3 miles across the map into a bad spot. 14:19:49 New branch created: pull/1598 (1 commit) 13https://github.com/crawl/crawl/pull/1598 14:19:49 03sdynet02 07https://github.com/crawl/crawl/pull/1598 * 0.26-a0-708-g3f9b2ec: Change the brand of Glaive of Guard to spect 10(4 minutes ago, 1 file, 1+ 1-) 13https://github.com/crawl/crawl/commit/3f9b2ec22dcc 14:53:07 -!- dolemite8 is now known as dolemite7 15:56:16 Xolotl (L27 DrDe) ASSERT(isnormal(n)) in 'ray.cc' at line 189 failed. (Zot:1) 19:20:20 New branch created: black_is_back (1 commit) 13https://github.com/crawl/crawl/tree/black_is_back 19:20:20 03PleasingFungus02 07[black_is_back] * 0.26-a0-664-g26c00cf: Bring back the Black Knight's barding 10(38 seconds ago, 4 files, 5+ 8-) 13https://github.com/crawl/crawl/commit/26c00cf3b8e9 19:35:25 04Build failed for 08black_is_back @ 26c00cf3 06https://github.com/crawl/crawl/actions/runs/330155733 20:11:33 -!- Discord|1 is now known as Discord| 20:20:29 03PleasingFungus02 07[black_is_back] * 0.26-a0-708-g17f3b19: Bring back the Black Knight's barding 10(61 minutes ago, 5 files, 10+ 10-) 13https://github.com/crawl/crawl/commit/17f3b190f9fa 20:21:14 Branch master updated to be equal with black_is_back: 13https://github.com/crawl/crawl/tree/master 20:32:16 Unstable branch on crawl.kelbi.org updated to: 0.26-a0-708-g17f3b190f9 (34) 22:34:12 -!- amalloy_ is now known as amalloy