Rydwolf discovers dependent types

Oct 19, 2023 at 15:57, 29 minutes total – 10 messages, 2 users, 0 stars

Bookmarked Oct 19, 2023 at 16:27 by rydwolf

CUC

Sep 23, 2023 at 12:38, 41 minutes total – 27 messages, 5 users, 0 stars

Bookmarked Sep 23, 2023 at 13:26 by rydwolf

Trianguish TC

Sep 23, 2023 at 2:22, 10 minutes total – 24 messages, 3 users, 0 stars

Bookmarked Sep 23, 2023 at 2:43 by rydwolf

Function argument syntax

Jun 16, 2023 at 20:58, 9 minutes total – 11 messages, 1 user, 0 stars

Bookmarked Jun 16, 2023 at 21:08 by rydwolf

z

Jan 31, 2022 at 19:56, 5 minutes total – 10 messages, 3 users, 0 stars

Bookmarked Jan 31, 2022 at 20:01 by rydwolf

Discussion about SBCSs

Jan 4, 2022 at 17:06, 2 hours 54 minutes total – 98 messages, 12 users, 2 stars

Bookmarked Jan 4, 2022 at 20:33 by rydwolf

Robot competition

Aug 5, 2021 at 15:17, 22 minutes total – 50 messages, 4 users, 0 stars

Bookmarked Aug 5, 2021 at 15:40 by rydwolf

Discussion on rquiring sandboxing

Jul 28, 2021 at 19:36, 12 minutes total – 19 messages, 5 users, 0 stars

Bookmarked Jul 28, 2021 at 19:58 by rydwolf

Cursed programming language features

Jul 22, 2021 at 18:46, 11 minutes total – 61 messages, 4 users, 0 stars

Bookmarked Jul 22, 2021 at 18:58 by rydwolf

Discussion on 1.17/1.18

Jul 14, 2021 at 2:07, 45 minutes total – 301 messages, 9 users, 0 stars

Bookmarked Jul 14, 2021 at 3:02 by rydwolf

Rickroll'd by the transcript diving

Jun 14, 2021 at 0:01, 3 minutes total – 8 messages, 3 users, 2 stars

Bookmarked Jun 14, 2021 at 1:08 by rydwolf

We determine if it's funny

May 31, 2021 at 19:59, 4 minutes total – 17 messages, 4 users, 0 stars

Bookmarked May 31, 2021 at 20:05 by rydwolf

Who is Randall Munroe?

May 10, 2021 at 22:35, 16 minutes total – 32 messages, 5 users, 0 stars

Bookmarked Dec 17, 2021 at 23:02 by rydwolf