Logs on 2025-07-31 (liberachat/#haskell)
| 00:03:40 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:06:52 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 00:07:40 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 00:08:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:09:56 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:10:10 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 00:11:17 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 00:13:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:23:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:24:55 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 00:28:26 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 00:29:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:31:10 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 00:31:50 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 00:35:01 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:35:13 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 00:35:16 | <Axman6> | I remember when I first started using Haskell, be in 20 dickety 8, seeing the Edison library, and even then, it felt like an ancient relic. I came across it again today, and found that a) it's still being maintained, and b) it was originally written by Chris Okasaki himself. Just thought that was interesting |
| 00:37:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 00:37:27 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 00:41:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:45:38 | × | acidjnk quits (~acidjnk@p200300d6e72d7b44ad4e219a14911733.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 00:46:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:47:20 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 00:47:44 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:47:57 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 00:48:25 | → | jmorris joins (uid604645@id-604645.hampstead.irccloud.com) |
| 00:55:05 | → | hakutaku_ joins (~textual@chen.yukari.eu.org) |
| 00:56:36 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 252 seconds) |
| 00:57:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:01:40 | <Axman6> | (I should say EdisonAPI specifically) |
| 01:02:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:04:52 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 01:12:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:14:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:a1bc:22ca:8bd:b4a5) (Ping timeout: 260 seconds) |
| 01:15:31 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 01:16:57 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 01:16:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:17:35 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 01:24:33 | × | ridcully quits (~ridcully@pd951f729.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 01:27:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:35:44 | → | MelGibson joins (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) |
| 01:38:01 | → | ridcully joins (~ridcully@p57b526e9.dip0.t-ipconnect.de) |
| 01:39:25 | × | MelGibson quits (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) (Remote host closed the connection) |
| 01:41:32 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 01:42:07 | → | poscat joins (~poscat@user/poscat) |
| 01:43:01 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 01:43:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:43:35 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:43:38 | → | poscat joins (~poscat@user/poscat) |
| 01:43:49 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 01:45:19 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 01:45:45 | → | poscat joins (~poscat@user/poscat) |
| 01:47:30 | trickard_ | is now known as trickard |
| 01:47:51 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 01:47:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:48:15 | → | poscat joins (~poscat@user/poscat) |
| 01:58:09 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 01:58:45 | → | poscat joins (~poscat@user/poscat) |
| 01:58:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:00:40 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:00:48 | → | MelGibson joins (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) |
| 02:01:24 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:03:46 | → | poscat joins (~poscat@user/poscat) |
| 02:04:11 | MelGibson | is now known as god |
| 02:04:28 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:04:41 | → | poscat joins (~poscat@user/poscat) |
| 02:05:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:05:30 | god | is now known as soitgoes |
| 02:06:27 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:06:40 | → | poscat joins (~poscat@user/poscat) |
| 02:08:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 02:10:37 | × | soitgoes quits (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) (Changing host) |
| 02:10:37 | → | soitgoes joins (~MelGibson@user/MelGibson) |
| 02:11:01 | × | soitgoes quits (~MelGibson@user/MelGibson) (Remote host closed the connection) |
| 02:11:20 | → | MelGibson joins (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) |
| 02:12:50 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:12:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:13:10 | → | poscat joins (~poscat@user/poscat) |
| 02:13:53 | × | MelGibson quits (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) (Remote host closed the connection) |
| 02:13:59 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:14:10 | → | poscat joins (~poscat@user/poscat) |
| 02:14:11 | → | MelGibson joins (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) |
| 02:14:11 | × | MelGibson quits (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) (Changing host) |
| 02:14:11 | → | MelGibson joins (~MelGibson@user/MelGibson) |
| 02:15:38 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:15:50 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:17:12 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:17:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:19:36 | MelGibson | is now known as soitgoes |
| 02:21:09 | → | poscat joins (~poscat@user/poscat) |
| 02:21:38 | → | poscat0x04 joins (~poscat@user/poscat) |
| 02:23:30 | × | soitgoes quits (~MelGibson@user/MelGibson) (Remote host closed the connection) |
| 02:23:47 | → | MelGibson joins (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) |
| 02:23:47 | MelGibson | is now known as soitgoes |
| 02:23:47 | × | soitgoes quits (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) (Changing host) |
| 02:23:47 | → | soitgoes joins (~MelGibson@user/MelGibson) |
| 02:24:04 | × | remmie quits (ianremsen@tilde.team) (Ping timeout: 260 seconds) |
| 02:25:49 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 02:29:56 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 02:30:13 | × | soitgoes quits (~MelGibson@user/MelGibson) (Quit: soitgoes) |
| 02:30:30 | → | MelGibson joins (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) |
| 02:30:30 | × | MelGibson quits (~MelGibson@2600:1700:5d4:8b00:dccc:7b66:b103:40e2) (Changing host) |
| 02:30:30 | → | MelGibson joins (~MelGibson@user/MelGibson) |
| 02:30:30 | MelGibson | is now known as soitgoes |
| 02:31:00 | → | dolio joins (~dolio@130.44.140.168) |
| 02:35:44 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 02:40:47 | → | remmie joins (ianremsen@tilde.team) |
| 02:48:18 | → | Square joins (~Square@user/square) |
| 03:21:14 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0) |
| 03:26:03 | → | aforemny_ joins (~aforemny@2001:9e8:6cc0:bc00:fef4:3a8e:168a:abdb) |
| 03:27:13 | × | aforemny quits (~aforemny@i59F4C6A5.versanet.de) (Ping timeout: 248 seconds) |
| 03:41:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:43:06 | × | kimjetwav quits (~user@2607:fea8:25a3:a100:d659:4ee6:e67a:606a) (Quit: time to reboot!) |
| 03:46:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:49:40 | × | soitgoes quits (~MelGibson@user/MelGibson) (Remote host closed the connection) |
| 03:57:59 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 04:02:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:06:48 | → | gorignak joins (~gorignak@user/gorignak) |
| 04:06:54 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 04:09:09 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 04:10:59 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 04:12:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:14:12 | → | dolio joins (~dolio@130.44.140.168) |
| 04:16:55 | → | caubert joins (~caubert@user/caubert) |
| 04:17:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:21:51 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 04:28:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:32:53 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 04:32:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:34:17 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 04:35:14 | → | caubert joins (~caubert@user/caubert) |
| 04:36:39 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 04:38:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:40:28 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 04:41:31 | → | euphores joins (~SASL_euph@user/euphores) |
| 04:43:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:47:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:48:11 | × | jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:54:08 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 04:54:31 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 04:59:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:03:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:07:49 | → | michalz joins (~michalz@185.246.207.193) |
| 05:11:03 | × | tuxpaint quits (~a@put.gay) (Quit: gn) |
| 05:11:16 | → | tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 05:13:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:18:07 | → | caubert joins (~caubert@user/caubert) |
| 05:19:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:29:01 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 05:29:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:34:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:34:58 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 05:44:58 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 05:45:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:47:17 | × | kimiamania99 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 05:48:47 | → | kimiamania99 joins (~65804703@user/kimiamania) |
| 05:49:40 | → | caubert joins (~caubert@user/caubert) |
| 05:52:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:53:03 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 05:54:25 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 05:55:14 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 05:58:12 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:58:48 | → | caubert joins (~caubert@user/caubert) |
| 06:00:41 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:03:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:08:10 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 06:08:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:08:34 | → | jmorris joins (uid604645@id-604645.hampstead.irccloud.com) |
| 06:09:53 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 06:13:34 | × | jle` quits (~jle`@2603:8001:3b00:11:be7f:e3c6:6141:6bdc) (Ping timeout: 276 seconds) |
| 06:15:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:19:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:20:11 | → | jle` joins (~jle`@syn-023-240-067-073.res.spectrum.com) |
| 06:23:41 | → | caubert joins (~caubert@user/caubert) |
| 06:28:37 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 06:30:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:31:36 | → | biberu joins (~biberu@user/biberu) |
| 06:35:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:37:15 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 06:39:13 | trickard_ | is now known as trickard |
| 06:43:40 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:45:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:49:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:50:24 | × | ft quits (~ft@p3e9bcd7f.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:50:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 06:55:41 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 06:58:41 | → | tromp joins (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
| 07:00:02 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 07:01:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:06:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:07:27 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:10:12 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 07:16:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:20:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:26:59 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:47:01 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:47:15 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 07:50:33 | → | fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 07:51:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 08:00:43 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:02:58 | → | vpan joins (~vpan@212.117.1.172) |
| 08:03:16 | vpan | is now known as Guest1293 |
| 08:03:23 | Guest1293 | is now known as vpan |
| 08:05:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:06:26 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:06:40 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 08:07:07 | → | merijn joins (~merijn@77.242.116.146) |
| 08:07:41 | → | caubert joins (~caubert@user/caubert) |
| 08:09:14 | → | __monty__ joins (~toonn@user/toonn) |
| 08:09:25 | → | puke joins (~puke@user/puke) |
| 08:12:11 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |
| 08:12:33 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 08:13:02 | → | jreicher joins (~user@user/jreicher) |
| 08:13:28 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 08:13:36 | × | tromp quits (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:21:33 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 252 seconds) |
| 08:24:52 | × | jreicher quits (~user@user/jreicher) (Remote host closed the connection) |
| 08:25:24 | → | jreicher joins (~user@user/jreicher) |
| 08:28:40 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 08:28:57 | → | acidjnk joins (~acidjnk@p200300d6e72d7b77bc5728ea616be3b0.dip0.t-ipconnect.de) |
| 08:31:28 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
| 08:33:40 | → | caubert joins (~caubert@user/caubert) |
| 08:35:35 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:35:49 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 08:36:35 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 08:39:57 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 08:43:05 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:44:07 | <kuribas> | I read the progress and preservation properties only hold for static programming, however couldn't you say that a dynamic program is unityped, and always typesafe? |
| 08:44:53 | <kuribas> | In the sense that every function checks the type, and evaluates to a runtime error if the type is invalid. |
| 08:45:18 | <kuribas> | So the small step evaluation progresses to a terminal value, the type error. |
| 08:48:11 | × | jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:50:54 | <kuribas> | It's a very boring property, not very useful, but it seems to contradict the claim that these properties don't hold for dynamic programs. |
| 08:53:47 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 08:55:03 | → | ubert1 joins (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) |
| 08:57:11 | <apache2> | kuribas: "runtime error" is a bit vague - is crashing due to an uncaught signal a runtime error? |
| 08:58:35 | trickard_ | is now known as trickard |
| 08:59:19 | <apache2> | but yeah, you can model a lot of dynamically typed languages as a statically typed language where there is one GADT type, some mixed-type languages do that and even expose this "supertype" |
| 09:03:09 | <apache2> | kuribas: this doesn't necessarily imply that you have Progress, but it can help. |
| 09:03:43 | <__monty__> | kuribas: Runtime errors don't mean the type is invalid. Type checking is a static process. The Python program that results in a TypeError at runtime is still a valid program that would've passed typechecking. |
| 09:05:00 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 09:05:10 | → | AVA joins (~AVA@84.54.80.58) |
| 09:05:39 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 09:06:22 | × | kimiamania99 quits (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 09:06:28 | <apache2> | __monty__: right, you can say (by definition) that raising an exception about a type mismatch is the way to handle an unexpected type, like if you have a function in the error monad that returns an error when a sumtype value has an unexpected constructor, or a integer type is negative, or whatever. then you can typecheck your valid program that legally outputs TypeError errors |
| 09:06:45 | → | kimiamania99 joins (~65804703@user/kimiamania) |
| 09:07:06 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:08:41 | <apache2> | kuribas: it's not immediately useful, but it paves the way for typechecking subsets of the legal programs with a less forgiving type system, and then an optimizing compiler can work on those sub-languages. JIT compilers for dynamic languages or gradually typed languages often do something similar. |
| 09:08:51 | → | caubert joins (~caubert@user/caubert) |
| 09:11:15 | <kuribas> | apache2: sure, sbcl is quite good in inferring types. But still, I found I needed a lot of type annotations to make some compression algorithm efficient. |
| 09:12:20 | <kuribas> | __monty__: I mean that a dynamically program always typechecks, in some trivial way. |
| 09:12:26 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 09:12:43 | <apache2> | re: contradiction/claim: what exactly is the claim you want to contradict? |
| 09:13:22 | <kuribas> | apache2: That the progress and preservation property does not hold for dynamic programming languages. |
| 09:13:30 | → | chele joins (~chele@user/chele) |
| 09:13:34 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 09:13:47 | <apache2> | finding instances where they does not contradict a claim that they do not always hold |
| 09:13:53 | <apache2> | they do* |
| 09:14:32 | <kuribas> | Well, maybe I misread the claim... |
| 09:15:40 | → | merijn joins (~merijn@77.242.116.146) |
| 09:15:43 | <apache2> | "dynamic" and "static" are fluid concepts, I'd be wary of treating conjectures that talk about "dynamic programming languages" as formal conjectures |
| 09:15:58 | <kuribas> | true |
| 09:16:10 | <kuribas> | like with gradual typing you could have the properties failing... |
| 09:16:49 | <kuribas> | Or a static analyser that shows some expression always throws a type error. |
| 09:17:23 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:18:21 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:18:54 | <apache2> | type checking is usually used to verify that the program is internally consistent, not that it works. "internally consistent" is also a fluid concept, "with respect to which properties" is the follow-up question you can ask, and that the operational semantics should answer |
| 09:20:27 | <kuribas> | Couldn't you say that it is about making sure the domains of functions are respected? |
| 09:20:52 | <apache2> | ie you may be able to rule out stalling Progress due to Int<->Float mismatch, but you may not be able to rule out stalling due to unterminating functions |
| 09:21:11 | → | caubert joins (~caubert@user/caubert) |
| 09:21:28 | <apache2> | kuribas: sure, ensuring domains+codomains match up is a useful and common thing to achieve in a type checker |
| 09:22:51 | <apache2> | but if you can't prove that functions terminate, it's hard to talk about codomains. then you end up with "iff the function terminates, the result has the correct type" |
| 09:23:20 | <apache2> | which is a hell of a lot better than "yolo" but it doesn't mean your program will do what it was intended to do |
| 09:23:35 | <kuribas> | So total programming is better... |
| 09:24:11 | <__monty__> | It's interesting at least. |
| 09:25:22 | <kuribas> | progress also disregards exceptions in many language, no? |
| 09:25:40 | <kuribas> | An that any expression can throw any exception. |
| 09:25:54 | <apache2> | kuribas: it's better if your aim is to prove things about the results :) it may not be better if your goal is to write a program that performs the task at hand - the more complicated the type system, the less likely the programmer is to terminate :) |
| 09:26:32 | <apache2> | kuribas: throwing an exception is usually considered progress. |
| 09:28:06 | <kuribas> | I just think most practical programs are trivially total. |
| 09:28:17 | <apache2> | segfaults leading to program termination is usually not, but you could define a language where that is a valid outcome |
| 09:28:34 | <apache2> | it's a definition game |
| 09:29:35 | <apache2> | kuribas: in python you can write a program `while True: print("SPAM")` which clearly does not terminate |
| 09:29:43 | × | sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (Remote host closed the connection) |
| 09:30:14 | <apache2> | it can still be a practical program, UNIX "yes" is an example of such |
| 09:30:19 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 09:31:21 | <apache2> | I don't know about trivial, in languages where you can ask the type checker to check that your functions are total (like Agda) it's often *not trivial* to convince the type checker that that's the case |
| 09:31:31 | <__monty__> | As soon as you have something long running like a daemon or a GUI, termination checking sounds like it should get hard to me. |
| 09:32:59 | <apache2> | __monty__: I guess if you can prove things about the inner loop, you can often prove that the program doesn't terminate |
| 09:34:15 | <apache2> | but if you can write the inner loop as a step that you can prove termination for, then you can have a small runner, and you know the inner loop won't get stuck |
| 09:35:30 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:35:44 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 09:39:16 | → | tromp joins (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
| 09:41:00 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 09:44:57 | → | sprout joins (~sprout@84-80-106-227.fixed.kpn.net) |
| 09:45:19 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 09:46:49 | × | inline_ quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 09:48:52 | <kuribas> | __monty__: you use fuel. You just run the deamon as long as there is fuel. |
| 09:48:59 | <kuribas> | Then in practice you run with infinite fuel. |
| 09:49:35 | <kuribas> | The important part is of course that you get results with bounded fuel. |
| 09:49:56 | <__monty__> | There's the rub, isn't it? |
| 09:50:06 | <kuribas> | The whole loop is not total, but the input -> result part is total. |
| 09:50:41 | <mauke> | non-terminating, but productive |
| 09:55:07 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 09:56:39 | → | dextaa joins (~dan@user/dextaa) |
| 09:57:09 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 09:58:32 | → | VictorHugenay joins (~VictorHug@user/VictorHugenay) |
| 09:59:19 | → | inline joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) |
| 10:02:34 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 10:08:08 | × | hsw quits (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 10:09:44 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 10:11:41 | → | Digit joins (~user@user/digit) |
| 10:13:10 | × | b7r6 quits (~user@user/b7r6) (Remote host closed the connection) |
| 10:14:49 | → | XPMUser joins (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) |
| 10:16:21 | → | caubert joins (~caubert@user/caubert) |
| 10:18:27 | → | VictorHugenay joins (~VictorHug@user/VictorHugenay) |
| 10:18:54 | × | XPMUser quits (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Client Quit) |
| 10:19:14 | → | XPMUser joins (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) |
| 10:22:42 | × | ubert1 quits (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 10:23:09 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 10:23:34 | × | XPMUser quits (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Client Quit) |
| 10:23:53 | → | XPMUser joins (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) |
| 10:27:19 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 10:27:52 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x_) |
| 10:28:04 | → | sprotte24 joins (~sprotte24@p200300d16f0ea9003c5fb6edece4b8f3.dip0.t-ipconnect.de) |
| 10:29:48 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 10:29:59 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 10:30:58 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds) |
| 10:31:50 | <__monty__> | kuribas: The thing is that "Just do this little thing and then the problem's trivial," doesn't work with things like the halting problem. |
| 10:31:58 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 10:32:05 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:32:18 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 10:32:53 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 10:40:41 | × | XPMUser quits (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Quit: Client closed) |
| 10:41:15 | × | sprotte24 quits (~sprotte24@p200300d16f0ea9003c5fb6edece4b8f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 10:41:23 | → | merijn joins (~merijn@77.242.116.146) |
| 10:42:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 10:43:28 | → | zlqrvx joins (~zlqrvx@101.175.150.247) |
| 10:45:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:46:39 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:49:20 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 10:51:02 | → | trickard__ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 10:51:34 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 10:52:59 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 10:57:06 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 11:00:04 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:23 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 11:02:07 | → | caconym747 joins (~caconym@user/caconym) |
| 11:03:44 | trickard__ | is now known as trickard |
| 11:04:35 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:05:56 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 11:05:57 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 11:09:12 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 11:11:54 | × | AVA quits (~AVA@84.54.80.58) (Quit: Leaving) |
| 11:17:38 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 11:19:53 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:20:11 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 11:20:38 | × | Yumemi quits (~Yumemi@chamoin.net) (Remote host closed the connection) |
| 11:21:13 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:23:23 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 11:24:30 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 11:24:44 | → | gmg joins (~user@user/gehmehgeh) |
| 11:25:28 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 11:26:01 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 11:31:15 | × | zlqrvx quits (~zlqrvx@101.175.150.247) (Quit: ZNC 1.10.0 - https://znc.in) |
| 11:34:13 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:34:27 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 11:35:26 | → | merijn joins (~merijn@77.242.116.146) |
| 11:39:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 11:40:46 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:45:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:48:22 | → | acidjnk_new joins (~acidjnk@2a02:3030:b:f1c:78a4:f074:fb0b:58dc) |
| 11:49:18 | → | acidjnk_new3 joins (~acidjnk@p200300d6e716dd19bc5728ea616be3b0.dip0.t-ipconnect.de) |
| 11:49:37 | × | acidjnk quits (~acidjnk@p200300d6e72d7b77bc5728ea616be3b0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 11:52:49 | × | acidjnk_new quits (~acidjnk@2a02:3030:b:f1c:78a4:f074:fb0b:58dc) (Ping timeout: 248 seconds) |
| 11:53:00 | → | acidjnk joins (~acidjnk@2a02:3030:b:f1c:78a4:f074:fb0b:58dc) |
| 11:53:57 | × | acidjnk_new3 quits (~acidjnk@p200300d6e716dd19bc5728ea616be3b0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 11:59:37 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 12:00:35 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 12:02:19 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 12:03:54 | × | hakutaku_ quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 12:04:29 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 12:05:18 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 12:07:25 | → | merijn joins (~merijn@77.242.116.146) |
| 12:09:24 | <__monty__> | I'm having a hard time finding a reference for let-bindings in pattern match guards, anyone know where to look? |
| 12:13:51 | <__monty__> | In particular I want to check whether I'm imagining guards can occur inside of them. |
| 12:15:16 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:18:17 | → | hseg joins (~gesh@46.120.20.122) |
| 12:18:32 | → | Reality2point0 joins (~Reality2p@2a02:3035:665:a078:7ac6:f05a:b961:839e) |
| 12:20:01 | <Reality2point0> | Hi. I noticed that data definitions are the only ones that don’t use indentation syntax, and rely on curly braces by default. Is there some extension I can enable to just write data record definitions by indenting and no curly braces? |
| 12:21:02 | <__monty__> | Reality2point0: I think you're conflating { ...; ... } (blocks) with { ..., ...} (records). |
| 12:21:55 | <__monty__> | The context-free grammar in the 2010 report confirms I didn't imagine it, IIUC. |
| 12:24:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 12:30:19 | <Reality2point0> | __monty__: I mean for *defining* a data type. Like this: `data MyData = MyData { getA :: A, getB :: B }` I wish I could write that like this: `data MyData = MyData\n getA :: A\n getB :: B\n` |
| 12:30:39 | <Reality2point0> | (IRC doesn’t support line breaks, does it?) |
| 12:31:11 | <dutchie> | no, you'd need to use a pastebin site for anything of any length |
| 12:32:57 | <kuribas> | Reality2point0: That's record syntax, as __monty__ says. |
| 12:33:07 | <kuribas> | it's the same for defining as for destructuring. |
| 12:36:20 | <Reality2point0> | kuribas: Uuum, the latter way, how I wish I could write it… That’s not legal Haskell, is it? |
| 12:36:32 | <Reality2point0> | kuribas: Maybe look at this instead: https://pastebin.com/FMwBMt0U |
| 12:36:49 | <Reality2point0> | Is that legal? |
| 12:37:43 | <kuribas> | no |
| 12:37:55 | <Reality2point0> | Exactly. I want this to be legal. |
| 12:38:10 | <kuribas> | I want to be rich. |
| 12:38:44 | <Reality2point0> | I get it, I want you to be less condescending,and that’s not happening either, right? :P |
| 12:39:05 | <kuribas> | no :) |
| 12:39:15 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:39:15 | <Reality2point0> | 😂 |
| 12:39:53 | <kuribas> | Reality2point0: You could make a change request for that syntax, but it has 0 chance to succeed. |
| 12:39:56 | <Reality2point0> | I want you to know that #haskell was always an exceptionally nice channel, and I hope this is still the case. |
| 12:40:04 | <Reality2point0> | kuribas: Why? |
| 12:41:00 | <kuribas> | Reality2point0: Because record syntax has nothing to do with indentation rule. |
| 12:41:07 | <kuribas> | It just shares the brace. |
| 12:41:18 | <Reality2point0> | Then that is what should be changed. |
| 12:41:28 | → | notzmv joins (~umar@user/notzmv) |
| 12:41:46 | <Reality2point0> | I mean I can write my own preprocessor that gives me that. So of course GHC can. Or is there a catch that I’m not seeing? |
| 12:42:13 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 12:42:55 | <kuribas> | Well, introducing a lot of ambiguity I'd think. |
| 12:43:11 | <kuribas> | Being a major effort to introduce, and little actual gain. |
| 12:44:13 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 12:44:36 | × | Reality2point0 quits (~Reality2p@2a02:3035:665:a078:7ac6:f05a:b961:839e) (Quit: Client closed) |
| 12:45:40 | <kuribas> | And also, record syntax is easy to recognize now. If you introduce the indataion rule for it, it would not be. |
| 12:47:26 | → | Reality2point0 joins (~Reality2p@2a02:3035:665:a078:7ac6:f05a:b961:839e) |
| 12:47:34 | <lortabac> | actually it may be doable without ambiguity for type declarations, but for record construction/matching it looks harder |
| 12:48:54 | <Reality2point0> | Well, if a line starts with `data `, it’s gonna be a data declatation. If the lines below it are indented, they go into that. Seems very straightforward for me. Am I missing something? |
| 12:49:00 | <Reality2point0> | *declaration |
| 12:49:57 | <kuribas> | But it would depend on the presence of "::". |
| 12:50:10 | <lortabac> | I have no idea. Personally I'd be fine with s-expressions as the universal syntax for all languages :) |
| 12:50:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
| 12:50:55 | <Reality2point0> | kuribas: Hmm, is there valid syntax for what goes inside `data` that doesn’t use a `::`? |
| 12:51:44 | <kuribas> | data Foo = Foo Int |
| 12:51:49 | <kuribas> | Int could be on a new line. |
| 12:51:59 | <lortabac> | the GHC parser is already **extremely** complex, introducing yet another special case makes me very uncomfortable, even if it turns out to be straightforward |
| 12:52:10 | → | xff0x joins (~xff0x@2405:6580:b080:900:d00e:8764:de20:d052) |
| 12:52:28 | <Reality2point0> | lortabac: :D I’d use a visual representation of category theory. But with pure keyboard input, so it still looks like a movie hacker when I code. :D |
| 12:53:03 | <Reality2point0> | lortabac: Well, of course it is extremely complex when it has two separate parsers and syntaxes wher it only needs one. :D |
| 12:54:58 | <Reality2point0> | kuribas: Okay, the indentation syntax should only be allowed for the syntax where you name each field. So you are right, it depends on the `::`. But there’s actually no reason to not allow `data Foo = Foo\n Int`. I don’t think mixing both syntaxes would be necessary though. |
| 12:55:07 | <jreicher> | kuribas: I don't think "dynamic typechecking" actually exists. When a runtime for a dynamic language is "consulting" the type, it's not performing a check. |
| 12:55:13 | <__monty__> | Reality2point0: It's just kind of a weird thing to want. Why not the same for List and String? |
| 12:55:29 | <Reality2point0> | __monty__: Yeah, why not? |
| 12:55:44 | <Reality2point0> | List comprehensions too |
| 12:56:07 | <Reality2point0> | Emergence! SpongebobRainbowMeme.jpg |
| 12:56:21 | <__monty__> | I mean, now we're not far off from "Yeah, but why doesn't GHC accept JavaScript/C/Python syntax?" |
| 12:56:43 | → | caubert joins (~caubert@user/caubert) |
| 12:56:55 | <kuribas> | Some syntax constructs bring the expression into indentation scope, like let, do, ... Then the parser inserts '{' and ';' at appropriate places. |
| 12:57:10 | <kuribas> | It's not the case for data rhs. |
| 12:57:11 | <Reality2point0> | Look, all I want is that when everything uses that indentation synax, to quash the weirdo exception where it for some arcane reason doesn’t, and hence simplify both the parser and coding. |
| 12:57:27 | <kuribas> | Reality2point0: and it's pointed out that this is not an exception? |
| 12:57:46 | → | acidjnk_new joins (~acidjnk@p200300d6e7171990bc5728ea616be3b0.dip0.t-ipconnect.de) |
| 12:57:56 | <Reality2point0> | kuribas: And I pointed out that that is the problem then. :D |
| 12:58:16 | <__monty__> | Reality2point0: But it's *not* a weirdo exception, it uses comma for separators. The layout rule introduces semicolons. |
| 12:59:14 | <Reality2point0> | __monty__: So you are saying it is not weird because it is a weird outlier in even more ways than I thought. :D |
| 13:00:05 | <__monty__> | I'm saying your expectation is weird and it's not one I've ever shared or seen anyone else share. |
| 13:00:09 | <Reality2point0> | But hey, if we go all the way, then there really shouldn’t be three separate languages in Haskell. The normal one (runs at run time), the type one (runs at compile time), and the kind one (ask Nyarlathotep). :D |
| 13:00:29 | <kuribas> | Reality2point0: I implemented the haskell syntax in emacs lisp, so I think I do know how it works. |
| 13:00:55 | <kuribas> | Reality2point0: I suggest idris2, it has only one language :) |
| 13:01:05 | × | acidjnk quits (~acidjnk@2a02:3030:b:f1c:78a4:f074:fb0b:58dc) (Ping timeout: 248 seconds) |
| 13:01:18 | <kuribas> | And IMO it's much more ergonomic for doing type level computation. |
| 13:01:30 | <Reality2point0> | __monty__: Calling my expectation to reduce weirdness weird is super-weird to be frank. I really cannot follow how you consider less complexity weird and cannot see how it’s an outlier. It feels like my point is not getting through. |
| 13:01:59 | <__monty__> | It's objectively more complex though. |
| 13:02:03 | <Reality2point0> | kuribas: I didn’t say you don’t know how it works, did I? If it came across like that, then I’m sorry. |
| 13:02:29 | <Reality2point0> | __monty__: How is having two separate parsers instead of one “more” complex? |
| 13:03:20 | <Reality2point0> | kuribas: I’ll look into idris2. (Is it the successor to a precursor to Haskell?) |
| 13:03:31 | <__monty__> | That's just not how it works. The layout rule is implemented more or less like a lexer pass. |
| 13:03:32 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 13:04:04 | <__monty__> | Idris is a dependently typed language with a lot of Haskell influence. |
| 13:04:33 | <kuribas> | Reality2point0: idris2 is the successor of idris. It's dependently typed, meaning types are just values, instead of having it's only level. |
| 13:05:22 | <kuribas> | Reality2point0: So there are no kinds. |
| 13:05:23 | <Reality2point0> | __monty__: “That’s just how it works.” … Okay, I think we’ll stop here. This is not a rational discussion anymore. |
| 13:06:16 | <kuribas> | Reality2point0: how long do you know haskell? |
| 13:06:30 | <Reality2point0> | kuribas: Sounds nice. Though I still see two different syntaxes in the examples. (The `:` and `->` one, and the other one.) |
| 13:06:35 | → | Digitteknohippie joins (~user@user/digit) |
| 13:07:42 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 13:07:44 | <Reality2point0> | kuribas: Hard to define, since I know it since Haskell 98 came out, but I didn’t use it as my main language for a long time. |
| 13:07:49 | <Reality2point0> | kuribas: Why? |
| 13:08:10 | <kuribas> | I am not being condescending. I implemented the layout rule in emacs, and it is quite complex/subtle. I am pretty sure noone is waiting for adding more complexity to it. |
| 13:10:43 | <Reality2point0> | In fact I started using Haskell because I designed my own language at the time, and it just did all the things I planned, but was much more developed, so I just used Haskell instead. It still has some ugly points where it is lacking to what I would consider ideal. (E.g. the loads of boilerplate. And the record syntax. Plus TemplateHaskell seems |
| 13:10:44 | <Reality2point0> | like the wrong way o go for me.) |
| 13:10:52 | × | acidjnk_new quits (~acidjnk@p200300d6e7171990bc5728ea616be3b0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 13:11:13 | <kuribas> | Reality2point0: idris2 only resembles haskell superficially, it has many differences. Dependently typed, strict, other syntaxes, allowing for overloading do, list syntax, ... |
| 13:11:21 | <TMA> | the complexity of the layout rules of haskell made me hate the language for several years, don't make it more complex |
| 13:11:30 | <kuribas> | It doesn't have guards, but has views. |
| 13:12:42 | <Reality2point0> | kuribas: Yes, I just recently implemented a different layout rule for a file syntax of my own. It is indeed more complex than one thinks. But it’s not _that_ complex. Or rather, one should prioritize highly emergent rules, and rather alter the syntax than make the parser more complex. (Which is why I suggested not having a separate parser for |
| 13:12:42 | <Reality2point0> | data definition with records in the first place.) |
| 13:13:02 | <Reality2point0> | TMA: My whole point was to make it simpler. |
| 13:13:19 | <kuribas> | I think layout rule is just way overcomplicated, and often confusing for newbees. |
| 13:13:28 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 13:14:16 | <Leary> | {;} syntax is used for things that /can/ be layout, because they have a layout /herald/, such as `do`, `of`, `let` or `where`. Data constructors don't have one, and making data constructors themselves herald layout would break existing syntax. So you'd need to introduce a new herald or reuse an existing one for the purpose. |
| 13:14:22 | <kuribas> | I am not even fan of indentation sensitive syntax, but at least python is way easier. |
| 13:15:10 | <TMA> | Reality2point0: simpler? just get rid of the 2D syntax altogether. |
| 13:15:36 | <Reality2point0> | kuribas: I noticed that I rediscover the “view” concept quite often in programming, in general. E.g. in Plan9, files could just be views of something else, via a file server. Under Linux, you can mount your own FUSE file system consisting of a single file that is live generated on read. |
| 13:16:57 | <kuribas> | Reality2point0: view in dependently typed language are different, in that they also change the normalisation of expressions. |
| 13:17:00 | <Reality2point0> | TMA: No, not simpler at the expense of power. That is just dumbing down. That’s what commercial software companies are for. XD … More *emergent*! Aka more power for less complexity. Like you can combine a very few different types of LEGO bricks to countless things. |
| 13:17:01 | Digitteknohippie | is now known as Digit |
| 13:19:30 | <Reality2point0> | kuribas: Let’s correct that to: The layout rule has too many quirks. It should have few rules but those should be as powerful as possible. If you just want extremely simple, just get a rock. (Or a perfectly featureless slice of mirror. Aka an iPhone 50 or so. ;) ) It’s perfectly simple. And useless. |
| 13:20:03 | <Reality2point0> | Leary: What would it break exactly? |
| 13:20:42 | <kuribas> | It's just syntax, I don't see why that should be so complex. |
| 13:20:49 | <Reality2point0> | kuribas: Easy is not a good thing. The easiest thing in life is to just lay there and vegetate or die. |
| 13:21:01 | <kuribas> | I am even happy with lisps. |
| 13:21:01 | <Reality2point0> | kuribas: Correct. |
| 13:21:26 | <__monty__> | Am I the only one to consider it inconsistent that System.FilePath.isRelative considers ~ prefixed paths relative but System.Directory.{makeAbsolute,canonicalizePath} prepend the PWD? |
| 13:21:28 | <Leary> | Reality2point0: If the data constructor `Foo` heralds layout, then `Foo bar baz` is parsed as `Foo (bar baz)`. To get the expected result without line breaks requires `Foo{bar;baz}`. |
| 13:21:54 | <Reality2point0> | Yes, Lisp is very nicely emergent. But humans are not good with repetitivity. So the closing braces piling up is its downfall. |
| 13:22:17 | <kuribas> | You don't even look at braces, you just let the editor handle them. |
| 13:22:39 | <kuribas> | The only thing I don't like is that indentation advances so fast. |
| 13:23:21 | <Reality2point0> | __monty__ "~" as in "a directory with the actual name "~" is a relative path. "~" as in "getting expanded to $HOME" is an absolute path. |
| 13:24:02 | <__monty__> | > System.Directory.makeAbsolute "~/some/path" |
| 13:24:03 | <lambdabot> | error: |
| 13:24:03 | <lambdabot> | Not in scope: ‘System.Directory.makeAbsolute’ |
| 13:24:03 | <lambdabot> | No module named ‘System.Directory’ is imported. |
| 13:24:34 | <__monty__> | yahb2: System.Directory.makeAbsolute "~/some/path" |
| 13:25:17 | <Reality2point0> | Leary: Wait, why `Foo (bar baz)`? I thought it was `(((Foo) bar) baz)`. |
| 13:25:52 | <Leary> | That's the result of ordinary function application, yes. Layout heralds are not that. |
| 13:26:08 | <Leary> | The data constructor becomes special syntax. |
| 13:26:25 | <Leary> | Strictly speaking, I should have said `Foo{bar baz}`. |
| 13:26:38 | <Reality2point0> | Leary: “Special synax” is what I have a problem with. |
| 13:28:45 | ← | Reality2point0 parts (~Reality2p@2a02:3035:665:a078:7ac6:f05a:b961:839e) (Gotta go do some actual work. :D) |
| 13:31:27 | <__monty__> | Right, my mistake, I keep wanting to expect shell expansion of ~ where it has no reason to be. |
| 13:35:39 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:35:52 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 13:38:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 13:38:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:39:34 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 260 seconds) |
| 13:47:46 | → | jespada joins (~jespada@2800:a4:23a6:4500:e9b2:a2a:2e38:8f01) |
| 13:55:52 | → | acidjnk joins (~acidjnk@p200300d6e7171990ed578ca2f3c5a653.dip0.t-ipconnect.de) |
| 14:00:21 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 14:01:18 | × | tromp quits (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:06:14 | → | gorignak joins (~gorignak@user/gorignak) |
| 14:08:26 | trickard_ | is now known as trickard |
| 14:11:29 | <EvanR> | syntax is nice when different syntax means different things, and uniform syntax means uniform things |
| 14:11:59 | <EvanR> | no syntax + many different things gets nutty |
| 14:15:00 | <jreicher> | IMO that's Lisp |
| 14:15:20 | <sshine> | I just wish I could ignore the parentheses. |
| 14:15:51 | <sshine> | I'm sold on the concept. |
| 14:16:47 | → | Digitteknohippie joins (~user@user/digit) |
| 14:17:54 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 14:18:18 | × | jespada quits (~jespada@2800:a4:23a6:4500:e9b2:a2a:2e38:8f01) (Ping timeout: 272 seconds) |
| 14:20:24 | → | jespada joins (~jespada@r186-48-25-255.dialup.adsl.anteldata.net.uy) |
| 14:21:36 | <jreicher> | Lists in haskell use brackets as well, so I'm not sure it's possible to do better...? |
| 14:21:49 | Digitteknohippie | is now known as Digit |
| 14:23:53 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 14:26:09 | <jreicher> | But from a functional point of view, I still hesitate with Lisp. It's kind of nice that the homoiconicity brought first-class functions (accidentally?) to programmers, but by the same token it also brought unlimited mutability. |
| 14:29:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:31:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 14:36:18 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 14:36:33 | → | gorignak joins (~gorignak@user/gorignak) |
| 14:37:46 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 14:41:33 | Digit | is now known as Digitteknohippie |
| 14:43:16 | → | Digit joins (~user@user/digit) |
| 14:44:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
| 14:46:25 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 14:46:43 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 14:49:22 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 14:49:41 | × | tabaqui1 quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.5.1) |
| 14:56:30 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 14:57:51 | × | jespada quits (~jespada@r186-48-25-255.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
| 14:58:53 | → | caubert joins (~caubert@user/caubert) |
| 15:01:44 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 15:03:49 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 15:09:14 | <haskellbridge> | <eldritchcookie> if i have {-#LANGUAGE Trustyworthy#-} and i call ghc with -xSafe can i import unsafe modules? |
| 15:09:14 | <haskellbridge> | <Bowuigi> sshine There's a ton of proposals on indentation-sensitive syntax, see: https://github.com/jumper149/haskeme or https://srfi.schemers.org/srfi-119/srfi-119.html (https://readable.sourceforge.io/) or https://srfi.schemers.org/srfi-110/srfi-110.html or https://srfi.schemers.org/srfi-49/srfi-49.html |
| 15:10:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:14:01 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:14:43 | <sshine> | Bowuigi: cool, thanks :) |
| 15:16:20 | → | ubert joins (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) |
| 15:16:44 | → | caubert joins (~caubert@user/caubert) |
| 15:19:38 | <__monty__> | eldritchcookie: Not an answer but I think SafeHaskell is being deprecated? |
| 15:23:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:24:10 | <int-e> | eldritchcookie: Yes, I believe this is being deprecated, because it has like 1 user. But no, the module is still unsafe. However, if a Trustworthy module exported by a package that is *trusted* then that module can be imported into a Safe module. |
| 15:24:24 | <int-e> | @bot |
| 15:24:24 | <lambdabot> | :) |
| 15:24:27 | <int-e> | (the user) |
| 15:26:16 | <int-e> | (that trust is managed through ghc's -trust flag (and a few others) and also the `ghc-pkg trust` command) |
| 15:26:45 | × | d34db33f quits (~d34db33f@user/d34db33f) (Ping timeout: 248 seconds) |
| 15:26:59 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 15:29:37 | <int-e> | The main issue with SafeHaskell is that it captures a binary distinction, where safety is not breaking the type system (no unsafeCoerce or unsafePerformIO), so it's useless if you want other guarantees even if the inference mechanism would be the same (only controlling imports and exports); you'd have to redo the entire libary ecosystem to use that new safety notion. |
| 15:29:42 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 15:29:42 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 15:29:42 | → | haritz joins (~hrtz@user/haritz) |
| 15:33:52 | → | amadaluzia_ joins (~amadaluzi@user/amadaluzia) |
| 15:34:29 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 240 seconds) |
| 15:35:12 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 15:41:57 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:42:36 | → | gorignak joins (~gorignak@user/gorignak) |
| 15:43:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:44:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:47:56 | → | poscat joins (~poscat@user/poscat) |
| 15:48:00 | → | tromp joins (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
| 15:49:39 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 16:03:33 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 16:11:13 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:11:26 | → | trickard joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 16:17:47 | <asivitz> | How are C/C++ sources supposed to work in a cabal build? From looking at logs it seems like they get built after the haskell files. Wouldn't that be a problem in the case where TH wants to call code from the C sources? Or maybe I don't understand how TH works |
| 16:21:16 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 16:22:11 | × | d34db33f quits (~d34db33f@user/d34db33f) (Ping timeout: 265 seconds) |
| 16:22:35 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 16:23:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 16:32:48 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:34:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 16:34:46 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:37:31 | × | ttybitnik quits (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 16:38:52 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:39:38 | → | vpan joins (~vpan@212.117.1.172) |
| 16:39:44 | → | Guest2 joins (~Guest2@182.8.183.199) |
| 16:40:03 | vpan | is now known as Guest8324 |
| 16:40:13 | × | Guest2 quits (~Guest2@182.8.183.199) (Client Quit) |
| 16:40:25 | Guest8324 | is now known as vpan |
| 16:44:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 16:44:58 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 240 seconds) |
| 16:45:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:46:57 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 16:47:45 | × | d34db33f quits (~d34db33f@user/d34db33f) (Read error: Connection reset by peer) |
| 16:48:05 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 16:49:46 | × | connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 16:50:43 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 16:59:11 | → | puke joins (~puke@user/puke) |
| 16:59:34 | → | connrs joins (~connrs@user/connrs) |
| 16:59:40 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Ping timeout: 276 seconds) |
| 17:00:48 | × | puke quits (~puke@user/puke) (Client Quit) |
| 17:02:25 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 17:25:06 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 17:28:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:29:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 17:31:29 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 17:32:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 17:34:00 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:36:32 | → | dolio joins (~dolio@130.44.140.168) |
| 17:37:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:39:11 | → | caubert joins (~caubert@user/caubert) |
| 17:43:43 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 17:44:09 | → | hsw joins (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) |
| 17:48:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 17:51:41 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:51:51 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 17:53:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
| 17:53:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:55:56 | → | caubert joins (~caubert@user/caubert) |
| 18:08:17 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 18:08:50 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 18:16:18 | → | ft joins (~ft@p3e9bcd7f.dip0.t-ipconnect.de) |
| 18:17:39 | → | sprotte24 joins (~sprotte24@p200300d16f0ea900695e5c34e214ebde.dip0.t-ipconnect.de) |
| 18:18:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:24:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:26:37 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 18:28:22 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 18:34:55 | → | puke joins (~puke@user/puke) |
| 18:35:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:37:04 | → | jespada joins (~jespada@2800:a4:23a6:4500:69f9:9eb4:e901:4312) |
| 18:37:53 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:39:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:44:37 | → | jespada_ joins (~jespada@2800:a4:23a6:4500:35b6:5289:35c0:44d7) |
| 18:47:14 | × | jespada quits (~jespada@2800:a4:23a6:4500:69f9:9eb4:e901:4312) (Ping timeout: 248 seconds) |
| 18:50:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:54:27 | → | jespada joins (~jespada@2800:a4:23a6:4500:cf2:f7f6:710c:55e9) |
| 18:55:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:57:03 | × | jespada_ quits (~jespada@2800:a4:23a6:4500:35b6:5289:35c0:44d7) (Ping timeout: 252 seconds) |
| 19:00:02 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:41 | → | caconym747 joins (~caconym@user/caconym) |
| 19:02:52 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:04:33 | × | hseg quits (~gesh@46.120.20.122) (Ping timeout: 245 seconds) |
| 19:06:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:08:41 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 19:10:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:11:00 | × | amadaluzia_ quits (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 19:21:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:24:28 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 19:26:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:28:18 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 19:31:01 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 19:31:06 | → | trickard__ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 19:34:38 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:35:29 | × | trickard__ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:36:06 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:36:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:38:28 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:38:39 | × | d34db33f quits (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 19:40:26 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 19:41:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:41:26 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 19:45:20 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:52:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:57:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:01:19 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 20:02:33 | → | VictorHugenay joins (~VictorHug@user/VictorHugenay) |
| 20:03:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 20:03:25 | ljdarj1 | is now known as ljdarj |
| 20:07:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:12:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:14:10 | × | dextaa quits (~dan@user/dextaa) (Quit: Leaving) |
| 20:23:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:27:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:28:33 | → | jespada_ joins (~jespada@2800:a4:23a6:4500:7528:5c16:14ac:bf80) |
| 20:29:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 20:30:49 | × | jespada_ quits (~jespada@2800:a4:23a6:4500:7528:5c16:14ac:bf80) (Client Quit) |
| 20:31:35 | × | jespada quits (~jespada@2800:a4:23a6:4500:cf2:f7f6:710c:55e9) (Ping timeout: 265 seconds) |
| 20:33:34 | → | pavonia joins (~user@user/siracusa) |
| 20:36:35 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 20:38:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:43:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:54:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:57:04 | × | myme quits (~myme@2a01:799:d5e:5f00:6e9c:287:57c3:f10c) (Ping timeout: 260 seconds) |
| 20:57:58 | × | ubert quits (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 20:59:21 | → | myme joins (~myme@2a01:799:d5e:5f00:6d60:b3e0:fea4:4b3) |
| 21:01:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 21:03:58 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
| 21:04:48 | → | Angelz joins (Angelz@Angelz.oddprotocol.org) |
| 21:12:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:16:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:21:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 21:26:37 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 21:27:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:30:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 21:30:57 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:31:11 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 21:31:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:40:13 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:42:06 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 21:43:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:47:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:48:06 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 21:49:43 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:51:14 | × | tromp quits (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:54:02 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:55:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
| 21:58:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:02:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:09:46 | × | tromp quits (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:13:14 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 22:13:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:18:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:20:15 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 22:22:24 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 22:22:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 22:22:28 | ljdarj1 | is now known as ljdarj |
| 22:29:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:33:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:44:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:50:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 22:51:01 | → | MelGibson joins (~MelGibson@user/MelGibson) |
| 22:51:01 | MelGibson | is now known as soitgoes |
| 23:00:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:03:24 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 23:04:27 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 23:04:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:05:53 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 23:12:26 | × | xff0x quits (~xff0x@2405:6580:b080:900:d00e:8764:de20:d052) (Ping timeout: 244 seconds) |
| 23:15:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:16:09 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:16:22 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 23:19:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:22:09 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 23:24:31 | × | sprotte24 quits (~sprotte24@p200300d16f0ea900695e5c34e214ebde.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:27:13 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 23:27:25 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 23:27:47 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 23:29:05 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 23:29:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:31:24 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 23:34:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:41:29 | × | soitgoes quits (~MelGibson@user/MelGibson) (Remote host closed the connection) |
| 23:45:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:45:16 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 23:46:00 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 276 seconds) |
| 23:51:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:54:03 | → | athan joins (~athan@syn-047-132-161-157.res.spectrum.com) |
| 23:56:38 | → | arahael joins (~arahael@user/arahael) |
All times are in UTC on 2025-07-31.