#amaranth-lang on 2023-12-09 — irc logs at libera.irclog.whitequark.org

2023-08-14 23:59 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 · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org

00:00 frgo has joined #amaranth-lang

00:04 frgo has quit [Ping timeout: 246 seconds]

00:08 frgo has joined #amaranth-lang

00:13 frgo has quit [Ping timeout: 276 seconds]

00:16 frgo has joined #amaranth-lang

00:21 frgo has quit [Ping timeout: 255 seconds]

00:25 frgo has joined #amaranth-lang

00:46 frgo has quit [Ping timeout: 264 seconds]

00:50 frgo has joined #amaranth-lang

00:54 frgo has quit [Ping timeout: 252 seconds]

00:58 frgo has joined #amaranth-lang

01:09 frgo has quit [Ping timeout: 268 seconds]

01:11 frgo has joined #amaranth-lang

01:16 frgo has quit [Ping timeout: 264 seconds]

01:19 frgo has joined #amaranth-lang

01:24 frgo has quit [Ping timeout: 252 seconds]

01:28 frgo has joined #amaranth-lang

01:33 frgo has quit [Ping timeout: 256 seconds]

01:36 frgo has joined #amaranth-lang

01:47 frgo has quit [Ping timeout: 268 seconds]

01:49 frgo has joined #amaranth-lang

01:54 frgo has quit [Ping timeout: 276 seconds]

01:57 frgo has joined #amaranth-lang

02:02 frgo has quit [Ping timeout: 256 seconds]

02:06 frgo has joined #amaranth-lang

02:16 frgo has quit [Ping timeout: 264 seconds]

02:18 crzwdjk has quit [Ping timeout: 252 seconds]

02:18 crzwdjk has joined #amaranth-lang

02:19 frgo has joined #amaranth-lang

02:29 frgo has quit [Ping timeout: 252 seconds]

02:32 frgo has joined #amaranth-lang

02:41 frgo has quit [Ping timeout: 264 seconds]

02:45 frgo has joined #amaranth-lang

02:50 frgo has quit [Ping timeout: 268 seconds]

02:54 frgo has joined #amaranth-lang

03:01 skipwich has quit [Quit: DISCONNECT]

03:03 skipwich has joined #amaranth-lang

03:04 frgo has quit [Ping timeout: 252 seconds]

03:05 frgo has joined #amaranth-lang

03:09 frgo has quit [Ping timeout: 252 seconds]

03:13 frgo has joined #amaranth-lang

03:17 frgo has quit [Ping timeout: 252 seconds]

03:20 Degi_ has joined #amaranth-lang

03:21 Degi has quit [Ping timeout: 255 seconds]

03:21 Degi_ is now known as Degi

03:21 frgo has joined #amaranth-lang

03:27 frgo has quit [Ping timeout: 255 seconds]

03:30 frgo has joined #amaranth-lang

03:40 frgo has quit [Ping timeout: 256 seconds]

03:43 frgo has joined #amaranth-lang

03:48 frgo has quit [Ping timeout: 256 seconds]

03:52 frgo has joined #amaranth-lang

03:56 frgo has quit [Ping timeout: 252 seconds]

04:00 frgo has joined #amaranth-lang

04:06 frgo has quit [Ping timeout: 240 seconds]

04:10 frgo has joined #amaranth-lang

04:19 frgo has quit [Ping timeout: 264 seconds]

04:23 frgo has joined #amaranth-lang

04:27 frgo has quit [Ping timeout: 252 seconds]

04:31 frgo has joined #amaranth-lang

04:38 frgo has quit [Ping timeout: 264 seconds]

04:38 frgo has joined #amaranth-lang

04:43 frgo has quit [Ping timeout: 264 seconds]

04:46 frgo has joined #amaranth-lang

04:55 frgo has quit [Ping timeout: 256 seconds]

04:59 frgo has joined #amaranth-lang

05:04 frgo has quit [Ping timeout: 252 seconds]

05:07 frgo has joined #amaranth-lang

05:13 frgo has quit [Ping timeout: 276 seconds]

05:16 frgo has joined #amaranth-lang

