whitequark[cis] changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings: Amaranth each Mon 1700 UTC, Amaranth SoC each Fri 1700 UTC · play https://amaranth-lang.org/play/ · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 276 seconds]
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 260 seconds]
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 244 seconds]
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 255 seconds]
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 260 seconds]
<cr1901> tpw_rules: It's done, but am not releasing right now until I test it longer. Use at your own risk: http://gopher.wdj-consulting.com:70/paste/17aab485-bbf7-4cf6-9cd6-e1e82de75f45.txt
<cr1901> (also, you need doit, appdirs, configclass python packages, and pv installed)
<cr1901> "crzsnap echo=1 all" for dry run, and you need a JSON file that deserializes as described by the CONFIG singleton.
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 248 seconds]
Degi_ is now known as Degi
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 252 seconds]
balrog has joined #amaranth-lang
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 260 seconds]
<cr1901> s dodgy, so this is almost certainly my fault. But still interesting that 0.5.0->0.5.1 causes an IndexError
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 265 seconds]
<whitequark[cis]> that was a bug in 0.5.0 I thi
<whitequark[cis]> s/thi/think/
<cr1901> I'm gonna just mark it xfail("This code is bad and I should feel bad"), but I'll bisect before that just out of curiosity
Wanda[cis] has joined #amaranth-lang
<Wanda[cis]> yeah, 0.5.1 had a bunch of ArrayLayout indexing improvements; one of them is actually raising IndexError for out-of-bounds indices
<Wanda[cis]> you're hitting that exact path
<whitequark[cis]> previously it just went down the Array path right?
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 248 seconds]
frgo has joined #amaranth-lang
frgo has quit [Remote host closed the connection]
frgo has joined #amaranth-lang
<Wanda[cis]> I think it was .word_select
Hoernchen_ is now known as Hoernchen
frgo_ has joined #amaranth-lang
frgo has quit [Read error: Connection reset by peer]
<_whitenotifier-3> [amaranth] whitequark opened issue #1466: Deprecate `signal.attrs[x] = y`, use `platform.add_attribute(signal, x, y)` instead - https://github.com/amaranth-lang/amaranth/issues/1466
<_whitenotifier-3> [amaranth] whitequark opened issue #1467: Add a way to specify I/O port attributes at the time of buffer instantiation - https://github.com/amaranth-lang/amaranth/issues/1467
<whitequark[cis]> I think both are fairly complete
frgo has joined #amaranth-lang
frgo_ has quit [Read error: Connection reset by peer]
frgo_ has joined #amaranth-lang
frgo has quit [Read error: Connection reset by peer]
<cr1901> computer trouble... both RFCs are merge for me as long as number.Real includes ints (and I hope it would :P), won't be physically present at the meeting
<whitequark[cis]> `issubclass(int, numbers.Real) # => True`
<whitequark[cis]> good luck with the computer
<cr1901> Fourth keyboard that's died on the w520 in 12.5 years... this machine won't die, but that doesn't apply to its keyboard
<whitequark[cis]> good evening everyone, it is time for our weekly Amaranth core language meeting
<whitequark[cis]> who is attending?
<tpw_rules> hello
Chips4MakersakaS has joined #amaranth-lang
<Chips4MakersakaS> O/
<Wanda[cis]> meow
<whitequark[cis]> zyp?
<whitequark[cis]> okay, we can start with the other RFC
zyp[m] has joined #amaranth-lang
<zyp[m]> Sorry, I forgot the time
<whitequark[cis]> please respond with your comments or disposition: merge or close
<zyp[m]> Merge
<tpw_rules> it seems reasonable, assuming the more general pattern matching facilities are a long way off. i'd say merge
<whitequark[cis]> there's been no serious proposals for them
<Chips4MakersakaS> LGTM
<whitequark[cis]> merge
<whitequark[cis]> ok, disposition on RFC 71: merge
<whitequark[cis]> please respond with your comments or disposition: merge or close
<_whitenotifier-3> [rfcs] whitequark commented on pull request #71: Add RFC for `EnumView.Matches`. - https://github.com/amaranth-lang/rfcs/pull/71#issuecomment-2256471313
<whitequark[cis]> mine is merge, as I think all of the outstanding questions were resolved
<Chips4MakersakaS> merge
<tpw_rules> seems quite nice, thanks for the effort. merge!
<Wanda[cis]> yeah let's merge this
<tpw_rules> actually one minor q: what is Period(1)?
<tpw_rules> assuming an error from "accepting at most one named argument"
<whitequark[cis]> error
<whitequark[cis]> (it doesn't accept unnamed arguments; although I imagine eventually it might accept a single one from unambiguous conversions from timedelta or another Period)
<whitequark[cis]> * (it doesn't accept unnamed arguments; although I imagine eventually it might accept a single one for unambiguous conversions from timedelta or another Period)
<Wanda[cis]> Period(0) would also be unambigous (but I don't think it'd be very useful)
<whitequark[cis]> I think we shouldn't accept that
<tpw_rules> i agree on not acceptinbg
<whitequark[cis]> okay, the disposition for RFC 71 is merge. that's it for today! thanks everyone
<whitequark[cis]> er, RFC 66
<_whitenotifier-3> [rfcs] whitequark commented on pull request #66: RFC #66: Simulation time - https://github.com/amaranth-lang/rfcs/pull/66#issuecomment-2256486607
<whitequark[cis]> Wanda: could you create the tracking issues please?
<whitequark[cis]> or Wanda and zyp
<zyp[m]> Will do when I get home
<Wanda[cis]> will do after I finish catgirl feeding
<whitequark[cis]> sgtm, thanks to both!
nyanotech has quit [Remote host closed the connection]
nyanotech has joined #amaranth-lang
<cr1901> >catgirl feeding <-- catgirl of the four-legged, shoebox-sized, limited-to-100-vocalizations kind? (using a spare keyboard for now)
<Wanda[cis]> the larger species
<Wanda[cis]> anyway
<Wanda[cis]> all catgirls in vicinity have been fed
<Wanda[cis]> let's do the issue
<_whitenotifier-3> [amaranth] wanda-phi opened issue #1468: Tracking issue for RFC 71: `EnumView.Matches`. - https://github.com/amaranth-lang/amaranth/issues/1468
<_whitenotifier-3> [amaranth-lang/rfcs] whitequark pushed 2 commits to main [+2/-0/±0] https://github.com/amaranth-lang/rfcs/compare/ba991f40ede8...be658d7c84d5
<_whitenotifier-3> [amaranth-lang/rfcs] wanda-phi a96afbb - Add RFC for `EnumView.Matches`.
<_whitenotifier-3> [amaranth-lang/rfcs] whitequark be658d7 - RFC #71: `EnumView.Matches`
<_whitenotifier-3> [rfcs] whitequark closed pull request #71: Add RFC for `EnumView.Matches`. - https://github.com/amaranth-lang/rfcs/pull/71
<_whitenotifier-3> [rfcs] whitequark commented on pull request #71: Add RFC for `EnumView.Matches`. - https://github.com/amaranth-lang/rfcs/pull/71#issuecomment-2256644742
<_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+1/-0/±55] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/888aa03d5b01...a77cb8007046
<_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] whitequark a77cb80 - Deploying to main from @ amaranth-lang/rfcs@be658d7c84d5ed4081df40af5744185c6cb21d71 🚀
<tpw_rules> is there like, a signup process for pypi? could/should i put a module up there that i expect like 3 people in my lab to use?
<whitequark[cis]> you could
<whitequark[cis]> it's just a registration form
<_whitenotifier-3> [amaranth] zyp opened issue #1469: Tracking issue for RFC 66: Simulation time. - https://github.com/amaranth-lang/amaranth/issues/1469
frgo has joined #amaranth-lang
frgo_ has quit [Read error: Connection reset by peer]
frgo has quit [Remote host closed the connection]
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 252 seconds]
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 248 seconds]
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 265 seconds]
frgo has joined #amaranth-lang
frgo has quit [Ping timeout: 260 seconds]