Logs on 2025-01-01 (liberachat/#haskell)
| 00:07:17 | × | CrunchyFlakes_ quits (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:13:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:18:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:23:42 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 00:24:31 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 00:26:38 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 00:27:03 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 00:29:11 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 00:30:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:30:14 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 00:30:23 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 00:31:05 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 00:31:56 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 00:32:55 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 00:33:26 | → | weary-traveler joins (~user@user/user363627) |
| 00:34:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 00:35:15 | × | sprotte24 quits (~sprotte24@p200300d16f286600dd3b6c7447af88c1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:35:41 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 00:42:08 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 00:42:29 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 00:46:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:49:03 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 00:51:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:51:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 01:04:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:08:13 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 01:09:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:09:48 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 01:11:29 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 01:12:57 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 01:16:15 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 01:16:56 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 01:22:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:23:41 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 01:26:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:31:39 | × | zzz quits (~z@user/zero) (Ping timeout: 276 seconds) |
| 01:32:48 | → | zero joins (~z@user/zero) |
| 01:34:03 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 01:37:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:42:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:46:05 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:47:35 | × | otto_s quits (~user@p4ff27d44.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 01:48:58 | → | otto_s joins (~user@p5b04447a.dip0.t-ipconnect.de) |
| 01:52:19 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 01:55:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:55:17 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 01:59:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:07:53 | × | zero quits (~z@user/zero) (Ping timeout: 265 seconds) |
| 02:10:13 | → | zero joins (~z@user/zero) |
| 02:12:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:14:35 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 02:15:37 | × | orangeFlu quits (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 265 seconds) |
| 02:19:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:22:10 | → | orangeFlu joins (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) |
| 02:28:13 | → | Guest0 joins (~Guest0@2600:1014:b1ac:bf7:0:1f:57ab:5701) |
| 02:31:21 | × | Guest0 quits (~Guest0@2600:1014:b1ac:bf7:0:1f:57ab:5701) (Quit: Client closed) |
| 02:33:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:38:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:43:19 | × | dyniec quits (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 02:49:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 02:50:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:50:09 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:54:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:02:08 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 03:05:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:09:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:22:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:27:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:29:21 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 03:31:24 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 03:32:53 | × | orangeFlu quits (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 244 seconds) |
| 03:34:42 | → | orangeFlu joins (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) |
| 03:39:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:41:46 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-179.cust.tzulo.com) (Quit: Leaving) |
| 03:43:44 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 03:44:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:44:03 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@142.147.89.234) |
| 03:44:20 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 03:56:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:02:26 | × | orangeFlu quits (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Quit: Lost terminal) |
| 04:02:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:14:44 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:15:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:20:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:22:44 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 04:31:00 | × | xff0x quits (~xff0x@2405:6580:b080:900:d9b6:4987:e0cc:cde9) (Ping timeout: 246 seconds) |
| 04:31:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:35:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:39:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:44:05 | → | xff0x joins (~xff0x@2405:6580:b080:900:6592:e8c3:c948:25b2) |
| 04:45:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:50:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 04:53:24 | → | gorignak joins (~gorignak@user/gorignak) |
| 04:57:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:02:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 05:13:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:18:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:24:50 | → | rvalue joins (~rvalue@user/rvalue) |
| 05:25:54 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:31:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:32:52 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@142.147.89.234) (Quit: Leaving) |
| 05:39:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 05:50:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:52:05 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 05:52:39 | → | poscat joins (~poscat@user/poscat) |
| 05:55:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:58:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:02:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:03:16 | → | bilegeek joins (~bilegeek@2600:1008:b0a0:ba5e:4412:628d:84bd:8a4) |
| 06:05:11 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 06:07:05 | × | bilegeek quits (~bilegeek@2600:1008:b0a0:ba5e:4412:628d:84bd:8a4) (Client Quit) |
| 06:16:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:21:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 06:23:00 | × | Me-me quits (~me-me@kc.randomserver.name) (Changing host) |
| 06:23:00 | → | Me-me joins (~me-me@user/me-me) |
| 06:32:38 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 06:32:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:36:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:37:40 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:39:12 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:40:00 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 06:44:14 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 06:48:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:52:23 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:52:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:54:48 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 06:59:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:04:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 07:08:16 | → | CiaoSen joins (~Jura@2a05:5800:202:9100:ca4b:d6ff:fec1:99da) |
| 07:15:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:19:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:31:03 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 07:31:24 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:32:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:34:28 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 07:39:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:40:47 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:47:06 | → | dtman34 joins (~dtman34@2601:447:d080:1a3c:85df:bc39:7f26:1b7c) |
| 07:51:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:53:36 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 07:54:16 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:56:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 08:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:00:41 | → | caconym joins (~caconym@user/caconym) |
| 08:04:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 08:13:19 | → | euleritian joins (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) |
| 08:17:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:21:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 08:21:43 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 08:27:18 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 08:29:16 | → | euphores joins (~SASL_euph@user/euphores) |
| 08:33:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:38:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 08:40:56 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 08:49:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:54:03 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 08:54:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 09:01:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:05:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 09:12:59 | × | jle` quits (~jle`@2603:8001:3b02:84d4:fdea:e55b:b6b8:ea7c) (Quit: WeeChat 4.4.1) |
| 09:14:25 | → | jle` joins (~jle`@2603:8001:3b02:84d4:8dca:c322:e5b9:7c4d) |
| 09:18:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:25:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 09:30:46 | × | gentauro_ quits (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Ping timeout: 252 seconds) |
| 09:31:56 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 09:34:40 | → | gentauro joins (~gentauro@user/gentauro) |
| 09:38:50 | × | CiaoSen quits (~Jura@2a05:5800:202:9100:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 09:39:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:39:46 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 09:41:37 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 09:43:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:44:18 | → | Guest67 joins (~Guest67@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 09:44:38 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:49:51 | × | euleritian quits (~euleritia@dynamic-176-006-139-091.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 09:56:55 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:57:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:58:04 | → | hyiltiz joins (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 09:58:23 | × | Guest67 quits (~Guest67@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Quit: Client closed) |
| 09:58:55 | → | nnm joins (~nnm@95.165.71.78) |
| 10:00:28 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 10:01:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:05:14 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:12:11 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 10:17:02 | → | __monty__ joins (~toonn@user/toonn) |
| 10:19:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:21:49 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:23:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:25:18 | × | hyiltiz quits (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Ping timeout: 276 seconds) |
| 10:33:56 | → | CiaoSen joins (~Jura@2a05:5800:202:9100:ca4b:d6ff:fec1:99da) |
| 10:35:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:35:59 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:36:38 | → | hyiltiz joins (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 10:40:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 10:43:56 | → | sprotte24 joins (~sprotte24@p200300d16f082c00111ee0f92f452098.dip0.t-ipconnect.de) |
| 10:47:36 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:51:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:54:11 | → | CrunchyFlakes joins (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 10:55:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 11:01:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:03:12 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 11:03:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:04:42 | → | euleritian joins (~euleritia@dynamic-176-006-139-031.176.6.pool.telefonica.de) |
| 11:06:14 | × | euleritian quits (~euleritia@dynamic-176-006-139-031.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:10:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:15:19 | → | euleritian joins (~euleritia@dynamic-176-006-139-031.176.6.pool.telefonica.de) |
| 11:20:02 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 11:21:30 | × | euleritian quits (~euleritia@dynamic-176-006-139-031.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 11:22:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:22:26 | → | __monty__ joins (~toonn@user/toonn) |
| 11:23:09 | × | hyiltiz quits (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Ping timeout: 276 seconds) |
| 11:26:35 | → | Vajb joins (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi) |
| 11:26:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 11:28:31 | → | Square joins (~Square@user/square) |
| 11:29:11 | × | CiaoSen quits (~Jura@2a05:5800:202:9100:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 11:38:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:39:36 | → | hyiltiz joins (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 11:42:08 | → | michalz joins (~michalz@185.246.207.222) |
| 11:42:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:44:34 | → | gentauro_ joins (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) |
| 11:44:36 | × | hyiltiz quits (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Ping timeout: 276 seconds) |
| 11:45:45 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 11:47:05 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 11:48:29 | × | gentauro_ quits (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Read error: Connection reset by peer) |
| 11:49:33 | → | gentauro joins (~gentauro@user/gentauro) |
| 11:53:25 | → | pavonia joins (~user@user/siracusa) |
| 11:54:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:57:09 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 244 seconds) |
| 11:59:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 12:13:11 | → | CiaoSen joins (~Jura@2a05:5800:202:9100:ca4b:d6ff:fec1:99da) |
| 12:16:15 | → | gentauro joins (~gentauro@user/gentauro) |
| 12:17:06 | → | euleritian joins (~euleritia@dynamic-176-006-139-031.176.6.pool.telefonica.de) |
| 12:19:08 | × | nnm quits (~nnm@95.165.71.78) (Read error: Connection reset by peer) |
| 12:19:14 | → | nnm_ joins (~nnm@95.165.71.78) |
| 12:22:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:26:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 12:33:56 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) |
| 12:38:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:43:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:46:14 | × | CiaoSen quits (~Jura@2a05:5800:202:9100:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 12:54:12 | × | sprotte24 quits (~sprotte24@p200300d16f082c00111ee0f92f452098.dip0.t-ipconnect.de) (Quit: Leaving) |
| 12:54:52 | → | sprotte24 joins (~sprotte24@p200300d16f082c00111ee0f92f452098.dip0.t-ipconnect.de) |
| 12:57:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:03:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 13:05:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:09:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:10:25 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 13:16:40 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:19:19 | → | hyiltiz joins (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 13:20:21 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:20:25 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:21:06 | × | nnm_ quits (~nnm@95.165.71.78) (Quit: Leaving) |
| 13:21:12 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:21:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:24:03 | × | hyiltiz quits (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Ping timeout: 276 seconds) |
| 13:26:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 13:32:17 | × | ft quits (~ft@p3e9bc1f8.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 13:33:46 | → | ft joins (~ft@p3e9bc545.dip0.t-ipconnect.de) |
| 13:37:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:41:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:42:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:48:06 | → | housemate joins (~housemate@pa49-185-57-197.pa.vic.optusnet.com.au) |
| 13:50:59 | × | euleritian quits (~euleritia@dynamic-176-006-139-031.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 13:55:07 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 13:56:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:59:02 | → | gentauro joins (~gentauro@user/gentauro) |
| 14:00:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:04:53 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 14:06:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:10:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 14:20:18 | × | housemate quits (~housemate@pa49-185-57-197.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 14:24:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:29:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:41:01 | → | superstar64 joins (~superstar@2600:1700:57e0:e3c0::31) |
| 14:41:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:46:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 14:57:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:00:57 | → | hyiltiz joins (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 15:04:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:05:10 | × | hyiltiz quits (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Remote host closed the connection) |
| 15:06:17 | → | hyiltiz joins (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 15:07:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:08:00 | → | Everything joins (~Everythin@195.138.86.118) |
| 15:08:22 | × | hyiltiz quits (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Read error: Connection reset by peer) |
| 15:11:26 | → | nek0 joins (~nek0@user/nek0) |
| 15:12:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 15:16:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:17:20 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 15:18:02 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:19:01 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 15:22:38 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:25:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:31:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 15:34:09 | × | haver quits (~Enviosity@2.219.56.221) (Ping timeout: 244 seconds) |
| 15:41:28 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 15:44:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:49:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 15:53:18 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f70d07f3f1ca88f0631.dip0.t-ipconnect.de) |
| 15:54:15 | → | HappyNewYear2025 joins (~newyear@2.219.56.221) |
| 15:57:46 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 16:01:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:04:11 | → | orangeFlu joins (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) |
| 16:06:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 16:07:17 | × | HappyNewYear2025 quits (~newyear@2.219.56.221) (Ping timeout: 248 seconds) |
| 16:07:56 | → | HappyNewYear2025 joins (~newyear@2.219.56.221) |
| 16:08:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:08:49 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 16:09:01 | → | hyiltiz joins (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 16:12:02 | × | hyiltiz quits (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Remote host closed the connection) |
| 16:13:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:22:22 | → | hyiltiz joins (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) |
| 16:24:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:26:45 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-115.cust.tzulo.com) |
| 16:27:07 | × | hyiltiz quits (~user@2603:8080:1f00:5fb:4918:7bbd:6036:e9) (Ping timeout: 272 seconds) |
| 16:28:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 16:32:35 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 16:35:16 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 16:36:59 | <orangeFlu> | koala_man: when do you usually merge PRs? is there like a designated merge day? |
| 16:40:18 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 16:41:31 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 16:42:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:42:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 16:43:49 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 16:45:55 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 16:47:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 16:48:43 | → | Digitteknohippie joins (~user@user/digit) |
| 16:50:15 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 16:59:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:59:24 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 17:05:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:07:42 | × | Everything quits (~Everythin@195.138.86.118) (Ping timeout: 246 seconds) |
| 17:09:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:13:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 17:18:29 | Digitteknohippie | is now known as Digit |
| 17:19:32 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 17:24:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:24:46 | × | dsrt^ quits (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 17:27:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:27:44 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:27:59 | × | dtman34 quits (~dtman34@2601:447:d080:1a3c:85df:bc39:7f26:1b7c) (Ping timeout: 260 seconds) |
| 17:32:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 17:41:56 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 17:42:30 | → | sabathan joins (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) |
| 17:43:36 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 17:45:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:46:41 | → | chris_on_linux joins (~user@2a02:2149:8638:ce00:224e:f6ff:fe4a:8927) |
| 17:46:58 | <chris_on_linux> | Hi |
| 17:47:04 | <chris_on_linux> | Happy new year haskellers |
| 17:49:25 | × | sabathan quits (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) (Changing host) |
| 17:49:25 | → | sabathan joins (~sabathan@user/sabathan) |
| 17:49:27 | <EvanR> | :haskell_logo_with_party_hat_on: |
| 17:49:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:51:40 | <monochrom> | haha |
| 17:52:26 | → | gmg joins (~user@user/gehmehgeh) |
| 17:52:41 | <chris_on_linux> | I am coming from XMonad and I want to learn Haskell |
| 17:52:47 | × | sabathan quits (~sabathan@user/sabathan) (Quit: yolo) |
| 17:52:52 | <chris_on_linux> | I have gotten pretty good at configuring it |
| 17:53:03 | <chris_on_linux> | XMonad has very extensive libraries |
| 17:53:35 | → | sabathan joins (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) |
| 17:53:46 | <chris_on_linux> | What is the best way to learn Haskell as a complete beginner? |
| 17:54:07 | <chris_on_linux> | I know how to say Hello World in Java, but not much more than that |
| 17:54:28 | <chris_on_linux> | Should I read Learn You A Haskell For Great Good? |
| 17:54:43 | <JuanDaugherty> | y not? |
| 17:54:54 | <chris_on_linux> | It's a little scary |
| 17:55:06 | <chris_on_linux> | Everything sounds like it comes from Mathematics |
| 17:55:07 | <JuanDaugherty> | if ur think that's scary |
| 17:55:18 | <JuanDaugherty> | *u |
| 17:55:57 | <EvanR> | turns out if something actually comes from mathematics you're doing pretty good |
| 17:56:06 | <JuanDaugherty> | haskell has been thought of that way |
| 17:56:17 | <EvanR> | if someone just stole the word for something unrelated... now you're probably programming again xD |
| 17:56:40 | <monochrom> | If you don't plan to be casual, you will need more than one book. Definitely try LYAH, but also pick up 1 or 2 more. Here are some I actually took a look and can comment on: https://www.vex.net/~trebla/haskell/learn-sources.html |
| 17:56:56 | <EvanR> | haskell a gentle introduction |
| 17:57:02 | <JuanDaugherty> | u will find plenty of help here and ppl who arent trained in math have become proficient |
| 17:57:02 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 17:57:03 | ChanServ | sets mode +v haskellbridge |
| 17:57:16 | <chris_on_linux> | That's nice to hear |
| 17:57:16 | <monochrom> | Oh yeah if you hate math then there is no point bothering with any functional programming at all, Haskell or Scheme. |
| 17:57:29 | <chris_on_linux> | Mathematics are not my strong spot... |
| 17:57:47 | <EvanR> | on the other hand if you do functional programming and "get it", maybe you will find a new found appreciation of maths and go back |
| 17:57:53 | <chris_on_linux> | Is C considered functional? |
| 17:57:55 | <EvanR> | sometimes people "don't see the point" of math |
| 17:58:01 | <JuanDaugherty> | no C is not |
| 17:58:01 | <monochrom> | (Conversely, if you hate no-math, there is no point bothering with mainstream hate-math programming either, C or Python.) |
| 17:58:01 | <EvanR> | without some application at hand |
| 17:58:09 | <chris_on_linux> | I have heard it has functions, but it's not as scary as Haskell |
| 17:58:20 | <EvanR> | C functions are more like subroutines |
| 17:58:27 | <chris_on_linux> | Exactly |
| 17:58:41 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f70d07f3f1ca88f0631.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 17:58:42 | <JuanDaugherty> | but there are other types of functional langs that hs, lisp is generally considered the first |
| 17:58:43 | <monochrom> | Oh you will also be delighted to know that in C "=" does not mean equal. |
| 17:58:54 | <JuanDaugherty> | and ml is the ancestor of the hs line |
| 17:59:04 | <EvanR> | and % does not mean percent |
| 17:59:05 | <JuanDaugherty> | *than hs |
| 17:59:37 | <EvanR> | in haskell $ doesn't mean dollars unfortunately |
| 18:00:06 | <chris_on_linux> | I have noticed in my xmonad configs it means "add something to a already defined "function" |
| 18:00:09 | <monochrom> | My https://www.vex.net/~trebla/haskell/prerequisite.xhtml describes what kind of math you need for Haskell. TL;DR it is not about the knowledge, it is about the aptitude, how you think. |
| 18:00:31 | <EvanR> | haskell lets you define new operators so whatever xmonad doesn't may not reflect on haskell generally |
| 18:00:38 | <EvanR> | whatever xmonad does* |
| 18:00:54 | <JuanDaugherty> | $ means profit, the way russians say it |
| 18:01:57 | <chris_on_linux> | I am a 9th grader... I don't know what f(x) means |
| 18:02:03 | <chris_on_linux> | I have seen p(x) |
| 18:02:04 | <EvanR> | it's just notation |
| 18:02:13 | <EvanR> | that I don't fully understand xD |
| 18:02:14 | <chris_on_linux> | Whta does it stand for? |
| 18:02:18 | <EvanR> | but I think newton made it up |
| 18:02:40 | <EvanR> | f(x) = 1 + x^2 defines a function |
| 18:02:41 | <JuanDaugherty> | or leibniz |
| 18:02:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:02:44 | <geekosaur> | prefer x^f? |
| 18:02:50 | <EvanR> | and f(5) stands for substituting 5 for x |
| 18:02:53 | <EvanR> | 1 + 5^2 |
| 18:02:58 | <JuanDaugherty> | who also did the monads, but not those u'll find here |
| 18:03:03 | <EvanR> | lol |
| 18:03:03 | <chris_on_linux> | Ohhhhh |
| 18:03:25 | <EvanR> | substituting for variables is handy and meaningful when understanding haskell |
| 18:03:46 | <EvanR> | unlike C usually |
| 18:03:51 | <monochrom> | Yeah you already "know" f(x) because you have seen it in Haskell as "f x". |
| 18:03:53 | <JuanDaugherty> | euler, aka the prince |
| 18:04:43 | <JuanDaugherty> | yeah that was gauss |
| 18:04:52 | <JuanDaugherty> | forgot what euler is called |
| 18:05:18 | <monochrom> | archbishop? (I'm making it up haha) |
| 18:05:54 | <chris_on_linux> | Wait... a function is for example y = ax + b? |
| 18:05:56 | → | homo joins (~homo@user/homo) |
| 18:06:09 | <chris_on_linux> | And you can make a graph for it? |
| 18:06:21 | <EvanR> | using y there suggests you're talking about a xy grid |
| 18:06:27 | <EvanR> | yes |
| 18:06:33 | <monochrom> | No, it's for example EvanR's example, f(x) = 1 + x^2, g(x) = a*x + b |
| 18:06:49 | <JuanDaugherty> | poincare called him the god |
| 18:06:51 | <chris_on_linux> | I am NOT ready for this |
| 18:07:11 | <JuanDaugherty> | well it can be something for the future? |
| 18:07:18 | <EvanR> | y = ax + b where a and b are some constants defines an equation whose solution can be graphed in 2D |
| 18:07:27 | <chris_on_linux> | Maybe, but now it hurts to see |
| 18:07:33 | <EvanR> | where (x,y) would solve the equation |
| 18:07:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 18:07:57 | <JuanDaugherty> | iiuc u were born c. 2010 |
| 18:08:12 | <chris_on_linux> | Yes |
| 18:08:13 | <JuanDaugherty> | hs will still be here when ur rdy |
| 18:08:29 | <chris_on_linux> | For now, they look like hieroglyphs to me |
| 18:08:38 | <JuanDaugherty> | it's over 30 yo |
| 18:09:03 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:09:14 | <EvanR> | I was just at the met gallery in new york where they explained how to read egyptian. It was cool. There were also some papyrus excel spreadsheets still intact |
| 18:09:33 | <EvanR> | right justified! |
| 18:09:42 | <JuanDaugherty> | false they were supercalc |
| 18:09:42 | <chris_on_linux> | I must say, you guys have been the most helpful and supportive |
| 18:09:50 | <EvanR> | visicalc? |
| 18:09:53 | <chris_on_linux> | The Java guys tell me RTFM and leave me hanging |
| 18:09:59 | <monochrom> | Lotus 1-2-3 |
| 18:10:06 | <EvanR> | does java have an especially good manual? |
| 18:10:14 | <chris_on_linux> | Not at all |
| 18:10:20 | <EvanR> | lol |
| 18:10:28 | <monochrom> | Oh I tell people RTFM too. But I provide a specific link. |
| 18:10:43 | <chris_on_linux> | You can't even find central documentation like Haskell |
| 18:10:49 | <chris_on_linux> | It's scattered around many websites |
| 18:10:55 | <JuanDaugherty> | hs is way more fun than java |
| 18:11:10 | → | gmg joins (~user@user/gehmehgeh) |
| 18:11:20 | <JuanDaugherty> | java is corporate |
| 18:11:34 | <chris_on_linux> | The most fun language I would say, if you know what you're doing |
| 18:11:50 | <chris_on_linux> | I like the Haskell way of doing things, but I don't really get it |
| 18:12:05 | <EvanR> | get a graphical library as soon as possible, like diagrams or gloss |
| 18:12:08 | <JuanDaugherty> | give LYAH a try |
| 18:12:28 | <EvanR> | make haskell visual |
| 18:12:33 | <chris_on_linux> | I will right now |
| 18:12:38 | <monochrom> | scattered doc is because scatter (community) effort. central doc is because central (corproate) effort. |
| 18:12:59 | <monochrom> | So of course for example linux docs are scatterd, windows docs are central. Oh wait. |
| 18:13:07 | <JuanDaugherty> | here's a second opinion on the gui: dont |
| 18:13:11 | <chris_on_linux> | I saw f(x) on the first page and got scared |
| 18:13:30 | <JuanDaugherty> | just enjoy LYAH |
| 18:13:39 | <EvanR> | alternatively make text only programs, but a terminal interface library might be helpful there too |
| 18:13:44 | <JuanDaugherty> | ur 14 for chrissakes |
| 18:13:58 | <JuanDaugherty> | by the time ur 20 u'll be proficient |
| 18:14:05 | <monochrom> | (You end up still needing random blogs from random people for Windows and Java too because you can't actually count on MS or Oracle to be forthcoming about undocumented but de facto features.) |
| 18:14:22 | <JuanDaugherty> | i was 71 btw Sunday |
| 18:14:43 | <chris_on_linux> | I have always liked programming, but now I have finally gotten the hang of it in Java |
| 18:14:52 | <chris_on_linux> | OOP is very tiring for me at least |
| 18:15:02 | <chris_on_linux> | Way too much boilerplate in Java |
| 18:15:03 | <EvanR> | there's ways to "doing oop right" |
| 18:15:06 | <EvanR> | ways of |
| 18:15:16 | <EvanR> | but it's not supported in many languages |
| 18:15:31 | <JuanDaugherty> | ppl here are down on both (OOP and java) just so u know |
| 18:15:46 | <EvanR> | at the very least, you will need to know what a trisquirclehedron is |
| 18:15:57 | <chris_on_linux> | What???? |
| 18:15:57 | <monochrom> | >:) |
| 18:16:07 | <JuanDaugherty> | from a snooty or thing is pure mathematics perspective tho they wont say that |
| 18:16:16 | <JuanDaugherty> | *our thing |
| 18:16:18 | <EvanR> | http://lucacardelli.name/Topics/TheoryOfObjects/ObjectSubject.html |
| 18:16:39 | <chris_on_linux> | I have had enough, my head is starting to hurt |
| 18:16:49 | <chris_on_linux> | I will go now |
| 18:16:53 | <chris_on_linux> | Thank you for talking to me |
| 18:17:01 | <chris_on_linux> | You were by far the best community |
| 18:17:10 | <chris_on_linux> | Have a happy new year, gentlemen |
| 18:17:31 | <JuanDaugherty> | and OOP is kinda long in the tooth by now; I learned it when it was new with smalltalk where it was and still is fun. |
| 18:17:43 | × | chris_on_linux quits (~user@2a02:2149:8638:ce00:224e:f6ff:fe4a:8927) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 18:17:51 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:18:08 | <JuanDaugherty> | which is generally credited with inventing it which is also false |
| 18:18:23 | <JuanDaugherty> | but it is probably the most elegant and fun |
| 18:18:35 | <JuanDaugherty> | and way easier than hs |
| 18:19:16 | <JuanDaugherty> | https://squeak.org/ |
| 18:19:49 | <JuanDaugherty> | c++ and java and other stuff glommed on like a decade or two later |
| 18:20:22 | <JuanDaugherty> | smalltalk reads like english, which is why its called that |
| 18:20:37 | × | hellwolf quits (~user@bc5f-7784-4618-91ba-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 248 seconds) |
| 18:21:23 | <EvanR> | if smalltalk didn't invent OOP then what did |
| 18:21:30 | → | dtman34 joins (~dtman34@2601:447:d080:1a3c:85df:bc39:7f26:1b7c) |
| 18:21:43 | <JuanDaugherty> | there's a channel here or more than one but the main squeak is on slack |
| 18:21:57 | <EvanR> | (this has the form of a badly formed question) |
| 18:22:17 | <JuanDaugherty> | well there were various lisp system precursors |
| 18:22:35 | <EvanR> | like common lisp? |
| 18:22:48 | <JuanDaugherty> | no common lisp is newer than st |
| 18:23:18 | <JuanDaugherty> | lisp was 30yo when common started specing which it is still doin |
| 18:23:38 | <EvanR> | ok it's object system comes from previous object systems? |
| 18:24:11 | <JuanDaugherty> | let's be simple and say st orginated OOP, i'm good with that |
| 18:24:18 | <EvanR> | lol |
| 18:24:26 | <EvanR> | a useful fiction |
| 18:24:37 | → | hellwolf joins (~user@095a-6255-7d54-b1bd-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 18:25:14 | <JuanDaugherty> | it's kinda sorta true it blew the precursors into obliviion |
| 18:25:41 | <JuanDaugherty> | simula and whatnot |
| 18:26:34 | <geekosaur> | some attribute it to SIMULA-60 because it used an actor model |
| 18:28:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:28:54 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:29:18 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 18:30:08 | <monochrom> | Yeah Simula. https://en.wikipedia.org/wiki/Ole-Johan_Dahl . See also the Turing Award 2001 citation. |
| 18:30:19 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:30:47 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f705914636323d7efe9.dip0.t-ipconnect.de) |
| 18:31:12 | <monochrom> | But of course Smalltalk showcases the idea to its full extent. |
| 18:31:59 | <monochrom> | IMO Smalltalk does justice to untyped OOP, OCaml does justice to typed OOP. Accept no less. |
| 18:32:43 | <JuanDaugherty> | https://squeak.js.org/ the launcher link there will run squeak in a browser |
| 18:33:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 18:33:52 | <JuanDaugherty> | it's not really a production vm, networking doesn work for example but it does run current images |
| 18:34:39 | JuanDaugherty | just realized the kid left |
| 18:45:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:46:27 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-115.cust.tzulo.com) (Ping timeout: 272 seconds) |
| 18:49:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:49:31 | → | notzmv joins (~umar@user/notzmv) |
| 18:51:13 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:54:26 | → | gmg joins (~user@user/gehmehgeh) |
| 18:56:18 | × | superstar64 quits (~superstar@2600:1700:57e0:e3c0::31) (Quit: Leaving) |
| 19:02:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:04:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 19:09:07 | × | dtman34 quits (~dtman34@2601:447:d080:1a3c:85df:bc39:7f26:1b7c) (Ping timeout: 264 seconds) |
| 19:09:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 19:12:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:15:21 | → | dtman34 joins (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) |
| 19:15:35 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 272 seconds) |
| 19:15:38 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@79.127.217.53) |
| 19:23:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:28:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:30:00 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:32:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:33:35 | → | rynite joins (~bwkam@user/rynite) |
| 19:38:31 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:39:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:43:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:51:07 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f705914636323d7efe9.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 19:52:30 | <glguy> | > sum [x^3 | x <- [1..9]] |
| 19:52:53 | <lambdabot> | 2025 |
| 19:54:48 | <EvanR> | that settles it |
| 19:54:54 | → | weary-traveler joins (~user@user/user363627) |
| 19:54:57 | <EvanR> | this year will be the apocalypse |
| 19:55:00 | <EvanR> | again |
| 19:55:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 20:00:43 | → | caconym joins (~caconym@user/caconym) |
| 20:04:07 | → | mvk joins (~mvk@2607:fea8:5c96:5800::6e91) |
| 20:04:21 | × | mvk quits (~mvk@2607:fea8:5c96:5800::6e91) (Client Quit) |
| 20:08:07 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f705914636323d7efe9.dip0.t-ipconnect.de) |
| 20:08:52 | <darkling> | Another one? It'll have to wait. There's a queue. |
| 20:11:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:16:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 20:16:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:21:14 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:24:35 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:28:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:33:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:36:38 | Festive | is now known as gAy_Dragon |
| 20:40:12 | <monochrom> | Yeah most functional queues are worst-case linear-time, you will have to wait longer. >:) |
| 20:42:31 | → | Everything joins (~Everythin@195.138.86.118) |
| 20:46:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:47:47 | → | tremon joins (~tremon@83.80.159.219) |
| 20:50:14 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Quit: Leaving) |
| 20:53:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:07:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:08:10 | × | michalz quits (~michalz@185.246.207.222) (Remote host closed the connection) |
| 21:08:33 | × | AlexZenon quits (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
| 21:09:57 | × | Everything quits (~Everythin@195.138.86.118) (Quit: leaving) |
| 21:16:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:17:10 | → | Everything joins (~Everythin@195.138.86.118) |
| 21:22:20 | → | AlexZenon joins (~alzenon@5.139.233.96) |
| 21:25:51 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 21:29:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:29:25 | × | AlexZenon quits (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
| 21:31:17 | → | AlexZenon joins (~alzenon@5.139.233.96) |
| 21:32:15 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 21:32:45 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 21:33:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:46:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:51:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:52:00 | × | rynite quits (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 21:58:58 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 22:00:04 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 22:02:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:02:26 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:03:28 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 22:07:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 22:13:33 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:14:00 | <haskellbridge> | <Bowuigi> The smalltalk syntax looks like lambda calculus but backwards |
| 22:14:21 | <haskellbridge> | <Bowuigi> Except for lambdas, those are similar |
| 22:18:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:23:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 22:26:08 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 22:27:06 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 22:31:54 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds) |
| 22:35:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:40:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:45:49 | × | dtman34 quits (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 22:48:53 | → | kritzefitz_ joins (~kritzefit@debian/kritzefitz) |
| 22:49:20 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 264 seconds) |
| 22:53:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:53:45 | kritzefitz_ | is now known as kritzefitz |
| 22:54:26 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:56:20 | × | gorignak quits (~gorignak@user/gorignak) (Ping timeout: 252 seconds) |
| 23:00:28 | Catty | is now known as catties |
| 23:00:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:01:28 | × | vulpine quits (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 23:03:21 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 23:04:44 | → | mxs9 joins (~mxs@user/mxs) |
| 23:11:39 | → | dtman34 joins (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) |
| 23:12:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:17:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:26:24 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:28:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:33:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:33:50 | × | Everything quits (~Everythin@195.138.86.118) (Quit: leaving) |
| 23:35:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 23:38:38 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 23:39:57 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 23:43:43 | → | Guest78 joins (~Guest78@37.228.251.150) |
| 23:45:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:47:57 | × | Guest78 quits (~Guest78@37.228.251.150) (Client Quit) |
| 23:49:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:50:11 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 23:57:11 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
All times are in UTC on 2025-01-01.