05:22 frgo has quit [Ping timeout: 264 seconds]

05:24 frgo has joined #amaranth-lang

05:35 frgo has quit [Ping timeout: 256 seconds]

05:37 frgo has joined #amaranth-lang

05:39 frgo_ has joined #amaranth-lang

05:39 frgo has quit [Read error: Connection reset by peer]

05:44 frgo_ has quit [Ping timeout: 268 seconds]

05:47 frgo has joined #amaranth-lang

05:53 frgo has quit [Ping timeout: 268 seconds]

05:57 frgo has joined #amaranth-lang

05:59 ravenslofty[m] has quit [Quit: Idle timeout reached: 172800s]

06:07 frgo has quit [Ping timeout: 256 seconds]

06:11 frgo has joined #amaranth-lang

06:17 frgo has quit [Ping timeout: 246 seconds]

06:19 frgo has joined #amaranth-lang

06:23 frgo_ has joined #amaranth-lang

06:23 frgo has quit [Read error: Connection reset by peer]

06:29 frgo_ has quit [Ping timeout: 268 seconds]

06:33 frgo has joined #amaranth-lang

06:43 frgo has quit [Ping timeout: 260 seconds]

06:46 frgo has joined #amaranth-lang

06:48 frgo_ has joined #amaranth-lang

06:48 frgo has quit [Read error: Connection reset by peer]

06:48 skipwich has quit [*.net *.split]

06:49 skipwich has joined #amaranth-lang

06:53 frgo_ has quit [Ping timeout: 256 seconds]

06:56 frgo has joined #amaranth-lang

07:00 frgo has quit [Read error: Connection reset by peer]

07:00 frgo has joined #amaranth-lang

07:06 frgo has quit [Ping timeout: 268 seconds]

07:08 frgo has joined #amaranth-lang

07:21 frgo has quit [Ping timeout: 260 seconds]

07:22 frgo has joined #amaranth-lang

07:26 frgo has quit [Ping timeout: 255 seconds]

07:30 frgo has joined #amaranth-lang

07:35 frgo has quit [Ping timeout: 256 seconds]

07:38 frgo has joined #amaranth-lang

07:43 frgo has quit [Ping timeout: 246 seconds]

07:47 frgo has joined #amaranth-lang

07:57 frgo has quit [Ping timeout: 260 seconds]

08:00 frgo has joined #amaranth-lang

08:05 frgo has quit [Ping timeout: 255 seconds]

08:08 frgo has joined #amaranth-lang

08:13 frgo has quit [Ping timeout: 260 seconds]

08:16 frgo has joined #amaranth-lang

08:22 frgo has quit [Ping timeout: 260 seconds]

08:25 frgo has joined #amaranth-lang

08:36 frgo has quit [Ping timeout: 276 seconds]

08:38 frgo has joined #amaranth-lang

08:40 frgo_ has joined #amaranth-lang

08:40 frgo has quit [Read error: Connection reset by peer]

08:45 frgo_ has quit [Ping timeout: 260 seconds]

08:48 frgo has joined #amaranth-lang

08:54 frgo has quit [Ping timeout: 268 seconds]

08:57 frgo has joined #amaranth-lang

09:07 frgo has quit [Ping timeout: 256 seconds]

09:09 frgo has joined #amaranth-lang

09:14 frgo has quit [Ping timeout: 246 seconds]

09:18 frgo has joined #amaranth-lang

09:22 frgo has quit [Ping timeout: 246 seconds]

09:26 frgo has joined #amaranth-lang

09:32 frgo has quit [Ping timeout: 268 seconds]

09:34 frgo has joined #amaranth-lang

09:45 frgo has quit [Ping timeout: 268 seconds]

09:47 frgo has joined #amaranth-lang

09:52 frgo has quit [Ping timeout: 256 seconds]

09:56 frgo has joined #amaranth-lang

10:00 frgo has quit [Ping timeout: 255 seconds]

10:04 frgo has joined #amaranth-lang

10:09 frgo has quit [Ping timeout: 255 seconds]

10:12 frgo has joined #amaranth-lang

