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
Degi has quit [Ping timeout: 264 seconds]
Degi has joined #amaranth-lang
<whitequark[cis]> <cr1901> "(Python by default will suppress..." <- I think that is just what you do
<cr1901> _I_ didn't touch anything before changing the filters :(... https://docs.python.org/3/library/warnings.html#default-warning-filter
<whitequark[cis]> sorry I meant that you have to fix this behavior Python does
<cr1901> Ahhh
<cr1901> In any case, smolarith has been update to 0.5, async tbs, and to use amaranth streams directly. No other changes, but I'm gonna cut a release anyway tomorrow or so.
<whitequark[cis]> nice
<cr1901> Would you be willing to proofread two (short!) paragraphs in my docs (not time sensitive)?
<whitequark[cis]> sure
<cr1901> Thank you very much. Para 1: First one underneath "Usage". https://smolarith.readthedocs.io/en/latest/usage.html#usage Any wording that you'd change?
<cr1901> Para 2: The "Returns" paragraph. I don't like how I worded the return type prose. Can you think of something better? https://smolarith.readthedocs.io/en/latest/api.html#smolarith.mul.multiplier_input_signature
notgull has joined #amaranth-lang
notgull has quit [Ping timeout: 264 seconds]
<whitequark[cis]> um, why are you not actually using streams?
<whitequark[cis]> oh, i guess that's just the usage doc
<cr1901> oops, that's a typo :D. The usage should be using streams too.
<_whitenotifier-9> [amaranth-boards] tpwrules opened pull request #246: Migrate to the PDM build system - https://github.com/amaranth-lang/amaranth-boards/pull/246
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #amaranth-lang
indy has quit [Ping timeout: 252 seconds]
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #amaranth-lang
dyniec has joined #amaranth-lang