2024/09/16

Newest at the top

2024-09-16 21:32:56 +0200tapas_(sid467876@id-467876.ilkley.irccloud.com)
2024-09-16 21:32:47 +0200shawwwn_(sid6132@id-6132.helmsley.irccloud.com)
2024-09-16 21:32:45 +0200sp1ff`(~user@c-73-11-70-111.hsd1.wa.comcast.net)
2024-09-16 21:32:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-16 21:32:40 +0200idnar_(sid12240@debian/mithrandi)
2024-09-16 21:32:36 +0200nschoe(~nschoe@82-65-202-30.subs.proxad.net)
2024-09-16 21:32:36 +0200Yumemi(~Yumemi@2001:bc8:47a0:1b14::1)
2024-09-16 21:32:32 +0200monochrm(trebla@216.138.220.146)
2024-09-16 21:32:30 +0200sa1_(sid7690@id-7690.ilkley.irccloud.com)
2024-09-16 21:32:14 +0200 <probie> And ⍉ is transpose (that's probably an important part :p)
2024-09-16 21:32:10 +0200ZharMeny`(~ZharMeny@user/ZharMeny)
2024-09-16 21:32:08 +0200kimiamania208(~65804703@user/kimiamania)
2024-09-16 21:32:02 +0200nek01(~nek0@user/nek0)
2024-09-16 21:31:50 +0200Katarushisu2(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
2024-09-16 21:31:48 +0200ames5(~amelia@offtopia/offtopian/amelia)
2024-09-16 21:31:20 +0200Wstfgl0(~me-me@kc.randomserver.name)
2024-09-16 21:30:44 +0200biberu\(~biberu@user/biberu)
2024-09-16 21:30:41 +0200tomboy64(~tomboy64@user/tomboy64)
2024-09-16 21:29:16 +0200 <probie> s/"beside" in the context/"beside" in that context/
2024-09-16 21:28:39 +0200 <probie> I might as well finish the explanation. `βŽ•IO+0 2 3 1` would be `map (indexOrigin +) [0, 2, 3, 1]` in Haskell. The `∘` (pronounced "bind" in this context) is a modern APL feature for partial application (that symbol also does double duty as normal function composition and is called "beside" in the context)
2024-09-16 21:27:47 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-09-16 21:27:32 +0200JimL(~quassel@89.162.16.26)
2024-09-16 21:27:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-16 21:23:43 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 265 seconds)
2024-09-16 21:23:33 +0200 <geekosaur> it's fun. I blew out my CPU time allotment playing with it though, BITD 😞
2024-09-16 21:22:43 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-09-16 21:21:19 +0200 <monochrom> Oh yeah I remember seeing APL "IO" on wikipedia :)
2024-09-16 21:20:02 +0200 <[exa]> (APL is underrated)
2024-09-16 21:19:56 +0200 <[exa]> probie: o nice
2024-09-16 21:18:40 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-16 21:16:47 +0200weary-traveler(~user@user/user363627)
2024-09-16 21:16:22 +0200 <probie> [exa]: just because monochrom brought it up, this is how you could write `fmap (sequenceA . fmap sequenceA)` in APL `(βŽ•IO+0 2 3 1)βˆ˜β‰` (βŽ•IO is "index origin". Because APL lets you swap between 0-indexing and 1-indexing, the `βŽ•IO+` bit it just to make it work with both)
2024-09-16 21:16:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-16 21:11:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-16 21:00:38 +0200caconym8(~caconym@user/caconym)
2024-09-16 21:00:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-16 21:00:02 +0200caconym8(~caconym@user/caconym) (Quit: bye)
2024-09-16 20:55:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-16 20:53:14 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
2024-09-16 20:51:10 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-16 20:48:32 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2024-09-16 20:44:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-16 20:41:21 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds)
2024-09-16 20:40:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-16 20:37:47 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2024-09-16 20:37:22 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Read error: Connection reset by peer)
2024-09-16 20:37:21 +0200slack1256(~slack1256@2803:c600:5111:8029:6e22:e379:7b90:ce92) (Remote host closed the connection)
2024-09-16 20:36:22 +0200 <tomsmeding> (in fact, all signals point to you making an effort to explain things simply, in proper order, and in a way that makes students happy together with giving them the means to explore the rest themselves)
2024-09-16 20:34:43 +0200 <tomsmeding> (and I am definitely not commenting on your teaching itself, not least because I have never sat in your classroom)
2024-09-16 20:34:42 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)