10:23 frgo has quit [Ping timeout: 246 seconds]

10:25 frgo has joined #amaranth-lang

10:32 frgo has quit [Ping timeout: 240 seconds]

10:34 frgo has joined #amaranth-lang

10:36 zyp[m] has quit [Quit: Idle timeout reached: 172800s]

10:38 frgo has quit [Ping timeout: 260 seconds]

10:41 frgo has joined #amaranth-lang

10:46 frgo has quit [Ping timeout: 255 seconds]

10:49 frgo has joined #amaranth-lang

10:58 frgo has quit [Ping timeout: 255 seconds]

11:02 frgo has joined #amaranth-lang

11:07 frgo has quit [Ping timeout: 268 seconds]

11:10 frgo has joined #amaranth-lang

11:28 frgo has quit [Ping timeout: 260 seconds]

11:32 frgo has joined #amaranth-lang

11:42 frgo_ has joined #amaranth-lang

11:43 frgo has quit [Ping timeout: 264 seconds]

11:47 frgo_ has quit [Ping timeout: 260 seconds]

11:50 frgo has joined #amaranth-lang

11:55 frgo has quit [Ping timeout: 268 seconds]

11:59 frgo has joined #amaranth-lang

12:02 <_whitenotifier-3> [amaranth-soc] wanda-phi opened pull request #61: Align Signature.create signature with current Amaranth. - https://github.com/amaranth-lang/amaranth-soc/pull/61

12:04 frgo has quit [Ping timeout: 256 seconds]

12:07 frgo has joined #amaranth-lang

12:20 frgo has quit [Ping timeout: 240 seconds]

12:24 frgo has joined #amaranth-lang

12:29 frgo has quit [Ping timeout: 255 seconds]

12:33 frgo has joined #amaranth-lang

12:38 frgo has quit [Ping timeout: 260 seconds]

12:41 frgo has joined #amaranth-lang

12:49 frgo has quit [Ping timeout: 252 seconds]

12:54 frgo has joined #amaranth-lang

12:58 frgo has quit [Remote host closed the connection]

12:58 frgo has joined #amaranth-lang

13:11 frgo has quit [Remote host closed the connection]

13:16 frgo has joined #amaranth-lang

13:24 frgo has quit [Ping timeout: 246 seconds]

13:29 frgo has joined #amaranth-lang

13:34 frgo has quit [Ping timeout: 260 seconds]

13:37 frgo has joined #amaranth-lang

13:43 frgo has quit [Ping timeout: 255 seconds]

13:46 frgo has joined #amaranth-lang

13:50 frgo has quit [Ping timeout: 260 seconds]

13:54 frgo has joined #amaranth-lang

13:57 <_whitenotifier-3> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-983-422ba9ea51855472e1ed50c3c6eb297a4bff446d - https://github.com/amaranth-lang/amaranth

14:02 <_whitenotifier-3> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±7] https://github.com/amaranth-lang/amaranth/compare/422ba9ea5185...e9545efb22e2

14:02 <_whitenotifier-3> [amaranth-lang/amaranth] wanda-phi e9545ef - Implement RFC 35: Add `ShapeLike`, `ValueLike`.

14:02 <_whitenotifier-3> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-983-422ba9ea51855472e1ed50c3c6eb297a4bff446d - https://github.com/amaranth-lang/amaranth

14:02 <_whitenotifier-3> [amaranth] whitequark closed pull request #983: Implement RFC 35: Add `ShapeLike`, `ValueLike`. - https://github.com/amaranth-lang/amaranth/pull/983

14:03 frgo has quit [Ping timeout: 256 seconds]

14:04 <_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±41] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/d5bcfb662a50...a8c41e12dfd5

14:04 <_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] a8c41e1 - Deploying to main from @ amaranth-lang/amaranth@e9545efb22e2e29e0ac5c445961098788bf21ad3 🚀

14:07 frgo has joined #amaranth-lang

14:11 frgo has quit [Ping timeout: 264 seconds]

