2025/07/13

Newest at the top

2025-07-13 13:26:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-13 13:23:50 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-07-13 13:23:25 +0200tromp(~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925)
2025-07-13 13:23:00 +0200califax(~califax@user/califx) califx
2025-07-13 13:21:42 +0200patri_(~patri@user/patri) (Ping timeout: 276 seconds)
2025-07-13 13:21:24 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-13 13:19:24 +0200 <tomsmeding> you can't auto-merge mathematical arguments
2025-07-13 13:19:16 +0200 <tomsmeding> "manually" as in, using formatting/reflowing/regex tools, but otherwise manually eyeballing
2025-07-13 13:18:59 +0200 <tomsmeding> [exa]: for the TeX hypothetical you described, what I'd do is open the two side-to-side in vimdiff and manually manipulate both documents until they are at some point equal
2025-07-13 13:18:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-13 13:17:17 +0200 <tomsmeding> and that there's a domain expert thoroughly checking the output of your merging process :p
2025-07-13 13:16:45 +0200 <tomsmeding> [exa]: hope you're being paid for this
2025-07-13 13:14:04 +0200califax(~califax@user/califx) (Ping timeout: 244 seconds)
2025-07-13 13:12:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-13 13:11:57 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-13 13:08:40 +0200tromp(~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-13 13:06:18 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-13 13:03:28 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-13 13:02:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-13 13:01:46 +0200sprotte24(~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-13 13:01:10 +0200jespada(~jespada@r167-61-141-199.dialup.adsl.anteldata.net.uy) jespada
2025-07-13 13:00:53 +0200lambdap23717(~lambdap@static.167.190.119.168.clients.your-server.de)
2025-07-13 13:00:38 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection)
2025-07-13 12:57:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-13 12:53:08 +0200 <[exa]> nvm it's almost done :D
2025-07-13 12:52:43 +0200 <[exa]> hm for the closest picture imagine merging changes in a TeX paper where 2 mathematicians very zealous about tex macros have each spent a month working independently, one of them force-justifying stuff to 80chars and other one to 120chars
2025-07-13 12:51:18 +0200 <[exa]> if these wouldn't be the problem I'd just forceformat everything
2025-07-13 12:50:53 +0200 <[exa]> tomsmeding: nah the plaintext changes are the main issue
2025-07-13 12:50:10 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-13 12:48:31 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-13 12:47:39 +0200califax(~califax@user/califx) califx
2025-07-13 12:47:11 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-13 12:46:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-13 12:45:24 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-07-13 12:45:21 +0200 <tomsmeding> which would be something that's not too hard to build but not done by existing merge tools
2025-07-13 12:44:53 +0200 <tomsmeding> where possibly, if comments changed differently in both versions, it's fine to just keep both?
2025-07-13 12:44:37 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-13 12:44:33 +0200 <tomsmeding> ah I see
2025-07-13 12:43:48 +0200 <[exa]> tomsmeding: biocuration outputs, there's plenty of freetext there ("comments") which have to be merged sensibly as well
2025-07-13 12:41:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-13 12:40:59 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-07-13 12:40:43 +0200rembo10(~rembo10@main.remulis.com) rembo10
2025-07-13 12:39:45 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds)
2025-07-13 12:39:40 +0200 <[exa]> ah they depend on tree-sitter and tree matching, okay that's a fair shot
2025-07-13 12:39:13 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.9.1 - https://znc.in)
2025-07-13 12:38:51 +0200 <tomsmeding> I'm curious what conflicts you have that are not solvable using a code formatter and manual conflict resolution, but for which writing your own merge tool is feasible
2025-07-13 12:37:35 +0200 <[exa]> no like, the amount of code there ain't small
2025-07-13 12:37:09 +0200 <tomsmeding> [exa]: how is an off-the-shelf tool overkill but writing your own merge tool not
2025-07-13 12:36:29 +0200 <[exa]> maralorn: that looks like quite a bit of overkill
2025-07-13 12:36:25 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34