| 2026-05-20 00:02:53 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:8593:5fde:adde:bbe9) |
| 2026-05-20 00:03:11 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-20 00:03:24 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:8593:5fde:adde:bbe9) (Client Quit) |
| 2026-05-20 00:10:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 00:12:40 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e557175153c27e2abf22.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-05-20 00:15:17 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-20 00:15:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-20 00:16:51 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 00:21:21 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 246 seconds) |
| 2026-05-20 00:22:21 +0000 | jreicher | (~joelr@user/jreicher) (*.net *.split) |
| 2026-05-20 00:22:21 +0000 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2026-05-20 00:23:10 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-20 00:25:03 +0000 | jreicher | (~joelr@user/jreicher) (*.net *.split) |
| 2026-05-20 00:26:32 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-20 00:28:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 00:30:29 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 00:30:40 +0000 | Typedfern | (~Typedfern@176.red-83-37-46.dynamicip.rima-tde.net) (Server closed connection) |
| 2026-05-20 00:31:04 +0000 | Typedfern | (~Typedfern@176.red-83-37-46.dynamicip.rima-tde.net) typedfern |
| 2026-05-20 00:32:26 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-05-20 00:32:47 +0000 | layline_ | (~layline@149.154.26.166) layline |
| 2026-05-20 00:33:26 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-20 00:35:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 00:38:02 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 265 seconds) |
| 2026-05-20 00:38:30 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) (Ping timeout: 245 seconds) |
| 2026-05-20 00:39:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-05-20 00:40:55 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) myxokephale |
| 2026-05-20 00:46:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 00:47:43 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) (Ping timeout: 255 seconds) |
| 2026-05-20 00:49:59 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 00:51:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 00:53:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2026-05-20 00:54:22 +0000 | czan` | (~czan@user/mange) czan |
| 2026-05-20 00:54:28 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 255 seconds) |
| 2026-05-20 00:59:57 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-20 01:01:32 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8fea:9572:e093:f731) (Ping timeout: 244 seconds) |
| 2026-05-20 01:02:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 01:05:56 +0000 | czan | (~czan@user/mange) (Killed (NickServ (GHOST command used by czan`))) |
| 2026-05-20 01:06:10 +0000 | czan` | czan |
| 2026-05-20 01:06:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-20 01:07:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 01:16:46 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 01:18:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 01:18:55 +0000 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 264 seconds) |
| 2026-05-20 01:22:40 +0000 | j0lol | (~j0lol@132.145.17.236) (Ping timeout: 245 seconds) |
| 2026-05-20 01:22:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 01:23:17 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 255 seconds) |
| 2026-05-20 01:23:32 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-05-20 01:23:42 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (Quit: No Ping reply in 180 seconds.) |
| 2026-05-20 01:24:58 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2026-05-20 01:25:10 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 245 seconds) |
| 2026-05-20 01:25:26 +0000 | Moyst | (~moyst@user/moyst) (Remote host closed the connection) |
| 2026-05-20 01:25:42 +0000 | Moyst | (~moyst@user/moyst) Moyst |
| 2026-05-20 01:26:03 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2026-05-20 01:27:03 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-05-20 01:33:11 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-20 01:33:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 01:37:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 01:39:29 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:8593:5fde:adde:bbe9) |
| 2026-05-20 01:40:12 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2026-05-20 01:40:45 +0000 | layline_ | layline-away |
| 2026-05-20 01:42:20 +0000 | j0lol | (~j0lol@132.145.17.236) j0lol |
| 2026-05-20 01:44:53 +0000 | layline-away | layline_ |
| 2026-05-20 01:48:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 01:52:35 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-05-20 01:53:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-20 01:58:45 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-20 01:58:45 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 265 seconds) |
| 2026-05-20 02:01:35 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 02:04:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 02:06:38 +0000 | layline_ | layline-away |
| 2026-05-20 02:07:42 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 245 seconds) |
| 2026-05-20 02:08:59 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) myxokephale |
| 2026-05-20 02:09:30 +0000 | puke | (~puke@user/puke) (Ping timeout: 246 seconds) |
| 2026-05-20 02:11:16 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2026-05-20 02:13:11 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 02:14:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 02:17:43 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 255 seconds) |
| 2026-05-20 02:23:58 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-20 02:24:59 +0000 | layline-away | layline_ |
| 2026-05-20 02:25:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-05-20 02:26:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 02:26:45 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 02:29:49 +0000 | Guest54 | (~Guest54@2600:1700:4c00:68f0:c786:9a89:b897:4427) |
| 2026-05-20 02:31:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 02:41:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 02:45:16 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-20 02:45:19 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-20 02:46:12 +0000 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2026-05-20 02:46:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 02:51:42 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-20 02:52:03 +0000 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2026-05-20 02:54:56 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-20 02:55:00 +0000 | Googulator | (~Googulato@94-21-138-77.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-20 02:55:14 +0000 | Googulator | (~Googulato@94-21-138-77.pool.digikabel.hu) |
| 2026-05-20 02:57:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 02:58:11 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-20 02:58:19 +0000 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2026-05-20 02:58:26 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:8593:5fde:adde:bbe9) (Ping timeout: 248 seconds) |
| 2026-05-20 03:00:23 +0000 | puke | (~puke@user/puke) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-20 03:00:47 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 03:02:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 03:05:25 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-20 03:05:46 +0000 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2026-05-20 03:05:53 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-20 03:08:26 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-20 03:09:06 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 248 seconds) |
| 2026-05-20 03:09:16 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
| 2026-05-20 03:11:48 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-20 03:12:49 +0000 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2026-05-20 03:13:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 03:15:53 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-20 03:18:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 03:18:29 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-20 03:18:38 +0000 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2026-05-20 03:19:22 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-05-20 03:24:48 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-20 03:24:57 +0000 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2026-05-20 03:29:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 03:32:53 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 03:35:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 03:39:38 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 255 seconds) |
| 2026-05-20 03:40:58 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-20 03:43:43 +0000 | gehmehgeh | gmg |
| 2026-05-20 03:45:14 +0000 | <Guest54> | sup lads |
| 2026-05-20 03:47:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 03:52:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 04:01:00 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 04:05:56 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 256 seconds) |
| 2026-05-20 04:11:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 04:12:19 +0000 | scula | (~scula@user/scula) (Server closed connection) |
| 2026-05-20 04:12:36 +0000 | scula | (~scula@user/scula) scula |
| 2026-05-20 04:16:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 04:17:41 +0000 | <sm> | how's it going Guest54 |
| 2026-05-20 04:18:20 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2026-05-20 04:22:03 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-20 04:24:10 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-20 04:24:49 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 04:27:01 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-20 04:28:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 04:29:21 +0000 | <Guest54> | Doing great sm. Both the haskell mooc and learn a haskell for a greater good recommended this chat. Not sure if I am supposed to type on here, cuz I see a bunch of people joining but nobody typing lol |
| 2026-05-20 04:33:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 04:36:51 +0000 | michalz | (~michalz@185.246.207.203) |
| 2026-05-20 04:39:20 +0000 | mjrosenb | (~mjrosenb@pool-71-190-143-170.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2026-05-20 04:40:16 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-20 04:41:52 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 245 seconds) |
| 2026-05-20 04:42:38 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 04:42:49 +0000 | <jreicher> | We're here just waiting for someone to type. ;) |
| 2026-05-20 04:43:02 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-20 04:44:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 04:48:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 04:50:12 +0000 | <EvanR> | waits for more typing |
| 2026-05-20 04:50:24 +0000 | <EvanR> | we're dependent [on] typing |
| 2026-05-20 04:51:57 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-20 04:57:16 +0000 | Adran | (~adran@botters/adran) (Server closed connection) |
| 2026-05-20 04:58:29 +0000 | Adran | (~adran@botters/adran) Adran |
| 2026-05-20 04:59:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 04:59:55 +0000 | puke | (~puke@user/puke) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-20 05:01:27 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 05:04:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 05:08:18 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:39aa:a5b:9720:46b3) |
| 2026-05-20 05:11:32 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-20 05:12:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 05:14:43 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-05-20 05:16:36 +0000 | puke | (~puke@user/puke) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-20 05:17:01 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 05:19:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 05:31:05 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-20 05:32:43 +0000 | Vajb | (~Vajb@n627xuppmk36bl2vbls-1.v6.elisa-mobile.fi) |
| 2026-05-20 05:35:12 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-05-20 05:35:30 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-20 05:45:15 +0000 | layline_ | layline-away |
| 2026-05-20 05:46:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 05:51:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-20 05:55:54 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-20 05:55:55 +0000 | synchromesh | (~john@2406:5a00:247e:1500:cb6:d4f7:ed0e:5cdb) (Read error: Connection reset by peer) |
| 2026-05-20 05:56:46 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-05-20 05:56:59 +0000 | synchromesh | (~john@2406:5a00:247e:1500:cb6:d4f7:ed0e:5cdb) synchromesh |
| 2026-05-20 06:01:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 06:02:02 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-20 06:03:38 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-20 06:03:49 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:39aa:a5b:9720:46b3) (Ping timeout: 272 seconds) |
| 2026-05-20 06:04:39 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-20 06:06:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 06:13:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 06:15:15 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-20 06:18:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-20 06:24:42 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-20 06:29:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 06:34:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 06:38:59 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-05-20 06:41:02 +0000 | puke | (~puke@user/puke) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-20 06:41:27 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 06:45:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 06:46:11 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-05-20 06:50:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-20 06:55:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-20 06:56:45 +0000 | layline-away | (~layline@149.154.26.166) (Quit: ZZZzzz…) |
| 2026-05-20 07:01:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 07:01:38 +0000 | puke | (~puke@user/puke) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-20 07:02:03 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 07:08:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-20 07:09:37 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-20 07:10:44 +0000 | oats | (~oats@user/oats) (Ping timeout: 245 seconds) |
| 2026-05-20 07:11:14 +0000 | oats | (~oats@user/oats) oats |
| 2026-05-20 07:11:53 +0000 | ft | (~ft@p4fc2aedc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-05-20 07:12:50 +0000 | nisstyre | (wes@user/nisstyre) (Ping timeout: 248 seconds) |
| 2026-05-20 07:14:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-20 07:19:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-20 07:26:37 +0000 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2026-05-20 07:29:35 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-20 07:36:44 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-20 07:38:56 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-05-20 07:41:33 +0000 | Digit | detects some type of puns [ ... or puns of type] |
| 2026-05-20 07:47:21 +0000 | CiaoSen | (~Jura@2a02:3035:be7:9381:10ff:25ff:fe34:6c4a) CiaoSen |
| 2026-05-20 07:47:55 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-20 07:53:15 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-20 07:57:12 +0000 | puke | (~puke@user/puke) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-20 07:57:13 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-20 07:57:29 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-20 07:57:41 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 07:58:40 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-20 08:01:34 +0000 | gehmehgeh | gmg |
| 2026-05-20 08:06:02 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-20 08:06:59 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-20 08:07:03 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2026-05-20 08:07:04 +0000 | tnt2 | tnt1 |
| 2026-05-20 08:10:37 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-20 08:12:59 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-20 08:13:55 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-20 08:15:17 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:8bd7:8b66:ece0:ae9f) |
| 2026-05-20 08:15:35 +0000 | bggd | (~bgg@user/bggd) (Read error: Connection reset by peer) |
| 2026-05-20 08:21:33 +0000 | FANTOM | (~fantom@212.228.182.72) (Ping timeout: 265 seconds) |
| 2026-05-20 08:21:36 +0000 | CiaoSen | (~Jura@2a02:3035:be7:9381:10ff:25ff:fe34:6c4a) (Quit: CiaoSen) |
| 2026-05-20 08:23:37 +0000 | puke | (~puke@user/puke) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-20 08:24:02 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 08:26:28 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-20 08:27:45 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-20 08:29:57 +0000 | FANTOM | (~fantom@212.228.182.72) |
| 2026-05-20 08:30:19 +0000 | puke | (~puke@user/puke) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-20 08:30:44 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-20 08:33:38 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-05-20 08:44:35 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-20 08:45:13 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-20 08:45:20 +0000 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-05-20 08:45:38 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-05-20 08:45:55 +0000 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-05-20 08:46:59 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2026-05-20 08:48:15 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-05-20 08:50:05 +0000 | dhil | (~dhil@5.151.29.138) dhil |
| 2026-05-20 08:50:16 +0000 | Enrico63 | (~Enrico63@85.255.233.164) Enrico63 |
| 2026-05-20 08:54:34 +0000 | CiaoSen | (~Jura@dynamic-046-114-156-027.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-20 08:57:17 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 245 seconds) |
| 2026-05-20 09:01:34 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-05-20 09:01:57 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-05-20 09:05:58 +0000 | <mesaoptimizer> | Is the type of every expression in Haskell determined at compile-time, or have things changed by now |
| 2026-05-20 09:07:17 +0000 | <mesaoptimizer> | for example, if there are LANGUAGE pragmas commonly used that make it so that some expressions only can have a determined type at compile-time, then I'd say that Haskell types aren't a manifest attribute (in the terminology of Christopher Strachey) |
| 2026-05-20 09:08:59 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 09:11:46 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5338caa1342eecc427b.dip0.t-ipconnect.de) acidjnk |
| 2026-05-20 09:13:45 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 265 seconds) |
| 2026-05-20 09:16:16 +0000 | <mesaoptimizer> | next, does anybody actually use the following functions in practice or do they simply exist for pedagogical purposes: lookup, zip, uncurry, curry, min, max, fst, snd |
| 2026-05-20 09:18:07 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2026-05-20 09:26:56 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-20 09:27:31 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-20 09:32:07 +0000 | CiaoSen | (~Jura@dynamic-046-114-156-027.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2026-05-20 09:37:25 +0000 | <merijn> | zip, min, max, fst, and snd are all used all the time. curry/uncurry less frequently but still a lot |
| 2026-05-20 09:37:53 +0000 | <merijn> | If you're using lookup you should probably be using lookup of a different datatype |
| 2026-05-20 09:39:36 +0000 | <merijn> | mesaoptimizer: As a type theory pedantist it's impossible for "type of every expression is determined at compile time", because the entire definition of types is that they're static derived properties of source code, meaning that they're static derivability at compile time is a hard required of types |
| 2026-05-20 09:40:13 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 09:40:32 +0000 | <merijn> | mesaoptimizer: As opposed to what the dynamic languages have popularized as "types", which is merely a runtime tag indicated what kind of data a value has |
| 2026-05-20 09:43:57 +0000 | Guest54 | (~Guest54@2600:1700:4c00:68f0:c786:9a89:b897:4427) (Ping timeout: 245 seconds) |
| 2026-05-20 09:44:02 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-05-20 09:44:20 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-20 09:44:47 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 245 seconds) |
| 2026-05-20 09:48:32 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-05-20 10:02:49 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 10:06:00 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-20 10:06:02 +0000 | <mesaoptimizer> | merijn: I agree with that sentiment, but I still am unsure as to whether this holds for Haskell or not |
| 2026-05-20 10:07:00 +0000 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2026-05-20 10:07:28 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 256 seconds) |
| 2026-05-20 10:08:10 +0000 | yin_ | (~zero@user/zero) zero |
| 2026-05-20 10:08:22 +0000 | yin | (~zero@user/zero) (Ping timeout: 265 seconds) |
| 2026-05-20 10:08:47 +0000 | yin_ | yin |
| 2026-05-20 10:08:55 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2026-05-20 10:16:34 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) (Server closed connection) |
| 2026-05-20 10:16:50 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) fun-safe-math |
| 2026-05-20 10:25:47 +0000 | <dutchie> | Haskell types don't even exist at runtime, do they? |
| 2026-05-20 10:25:53 +0000 | <dutchie> | it's all just passing around instance dictionaries at most |
| 2026-05-20 10:29:56 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:8bd7:8b66:ece0:ae9f) (Remote host closed the connection) |
| 2026-05-20 10:36:20 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 10:38:48 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-20 10:39:51 +0000 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2026-05-20 10:40:37 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 245 seconds) |
| 2026-05-20 10:54:29 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-20 10:58:57 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 245 seconds) |
| 2026-05-20 11:01:53 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) () |
| 2026-05-20 11:04:02 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) fun-safe-math |
| 2026-05-20 11:04:32 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-20 11:05:10 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-20 11:09:01 +0000 | <gentauro> | dutchie: they are. How would you handle the cases for sum types (tagged unions) otherwise? |
| 2026-05-20 11:09:52 +0000 | <gentauro> | however, the `newtype` "wrapper" gets abstracted away (less memory usage per element) |
| 2026-05-20 11:09:53 +0000 | wickedjargon | (~user@64.114.24.74) (Read error: Connection reset by peer) |
| 2026-05-20 11:10:06 +0000 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2026-05-20 11:10:25 +0000 | <dutchie> | hmm. my interpretation was that e.g. Bool doesn't exist, but True and False do |
| 2026-05-20 11:10:59 +0000 | <dutchie> | and then the compiler has proven that a value can only be True or False so it knows all cases are covered |
| 2026-05-20 11:13:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-20 11:17:53 +0000 | <dutchie> | https://paste.tomsmeding.com/vXIxg2HR |