14:12 <_whitenotifier-3> [amaranth] whitequark commented on pull request #830: hdl.ast: implement ShapeCastable.__subclasshook__. - https://github.com/amaranth-lang/amaranth/pull/830#issuecomment-1848421976

14:12 <_whitenotifier-3> [amaranth] whitequark closed pull request #830: hdl.ast: implement ShapeCastable.__subclasshook__. - https://github.com/amaranth-lang/amaranth/pull/830

14:12 <_whitenotifier-3> [amaranth] whitequark closed issue #753: ValueCastable and ShapeCastable should override __instancecheck__ - https://github.com/amaranth-lang/amaranth/issues/753

14:12 <_whitenotifier-3> [amaranth] whitequark commented on issue #753: ValueCastable and ShapeCastable should override __instancecheck__ - https://github.com/amaranth-lang/amaranth/issues/753#issuecomment-1848422044

14:15 frgo has joined #amaranth-lang

14:20 frgo has quit [Ping timeout: 255 seconds]

14:23 frgo has joined #amaranth-lang

14:29 frgo has quit [Ping timeout: 268 seconds]

14:32 frgo has joined #amaranth-lang

14:42 frgo has quit [Ping timeout: 256 seconds]

14:45 frgo has joined #amaranth-lang

14:50 frgo has quit [Ping timeout: 256 seconds]

14:53 frgo has joined #amaranth-lang

14:58 frgo has quit [Ping timeout: 256 seconds]

15:01 frgo has joined #amaranth-lang

15:07 frgo has quit [Ping timeout: 264 seconds]

15:10 frgo has joined #amaranth-lang

15:20 frgo has quit [Ping timeout: 264 seconds]

15:23 frgo has joined #amaranth-lang

15:28 frgo has quit [Ping timeout: 256 seconds]

15:31 frgo has joined #amaranth-lang

15:36 frgo has quit [Ping timeout: 256 seconds]

15:39 frgo has joined #amaranth-lang

15:44 frgo has quit [Ping timeout: 255 seconds]

15:48 frgo has joined #amaranth-lang

15:58 frgo has quit [Ping timeout: 276 seconds]

16:01 frgo has joined #amaranth-lang

16:06 frgo has quit [Ping timeout: 276 seconds]

16:09 frgo has joined #amaranth-lang

16:12 frgo has quit [Read error: Connection reset by peer]

16:12 frgo has joined #amaranth-lang

16:23 frgo has quit [Ping timeout: 256 seconds]

16:25 frgo has joined #amaranth-lang

16:32 <_whitenotifier-3> [runtime-js] whitequark created branch develop - https://github.com/YoWASP/runtime-js

16:35 frgo has quit [Ping timeout: 255 seconds]

16:38 frgo has joined #amaranth-lang

16:42 frgo has quit [Ping timeout: 256 seconds]

16:46 frgo has joined #amaranth-lang

16:51 frgo has quit [Ping timeout: 252 seconds]

16:55 frgo has joined #amaranth-lang

17:01 frgo has quit [Ping timeout: 276 seconds]

17:03 frgo has joined #amaranth-lang

17:13 frgo_ has joined #amaranth-lang

17:14 frgo has quit [Ping timeout: 256 seconds]

17:18 frgo_ has quit [Ping timeout: 260 seconds]

17:20 <_whitenotifier-3> [runtime-js] whitequark created branch release - https://github.com/YoWASP/runtime-js

17:21 frgo has joined #amaranth-lang

17:26 frgo has quit [Ping timeout: 268 seconds]

17:30 frgo has joined #amaranth-lang

17:35 frgo has quit [Ping timeout: 256 seconds]

17:38 frgo has joined #amaranth-lang

17:46 frgo has quit [Ping timeout: 252 seconds]

17:51 frgo has joined #amaranth-lang

17:56 frgo has quit [Ping timeout: 252 seconds]

17:59 frgo has joined #amaranth-lang

18:05 frgo has quit [Ping timeout: 256 seconds]

18:08 frgo has joined #amaranth-lang

18:14 frgo has quit [Read error: Connection reset by peer]

18:14 frgo has joined #amaranth-lang

18:24 frgo has quit [Ping timeout: 255 seconds]

