Logs on 2025-04-20 (liberachat/#haskell)
| 00:09:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:11:47 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 00:16:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:25:41 | → | pavonia joins (~user@user/siracusa) |
| 00:26:09 | × | haritzondo quits (~hrtz@152.37.68.178) (Changing host) |
| 00:26:09 | → | haritzondo joins (~hrtz@user/haritz) |
| 00:26:56 | × | sprotte24 quits (~sprotte24@p200300d16f156200195212cdf88de3f6.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:28:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:32:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:33:21 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:43:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:47:24 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 00:48:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:49:40 | × | otto_s quits (~user@p5de2f342.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 00:50:57 | → | otto_s joins (~user@p4ff27d26.dip0.t-ipconnect.de) |
| 00:51:09 | → | notdabs joins (~Owner@2600:1700:69cf:9000:9d19:fe87:a9a8:9d05) |
| 00:51:55 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 00:59:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:01:07 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) |
| 01:02:41 | <haskellbridge> | <dmjio> ReadP is underrated |
| 01:04:17 | → | inca joins (~inca@71.30.233.213) |
| 01:04:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:05:04 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 01:05:54 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 01:08:27 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 01:10:09 | × | d34db33f quits (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 01:15:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:20:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:25:02 | × | haritzondo quits (~hrtz@user/haritz) (Ping timeout: 268 seconds) |
| 01:27:01 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 01:28:46 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 01:28:46 | → | haritz joins (~hrtz@user/haritz) |
| 01:29:30 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 01:32:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:38:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:46:17 | → | travgm joins (~travgm@184-155-73-83.cpe.sparklight.net) |
| 01:46:57 | × | travgm quits (~travgm@184-155-73-83.cpe.sparklight.net) (Changing host) |
| 01:46:57 | → | travgm joins (~travgm@fsf/member/travgm) |
| 01:48:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:51:11 | × | travgm quits (~travgm@fsf/member/travgm) (Quit: Leaving) |
| 01:55:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 02:05:33 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:05:41 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 02:09:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:13:12 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:13:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:13:38 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 02:21:11 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 02:21:23 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 02:22:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:22:58 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 02:27:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:34:20 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 02:36:11 | × | euleritian quits (~euleritia@dynamic-176-006-129-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 02:36:25 | → | euleritian joins (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 02:38:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:43:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:49:42 | × | hammond quits (proscan@gateway04.insomnia247.nl) (Changing host) |
| 02:49:42 | → | hammond joins (proscan@user/hammond2) |
| 02:51:19 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 02:52:39 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:55:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:00:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 03:03:14 | → | mceresa joins (~mceresa@user/mceresa) |
| 03:04:36 | × | notdabs quits (~Owner@2600:1700:69cf:9000:9d19:fe87:a9a8:9d05) (Quit: Leaving) |
| 03:06:17 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 03:06:17 | × | euleritian quits (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 03:07:06 | → | euleritian joins (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 03:08:10 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 260 seconds) |
| 03:08:15 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 03:12:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:13:28 | × | aaronv__ quits (~aaronv@user/aaronv) (Quit: Leaving) |
| 03:16:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:21:13 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 03:26:47 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:30:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:33:27 | → | aforemny_ joins (~aforemny@2001:9e8:6cc5:7e00:c2ee:f0f2:a86a:9c12) |
| 03:33:49 | × | aforemny quits (~aforemny@2001:9e8:6cee:1800:c0f9:494c:b1de:77a) (Ping timeout: 276 seconds) |
| 03:37:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:42:13 | → | mceresa joins (~mceresa@user/mceresa) |
| 03:46:25 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 03:47:27 | → | dutchie joins (~dutchie@user/dutchie) |
| 03:49:35 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 03:50:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:54:18 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 03:54:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:01:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:03:39 | × | rekahsoft quits (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
| 04:04:51 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 04:05:51 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 04:06:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:08:54 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 04:16:03 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:17:30 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 04:17:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:19:55 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 04:21:17 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 04:22:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:24:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 04:27:54 | × | jacopovalanzano quits (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 04:32:03 | → | j1n37- joins (~j1n37@user/j1n37) |
| 04:32:58 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 04:34:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:39:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:45:16 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 04:45:51 | → | rekahsoft joins (~rekahsoft@174.95.4.83) |
| 04:46:28 | × | rekahsoft quits (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
| 04:46:37 | → | inca joins (~inca@71.30.233.213) |
| 04:47:45 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 04:48:17 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 04:50:29 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 04:52:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:54:34 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 04:57:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:09:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:16:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 05:29:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:33:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:47:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:51:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:02:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:07:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:08:44 | × | cawfee quits (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.0) |
| 06:09:05 | → | cawfee joins (root@2001:19f0:4400:79a1::babe) |
| 06:12:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) |
| 06:20:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:22:33 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Read error: Connection reset by peer) |
| 06:23:11 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 06:25:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:30:03 | × | tromp quits (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:35:18 | × | cawfee quits (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.1) |
| 06:35:27 | → | cawfee joins (root@2001:19f0:4400:79a1::babe) |
| 06:35:47 | × | cawfee quits (root@2001:19f0:4400:79a1::babe) (Client Quit) |
| 06:36:30 | → | Square3 joins (~Square@user/square) |
| 06:39:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:42:01 | × | jle` quits (~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) (Ping timeout: 265 seconds) |
| 06:42:30 | → | jle` joins (~jle`@2603:8001:3b00:11:311f:eba9:dcc6:2b36) |
| 06:43:12 | → | gmg joins (~user@user/gehmehgeh) |
| 06:43:33 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 06:43:33 | → | cawfee joins (root@2001:19f0:4400:79a1::babe) |
| 06:44:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:45:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) |
| 06:51:24 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 06:51:53 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 06:52:34 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 06:55:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:57:14 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 07:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:59 | → | caconym joins (~caconym@user/caconym) |
| 07:02:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:03:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:04:07 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 07:08:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:13:46 | → | srazkvt joins (~sarah@user/srazkvt) |
| 07:20:41 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:20:57 | → | rvalue- joins (~rvalue@user/rvalue) |
| 07:21:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 07:21:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:21:58 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 07:22:07 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:25:46 | rvalue- | is now known as rvalue |
| 07:26:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:28:23 | → | __monty__ joins (~toonn@user/toonn) |
| 07:34:22 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 07:37:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:38:17 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 07:42:25 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:42:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:54:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 07:54:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:57:59 | <haskellbridge> | <Liamzee> Do people do library reviews? |
| 07:58:13 | <haskellbridge> | <Liamzee> crypton / cryptonite seems really fun! |
| 07:59:02 | → | kh0d joins (~kh0d@212.200.181.148) |
| 07:59:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 08:03:29 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 08:04:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:08:46 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:09:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 08:13:25 | × | kh0d quits (~kh0d@212.200.181.148) (Quit: Leaving...) |
| 08:17:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 08:18:06 | → | courtney_lol joins (~im@user/courtney-lol:66091) |
| 08:18:12 | × | petrichor quits (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 08:19:16 | ← | courtney_lol parts (~im@user/courtney-lol:66091) (The Lounge - https://thelounge.chat) |
| 08:20:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:25:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 08:30:15 | <haskellbridge> | <Liamzee> https://hackage-content.haskell.org/package/crypton-1.0.4/docs/src/Crypto.KDF.Argon2.html#hash |
| 08:30:17 | <haskellbridge> | <Liamzee> happy easter, but also |
| 08:30:23 | <haskellbridge> | <Liamzee> here, should there be a specialize pragma? :( |
| 08:37:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:41:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:45:02 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 08:49:00 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:50:20 | → | img joins (~img@user/img) |
| 08:54:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:01:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 09:05:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:09:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:22:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:25:32 | → | Digitteknohippie joins (~user@user/digit) |
| 09:26:51 | × | Digit quits (~user@user/digit) (Ping timeout: 272 seconds) |
| 09:27:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 09:34:10 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 09:39:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:39:10 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 09:44:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 09:44:39 | <davean> | Liamzee: A specialize prgama? |
| 09:45:58 | <davean> | what there would notably benefit? |
| 09:48:20 | <davean> | You have to dispatch on an abstract type for SPECIALIZE to help |
| 09:48:43 | → | sprotte24 joins (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) |
| 09:52:36 | <haskellbridge> | <Liamzee> https://hackage-content.haskell.org/package/crypton-1.0.4/docs/Crypto-KDF-Argon2.html |
| 09:52:40 | <haskellbridge> | <Liamzee> what is an abstract type? |
| 09:52:47 | <haskellbridge> | <Liamzee> do you mean AbDT a la C? |
| 09:53:06 | <haskellbridge> | <Liamzee> there's tons of typeclasses, I'd imagine specialization would avoid passing around type dictionaries |
| 09:54:04 | <davean> | passing around class dictionaries isn't a problem unless you're calling a number of times. You'd lose more having a second version of the code. At first glance I see exactly a maximum of 4 abstract dispatches |
| 09:54:41 | <davean> | and none of that is relivent if it is inlined |
| 09:56:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:57:45 | <davean> | I would expect a specialize to potentially slow the code down here. |
| 09:58:04 | × | euleritian quits (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 09:58:47 | <davean> | and sorry, its 5 not 4 |
| 10:00:08 | → | euleritian joins (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 10:03:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:06:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:10:02 | × | euleritian quits (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 10:11:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:12:05 | → | euleritian joins (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 10:21:39 | → | hidjgr joins (~hidjgr@68.52.120.78.rev.sfr.net) |
| 10:22:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:25:08 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 10:26:17 | × | euleritian quits (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 10:26:50 | → | euleritian joins (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 10:26:52 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:27:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 10:28:47 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 10:35:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:40:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:44:43 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f4141e5f13fd358117c.dip0.t-ipconnect.de) |
| 10:47:30 | → | inca joins (~inca@71.30.233.213) |
| 10:51:15 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:52:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:52:39 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 10:52:59 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
| 10:57:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 11:01:51 | → | inca joins (~inca@71.30.233.213) |
| 11:03:37 | × | nacation quits (~m-3l4s76@user/nacation) (Ping timeout: 276 seconds) |
| 11:06:40 | × | sprotte24 quits (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) (Quit: Leaving) |
| 11:07:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:07:31 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 11:12:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 11:23:44 | → | tremon joins (~tremon@83.80.159.219) |
| 11:24:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:25:33 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f4141e5f13fd358117c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 11:28:26 | → | nacation joins (~m-3l4s76@user/nacation) |
| 11:29:00 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 11:29:40 | Digitteknohippie | is now known as Digit |
| 11:29:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 11:32:51 | → | gmg joins (~user@user/gehmehgeh) |
| 11:37:54 | × | euleritian quits (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 11:38:36 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 11:41:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:46:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:48:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 11:56:14 | → | Digitteknohippie joins (~user@user/digit) |
| 11:57:15 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 12:00:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:04:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:07:49 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f41701d725ce218d9de.dip0.t-ipconnect.de) |
| 12:08:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:13:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:14:57 | → | weary-traveler joins (~user@user/user363627) |
| 12:22:28 | → | septimi joins (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 12:23:45 | → | inca joins (~inca@71.30.233.213) |
| 12:23:52 | → | sprotte24 joins (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) |
| 12:24:40 | → | sprotte24_ joins (~sprotte24@p200300d16f1d2600548a4c6cd24df652.dip0.t-ipconnect.de) |
| 12:25:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:28:46 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 12:29:25 | × | sprotte24 quits (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 12:29:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:33:03 | → | euleritian joins (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 12:33:04 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 12:33:35 | → | rvalue joins (~rvalue@user/rvalue) |
| 12:43:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:49:30 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f41701d725ce218d9de.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 12:50:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 12:55:01 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 12:58:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 13:01:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:02:47 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 13:06:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 13:09:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:14:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 13:24:08 | × | tromp quits (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:25:53 | → | inca joins (~inca@71.30.233.213) |
| 13:32:04 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 13:41:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:45:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 13:52:03 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 13:57:41 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds) |
| 13:58:34 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 13:59:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:03:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 14:06:21 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
| 14:10:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:12:09 | Digitteknohippie | is now known as Digit |
| 14:13:02 | → | j1n37- joins (~j1n37@user/j1n37) |
| 14:13:51 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 14:13:52 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 14:14:27 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:15:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:16:05 | → | inca joins (~inca@71.30.233.213) |
| 14:20:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 14:22:16 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 14:22:57 | × | hidjgr quits (~hidjgr@68.52.120.78.rev.sfr.net) (Changing host) |
| 14:22:57 | → | hidjgr joins (~hidjgr@user/hidjgr) |
| 14:26:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:27:20 | → | haritz joins (~hrtz@152.37.68.178) |
| 14:27:20 | × | haritz quits (~hrtz@152.37.68.178) (Changing host) |
| 14:27:20 | → | haritz joins (~hrtz@user/haritz) |
| 14:33:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:41:02 | → | alethkit joins (23bd17ddc6@sourcehut/user/alethkit) |
| 14:43:29 | × | Me-me quits (~me-me@user/me-me) (Ping timeout: 248 seconds) |
| 14:44:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:45:37 | → | inca joins (~inca@71.30.233.213) |
| 14:49:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 14:50:50 | → | Me-me joins (~me-me@kc.randomserver.name) |
| 14:50:59 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 14:51:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 14:52:04 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 14:59:53 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 15:00:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:00:53 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Quit: fp) |
| 15:01:11 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 15:04:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:10:44 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 272 seconds) |
| 15:11:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:12:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:16:30 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) |
| 15:16:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 15:19:56 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 15:25:28 | → | Googulator43 joins (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) |
| 15:26:32 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 15:28:54 | × | Googulator77 quits (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 15:28:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:32:41 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 15:33:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 15:37:33 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 15:39:42 | → | inca joins (~inca@71.30.233.213) |
| 15:40:48 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 15:44:34 | → | tromp joins (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 15:44:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:44:59 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 15:46:50 | → | dolio joins (~dolio@130.44.140.168) |
| 15:48:44 | × | krei-se quits (~krei-se@p50829a06.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 15:48:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 15:48:57 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 15:50:00 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 15:50:22 | → | krei-se joins (~krei-se@p50829bce.dip0.t-ipconnect.de) |
| 15:53:17 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 15:58:06 | × | hidjgr quits (~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2) |
| 15:58:42 | × | tromp quits (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:01:51 | → | tromp joins (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 16:02:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:03:01 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 16:03:17 | → | dolio joins (~dolio@130.44.140.168) |
| 16:04:42 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 16:05:20 | → | Googulator92 joins (~Googulato@94-21-172-228.pool.digikabel.hu) |
| 16:05:44 | → | dolio joins (~dolio@130.44.140.168) |
| 16:05:46 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 16:07:21 | → | krei-se- joins (~krei-se@p200300f1cfff35bada9ef3fffe7fdac8.dip0.t-ipconnect.de) |
| 16:08:29 | × | krei-se quits (~krei-se@p50829bce.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 16:08:30 | × | Googulator43 quits (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 16:10:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 16:12:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:15:23 | → | inca joins (~inca@71.30.233.213) |
| 16:16:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:17:08 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 16:19:49 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
| 16:21:55 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 16:23:33 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Read error: Connection reset by peer) |
| 16:24:43 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 276 seconds) |
| 16:24:44 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 16:24:59 | → | tomku joins (~tomku@user/tomku) |
| 16:26:56 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 16:27:23 | × | euleritian quits (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:28:35 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:30:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:30:44 | → | euleritian joins (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 16:35:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 16:38:23 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 16:39:01 | × | septimi quits (~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 276 seconds) |
| 16:46:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:47:19 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) |
| 16:47:19 | × | euleritian quits (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 16:47:56 | → | euleritian joins (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 16:50:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:52:49 | × | euleritian quits (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:53:17 | → | euleritian joins (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 16:56:13 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 16:58:17 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:03:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:06:38 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 17:08:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:10:40 | → | inca joins (~inca@71.30.233.213) |
| 17:11:03 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:12:01 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 17:13:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:16:04 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 17:17:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 17:26:57 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 17:27:26 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 17:27:29 | → | pera joins (~pera@user/pera) |
| 17:29:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:34:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:35:47 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 272 seconds) |
| 17:36:27 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 17:41:07 | → | sepi2 joins (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 17:44:00 | × | pera quits (~pera@user/pera) (Ping timeout: 272 seconds) |
| 17:45:29 | × | sepi2 quits (~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
| 17:45:31 | → | pera joins (~pera@user/pera) |
| 17:45:38 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 17:46:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:53:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:00:05 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 18:05:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:06:46 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 18:07:05 | → | notdabs joins (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) |
| 18:09:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:13:12 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 18:13:22 | → | gmg joins (~user@user/gehmehgeh) |
| 18:14:22 | × | euleritian quits (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:14:34 | → | euleritian joins (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 18:17:35 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 18:21:47 | × | notdabs quits (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) (Read error: Connection reset by peer) |
| 18:25:39 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 18:25:41 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:25:42 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:25:42 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 18:26:04 | → | califax joins (~califax@user/califx) |
| 18:26:23 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 18:26:26 | → | gmg joins (~user@user/gehmehgeh) |
| 18:27:05 | JuanDaugherty | is now known as ColinRobinson |
| 18:30:16 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 18:32:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:34:46 | → | rvalue- joins (~rvalue@user/rvalue) |
| 18:35:01 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 18:37:47 | → | prdak joins (~Thunderbi@user/prdak) |
| 18:37:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:38:37 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 18:41:29 | rvalue- | is now known as rvalue |
| 18:42:04 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 18:42:55 | → | notdabs joins (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) |
| 18:45:35 | × | euleritian quits (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 18:45:48 | → | euleritian joins (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 18:46:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 18:47:29 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:47:42 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:47:48 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:48:28 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 18:48:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:54:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 18:54:42 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 18:55:50 | × | sam113101 quits (~sam@modemcable220.199-203-24.mc.videotron.ca) (Ping timeout: 268 seconds) |
| 18:56:15 | → | sam113101 joins (~sam@modemcable232.166-202-24.mc.videotron.ca) |
| 18:58:07 | → | sepi2 joins (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 19:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:35 | <energizer> | is there any relationship between sequence :: t (m a) -> m (t a); seq :: f (a -> b) -> f a -> f b; ? i ask because the names are similar |
| 19:00:46 | → | caconym joins (~caconym@user/caconym) |
| 19:01:24 | <ncf> | no |
| 19:01:48 | <ncf> | also that's not seq |
| 19:03:20 | sepi2 | is now known as septimi |
| 19:03:35 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:04:15 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:05:29 | <monochrom> | sequence can be implemented as a fold using seq and pure. Does that count? And yes we don't call that seq. Who calls it seq? |
| 19:05:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:06:16 | <energizer> | what do you call (<*>) |
| 19:06:26 | <monochrom> | app, ap |
| 19:06:44 | <haskellbridge> | <hellwolf> seq, pseq, lseq, etc. are a family of magic spells that hints the evaluation order to the GHC runtime. |
| 19:07:07 | <monochrom> | Or, this is IRC, there is no need to use voice messages. I call it <*>. |
| 19:07:31 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:08:00 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:08:37 | <energizer> | i guess these folks call it seq https://leanprover-community.github.io/mathlib4_docs/Init/Prelude.html#Seq.seq |
| 19:09:22 | <monochrom> | They also call it <*> |
| 19:10:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:10:39 | × | euleritian quits (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:10:51 | → | euleritian joins (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 19:10:58 | <energizer> | "sequence can be implemented as a fold using seq and pure. Does that count?" is that a significant relationship that i can think about to understand them better, and why they're both called seq*? |
| 19:12:48 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:13:06 | <monochrom> | 1. You brought up relationship, so you should be the one defining it. I tried to be less unhelpful by not beginning with "what does relationship mean?", hoping that you know what you're asking for so you can be the judge. |
| 19:13:44 | <monochrom> | 2. I disagree with naming it "seq", and I think most of us here too. So aren't we the wrong people to ask why someone else chose "seq"? |
| 19:14:50 | <energizer> | ok |
| 19:15:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:17:44 | <int-e> | "this captures evaluation order" -- funnily enough that also applies to Haskell's `seq` |
| 19:17:47 | <int-e> | :t seq |
| 19:17:48 | <lambdabot> | a -> b -> b |
| 19:18:53 | <monochrom> | But then the context is "When thinking about f as possible side effects". |
| 19:18:59 | <int-e> | Anyway my main complaint about the question would be that it didn't establish the minimum context: that it was about Lean. |
| 19:19:01 | <haskellbridge> | <hellwolf> seq doesn't guarantee evaluation order. It only forces WHNF on "a", right? |
| 19:19:01 | <haskellbridge> | pseq guarantees, on the contrary |
| 19:20:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:20:28 | <monochrom> | But then^2 that is a mess to argue over, given that we painstakingly keep effects out of "evaluation" and use another word entirely for effect order. |
| 19:22:13 | <int-e> | hellwolf: no, both of them reduce to WHNF. the difference is that `pseq` is artificially lazy in its second argument so the compiler gets less freedom for the order in which the arguments are evaluated. |
| 19:22:20 | → | inca joins (~inca@71.30.233.213) |
| 19:22:53 | <monochrom> | Nice, I haven't thought of putting it that way. |
| 19:24:33 | <haskellbridge> | <hellwolf> > so the compiler gets less freedom for the order in which the arguments are evaluated. |
| 19:24:33 | <haskellbridge> | Okay. So the "sparks" triggered in "a" gets the chance it deserves, right? |
| 19:27:53 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
| 19:29:12 | <int-e> | Hmm, close enough. (There's a specific pattern here where `b` is a full result and `a` is used to create sparks that work towards fully evaluating `b`... usually in connection with the `parallel` package) |
| 19:30:09 | <int-e> | Still, I'm pretty sure that the idea when naming `seq` was to sequentialize evaluation. |
| 19:30:39 | × | euleritian quits (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 19:30:45 | <monochrom> | I agree. |
| 19:30:47 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 19:31:09 | <haskellbridge> | <hellwolf> "strict evaluation quirk" I am making stuff up for fun. |
| 19:31:50 | → | euleritian joins (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 19:32:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:33:48 | <monochrom> | John Hughes said, in an interview, that his contribution was adding one thing to fix the problem like foldl using up too much space because pointlessly lazy. That must be seq. And yet, for the purpose of saving space, you must talk dirty about evaluation order and not hide behind clean denotational strictness "oh order is not guaranteed". |
| 19:35:02 | <monochrom> | For example, suppose a sick compiler decides that "seq x y" means evaluate y first, then evaluate x, then return the result of y. Then it satisfies the strictness requirement but totally defeats John Hughes's contribution. |
| 19:35:58 | <monochrom> | Or even downright evil, spawn two threads to evaluate x and y concurrently, and wait for both. Just to try bringing down your computer. |
| 19:37:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 19:38:11 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 19:38:18 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:39:07 | <haskellbridge> | <hellwolf> What makes encoding timeliness in computation as logic less "clean" than timeless denotational meanings? I used to be a "conalist", too. But now I am questioning and want to understand more. |
| 19:40:03 | <haskellbridge> | <hellwolf> all the answer I got from denotational conalists are usually about "simple and elegance" |
| 19:40:22 | <haskellbridge> | <hellwolf> almost a pure aesthetic preference. |
| 19:40:28 | <int-e> | sounds subjective to me, so there is no good answer |
| 19:40:56 | <monochrom> | I won't defend "low level is direct, high level abstract is clean", although I am mathematically inclined and I feel that way. But then I am happy to get low level, unless when I'm too lazy to. |
| 19:41:33 | <haskellbridge> | <hellwolf> This is my linear-time temporal logic take on the meaning of "par", "pseq phi psi": $\neg \psi_{whnf}\ \mathcal{U}\ \phi_{whnf}$ This is mathematics, too, you know, why this is less "simple and elegant". |
| 19:41:34 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 19:41:34 | ljdarj1 | is now known as ljdarj |
| 19:42:32 | <haskellbridge> | <hellwolf> Somehow when it involves "sequence" and timeliness, it becomes dirty. I cannot justify it anymore. |
| 19:42:51 | <monochrom> | (not serious answer) Even physics is now trying to get rid of time from really fundamental theories >:) |
| 19:43:51 | <monochrom> | Then don't. |
| 19:48:35 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:48:51 | <monochrom> | OK here is why my preference, but I can't speak for others. It is easier to do compositional reasoning in denotational semantics than in operational semantics. |
| 19:48:53 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:50:37 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:50:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:50:48 | <haskellbridge> | <hellwolf> You sure? |
| 19:50:48 | <haskellbridge> | linear-logic and symmetric monoidal category can represent operations in quite simple diagrams. |
| 19:50:58 | <monochrom> | Compositional reasoning means if I want to prove "foo . bar" correct for example, I can break it down into proving a statement about foo, a statement about bar, and a combination of them to obtain overall correctness. |
| 19:51:02 | <haskellbridge> | <hellwolf> it's just boxes and wires with very rigorous rules. |
| 19:53:03 | <haskellbridge> | <hellwolf> I am still conceiving this idea. And I am puching above my weight: |
| 19:53:03 | <haskellbridge> | In some cases, when timeless equations are of advantage, denotational semantics is really great; but the moment you want to deal with performance, or worse, side effects, inevitably you need the help from the "timely" logic. |
| 19:53:33 | <monochrom> | That is tautological. |
| 19:54:41 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:54:46 | <haskellbridge> | <hellwolf> At least you didn't say it's false. I feel relieved :D |
| 19:57:36 | <monochrom> | People like eager languages because running times are compositional. The running time of "take 0 . repeat" is factorable to (time of take 0) + (time of repeat) = infinity. |
| 19:57:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:59:17 | <monochrom> | How do you prove that in Haskell "take 0 (repeat ())" is O(1)-time, without a whole-program analysis of the the "take 0 (repeat ())"? Can you just prove one statement about "take 0", and one statement about "repeat ()", and combine them to deduce O(1)-time? |
| 20:00:30 | <monochrom> | (I did, it's my PhD thesis: https://www.cs.utoronto.ca/~trebla/albert-thesis-ut.pdf ) |
| 20:01:25 | <mauke> | > take 0 undefined |
| 20:01:26 | <lambdabot> | [] |
| 20:01:35 | <mauke> | why do I need a statement about repeat ()? |
| 20:01:59 | <monochrom> | Sure! Now "take n (repeat ())" takes Theta(n)-time. |
| 20:02:03 | <haskellbridge> | <hellwolf> Do you assume laziness cannot be obtained from linear temporal logic? |
| 20:02:29 | <monochrom> | Maybe I did. |
| 20:03:53 | <monochrom> | Or maybe I assumed it didn't matter. The question I would ask: Can I obtain compositional reasoning from linear temporal logic? |
| 20:03:55 | <haskellbridge> | <hellwolf> I am curious. I don't know the answer. |
| 20:05:55 | <haskellbridge> | <hellwolf> why not? it's just lambda with linear arrows. You would need to take care of dup/ignore data to produce valid diagrams; the type system forces you anyways. |
| 20:06:46 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 265 seconds) |
| 20:07:06 | <haskellbridge> | <hellwolf> maybe you give an example, and let me give it a try and learn? |
| 20:09:02 | <haskellbridge> | <hellwolf> GHC's LinearTypes only says "A function f is linear if: when its result is consumed exactly once, then its argument is consumed exactly once." |
| 20:09:04 | <haskellbridge> | So I'd say nothing prevents you from having lazy semantics, since you don't have to consume. |
| 20:09:17 | <haskellbridge> | <hellwolf> Instead, it helps you to have a type safe way to build linear temporal logic. |
| 20:09:31 | → | haritz joins (~hrtz@152.37.68.178) |
| 20:09:56 | × | haritz quits (~hrtz@152.37.68.178) (Changing host) |
| 20:09:56 | → | haritz joins (~hrtz@user/haritz) |
| 20:10:35 | <haskellbridge> | <hellwolf> Contrary to some common held understanding, I believe, LinearTypes in GHC does more than managing uniqueness of resources; which people may easily dismiss and say ST does it more or less, with less type safety but probably equal or better performance. |
| 20:11:11 | <haskellbridge> | <hellwolf> Managing resource uniqueness + Ur pattern <-- this is how linear arrows typically are used in GHC. That's my understanding. |
| 20:11:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:12:19 | <monochrom> | Ur pattern is nice, yes. |
| 20:12:48 | <monochrom> | More than nice. :) |
| 20:15:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:16:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:16:26 | <monochrom> | Wait a second. Back to previous topic. Does any temporal logic count time? I thought they only order events and say "eventually" but can never say "within 10 steps". |
| 20:16:51 | <haskellbridge> | <hellwolf> But if you want to say, the data you obtained is "outdated", do not use it in the current labeled state, Ur becomes inadequate. |
| 20:18:22 | <haskellbridge> | <hellwolf> > but can never say "within 10 steps". |
| 20:18:22 | <haskellbridge> | My half-arse LTL skill suggests me that should be easily expressible, it seems rather trivial. |
| 20:18:31 | <haskellbridge> | <hellwolf> But "10 steps" needs to be defined properly too, since in a labeled state transition diagram, it can be a tree, not a linear line. |
| 20:19:30 | × | Square3 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 20:21:11 | <monochrom> | On every path, after 10 transitions or less? |
| 20:21:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:21:52 | <haskellbridge> | <hellwolf> up to you, but I don't find there is a limit in the expression of LTL itself. |
| 20:22:10 | <haskellbridge> | <hellwolf> How can you do that in GHC/Haskell is another matter. |
| 20:22:15 | <haskellbridge> | <hellwolf> Which I am working on. |
| 20:24:00 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 20:24:30 | <monochrom> | Also 10 is only a beginning example. I'm going to keep moving the goalpost. But eventually (pun!) it is going to be "for all n. `take n (repeat ())` takes O(n) time". You can write one LTL formula for n=10. You can write one LTL formula for n=11. Etc etc. You won't have one LTL formula for the "forall n" version. |
| 20:25:20 | <monochrom> | OK I won't be moving the goalpost past ω so there is a limit. >:) |
| 20:26:00 | → | haritz joins (~hrtz@152.37.68.178) |
| 20:26:09 | <monochrom> | But similarly for s/LTL/CTL/ for example. Maybe even mu-calculus itself. |
| 20:27:45 | × | haritz quits (~hrtz@152.37.68.178) (Changing host) |
| 20:27:45 | → | haritz joins (~hrtz@user/haritz) |
| 20:30:59 | <notdabs> | fam thinks he is a robot and is talking to himself |
| 20:31:08 | <haskellbridge> | <hellwolf> I don't fully know. I am mildly excited if I can express a robust ATM in GHC as an exercise |
| 20:31:37 | ChanServ | sets mode +o monochrom |
| 20:31:39 | → | alx741 joins (~alx741@186.33.188.229) |
| 20:31:44 | monochrom | sets mode +b *!*@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf |
| 20:31:44 | notdabs | is kicked by monochrom (notdabs) |
| 20:31:50 | monochrom | sets mode -o monochrom |
| 20:31:51 | × | alx741 quits (~alx741@186.33.188.229) (Client Quit) |
| 20:33:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:36:40 | <monochrom> | @type sequence |
| 20:36:41 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 20:37:02 | <monochrom> | Oh traverse, not fold. That's why! |
| 20:37:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:43:11 | → | srazkvt joins (~sarah@user/srazkvt) |
| 20:45:12 | × | euleritian quits (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 20:46:07 | → | euleritian joins (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 20:50:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:51:59 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 20:53:18 | × | jacopovalanzano quits (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 20:55:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 20:56:33 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 20:59:51 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 21:00:01 | × | septimi quits (~sepi@87-92-72-195.bb.dnainternet.fi) (Remote host closed the connection) |
| 21:00:23 | → | septimi joins (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 21:06:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:07:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:08:37 | × | pera quits (~pera@user/pera) (Ping timeout: 252 seconds) |
| 21:08:41 | × | septimi quits (~sepi@87-92-72-195.bb.dnainternet.fi) (Quit: WeeChat 4.6.1) |
| 21:10:33 | → | pera joins (~pera@user/pera) |
| 21:12:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:12:27 | → | tromp joins (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 21:17:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:19:18 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 21:20:49 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds) |
| 21:21:28 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 21:22:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:23:36 | → | inca joins (~inca@71.30.233.213) |
| 21:28:09 | → | nefercheprure joins (tma@twin.jikos.cz) |
| 21:29:20 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 21:32:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:34:11 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 21:34:16 | → | prdak joins (~Thunderbi@user/prdak) |
| 21:35:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:36:44 | → | hidjgr joins (~hidjgr@68.52.120.78.rev.sfr.net) |
| 21:36:50 | × | hidjgr quits (~hidjgr@68.52.120.78.rev.sfr.net) (Changing host) |
| 21:36:50 | → | hidjgr joins (~hidjgr@user/hidjgr) |
| 21:38:24 | → | inca joins (~inca@71.30.233.213) |
| 21:38:51 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 21:42:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:47:01 | nefercheprure | is now known as TMA |
| 21:50:19 | <haskellbridge> | <Liamzee> ugggh |
| 21:50:47 | <haskellbridge> | <Liamzee> 8 hours, enough time spent, how do you convert a bytestring hash from Crypton to a literal for insertion to PostgreSQL? |
| 21:50:58 | <haskellbridge> | <Liamzee> via postgresql simple |
| 21:54:20 | <haskellbridge> | <Liamzee> forget it, i give up, Julie Moronuki and Chris Martin's Mission Valley Software to the rescue |
| 21:54:21 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 21:55:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:55:53 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:00:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 22:02:30 | <monochrom> | I would look for a blob way. Then I would look for a base64 way. |
| 22:04:09 | <monochrom> | Then I would look for a uuencode way haha. (Remember that one?) |
| 22:08:26 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 22:12:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:16:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:18:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:19:40 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 22:21:04 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:23:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:26:29 | × | xff0x quits (~xff0x@2405:6580:b080:900:ca3b:798b:8bc0:807d) (Ping timeout: 248 seconds) |
| 22:27:29 | → | xff0x joins (~xff0x@2405:6580:b080:900:5015:f99f:d5b4:74f7) |
| 22:28:37 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 22:29:14 | → | olivial joins (~benjaminl@user/benjaminl) |
| 22:34:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:39:21 | → | acidjnk joins (~acidjnk@p200300d6e71c4f4138062549a387e2a7.dip0.t-ipconnect.de) |
| 22:39:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:39:45 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
| 22:39:51 | <haskellbridge> | <Liamzee> also, nice gossip from the miso channel, dmjio wants to go isomorphic multiplatform |
| 22:40:03 | <haskellbridge> | <Liamzee> i have a react native book coming in the mail |
| 22:40:31 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:42:07 | <haskellbridge> | <Liamzee> maybe one day i'll have a miso book coming in the mail (although honestly the need for a book suggests some level of failure) |
| 22:42:48 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:45:52 | × | KicksonButt quits (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:47:21 | <geekosaur> | not necessarily, it just means someone saw a potential profit opportunity |
| 22:47:45 | × | euleritian quits (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:47:54 | → | euleritian joins (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 22:48:13 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:49:22 | <geekosaur> | also I don't think you can claim "failure" on a developer's part for "if it can't be copy-pasted from the web then it's too hard" on lazy coders' parts |
| 22:50:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:50:42 | <haskellbridge> | <Liamzee> iirc that's more symptomatic what went wrong with react |
| 22:51:27 | <haskellbridge> | <Liamzee> i.e, it used to be simple, then react hooks (whatever that is) got added, and eventually the ecosystem became verbose and difficult to understand, contrary to its original goals |
| 22:52:29 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 22:52:53 | <haskellbridge> | <Liamzee> not sure whether it's a good thing or a bad thing that i'm falling in love, slowly, with monadic do :( |
| 22:52:55 | <geekosaur> | "programming complexity tends toward a maximum" 😛 |
| 22:53:06 | <haskellbridge> | <Liamzee> hahaha |
| 22:54:27 | <haskellbridge> | <Liamzee> i just realized today you can get rid of liftIO by instead of liftIO-ing every line in the block, you create a subsidiary do block and liftIO the do block |
| 22:54:33 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:55:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 22:55:28 | <haskellbridge> | <Liamzee> and honestly being able to lisp-format (i.e, arguments are on separate lines) in a sig-whitespace language using ML syntax is delicious |
| 23:00:35 | <haskellbridge> | <hellwolf> re formatting, how do y'all handle indentation? I use emacs and typing tab will cycle through possible indentation positions, but sometimes it is not the prettiest option I am getting and I haven't bothered to fix them. |
| 23:00:38 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/pkkDJUpyhVGomXGaeRvsiDbe/t50EK87prhk (5 lines) |
| 23:03:24 | <monochrom> | I also use emacs haskell-mode, it gives me what I want most of the time, and I just manually override for the minority of times. |
| 23:05:09 | <monochrom> | It is not that much manual overriding because for example if I want 10 lines consecutively to be indented by 12, at most the 1st line needs manual override. |
| 23:06:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:07:10 | <EvanR> | hellwolf: I'm operating under a definition of "indentation" which makes the position irrelevant, so if something needs to be indented more it goes at the next tab stop |
| 23:07:37 | <EvanR> | while attempt to align the next line with something on the previous line is not filed under indentation |
| 23:08:12 | <monochrom> | heh |
| 23:08:16 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 23:08:23 | <EvanR> | and if you allow autoformatters, is impossible |
| 23:09:01 | × | xff0x quits (~xff0x@2405:6580:b080:900:5015:f99f:d5b4:74f7) (Quit: xff0x) |
| 23:09:41 | <EvanR> | how to redefine your way out of a problem |
| 23:09:50 | <haskellbridge> | <hellwolf> that's what emacs haskell-mode does, effectively |
| 23:10:27 | <JuanDaugherty> | outdent, align, indent |
| 23:10:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:11:01 | <EvanR> | insert outsert |
| 23:11:28 | <monochrom> | Yeah I don't even write like "f x y do print foo". I make it "f x y do" one line, "print foo" next line indented +4. BTW it also eliminates the "looks like string of words" problem. |
| 23:12:07 | <JuanDaugherty> | god forbind hs should read like st |
| 23:12:12 | <JuanDaugherty> | *forbid |
| 23:12:31 | <haskellbridge> | <hellwolf> st? |
| 23:12:39 | <JuanDaugherty> | smalltalk |
| 23:12:42 | <EvanR> | haskell poetry? |
| 23:12:44 | → | xff0x joins (~xff0x@2405:6580:b080:900:38fd:c123:25a:a4e9) |
| 23:13:15 | <haskellbridge> | <hellwolf> Haskell code visual looks quite dense though. Sometimes I find it overwhelming |
| 23:13:18 | <monochrom> | Eh, I am not against reading like other languages. Except COBOL. |
| 23:13:31 | <monochrom> | Haskell reads like Curry too, you know. |
| 23:14:16 | <JuanDaugherty> | yeah was thinking cobol and st are the ones and both rurn up noses |
| 23:14:21 | <haskellbridge> | <hellwolf> Do you really use "do" with blockarguments on |
| 23:14:41 | <JuanDaugherty> | as old and wierd |
| 23:14:57 | <JuanDaugherty> | and worse than that for cobol igess |
| 23:15:09 | <EvanR> | old, weird, and worse |
| 23:15:20 | <monochrom> | I do. |
| 23:15:23 | <JuanDaugherty> | but i've seen hs that read well |
| 23:15:44 | → | mceresa joins (~mceresa@user/mceresa) |
| 23:15:49 | <monochrom> | But really 99% of the time it's more like "withFile name mode \h -> do" |
| 23:15:53 | <JuanDaugherty> | prosey |
| 23:16:17 | <monochrom> | (I happen to not need runST all that often.) |
| 23:16:34 | <EvanR> | algorithms that can be written in equational form end up really nice in haskell |
| 23:16:56 | <EvanR> | like the signed binary real number arthimetic algorithms |
| 23:17:16 | <EvanR> | or many other examples |
| 23:17:49 | <JuanDaugherty> | it's definitely not a popular style |
| 23:19:06 | <JuanDaugherty> | in hs, whereas its intrinsic in cobol and st |
| 23:19:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:19:55 | <haskellbridge> | <hellwolf> I mean, you can always write in brackets and pretend to be popular style |
| 23:20:23 | <monochrom> | > map(f)(repeat(0)) |
| 23:20:24 | <lambdabot> | error: |
| 23:20:24 | <lambdabot> | • Ambiguous type variable ‘b0’ arising from a use of ‘show_M516857686844... |
| 23:20:24 | <lambdabot> | prevents the constraint ‘(Show b0)’ from being solved. |
| 23:20:35 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 23:20:43 | <monochrom> | Oops. should have deleted the "> " |
| 23:20:52 | <haskellbridge> | <hellwolf> I mean curly brackets too |
| 23:21:12 | <monochrom> | Did you know: Landin's paper really wrote like "f(x)(y)". :) |
| 23:21:53 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 23:21:57 | <haskellbridge> | <hellwolf> the next 700 brackets |
| 23:22:05 | <monochrom> | I think old Moggi papers, old Gordon papers, etc., too. Basically the theoretical functional people back then. |
| 23:22:10 | <monochrom> | hehe |
| 23:23:17 | <monochrom> | hahaha that's brilliant |
| 23:26:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 23:33:38 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 23:35:05 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 23:37:09 | × | sprotte24_ quits (~sprotte24@p200300d16f1d2600548a4c6cd24df652.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:37:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:38:36 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 23:42:34 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:42:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:43:39 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 23:45:26 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 23:45:55 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 23:47:44 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:49:26 | → | inca joins (~inca@71.30.233.213) |
| 23:53:39 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 23:55:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:56:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:59:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
All times are in UTC on 2025-04-20.