Logs on 2025-03-20 (liberachat/#haskell)
| 00:00:28 | × | zenstoic quits (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:01:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:06:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:07:20 | × | euleritian quits (~euleritia@dynamic-176-006-135-145.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 00:07:43 | → | euleritian joins (~euleritia@95.90.214.149) |
| 00:09:25 | × | acidjnk quits (~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 00:16:15 | × | euleritian quits (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 00:17:12 | → | euleritian joins (~euleritia@95.90.214.149) |
| 00:17:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:17:49 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 00:17:56 | × | euleritian quits (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 00:18:42 | → | euleritian joins (~euleritia@95.90.214.149) |
| 00:18:57 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 00:22:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:28:42 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:29:42 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 00:31:02 | → | dibblego joins (~dibblego@116-255-1-119.ip4.superloop.au) |
| 00:31:02 | × | dibblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 00:31:02 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 00:32:37 | → | weary-traveler joins (~user@user/user363627) |
| 00:33:08 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 00:36:25 | × | user363627 quits (~user@user/user363627) (Ping timeout: 244 seconds) |
| 00:49:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:50:54 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:52:48 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 00:54:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:55:20 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:56:09 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 268 seconds) |
| 01:03:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 01:04:50 | × | euleritian quits (~euleritia@95.90.214.149) (Ping timeout: 244 seconds) |
| 01:05:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:06:14 | <monochrom> | impedance > resistance >:) |
| 01:06:30 | → | euleritian joins (~euleritia@dynamic-176-006-135-145.176.6.pool.telefonica.de) |
| 01:07:53 | × | euleritian quits (~euleritia@dynamic-176-006-135-145.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 01:08:10 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 01:09:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:15:26 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:17:17 | × | sprotte24 quits (~sprotte24@p200300d16f414f00d95fa8d2f58ba4f5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 01:17:42 | → | dibblego joins (~dibblego@116-255-1-119.ip4.superloop.au) |
| 01:17:42 | × | dibblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 01:17:42 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 01:19:56 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 01:20:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:26:00 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 01:27:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:29:59 | × | alp quits (~alp@2001:861:8ca0:4940:77c4:3560:6515:b78c) (Ping timeout: 260 seconds) |
| 01:38:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:44:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:50:07 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 01:50:52 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 01:54:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:59:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:00:30 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:03:14 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds) |
| 02:04:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 02:07:21 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 02:10:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:15:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:17:08 | × | notdabs quits (~Owner@2600:1700:69cf:9000:28cb:4a01:fb92:fda0) (Read error: Connection reset by peer) |
| 02:25:57 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 02:26:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:30:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:33:50 | → | euphores joins (~SASL_euph@user/euphores) |
| 02:41:59 | → | tavare joins (~tavare@150.129.88.189) |
| 02:42:00 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 02:42:00 | → | tavare joins (~tavare@user/tavare) |
| 02:42:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:44:39 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 02:45:54 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:47:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 02:50:14 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 02:50:57 | × | zlqrvx quits (~zlqrvx@101.175.150.247) (Ping timeout: 276 seconds) |
| 02:51:41 | → | zlqrvx joins (~zlqrvx@101.175.150.247) |
| 02:57:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:02:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:03:42 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 03:04:21 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 03:08:53 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 03:11:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:15:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:25:25 | → | k_hachig joins (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) |
| 03:26:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:32:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:32:59 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:36:36 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 03:37:22 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 03:42:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:42:58 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) |
| 03:43:16 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) (Ping timeout: 268 seconds) |
| 03:44:45 | → | synchrom1 joins (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) |
| 03:45:54 | → | synchrom2 joins (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) |
| 03:47:25 | → | synchrom3 joins (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) |
| 03:48:04 | × | synchromesh quits (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) (Ping timeout: 260 seconds) |
| 03:48:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:49:21 | × | synchrom1 quits (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) (Ping timeout: 244 seconds) |
| 03:50:46 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) |
| 03:50:59 | × | synchrom2 quits (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) (Ping timeout: 260 seconds) |
| 03:52:27 | × | synchrom3 quits (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) (Ping timeout: 244 seconds) |
| 03:57:22 | → | k_hachig joins (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) |
| 03:58:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:03:37 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) (Ping timeout: 268 seconds) |
| 04:04:08 | × | tavare quits (~tavare@user/tavare) (Ping timeout: 245 seconds) |
| 04:05:46 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:05:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 04:16:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:18:22 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:18:22 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:18:52 | → | tavare joins (~tavare@user/tavare) |
| 04:21:01 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 04:21:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:21:57 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:22:40 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 04:32:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:37:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:37:29 | → | k_hachig joins (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) |
| 04:41:47 | → | aforemny_ joins (~aforemny@i577B13B9.versanet.de) |
| 04:42:10 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 04:42:45 | × | aforemny quits (~aforemny@2001:9e8:6ce6:a700:9c3f:a849:8d9b:359a) (Ping timeout: 252 seconds) |
| 04:43:09 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:44:19 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) (Ping timeout: 268 seconds) |
| 04:45:27 | × | dsrt^ quits (dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 04:46:00 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 276 seconds) |
| 04:46:08 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
| 04:46:39 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:48:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:53:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:54:58 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 04:59:04 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 04:59:38 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 05:00:00 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 05:00:13 | <haskellbridge> | <dmjio> "rapid" is underrated |
| 05:00:31 | → | michalz joins (~michalz@185.246.207.205) |
| 05:01:31 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 05:03:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:04:26 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:07:01 | → | yago joins (~yago@2a0c:5a82:1708:200:6253:81d4:6f3:487e) |
| 05:08:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:08:43 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 05:19:46 | × | yago quits (~yago@2a0c:5a82:1708:200:6253:81d4:6f3:487e) (Ping timeout: 244 seconds) |
| 05:25:01 | → | prasad joins (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) |
| 05:27:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:34:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:42:07 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:45:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:50:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:50:50 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:54:21 | → | dsrt^ joins (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 05:54:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 05:58:58 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 06:01:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:07:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:12:53 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 06:13:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:17:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:28:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:32:49 | → | jrm2 joins (~jrm@user/jrm) |
| 06:33:12 | × | jrm quits (~jrm@user/jrm) (Ping timeout: 252 seconds) |
| 06:34:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 06:34:40 | jrm2 | is now known as jrm |
| 06:35:09 | × | fun-safe-math quits (~fun-safe-@2601:1c2:1b7f:801f:52d3:ce67:1ea3:7bc7) () |
| 06:36:15 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:40:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 06:43:50 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 06:44:12 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 06:44:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:48:35 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 06:48:42 | → | euleritian joins (~euleritia@dynamic-176-006-133-116.176.6.pool.telefonica.de) |
| 06:49:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:51:54 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 07:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:01:04 | → | caconym joins (~caconym@user/caconym) |
| 07:03:09 | → | tromp joins (~textual@2a02:a210:cba:8500:f085:be23:3f4e:4a7a) |
| 07:03:53 | <[exa]> | hm, is there some simple/recommended way to read a bunch of Storables from a file? |
| 07:04:58 | <[exa]> | e.g. something like `hReadStorable :: Storable a => Handle -> IO a` or so |
| 07:05:31 | → | rvalue joins (~rvalue@user/rvalue) |
| 07:05:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:07:20 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:07:34 | <[exa]> | ok, `storablevector` pretty much does it, great :) |
| 07:10:41 | → | gmg joins (~user@user/gehmehgeh) |
| 07:10:58 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:11:46 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 07:13:44 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 07:14:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:15:10 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:18:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:21:19 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:25:23 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 07:28:00 | × | jle` quits (~jle`@2603:8001:3b00:11:ad81:3a03:5eb:774) (Ping timeout: 246 seconds) |
| 07:28:02 | → | ash3en joins (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) |
| 07:28:58 | → | jle` joins (~jle`@2603:8001:3b00:11::1156) |
| 07:29:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:35:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:36:52 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 07:37:37 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 07:40:27 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:45:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:47:57 | × | ft quits (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:50:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 07:53:57 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 07:54:55 | → | acidjnk joins (~acidjnk@p200300d6e71c4f93c844fc72ca8884d1.dip0.t-ipconnect.de) |
| 07:58:22 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 08:01:44 | → | kh0d joins (~kh0d@89.216.103.150) |
| 08:05:56 | → | gmg joins (~user@user/gehmehgeh) |
| 08:07:07 | × | kh0d quits (~kh0d@89.216.103.150) (Read error: Connection reset by peer) |
| 08:07:24 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:07:36 | → | kh0d joins (~kh0d@89.216.103.150) |
| 08:11:08 | → | vpan joins (~vpan@212.117.1.172) |
| 08:11:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 08:15:58 | × | JamesMowery17 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 08:16:05 | → | Digitteknohippie joins (~user@user/digit) |
| 08:16:58 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 08:19:09 | → | JamesMowery17 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 08:21:16 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:23:09 | × | ash3en quits (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 08:23:25 | × | euleritian quits (~euleritia@dynamic-176-006-133-116.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 08:24:39 | → | euleritian joins (~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) |
| 08:31:57 | <[exa]> | tomsmeding: btw any hot protip on how to do a bucketing aggregation in any of the array packages, preferably without going to mutable arrays? (I've got one array with N items, one array with N indexes 0..K-1 (which places the item into i-th bucket), and want to have an array with K sums of items that belong to i-th bucket) |
| 08:32:05 | <[exa]> | tomsmeding: (basically k-means ^ ) |
| 08:32:35 | <tomsmeding> | I know off the top of my head how the primitive is called in Accelerate and Futhark. :p |
| 08:32:40 | tomsmeding | opens repa docs |
| 08:33:39 | tomsmeding | is confused |
| 08:34:53 | <tomsmeding> | oh repa doesn't have push arrays? |
| 08:35:38 | <[exa]> | so in accelerate and futhark this is "push arrays", right? |
| 08:35:50 | <tomsmeding> | in accelerate it's 'permute', in futhark it's 'reduce_by_index' |
| 08:36:59 | <tomsmeding> | in the general lingo of array languages, there's "pull arrays" (arrays defined by a function from index to value) and "push arrays" (arrays defined by a function I -> I' and an array on index space I; the function denotes where the element should go) |
| 08:37:22 | → | alp joins (~alp@2001:861:8ca0:4940:17be:23b1:68c0:522c) |
| 08:38:00 | <tomsmeding> | [exa]: in massiv, I guess makeLoadArray(S)? |
| 08:38:11 | <tomsmeding> | why is this so non-obvious |
| 08:38:15 | <[exa]> | lemme check, I'm at backpermute now :D |
| 08:38:21 | <tomsmeding> | backpermute is the other way round |
| 08:38:39 | <tomsmeding> | backpermute is the pull array version |
| 08:39:06 | <[exa]> | yap, was looking for any permute |
| 08:39:27 | tomsmeding | searches for "repa push array" on duck |
| 08:39:32 | <tomsmeding> | "Including results for javascript array push method" |
| 08:39:36 | <tomsmeding> | no wtf |
| 08:40:59 | <[exa]> | like, I can see why people dodge this given the insane ambiguity in optimization of the usual push arrays |
| 08:41:15 | <tomsmeding> | it's one of the fundamental things you need to do histogram-like things |
| 08:41:26 | <[exa]> | yeah |
| 08:41:26 | <tomsmeding> | also it's one of the standard building blocks for the implementation of a parallel 'filter' |
| 08:41:51 | <tomsmeding> | (map the predicate over the input array, scan (+) over that to determine destination indices, then forward permutation) |
| 08:42:00 | <Athas> | Aren't push/pull arrays representations? Does Accelerate's permute actually construct a push array? |
| 08:42:01 | → | chele joins (~chele@user/chele) |
| 08:42:42 | <[exa]> | as in, histograms ain't that big of an issue because the histogram array is relatively tiny, you can fold your way around that and it's gonna be fast. But I've got like 1MB target array, this won't fold. |
| 08:42:43 | <tomsmeding> | Athas: None of Accelerate's source-level primitives construct a delayed array, it's all manifest, so indeed, technically there are neither push arrays _nor_ pull arrays |
| 08:43:01 | <Athas> | Yeah, that's what I thought. |
| 08:43:04 | <tomsmeding> | but it's still useful to think of the two directions when evaluating primitives / their performance |
| 08:43:22 | <[exa]> | ah, here we go: DL: Delayed load representation. Also known as Push array. |
| 08:43:33 | <tomsmeding> | [exa]: yes, that's how I ended up with makeLoadArray* |
| 08:43:33 | <[exa]> | tomsmeding: thanks a lot |
| 08:44:22 | → | ash3en joins (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) |
| 08:44:22 | <tomsmeding> | you know what? Neither repa nor massiv have a parallel filtering function |
| 08:44:53 | <[exa]> | filtering as in "shrink vector" or "mask operations" ? |
| 08:44:55 | <tomsmeding> | Or at least it doesn't have "filter" in the name |
| 08:44:57 | <tomsmeding> | :t filter |
| 08:44:58 | <lambdabot> | (a -> Bool) -> [a] -> [a] |
| 08:45:00 | <tomsmeding> | as in that one |
| 08:45:06 | <[exa]> | so a shrinky one |
| 08:45:08 | <tomsmeding> | yes |
| 08:45:35 | <[exa]> | yeah well you know how lovely the parallelization of that is |
| 08:45:49 | <tomsmeding> | as I said, you can parallelise that with map + scan + permute |
| 08:45:56 | <tomsmeding> | but it's not very fast, indeed |
| 08:46:21 | <tomsmeding> | scan and permute happen to roughly be the array combinators with the worst constant factors |
| 08:46:22 | <[exa]> | like, |
| 08:46:32 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:46:38 | <[exa]> | this sounds like you'd get an array of data-determined size |
| 08:46:42 | <tomsmeding> | yes |
| 08:46:43 | <[exa]> | sounds like nope. |
| 08:46:47 | <tomsmeding> | it's fine |
| 08:47:02 | [exa] | has his opinion on data-determined sizes |
| 08:47:05 | <tomsmeding> | it means not all shapes are known statically, but that's already the case if you can create arrays with runtime shapes |
| 08:47:33 | <tomsmeding> | let n = sum _ in generate [n] (\i -> _) |
| 08:47:44 | <tomsmeding> | voilà, a data-determined array size |
| 08:48:08 | <tomsmeding> | this is supported first-class in the vast majority of array languages |
| 08:48:47 | <tomsmeding> | (I know of one where it isn't, which I recently learned of -- Dr.Jit -- and that's a rather strange one, as array languages go) |
| 08:49:28 | <[exa]> | like, it's okay but if your arrays are a few tens of gigabytes you can't just allow the program to yolo allocate a new one |
| 08:49:37 | <[exa]> | (usually it can't) |
| 08:50:21 | <tomsmeding> | [exa]: that sounds like it's more about allocation than about dynamic sizing? |
| 08:50:58 | <[exa]> | yeah, mostly. but you always need to allocate somehow, right? |
| 08:51:28 | <tomsmeding> | functional array languages are not very good at controlling allocation, yes |
| 08:51:33 | <tomsmeding> | the explicit representation markers in repa and massiv help a bit |
| 08:51:41 | <tomsmeding> | I still don't see what the connection with dynamic sizing is :p |
| 08:52:48 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:54:46 | <[exa]> | in most cases that I've seen in practice there's usually a switch that triggers if the array reduced too much or too little (usually corner cases), which is preferably triggered before the costly aggregation takes place |
| 08:55:02 | <[exa]> | which implies you need some custom code between the scan and permute |
| 08:55:15 | <[exa]> | so I'm not a big fan of having these glued into single functions |
| 08:55:28 | <tomsmeding> | [exa]: what do you mean with "reduced too much / too little"? |
| 08:56:19 | <[exa]> | say you're clustering stuff and you get a pathological case where everything gets into a single cluster (most algorithms have to interrupt and do stuff differently) |
| 08:57:17 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 08:57:32 | <tomsmeding> | I see |
| 08:57:38 | <[exa]> | btw the makeLoadArray is probably not it (or I don't see how to use it to tell it the index) |
| 08:58:31 | <tomsmeding> | [exa]: makeLoadArray is the monadic thing, essentially |
| 08:58:47 | <tomsmeding> | the function you pass should use the element writing function _it_ gets passed to fill the destination array |
| 08:59:00 | <tomsmeding> | I have no clue what that Bool is |
| 08:59:21 | <tomsmeding> | ah you get False if it was out of range? |
| 08:59:23 | <tomsmeding> | odd |
| 08:59:32 | <[exa]> | yes the bool confuses me |
| 08:59:44 | <[exa]> | ah wait there's one extra parentheses there |
| 08:59:49 | <[exa]> | gooooood okay, saved |
| 08:59:52 | <tomsmeding> | ah :) |
| 09:00:50 | <[exa]> | now the other question is how to actually do the aggregation/sum there, for the histogram |
| 09:00:59 | <tomsmeding> | oh wait |
| 09:01:00 | → | merijn joins (~merijn@77.242.116.146) |
| 09:01:05 | <tomsmeding> | lol oops |
| 09:01:13 | tomsmeding | was just blindly looking for push arrays |
| 09:01:23 | → | k_hachig joins (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) |
| 09:03:06 | → | tv joins (~tv@user/tv) |
| 09:03:14 | <tomsmeding> | I have no clue |
| 09:03:29 | <tomsmeding> | I'm very confused why neither repa nor massiv seem to have a histogram operation of any kind |
| 09:03:41 | <tomsmeding> | Athas: you don't happen to know this, do you? |
| 09:04:04 | <Athas> | It's not so easy to do efficiently, but it's not so hard to do OK. |
| 09:04:13 | <Athas> | But my experience is that they don't crop up so often. |
| 09:04:22 | <tomsmeding> | it's extremely hard to do so OK if you get zero primitives for them. :P |
| 09:04:29 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:04:30 | <[exa]> | :D |
| 09:04:53 | <Athas> | If you have few bins, just do an outer loop over all bins. |
| 09:05:04 | <tomsmeding> | with a fold per bin, right |
| 09:05:16 | <[exa]> | Athas: I've got a bit too many bins which are huge |
| 09:05:26 | <[exa]> | need the sparsity here, unfortunately |
| 09:07:18 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) (Ping timeout: 252 seconds) |
| 09:08:08 | → | alecs joins (~alecs@nat16.software.imdea.org) |
| 09:08:57 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:09:05 | <Athas> | Here's a solution you won't like: sorting followed by a segmented reduction is asymptotically optimal. |
| 09:09:28 | <tomsmeding> | and then write your own segmented reduction because none are provided |
| 09:09:37 | <tomsmeding> | but at least you can do so! |
| 09:09:59 | <[exa]> | Athas: my data is too fat to get sorted efficiently (you'd die on memory throughput of the sort) |
| 09:09:59 | <Athas> | Yeah, but it's slow as hell unless you have a really snappy sort. |
| 09:10:17 | <tomsmeding> | also, repa has no sort, only massiv seems to, and that sequential |
| 09:10:49 | <tomsmeding> | correction, it's parallel |
| 09:11:01 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 09:11:11 | <tomsmeding> | [exa]: does massiv's `tally` do what you want? |
| 09:11:13 | → | j1n37- joins (~j1n37@user/j1n37) |
| 09:11:44 | <[exa]> | tomsmeding: it's very similar, and I actually need counting |
| 09:11:57 | <[exa]> | yeah good catch, let's take that apart |
| 09:13:11 | × | ash3en quits (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 09:18:09 | <Athas> | [exa]: 'tally' sorts the array. |
| 09:18:18 | <Athas> | And looks completely sequential. |
| 09:18:21 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 09:18:49 | <tomsmeding> | sigh |
| 09:20:02 | <Athas> | Clearly the best solution must be https://hackage.haskell.org/package/futhark-server |
| 09:20:19 | <tomsmeding> | hah |
| 09:23:48 | → | dhil joins (~dhil@2a0c:b381:52e:3600:f2d3:292b:64f1:45c9) |
| 09:38:13 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:39:49 | <[exa]> | well sounds to me like I'm FFIing to C :D |
| 09:41:09 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 09:41:44 | → | merijn joins (~merijn@77.242.116.146) |
| 09:42:28 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 09:43:00 | × | krei-se quits (~krei-se@p3ee0faf4.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 09:46:38 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 09:51:21 | → | merijn joins (~merijn@77.242.116.146) |
| 09:54:45 | → | krei-se joins (~krei-se@p3ee0faf4.dip0.t-ipconnect.de) |
| 09:58:15 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:59:43 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:8edc:7567:8376:630e) |
| 10:00:32 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 10:09:31 | → | merijn joins (~merijn@77.242.116.146) |
| 10:14:36 | → | sprotte24 joins (~sprotte24@p200300d16f3eed002d97e289dca6fdd9.dip0.t-ipconnect.de) |
| 10:15:27 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 10:18:42 | × | yin quits (~z@user/zero) (Ping timeout: 244 seconds) |
| 10:23:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:28:14 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 10:29:43 | Digitteknohippie | is now known as Digit |
| 10:32:39 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 10:33:43 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 10:38:16 | → | merijn joins (~merijn@77.242.116.146) |
| 10:46:01 | → | ash3en joins (~Thunderbi@2a01:780:8000:115:27a0:cdec:aee3:14b8) |
| 10:53:43 | × | euleritian quits (~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 10:54:23 | → | euleritian joins (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) |
| 10:54:34 | → | infinity0 joins (~infinity0@pwned.gg) |
| 10:58:29 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:02:16 | → | caconym joins (~caconym@user/caconym) |
| 11:07:45 | × | ash3en quits (~Thunderbi@2a01:780:8000:115:27a0:cdec:aee3:14b8) (Ping timeout: 252 seconds) |
| 11:08:34 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 11:12:01 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:16:13 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 11:16:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 11:22:53 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 11:26:41 | × | alp quits (~alp@2001:861:8ca0:4940:17be:23b1:68c0:522c) (Ping timeout: 248 seconds) |
| 11:27:37 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:8edc:7567:8376:630e) (Remote host closed the connection) |
| 11:27:50 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:9747:dd6c:23c:6105) |
| 11:29:22 | → | merijn joins (~merijn@77.242.116.146) |
| 11:41:32 | → | __monty__ joins (~toonn@user/toonn) |
| 11:45:50 | → | ash3en joins (~Thunderbi@149.222.145.35) |
| 11:47:50 | → | jespada joins (~jespada@2800:a4:22b6:4600:c042:9a9f:aa72:a246) |
| 11:51:03 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 11:53:16 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 11:54:18 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:54:48 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 11:54:49 | ChanServ | sets mode +v haskellbridge |
| 11:58:06 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:02:31 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 12:02:46 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 12:02:56 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 12:03:22 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 12:06:35 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:10:14 | <ski> | @let tabulate :: Ix i => (i,i) -> (i -> e) -> Array i e; tabulate ix f = listArray ix [f i | i <- range ix] |
| 12:10:15 | <lambdabot> | Defined. |
| 12:10:21 | <ski> | @let ximap :: (Ix i,Ix j,Monoid e) => (j,j) -> (i -> j) -> (Array i e -> Array j e); ximap ix f ar = accumArray mappend mempty ix [(f i,ar ! i) | i <- indices ar] |
| 12:10:22 | <lambdabot> | Defined. |
| 12:10:29 | <ski> | > (fmap getSum . ximap (0,9) (^ 2) . L.tabulate (-3,3)) (\i -> Sum (abs (i^3))) |
| 12:10:31 | <lambdabot> | array (0,9) [(0,0),(1,2),(2,0),(3,0),(4,16),(5,0),(6,0),(7,0),(8,0),(9,54)] |
| 12:10:37 | <ski> | > (ximap (0,9) (^ 2) . L.tabulate (-3,3)) (\i -> [abs (i^3)]) |
| 12:10:38 | <lambdabot> | array (0,9) [(0,[0]),(1,[1,1]),(2,[]),(3,[]),(4,[8,8]),(5,[]),(6,[]),(7,[]),... |
| 12:12:38 | × | jespada quits (~jespada@2800:a4:22b6:4600:c042:9a9f:aa72:a246) (Ping timeout: 268 seconds) |
| 12:18:21 | × | euleritian quits (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:18:38 | → | euleritian joins (~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) |
| 12:21:47 | → | jespada joins (~jespada@179.26.248.34) |
| 12:23:52 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 12:30:09 | × | wildsalander quits (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 12:33:04 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 12:33:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:42:34 | × | Googulator88 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 12:42:51 | → | Googulator88 joins (~Googulato@80-95-93-233.pool.digikabel.hu) |
| 12:42:53 | × | dsrt^ quits (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 12:43:29 | → | dsrt^ joins (elomin@c-71-199-187-173.hsd1.ga.comcast.net) |
| 12:43:31 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:47:12 | → | k_hachig joins (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) |
| 12:47:55 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 12:52:41 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) (Ping timeout: 252 seconds) |
| 12:55:04 | × | Leary quits (~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer) |
| 12:55:24 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 13:03:50 | × | euleritian quits (~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 13:04:05 | → | euleritian joins (~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) |
| 13:09:47 | → | gmg joins (~user@user/gehmehgeh) |
| 13:17:17 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 13:22:01 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.4.4) |
| 13:23:50 | × | ash3en quits (~Thunderbi@149.222.145.35) (Ping timeout: 272 seconds) |
| 13:24:02 | × | kh0d quits (~kh0d@89.216.103.150) (Remote host closed the connection) |
| 13:25:19 | → | kh0d joins (~kh0d@89.216.103.150) |
| 13:28:55 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:29:58 | × | kh0d quits (~kh0d@89.216.103.150) (Ping timeout: 245 seconds) |
| 13:30:36 | × | acidjnk quits (~acidjnk@p200300d6e71c4f93c844fc72ca8884d1.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 13:33:02 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 13:35:07 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 13:39:05 | → | ash3en joins (~Thunderbi@149.222.145.35) |
| 13:39:33 | × | wildsalander quits (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
| 13:47:04 | → | k_hachig joins (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) |
| 13:48:55 | × | sprotte24 quits (~sprotte24@p200300d16f3eed002d97e289dca6fdd9.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 13:50:29 | → | tremon joins (~tremon@83.80.159.219) |
| 13:51:43 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) (Ping timeout: 252 seconds) |
| 13:56:47 | → | Square joins (~Square4@user/square) |
| 13:57:28 | × | euleritian quits (~euleritia@ip2504f9dc.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 13:57:39 | → | euleritian joins (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) |
| 14:02:51 | → | acidjnk joins (~acidjnk@p200300d6e71c4f93d0e6df8964507460.dip0.t-ipconnect.de) |
| 14:04:56 | × | dsrt^ quits (elomin@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 14:05:17 | → | dsrt^ joins (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 14:14:19 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:18:56 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 14:21:38 | → | k_hachig joins (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) |
| 14:21:40 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:7025:bda8:57fd:1c3b) (Client Quit) |
| 14:30:41 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 14:45:25 | haritz | is now known as saimazoon |
| 14:58:17 | → | kh0d joins (~kh0d@212.200.247.167) |
| 14:58:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 14:58:36 | → | byte joins (~mu@user/byte) |
| 14:59:43 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:59:45 | → | merijn joins (~merijn@77.242.116.146) |
| 15:03:58 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 15:10:18 | × | euleritian quits (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 15:10:36 | → | euleritian joins (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) |
| 15:11:48 | × | ash3en quits (~Thunderbi@149.222.145.35) (Quit: ash3en) |
| 15:29:13 | → | zmt01 joins (~zmt00@user/zmt00) |
| 15:29:57 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 15:30:35 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
| 15:32:28 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 15:32:39 | → | ash3en joins (~Thunderbi@149.222.145.35) |
| 15:34:46 | × | ash3en quits (~Thunderbi@149.222.145.35) (Client Quit) |
| 15:35:28 | × | jespada quits (~jespada@179.26.248.34) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 15:36:35 | → | jespada joins (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) |
| 15:36:57 | × | wildsalander quits (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 246 seconds) |
| 15:37:18 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 15:38:30 | × | euleritian quits (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:40:00 | → | euleritian joins (~euleritia@95.90.214.149) |
| 15:42:33 | → | merijn joins (~merijn@77.242.116.146) |
| 15:45:27 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:49:47 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 15:50:16 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 15:55:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 15:58:52 | → | drewrr joins (~drew@user/drewrr) |
| 16:00:46 | × | drewrr quits (~drew@user/drewrr) (Changing host) |
| 16:00:46 | → | drewrr joins (~drew@user/drewr) |
| 16:00:46 | drewrr | is now known as drewr |
| 16:00:59 | × | drewr quits (~drew@user/drewr) (Client Quit) |
| 16:02:10 | → | drewr joins (~drew@user/drewr) |
| 16:04:43 | → | merijn joins (~merijn@77.242.116.146) |
| 16:14:09 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:21:24 | × | Googulator88 quits (~Googulato@80-95-93-233.pool.digikabel.hu) (Quit: Client closed) |
| 16:21:40 | → | Googulator88 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 16:22:26 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 16:30:51 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:32:33 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 16:35:22 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 16:35:56 | → | Otong joins (~Otong@user/Otong) |
| 16:35:57 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:39:57 | × | acidjnk quits (~acidjnk@p200300d6e71c4f93d0e6df8964507460.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:40:00 | × | Otong quits (~Otong@user/Otong) (Ping timeout: 244 seconds) |
| 16:45:34 | × | jespada quits (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:48:26 | × | drewr quits (~drew@user/drewr) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 16:49:17 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 16:49:45 | × | dhil quits (~dhil@2a0c:b381:52e:3600:f2d3:292b:64f1:45c9) (Ping timeout: 246 seconds) |
| 16:52:08 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 16:52:29 | × | euleritian quits (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 16:52:48 | → | euleritian joins (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) |
| 16:54:42 | → | merijn joins (~merijn@77.242.116.146) |
| 16:56:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:00:07 | → | jespada joins (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) |
| 17:01:40 | → | drewr joins (~drew@user/drewr) |
| 17:04:54 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 240 seconds) |
| 17:05:17 | × | kh0d quits (~kh0d@212.200.247.167) (Remote host closed the connection) |
| 17:05:40 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:07:26 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 17:08:57 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 17:12:27 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 17:12:59 | → | rvalue joins (~rvalue@user/rvalue) |
| 17:13:44 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 272 seconds) |
| 17:14:30 | → | sprotte24 joins (~sprotte24@p200300d16f3eed00f17f1149f1ad7273.dip0.t-ipconnect.de) |
| 17:16:36 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:17:03 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 17:17:18 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 17:18:19 | × | euleritian quits (~euleritia@dynamic-176-006-146-033.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 17:19:26 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
| 17:20:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 17:25:56 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:28:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 17:31:08 | → | acidjnk joins (~acidjnk@p200300d6e71c4f9399301ab9560bdae8.dip0.t-ipconnect.de) |
| 17:38:24 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 17:40:31 | → | kh0d joins (~kh0d@109.111.226.14) |
| 17:42:31 | × | wildsalander quits (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 17:44:00 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 17:45:27 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 265 seconds) |
| 17:59:08 | → | kh0d joins (~kh0d@109.111.226.14) |
| 18:02:03 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 18:03:19 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:03:26 | <Athas> | Today I am using OverloadedRecordDot for the first time. |
| 18:03:32 | <Athas> | Let's see how well it works. |
| 18:03:38 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
| 18:07:40 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 18:10:41 | × | ash3en quits (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 18:15:03 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 18:16:58 | → | kh0d joins (~kh0d@109.111.226.14) |
| 18:17:42 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:9747:dd6c:23c:6105) (Quit: ubert) |
| 18:21:47 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 244 seconds) |
| 18:22:42 | → | euleritian joins (~euleritia@dynamic-176-006-141-111.176.6.pool.telefonica.de) |
| 18:25:35 | → | tusko joins (uid478376@user/tusko) |
| 18:25:43 | × | wildsalander quits (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 268 seconds) |
| 18:27:23 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:29:47 | × | Everything quits (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 18:31:52 | → | danza joins (~danza@user/danza) |
| 18:33:04 | × | jespada quits (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:33:37 | → | eron joins (~eron@177.45.236.226) |
| 18:33:40 | × | euleritian quits (~euleritia@dynamic-176-006-141-111.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 18:35:01 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 18:37:04 | <Athas> | tomsmeding: got any insights regarding higher-order AD with 'ad'? |
| 18:37:08 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 18:38:13 | → | malte joins (~malte@mal.tc) |
| 18:39:53 | → | ft joins (~ft@p508db463.dip0.t-ipconnect.de) |
| 18:42:28 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 18:42:31 | → | rvalue- joins (~rvalue@user/rvalue) |
| 18:44:19 | → | kh0d joins (~kh0d@109.111.226.14) |
| 18:45:48 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 18:48:43 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 245 seconds) |
| 18:48:51 | rvalue- | is now known as rvalue |
| 18:49:42 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:52:20 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 18:54:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 18:57:00 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 18:59:12 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 18:59:24 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 19:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:43 | → | caconym joins (~caconym@user/caconym) |
| 19:01:00 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:04:17 | → | jespada joins (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) |
| 19:05:32 | → | danz53131 joins (~danza@user/danza) |
| 19:06:40 | → | kh0d joins (~kh0d@109.111.226.14) |
| 19:06:42 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 19:08:49 | × | eron quits (~eron@177.45.236.226) (Quit: Client closed) |
| 19:10:12 | × | danz53131 quits (~danza@user/danza) (Client Quit) |
| 19:11:28 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
| 19:11:45 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 19:12:23 | → | euleritian joins (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) |
| 19:19:56 | × | Googulator88 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 19:20:15 | → | Googulator88 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 19:21:34 | → | chiselfu1e joins (~chiselfus@user/chiselfuse) |
| 19:22:06 | → | kh0d joins (~kh0d@212.200.247.167) |
| 19:22:24 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 19:22:58 | → | alexherbo2 joins (~alexherbo@2a02-8440-3500-335a-c579-bf4b-d6fc-fb66.rev.sfr.net) |
| 19:25:26 | × | alexherbo2 quits (~alexherbo@2a02-8440-3500-335a-c579-bf4b-d6fc-fb66.rev.sfr.net) (Remote host closed the connection) |
| 19:26:10 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:36:06 | → | laura_ joins (~laura@205.124.7.51.dyn.plus.net) |
| 19:36:27 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:37:15 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:40:00 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 19:40:57 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 19:41:02 | × | laura_ quits (~laura@205.124.7.51.dyn.plus.net) (Quit: Konversation terminated!) |
| 19:45:26 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:02:51 | → | laurapigeon joins (~laura@205.124.7.51.dyn.plus.net) |
| 20:06:29 | → | dhil joins (~dhil@2a0c:b381:52e:3600:7937:10c:740a:bc5b) |
| 20:18:36 | × | ash3en quits (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 20:21:20 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer) |
| 20:22:31 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:23:15 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:25:43 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 20:25:43 | × | synchromesh quits (~john@2406:5a00:24cf:bb00:3dc7:89db:26de:ecc8) (Read error: Connection reset by peer) |
| 20:26:38 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 20:26:42 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:19d8:9179:8622:bdf3) |
| 20:30:17 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 20:33:11 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 20:37:02 | × | dhil quits (~dhil@2a0c:b381:52e:3600:7937:10c:740a:bc5b) (Ping timeout: 265 seconds) |
| 20:44:31 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:47:41 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 20:47:56 | → | weary-traveler joins (~user@user/user363627) |
| 20:48:22 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 20:51:21 | → | pavonia joins (~user@user/siracusa) |
| 20:54:53 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 21:00:15 | × | Googulator88 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 21:00:31 | → | Googulator88 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 21:00:44 | × | forell quits (~forell@user/forell) (Ping timeout: 252 seconds) |
| 21:06:00 | × | euleritian quits (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 21:06:18 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 21:08:35 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:10:42 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 21:11:46 | → | euleritian joins (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) |
| 21:12:59 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 21:17:42 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 21:20:25 | × | euleritian quits (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 21:20:43 | → | euleritian joins (~euleritia@95.90.214.149) |
| 21:32:47 | → | notdabs joins (~Owner@2600:1700:69cf:9000:99ef:5e1b:cda4:8b3) |
| 21:38:40 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:38:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:42:02 | × | notdabs quits (~Owner@2600:1700:69cf:9000:99ef:5e1b:cda4:8b3) (Remote host closed the connection) |
| 21:42:25 | → | notdabs joins (~Owner@2600:1700:69cf:9000:99ef:5e1b:cda4:8b3) |
| 21:43:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:48:20 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 21:49:03 | × | jespada quits (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) (Ping timeout: 265 seconds) |
| 21:52:11 | → | gmg joins (~user@user/gehmehgeh) |
| 21:54:58 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:57:38 | × | Googulator88 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 21:58:00 | → | Googulator88 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 21:59:30 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 21:59:31 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 22:03:00 | → | user363627 joins (~user@user/user363627) |
| 22:05:57 | → | vapor joins (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) |
| 22:06:13 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 248 seconds) |
| 22:07:27 | × | vapor quits (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Client Quit) |
| 22:08:36 | × | Square quits (~Square4@user/square) (Ping timeout: 276 seconds) |
| 22:08:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:11:09 | → | vapor joins (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) |
| 22:13:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:14:39 | × | vapor quits (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Client Quit) |
| 22:23:55 | user363627 | is now known as weary-traveler |
| 22:24:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:25:04 | × | euleritian quits (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 22:25:07 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 22:26:26 | × | laurapigeon quits (~laura@205.124.7.51.dyn.plus.net) (Quit: Konversation terminated!) |
| 22:28:11 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 22:28:30 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 22:29:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:39:02 | <[exa]> | I finally pushed myself to make an ultrasimple educatory version of the hindley-milner inference, so that I can use it to show stuff to people without drowning in papers full of tyvars. If that's useful to anyone else, please enjoy here: https://github.com/exaexa/minihm |
| 22:40:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:40:42 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:42:46 | <monochrom> | onoes now I must not let my students find it. |
| 22:44:52 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 22:45:00 | → | abiss joins (~abiss27@190.213.236.106) |
| 22:45:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:45:58 | <[exa]> | monochrom: take it constructively, you can give harder assignments now |
| 22:46:03 | [exa] | hides |
| 22:48:50 | ← | abiss parts (~abiss27@190.213.236.106) () |
| 22:50:15 | → | abiss27 joins (~abiss27@190.213.236.106) |
| 22:52:25 | × | abiss27 quits (~abiss27@190.213.236.106) (Client Quit) |
| 22:52:33 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 22:53:01 | → | euleritian joins (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) |
| 22:53:06 | → | abiss27 joins (~abiss27@user/abiss) |
| 22:54:23 | × | abiss27 quits (~abiss27@user/abiss) (Client Quit) |
| 22:56:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:58:13 | × | euleritian quits (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 22:58:32 | → | euleritian joins (~euleritia@95.90.214.149) |
| 23:00:11 | → | abiss27 joins (~abiss27@190.213.236.106) |
| 23:01:17 | × | abiss27 quits (~abiss27@190.213.236.106) (Changing host) |
| 23:01:17 | → | abiss27 joins (~abiss27@user/abiss) |
| 23:02:02 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 23:03:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 23:03:29 | <monochrom> | hehe |
| 23:03:56 | <monochrom> | "infer the type of id id id id id id id id id id id id" |
| 23:04:02 | <monochrom> | @quote monochrom 17-ary |
| 23:04:02 | <lambdabot> | monochrom says: I am 17-ary, going on 18-ary, I can take curry of you |
| 23:04:43 | × | Buliarou1 quits (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 23:05:44 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:06:33 | → | yin joins (~z@user/zero) |
| 23:09:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:10:58 | ← | abiss27 parts (~abiss27@user/abiss) () |
| 23:11:32 | → | abiss27 joins (~abiss27@190.213.236.106) |
| 23:12:11 | × | xff0x quits (~xff0x@2405:6580:b080:900:810c:5794:3404:58c8) (Ping timeout: 265 seconds) |
| 23:12:28 | × | abiss27 quits (~abiss27@190.213.236.106) (Client Quit) |
| 23:14:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:20:49 | → | abiss27 joins (~abiss27@user/abiss) |
| 23:25:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:26:02 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 23:26:05 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:28:45 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:30:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:30:23 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 23:41:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:45:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:52:53 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 23:56:56 | × | kh0d quits (~kh0d@212.200.247.167) (Remote host closed the connection) |
| 23:56:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:57:51 | → | kh0d joins (~kh0d@212.200.247.167) |
| 23:59:35 | → | xff0x joins (~xff0x@2405:6580:b080:900:d229:f63b:2d49:ccd3) |
All times are in UTC on 2025-03-20.