18:27 frgo has joined #amaranth-lang

18:32 frgo has quit [Ping timeout: 268 seconds]

18:35 frgo has joined #amaranth-lang

18:40 frgo has quit [Ping timeout: 268 seconds]

18:44 frgo has joined #amaranth-lang

18:49 frgo has quit [Ping timeout: 264 seconds]

18:52 frgo has joined #amaranth-lang

19:04 frgo has quit [Ping timeout: 256 seconds]

19:09 frgo has joined #amaranth-lang

19:14 frgo has quit [Ping timeout: 245 seconds]

19:15 frgo has joined #amaranth-lang

19:19 frgo has quit [Ping timeout: 245 seconds]

19:23 frgo has joined #amaranth-lang

19:34 frgo has quit [Ping timeout: 268 seconds]

19:35 frgo has joined #amaranth-lang

19:56 frgo has quit [Remote host closed the connection]

19:57 frgo has joined #amaranth-lang

20:05 frgo has quit [Ping timeout: 268 seconds]

20:07 frgo has joined #amaranth-lang

20:11 frgo has quit [Ping timeout: 264 seconds]

20:15 frgo has joined #amaranth-lang

20:20 frgo has quit [Ping timeout: 256 seconds]

20:23 frgo has joined #amaranth-lang

20:28 frgo has quit [Ping timeout: 246 seconds]

20:32 frgo has joined #amaranth-lang

20:42 frgo has quit [Ping timeout: 268 seconds]

20:45 frgo has joined #amaranth-lang

20:51 frgo has quit [Ping timeout: 256 seconds]

20:53 frgo has joined #amaranth-lang

20:57 GenTooMan has quit [Quit: Leaving]

20:58 frgo has quit [Ping timeout: 256 seconds]

21:02 frgo has joined #amaranth-lang

21:12 frgo has quit [Ping timeout: 264 seconds]

21:15 frgo has joined #amaranth-lang

21:18 GenTooMan has joined #amaranth-lang

21:19 frgo has quit [Ping timeout: 246 seconds]

21:23 frgo has joined #amaranth-lang

21:28 frgo has quit [Ping timeout: 276 seconds]

21:31 frgo has joined #amaranth-lang

21:37 frgo has quit [Ping timeout: 256 seconds]

21:40 frgo has joined #amaranth-lang

21:48 frgo has quit [Ping timeout: 256 seconds]

21:52 frgo has joined #amaranth-lang

21:57 frgo has quit [Ping timeout: 255 seconds]

22:01 frgo has joined #amaranth-lang

22:09 frgo has quit [Ping timeout: 240 seconds]

22:09 frgo has joined #amaranth-lang

22:15 frgo has quit [Ping timeout: 276 seconds]

22:18 frgo has joined #amaranth-lang

22:29 frgo has quit [Ping timeout: 268 seconds]

22:31 frgo has joined #amaranth-lang

22:35 frgo has quit [Ping timeout: 255 seconds]

22:39 frgo has joined #amaranth-lang

22:43 frgo has quit [Ping timeout: 255 seconds]

22:47 frgo has joined #amaranth-lang

22:55 frgo has quit [Ping timeout: 246 seconds]

22:56 frgo has joined #amaranth-lang

23:07 frgo has quit [Ping timeout: 276 seconds]

23:09 frgo has joined #amaranth-lang

23:14 frgo has quit [Ping timeout: 264 seconds]

23:17 frgo has joined #amaranth-lang

23:18 Wanda[cis] has quit [Quit: Idle timeout reached: 172800s]

23:22 frgo has quit [Ping timeout: 240 seconds]

23:25 frgo has joined #amaranth-lang

23:30 frgo has quit [Remote host closed the connection]

23:30 frgo has joined #amaranth-lang

23:39 frgo has quit [Ping timeout: 268 seconds]

23:43 frgo has joined #amaranth-lang

23:47 frgo has quit [Ping timeout: 246 seconds]

23:51 frgo has joined #amaranth-lang

23:56 frgo has quit [Ping timeout: 276 seconds]

23:59 frgo has joined #amaranth-lang