| 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) |