Catherine[m] changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings on Mondays at 1700 UTC · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
<_whitenotifier-8> [YoWASP/yosys] whitequark pushed 1 commit to develop [+0/-0/±1] https://github.com/YoWASP/yosys/compare/61764e3a3981...f84bb6b596bc
<_whitenotifier-8> [YoWASP/yosys] whitequark f84bb6b - Update dependencies.
mindw0rk has quit [Quit: ZNC 1.8.2 - https://znc.in]
mindw0rk has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 246 seconds]
Degi_ is now known as Degi
<_whitenotifier-8> [amaranth] charlottia commented on pull request #830: hdl.ast: implement ShapeCastable.__subclasshook__. - https://github.com/amaranth-lang/amaranth/pull/830#issuecomment-1661438519
GenTooMan has quit [Ping timeout: 246 seconds]
GenTooMan has joined #amaranth-lang
nak has joined #amaranth-lang
nak has quit [Ping timeout: 246 seconds]
Guest85 has joined #amaranth-lang
Guest85 has quit [Client Quit]
whitequark[cis] has joined #amaranth-lang
<whitequark[cis]> _luke_w_: oh hey I can finally ping you!
trabucay1e has joined #amaranth-lang
balrog_ has joined #amaranth-lang
trabucayre has quit [Read error: Connection reset by peer]
balrog has quit [Ping timeout: 252 seconds]
trabucay1e is now known as trabucayre
jjsuperpower has joined #amaranth-lang
_luke_w_[m] has joined #amaranth-lang
<_luke_w_[m]> I don't want to know how this works, but that's awesome
jjsuperpower has quit [Ping timeout: 250 seconds]
balrog_ is now known as balrog
zyp[m] has quit [Quit: Idle timeout reached: 172800s]
jjsuperpower has joined #amaranth-lang
<crzwdjk> Any word on how the RFC 2 prototype is coming along?
jfng[m] has quit [Quit: Idle timeout reached: 172800s]
vegard_e[m] has quit [Quit: Idle timeout reached: 172800s]
galibert[m] has quit [Quit: Idle timeout reached: 172800s]
<josuah> crzwdjk: the latest news I had was it was put high on the todo list, with the rest of the backlog which would unfold afterward
jjsuperpower has quit [Ping timeout: 246 seconds]