Newest at the top
2024-09-16 21:32:56 +0200 | tapas_ | (sid467876@id-467876.ilkley.irccloud.com) |
2024-09-16 21:32:47 +0200 | shawwwn_ | (sid6132@id-6132.helmsley.irccloud.com) |
2024-09-16 21:32:45 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
2024-09-16 21:32:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-16 21:32:40 +0200 | idnar_ | (sid12240@debian/mithrandi) |
2024-09-16 21:32:36 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) |
2024-09-16 21:32:36 +0200 | Yumemi | (~Yumemi@2001:bc8:47a0:1b14::1) |
2024-09-16 21:32:32 +0200 | monochrm | (trebla@216.138.220.146) |
2024-09-16 21:32:30 +0200 | sa1_ | (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 +0200 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
2024-09-16 21:32:08 +0200 | kimiamania208 | (~65804703@user/kimiamania) |
2024-09-16 21:32:02 +0200 | nek01 | (~nek0@user/nek0) |
2024-09-16 21:31:50 +0200 | Katarushisu2 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
2024-09-16 21:31:48 +0200 | ames5 | (~amelia@offtopia/offtopian/amelia) |
2024-09-16 21:31:20 +0200 | Wstfgl0 | (~me-me@kc.randomserver.name) |
2024-09-16 21:30:44 +0200 | biberu\ | (~biberu@user/biberu) |
2024-09-16 21:30:41 +0200 | tomboy64 | (~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 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-09-16 21:27:32 +0200 | JimL | (~quassel@89.162.16.26) |
2024-09-16 21:27:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-16 21:23:43 +0200 | tomboy64 | (~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 +0200 | sord937 | (~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 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-16 21:16:47 +0200 | weary-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 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-16 21:11:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-16 21:00:38 +0200 | caconym8 | (~caconym@user/caconym) |
2024-09-16 21:00:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-16 21:00:02 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
2024-09-16 20:55:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-16 20:53:14 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
2024-09-16 20:51:10 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-16 20:48:32 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
2024-09-16 20:44:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-16 20:41:21 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
2024-09-16 20:40:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-16 20:37:47 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
2024-09-16 20:37:22 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Read error: Connection reset by peer) |
2024-09-16 20:37:21 +0200 | slack1256 | (~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 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |