09:01 <_whitenotifier-9> [amaranth-lang/rfcs] whitequark pushed 2 commits to main [+0/-0/±3] https://github.com/amaranth-lang/rfcs/compare/03c7c3e62d51...7d6859bbd18e

09:01 <_whitenotifier-9> [amaranth-lang/rfcs] whitequark bede783 - RFC #6: update formatting to match style used elsewhere.

09:01 <_whitenotifier-9> [amaranth-lang/rfcs] whitequark 7d6859b - RFCs #1, #3: add prominent amendment notice.

09:02 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±6] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/658f6665c8fe...da9464000013

09:02 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] whitequark da94640 - Deploying to main from @ amaranth-lang/rfcs@7d6859bbd18e3989237d19becc7e6ae7d51cf23b 🚀

09:58 <whitequark> zyp: I haven't followed up to your responses from 30th, sorry about that; I'll do that now

09:59 <whitequark> I like your solution! how should I credit you in the RFC?

10:00 <d1b2> <zyp> I'm zyp on github as well

10:23 <whitequark> zyp: looking through the motivations for this RFC, it looks like I may have even considered the null-modem case back when I originally drafted it

10:24 <whitequark> though your suggestion nicely fixes that too

10:25 <whitequark> horrible naming idea: .evert()

11:05 <whitequark> a more serious suggestion is a free function flipped()

11:30 <robtaylor> <whitequark> "I think there's IRCv3 which..." <- yeah, seems like matrix is generally winning out

11:37 <robtaylor> <whitequark> "there's also Discord bridged in!" <- btw, that doesn't work well over the matrix bridge - everyone on discord becomes "d1b2" ><

11:39 <whitequark> that's the same on IRC, nothing specific to Matrix

11:39 <whitequark> this is per libera.chat policy

11:40 <whitequark> you could bridge Discord to Matrix instead, but then everyone on Matrix would post under the same IRC username, which is even worse

11:41 <whitequark> fundamentally I think Discord is a very poor communication medium, worse than IRC, and the bridge exists here as a gesture of goodwill and acceptance towards 1bitSquared specifically and everyone who's affiliated with it; otherwise there would just be no Discord bridge

11:53 <d1b2> <Olivier Galibert> just registered to matrix, how do I find amaranth (and that kind of stuff) in there? It's kinda opaque

11:55 <whitequark> #amaranth-lang:matrix.org

11:55 <whitequark> you can also use it as your IRC client

12:00 <whitequark> o/ galibert

12:00 <galibert[m]> Hi you

12:00 <whitequark> and ... we have a netsplit?

12:00 <whitequark> or maybe just a cleanup of old bridged users

12:00 <galibert[m]> They're that afraid of me I guess

18:09 <_whitenotifier-9> [amaranth] mwkmwkmwk opened pull request #798: tracer: fix STORE_DEREF handling, add EXTENDED_ARG support. - https://github.com/amaranth-lang/amaranth/pull/798

18:11 <_whitenotifier-9> [amaranth] whitequark commented on pull request #798: tracer: fix STORE_DEREF handling, add EXTENDED_ARG support. - https://github.com/amaranth-lang/amaranth/pull/798#issuecomment-1572555629

18:18 <_whitenotifier-9> [amaranth] whitequark closed pull request #798: tracer: fix STORE_DEREF handling, add EXTENDED_ARG support. - https://github.com/amaranth-lang/amaranth/pull/798

18:18 <_whitenotifier-9> [amaranth] whitequark closed issue #792: get_var_name reports wrong name on Python 3.11 - https://github.com/amaranth-lang/amaranth/issues/792

18:18 <_whitenotifier-9> [amaranth-lang/amaranth] whitequark pushed 1 commit to main [+1/-0/±1] https://github.com/amaranth-lang/amaranth/compare/2a45d0e9adeb...c343e879d3e3

18:18 <_whitenotifier-9> [amaranth-lang/amaranth] mwkmwkmwk c343e87 - tracer: fix STORE_DEREF handling, add EXTENDED_ARG support.

18:20 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±28] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/da9464000013...1fe336316bc8

18:20 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] whitequark 1fe3363 - Deploying to main from @ amaranth-lang/amaranth@c343e879d3e30c0f071345154b9b7176c9c63fc4 🚀

18:22 <_whitenotifier-9> [amaranth] whitequark opened pull request #799: Fix tests on 3.12 - https://github.com/amaranth-lang/amaranth/pull/799

18:28 <_whitenotifier-9> [amaranth] whitequark synchronize pull request #799: Fix tests on 3.12 - https://github.com/amaranth-lang/amaranth/pull/799

18:37 <_whitenotifier-9> [amaranth] whitequark synchronize pull request #799: Fix tests on 3.12 - https://github.com/amaranth-lang/amaranth/pull/799

18:38 <whitequark> turned off "synchronize pull request" notifications, should be less noisy now

18:57 <galibert[m]> Not sure what it's supposed to mean in the first place

19:03 <_whitenotifier-9> [amaranth] codecov[bot] commented on pull request #799: Fix tests on 3.12 - https://github.com/amaranth-lang/amaranth/pull/799#issuecomment-1572623519

19:03 <mwk> it means "pushed new commits to the branch", I think

19:04 <galibert[m]> ahhh, fun use of vocabulary

22:55 <FireFly> I guess synchronize could make more sense for force-pushed rebased commits (rather than appending to a branch)

22:58 <whitequark> I was force-pushing