Logs on 2025-07-30 (liberachat/#haskell)
| 00:02:06 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 276 seconds) |
| 00:02:51 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:07:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:08:26 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 00:09:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 00:10:14 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 00:11:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:13:03 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:13:16 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 00:15:36 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 00:17:41 | trickard_ | is now known as trickard |
| 00:22:34 | → | arandombit joins (~arandombi@37.120.80.229) |
| 00:22:34 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 00:22:34 | → | arandombit joins (~arandombi@user/arandombit) |
| 00:22:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:25:19 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 00:27:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:28:00 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 00:30:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:30:33 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:33:51 | × | acidjnk quits (~acidjnk@p200300d6e72d7b44607862084601bf6d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:34:00 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:34:02 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 00:34:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:36:53 | × | haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 00:45:01 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:45:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:50:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:52:16 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 00:52:55 | × | xff0x quits (~xff0x@2405:6580:b080:900:81c1:adc5:7d10:efff) (Ping timeout: 252 seconds) |
| 01:00:43 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 01:00:59 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 01:01:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:03:14 | → | arandombit joins (~arandombi@37.120.80.229) |
| 01:03:14 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 01:03:14 | → | arandombit joins (~arandombi@user/arandombit) |
| 01:04:34 | → | haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com) |
| 01:04:34 | ChanServ | sets mode +v haskellbridge |
| 01:05:47 | <geekosaur> | upgrade complete, we're back in business |
| 01:06:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:08:58 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 01:16:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:21:15 | × | philopso1 quits (~caecilius@pool-96-246-242-199.nycmny.fios.verizon.net) (Quit: Lost terminal) |
| 01:21:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:22:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 01:25:15 | → | jan_ joins (~jankat@syn-066-052-051-079.res.spectrum.com) |
| 01:25:35 | × | jan_ quits (~jankat@syn-066-052-051-079.res.spectrum.com) (Client Quit) |
| 01:27:17 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 01:32:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:23 | → | arandombit joins (~arandombi@37.120.80.229) |
| 01:32:23 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 01:32:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 01:36:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 01:37:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:37:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 01:39:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:42:18 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:48:50 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:50:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:52:42 | × | ft quits (~ft@p508db189.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 01:52:59 | → | arandombit joins (~arandombi@user/arandombit) |
| 01:54:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:58:12 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 01:58:35 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 01:59:03 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:04:31 | → | ft joins (~ft@p3e9bcd7f.dip0.t-ipconnect.de) |
| 02:05:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:07:14 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:08:45 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:08:58 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 02:09:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:12:59 | → | arandombit joins (~arandombi@user/arandombit) |
| 02:16:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:16:19 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:16:42 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:16:51 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:17:25 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 02:25:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:27:55 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:29:19 | → | arandombit joins (~arandombi@37.120.80.229) |
| 02:29:20 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 02:29:20 | → | arandombit joins (~arandombi@user/arandombit) |
| 02:30:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:38:40 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:38:50 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:39:04 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 02:39:18 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:41:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 02:41:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:45:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:46:33 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:46:40 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:54:45 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 02:54:55 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
| 02:56:38 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:56:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:01:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:02:01 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 03:03:06 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 03:08:58 | × | bgtdsword quits (b968c1779f@user/titibandit) (Server closed connection) |
| 03:09:07 | → | bgtdsword joins (b968c1779f@user/titibandit) |
| 03:09:25 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:10:43 | → | img joins (~img@user/img) |
| 03:11:57 | → | arandombit joins (~arandombi@37.120.80.229) |
| 03:11:57 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 03:11:57 | → | arandombit joins (~arandombi@user/arandombit) |
| 03:12:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:15:49 | × | xal quits (~xal@mx1.xal.systems) (Quit: bye) |
| 03:16:25 | → | xal joins (~xal@mx1.xal.systems) |
| 03:17:01 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 03:18:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:18:53 | trickard_ | is now known as trickard |
| 03:27:10 | → | kimjetwav joins (~user@2607:fea8:25a3:a100:d659:4ee6:e67a:606a) |
| 03:30:02 | → | arandombit joins (~arandombi@37.120.80.229) |
| 03:30:02 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 03:30:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 03:30:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:31:22 | → | poscat0x04 joins (~poscat@user/poscat) |
| 03:32:03 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 03:35:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 03:35:54 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 03:39:06 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 03:40:49 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 03:41:00 | → | poscat joins (~poscat@user/poscat) |
| 03:45:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:48:48 | → | arandombit joins (~arandombi@37.120.80.229) |
| 03:48:48 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 03:48:48 | → | arandombit joins (~arandombi@user/arandombit) |
| 03:49:28 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 03:49:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:54:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 03:58:10 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0) |
| 03:59:25 | × | YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:44e7:4e7f:ba0a:f269) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 03:59:45 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 04:01:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:01:26 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 04:04:51 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 04:05:02 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 04:05:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:05:50 | → | arandombit joins (~arandombi@37.120.80.229) |
| 04:05:50 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 04:05:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 04:07:48 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 04:08:14 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:08:28 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 04:08:43 | × | mikess quits (~sam@user/mikess) (Ping timeout: 245 seconds) |
| 04:11:35 | trickard_ | is now known as trickard |
| 04:11:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:13:22 | → | caubert joins (~caubert@user/caubert) |
| 04:14:58 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 04:16:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:17:33 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 04:21:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:22:59 | × | califax quits (~califax@user/califx) (Ping timeout: 244 seconds) |
| 04:23:19 | → | califax joins (~califax@user/califx) |
| 04:24:21 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 04:24:43 | → | tomku joins (~tomku@user/tomku) |
| 04:27:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:29:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 04:31:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:34:58 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 04:38:58 | × | JamesMowery1773 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Server closed connection) |
| 04:39:23 | → | JamesMowery1773 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 04:42:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:47:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:49:30 | → | arandombit joins (~arandombi@37.120.80.229) |
| 04:49:30 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 04:49:30 | → | arandombit joins (~arandombi@user/arandombit) |
| 04:54:07 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 04:54:36 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 04:57:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:01:37 | → | dolio joins (~dolio@130.44.140.168) |
| 05:02:07 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 05:02:47 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 05:03:09 | → | dolio joins (~dolio@130.44.140.168) |
| 05:04:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:07:43 | → | arandombit joins (~arandombi@37.120.80.229) |
| 05:07:44 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 05:07:44 | → | arandombit joins (~arandombi@user/arandombit) |
| 05:12:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:13:09 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 05:17:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:22:08 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 05:26:17 | → | arandombit joins (~arandombi@37.120.80.229) |
| 05:26:17 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 05:26:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 05:26:55 | → | michalz joins (~michalz@185.246.207.217) |
| 05:27:06 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 05:28:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:28:23 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 05:29:41 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:31:09 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 05:31:30 | → | michalz joins (~michalz@185.246.207.217) |
| 05:32:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:34:19 | → | caubert joins (~caubert@user/caubert) |
| 05:35:24 | → | arandombit joins (~arandombi@user/arandombit) |
| 05:37:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 05:37:40 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 05:40:23 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 05:43:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:45:35 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 05:47:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:49:58 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:54:52 | → | arandombit joins (~arandombi@37.120.80.229) |
| 05:54:52 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 05:54:52 | → | arandombit joins (~arandombi@user/arandombit) |
| 05:55:05 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 05:55:35 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:56:23 | → | biberu joins (~biberu@user/biberu) |
| 05:58:08 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:58:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:00:49 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 06:01:48 | → | arandombit joins (~arandombi@user/arandombit) |
| 06:04:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:11:13 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 06:13:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:17:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:24:37 | → | caubert joins (~caubert@user/caubert) |
| 06:29:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:29:26 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 06:31:06 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 06:36:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 06:41:12 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:47:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:48:11 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 06:51:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:52:54 | → | kuribas joins (~user@ptr-17d51en9kylyjiql1lx.18120a2.ip6.access.telenet.be) |
| 06:54:04 | × | j0lol quits (~j0lol@132.145.17.236) (Remote host closed the connection) |
| 06:54:18 | → | j0lol joins (~j0lol@132.145.17.236) |
| 06:54:25 | <kuribas> | Isn't it easier to create a concurrent generational GC with immutable data? |
| 06:54:52 | <kuribas> | You can just copy the data to a new region without needing to lock the process reading from it. |
| 06:55:36 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:55:48 | → | caubert joins (~caubert@user/caubert) |
| 06:55:49 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 06:56:28 | <kuribas> | And switch over when all the data is copied. |
| 06:56:52 | <kuribas> | Don't know how IORefs would work though, I suppose you'd need a lock. |
| 06:57:22 | × | visilii quits (~visilii@213.24.127.253) (Ping timeout: 276 seconds) |
| 07:00:02 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:43 | → | caconym747 joins (~caconym@user/caconym) |
| 07:01:03 | <c_wraith> | if your data is truly immutable, yes |
| 07:01:20 | <c_wraith> | But note that GHC doesn't compile to immutable data on the heap |
| 07:01:29 | <c_wraith> | laziness is implemented with mutation |
| 07:01:32 | <kuribas> | right |
| 07:01:43 | <kuribas> | I was thinking about idris. |
| 07:01:49 | <kuribas> | But it has optional lazyness too. |
| 07:02:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:04:55 | <kuribas> | Default is eager though, so it could work. |
| 07:05:41 | <kuribas> | But locking mutable variables seems not great for performance. |
| 07:06:05 | <kuribas> | How does GHC deal with IORefs? |
| 07:06:13 | <kuribas> | Are they in a separate region? |
| 07:07:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:10:09 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 07:10:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 07:13:43 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 07:15:42 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:15:56 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 07:18:52 | → | visilii joins (~visilii@213.24.127.253) |
| 07:24:23 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 07:47:38 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 07:48:42 | × | ft quits (~ft@p3e9bcd7f.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:54:24 | → | merijn joins (~merijn@77.242.116.146) |
| 07:54:57 | → | arandombit joins (~arandombi@37.120.80.229) |
| 07:54:57 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 07:54:57 | → | arandombit joins (~arandombi@user/arandombit) |
| 07:59:14 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 08:00:12 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 08:02:03 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) () |
| 08:02:56 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 08:03:41 | → | chele joins (~chele@user/chele) |
| 08:07:11 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 08:07:50 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 08:08:32 | → | mm_x_ joins (~mm@user/mm-x-:64963) |
| 08:09:53 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 248 seconds) |
| 08:14:59 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 08:17:57 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 08:20:52 | → | poscat joins (~poscat@user/poscat) |
| 08:22:40 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:23:40 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:24:13 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 08:25:44 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 08:26:46 | → | __monty__ joins (~toonn@user/toonn) |
| 08:26:47 | × | poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 08:26:54 | → | poscat0x04 joins (~poscat@user/poscat) |
| 08:28:20 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Client Quit) |
| 08:29:45 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 08:35:55 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:36:09 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 08:36:23 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 08:41:51 | → | caubert joins (~caubert@user/caubert) |
| 08:43:09 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Read error: Connection reset by peer) |
| 08:44:15 | → | jmorris joins (uid604645@id-604645.hampstead.irccloud.com) |
| 08:45:01 | → | mm_x_ joins (~mm@user/mm-x-:64963) |
| 08:47:13 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 08:51:39 | trickard_ | is now known as trickard |
| 08:58:41 | → | caubert joins (~caubert@user/caubert) |
| 09:00:33 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:03:18 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
| 09:03:24 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 09:05:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 09:16:58 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:17:22 | → | ubert1 joins (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) |
| 09:21:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 09:21:18 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 09:23:30 | → | acidjnk joins (~acidjnk@p200300d6e72d7b44ad4e219a14911733.dip0.t-ipconnect.de) |
| 09:39:29 | × | kaskal quits (~kaskal@84-115-230-9.cable.dynamic.surfer.at) (Ping timeout: 248 seconds) |
| 09:41:20 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
| 09:42:19 | → | mm_x_ joins (~mm@user/mm-x-:64963) |
| 09:44:07 | → | kaskal joins (~kaskal@84-115-230-9.cable.dynamic.surfer.at) |
| 09:45:04 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:45:19 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 09:48:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:53:36 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 09:56:12 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 09:56:12 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
| 09:56:34 | → | mm_x_ joins (~mm@user/mm-x-:64963) |
| 09:57:15 | → | arandombit joins (~arandombi@45.94.211.243) |
| 09:57:15 | × | arandombit quits (~arandombi@45.94.211.243) (Changing host) |
| 09:57:15 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:01:11 | × | arandombit quits (~arandombi@user/arandombit) (Read error: Connection reset by peer) |
| 10:03:45 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:04:40 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 10:04:56 | → | gorignak joins (~gorignak@user/gorignak) |
| 10:05:55 | → | caubert joins (~caubert@user/caubert) |
| 10:09:41 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:09:54 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 10:10:16 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:10:58 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 10:15:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:20:00 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 10:20:15 | → | gorignak joins (~gorignak@user/gorignak) |
| 10:20:32 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 10:25:49 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 10:26:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 10:26:20 | → | inline joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) |
| 10:27:30 | × | ubert1 quits (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 10:27:57 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 10:35:06 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 10:37:53 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 10:38:17 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
| 10:38:41 | → | mm_x_ joins (~mm@user/mm-x-:64963) |
| 10:39:05 | → | caubert joins (~caubert@user/caubert) |
| 10:40:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 10:49:08 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 10:51:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:51:31 | → | merijn joins (~merijn@77.242.116.146) |
| 10:52:02 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 10:53:32 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
| 10:53:46 | → | mm_x_ joins (~mm@user/mm-x-:64963) |
| 10:53:53 | → | arandombit joins (~arandombi@37.120.80.229) |
| 10:53:53 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 10:53:53 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:53:57 | × | jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:56:08 | → | trickard__ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 10:56:28 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 10:57:20 | → | haritz joins (~hrtz@209.35.65.79) |
| 10:57:20 | × | haritz quits (~hrtz@209.35.65.79) (Changing host) |
| 10:57:20 | → | haritz joins (~hrtz@user/haritz) |
| 10:58:32 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:01:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 11:01:54 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:05:25 | → | pabs3 joins (~pabs3@user/pabs3) |
| 11:08:29 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
| 11:08:51 | → | mm_x_ joins (~mm@user/mm-x-:64963) |
| 11:09:57 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 11:16:55 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:17:17 | → | arandombit joins (~arandombi@37.120.80.229) |
| 11:17:17 | × | arandombit quits (~arandombi@37.120.80.229) (Changing host) |
| 11:17:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 11:18:12 | → | xff0x joins (~xff0x@2405:6580:b080:900:a1bc:22ca:8bd:b4a5) |
| 11:20:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 11:21:39 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:23:32 | × | mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!) |
| 11:23:52 | → | mm_x_ joins (~mm@user/mm-x-:64963) |
| 11:27:29 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 11:32:59 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 11:33:08 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 11:44:06 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 11:45:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 11:49:00 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 11:50:06 | × | trickard__ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:50:19 | → | trickard joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 11:53:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:59:44 | → | caubert joins (~caubert@user/caubert) |
| 12:01:08 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:01:22 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 12:04:39 | → | zlqrvx joins (~zlqrvx@101.175.150.247) |
| 12:06:43 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 12:08:06 | × | jespada quits (~jespada@2800:a4:220e:b200:c473:adea:281c:a65c) (Ping timeout: 265 seconds) |
| 12:10:05 | → | jespada joins (~jespada@2800:a4:2329:2800:4ce6:2e6:4cfb:a0e1) |
| 12:13:54 | → | ubert joins (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) |
| 12:15:23 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 12:19:01 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 12:22:17 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:25:49 | trickard_ | is now known as trickard |
| 12:31:44 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 12:34:33 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 12:38:55 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:42:46 | → | caubert joins (~caubert@user/caubert) |
| 12:45:55 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:46:51 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 12:49:45 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 12:52:16 | × | zlqrvx quits (~zlqrvx@101.175.150.247) (Quit: ZNC 1.10.0 - https://znc.in) |
| 12:54:42 | → | Square joins (~Square@user/square) |
| 12:55:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 12:55:57 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:56:29 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 12:56:34 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Client Quit) |
| 12:57:12 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 13:03:32 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 13:06:31 | → | caubert joins (~caubert@user/caubert) |
| 13:07:24 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 13:19:53 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:20:39 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 13:26:38 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 13:26:47 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 13:34:01 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:36:20 | × | sp1ff``` quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 13:37:47 | → | caubert joins (~caubert@user/caubert) |
| 13:45:13 | → | om joins (~om@2a00:7c80:0:3bc::13) |
| 13:46:14 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 13:49:00 | → | sp1ff``` joins (~user@c-24-21-190-184.hsd1.wa.comcast.net) |
| 13:49:09 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 13:50:47 | → | om82 joins (~om@2a00:7c80:0:39a::11) |
| 13:53:06 | × | om82 quits (~om@2a00:7c80:0:39a::11) (Client Quit) |
| 13:54:51 | × | om quits (~om@2a00:7c80:0:3bc::13) (Ping timeout: 272 seconds) |
| 14:00:01 | → | caubert joins (~caubert@user/caubert) |
| 14:00:22 | → | pyooque joins (~puke@user/puke) |
| 14:00:22 | × | puke quits (~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 14:00:22 | pyooque | is now known as puke |
| 14:02:27 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 14:03:28 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 14:04:22 | → | pyooque joins (~puke@user/puke) |
| 14:04:22 | × | puke quits (~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 14:04:22 | pyooque | is now known as puke |
| 14:04:31 | → | Guest94 joins (~Guest94@cpc147822-brnt4-2-0-cust196.4-2.cable.virginm.net) |
| 14:06:57 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 14:14:22 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 14:16:21 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
| 14:23:25 | <Guest94> | Good afternoon, I am a complete beginner when it comes to Haskell, which I have picked up to follow along with the book "Discrete Mathematics Using a Computer", which uses Hugs 98. I have encountered an issue with using the Ratio Integer type, specifically: |
| 14:23:25 | <Guest94> | Stdm> 2/3 :: Ratio Integer |
| 14:23:26 | <Guest94> | ERROR - Undefined type constructor "Ratio" |
| 14:23:26 | <Guest94> | Where Stdm is the file created by the authors for working through the examples and exercises in the book. I have not found any information online on how to proceed other than some suggestions to "import" the datatype Ratio (the quotation marks are meant to signal that I am unsure of the meaning of this term in a Haskell context, e.g. I am unsure if |
| 14:23:27 | <Guest94> | I have to add some code to the Stdm file I am loading, or do something else) |
| 14:23:27 | <Guest94> | Are there any resources anyone here could point me to that I may help myself? Most of the other code runs fine, so I should be able to get through the book without any issues, but I ask the above in case this is a sign of some potentially serious issue that will bite me later. |
| 14:30:46 | <mauke> | hugs is pretty ancient; ghci is the up-to-date haskell repl |
| 14:31:04 | <mauke> | that said, try adding 'import Data.Ratio' near the top of Stdm.hs |
| 14:32:10 | <mauke> | (I assume there will be a 'module Stdm where' line followed by some existing imports) |
| 14:32:27 | <mauke> | Guest94: ^ |
| 14:33:32 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 14:35:21 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:38:05 | × | Guest94 quits (~Guest94@cpc147822-brnt4-2-0-cust196.4-2.cable.virginm.net) (Quit: Client closed) |
| 14:38:16 | → | Guest94 joins (~Guest94@cpc147822-brnt4-2-0-cust196.4-2.cable.virginm.net) |
| 14:38:23 | <Guest94> | Indeed there is. Does it matter whether I import the Ratio type on some line after it? |
| 14:41:13 | <mauke> | I don't think so, as long as it comes before local declarations in that module |
| 14:41:22 | <mauke> | that is, I don't think the relative order of 'import' lines matters |
| 14:43:13 | <Guest94> | I spent some time trying to paste in some of the code so you can see how it looks, but for some reason any portion I paste pastes the whole file. Is it an idiosincracy for each line to be preceded by a >? |
| 14:43:13 | <Guest94> | I followed your advice (I hope), and, after rerunning things, got: |
| 14:43:14 | <Guest94> | Hugs> :load Stdm |
| 14:43:14 | <Guest94> | ERROR "./Stdm.lhs":42 - Program line next to comment |
| 14:44:10 | <mauke> | can you post the whole Stdm.lhs file at https://paste.tomsmeding.com/ ? |
| 14:45:06 | <mauke> | ah, lhs. that means it is in "literate haskell" format, which defaults to documentation/comments. any haskell code must be explicitly marked by a preceding ">" or by including a whole section in \begin{haskell} ... \end{haskell} |
| 14:45:21 | <Guest94> | I did add the > before import |
| 14:45:39 | <Guest94> | *import Data.Ratio |
| 14:45:39 | <Guest94> | but let me send the file first |
| 14:45:50 | <mauke> | oh, it's \begin{code} ... \end{code} |
| 14:45:54 | <mauke> | yeah |
| 14:46:48 | <mauke> | (once you've posted it, paste the URL here) |
| 14:47:58 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 14:53:57 | <Guest94> | I am having trouble copy-pasting from vim (first time I've had to do so, so I guess I'll install the +xterm_clipboard feature), but I can show you the webpage where it is hosted: |
| 14:53:57 | <Guest94> | https://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/Stdm.lhs |
| 14:55:01 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:56:05 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:56:45 | <mauke> | Guest94: try https://paste.tomsmeding.com/6JyH5IMV/raw/1 |
| 15:03:23 | <Guest94> | Indeed it works! I suppose for any other types I will write "import type" just below ">module Stdm where". I hope I have not been too much trouble, and if you could point me to a resource where I can learn how to deal with the simple issues of the type (pun intended?) I have been concerned with, I would be most grateful |
| 15:03:54 | <Guest94> | Hugs> :load Stmd.lhs |
| 15:03:55 | <Guest94> | Stdm> 2/3::Ratio Integer |
| 15:03:55 | <Guest94> | 2 % 3 |
| 15:03:56 | <Guest94> | Stdm> 2%3 + 3%5 |
| 15:03:56 | <Guest94> | 19 % 15 |
| 15:03:58 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 15:05:29 | <mauke> | it doesn't really generalize because 'import' takes module names, not type names |
| 15:05:42 | <mauke> | it just so happens that the Ratio type is defined in a module called "Data.Ratio" |
| 15:06:49 | <mauke> | you can use hoogle to see where certain types are defined, though: https://hoogle.haskell.org/?scope=set%3Astackage&hoogle=Ratio |
| 15:08:41 | <Guest94> | Gotcha, thanks again for your time and effort |
| 15:09:44 | <mauke> | and you can always ask here :-) |
| 15:10:22 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 15:11:13 | ← | Guest94 parts (~Guest94@cpc147822-brnt4-2-0-cust196.4-2.cable.virginm.net) () |
| 15:11:16 | → | gmg joins (~user@user/gehmehgeh) |
| 15:16:13 | → | caubert joins (~caubert@user/caubert) |
| 15:16:23 | → | Guest98 joins (~Guest98@2a0c:5a83:5508:4d00:346c:1020:ba80:e1ae) |
| 15:16:42 | × | Guest98 quits (~Guest98@2a0c:5a83:5508:4d00:346c:1020:ba80:e1ae) (Client Quit) |
| 15:20:28 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 15:20:51 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 15:21:34 | → | wickedjargon joins (~user@S0106f89e28d5699a.vc.shawcable.net) |
| 15:21:56 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 15:22:21 | → | puke joins (~puke@user/puke) |
| 15:30:27 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 15:30:52 | → | puke joins (~puke@user/puke) |
| 15:31:13 | → | mikess joins (~sam@user/mikess) |
| 15:32:23 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 15:32:54 | → | caubert joins (~caubert@user/caubert) |
| 15:37:56 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 15:38:25 | → | puke joins (~puke@user/puke) |
| 15:38:54 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 15:42:50 | × | mikess quits (~sam@user/mikess) (Ping timeout: 252 seconds) |
| 15:44:24 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 15:44:28 | × | puke quits (~puke@user/puke) (Ping timeout: 240 seconds) |
| 15:46:29 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 15:47:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 15:48:04 | → | puke joins (~puke@user/puke) |
| 15:48:14 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 15:48:21 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 15:49:23 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 15:57:15 | → | jespada_ joins (~jespada@2800:a4:2329:2800:7176:b9c1:e0c:b5a0) |
| 15:58:10 | × | jespada quits (~jespada@2800:a4:2329:2800:4ce6:2e6:4cfb:a0e1) (Ping timeout: 248 seconds) |
| 16:04:10 | → | inline joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) |
| 16:05:08 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 16:05:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 16:05:55 | → | gmg joins (~user@user/gehmehgeh) |
| 16:13:53 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 16:14:08 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 16:15:24 | → | caubert joins (~caubert@user/caubert) |
| 16:20:14 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 16:23:27 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 16:26:00 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:29:37 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 16:31:55 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 16:33:56 | × | jespada_ quits (~jespada@2800:a4:2329:2800:7176:b9c1:e0c:b5a0) (Ping timeout: 265 seconds) |
| 16:38:58 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0) |
| 16:39:04 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:39:20 | → | caubert joins (~caubert@user/caubert) |
| 16:41:00 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:42:18 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 16:47:27 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:47:57 | × | wickedjargon quits (~user@S0106f89e28d5699a.vc.shawcable.net) (Remote host closed the connection) |
| 16:48:31 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 16:48:53 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:52:11 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 16:56:09 | → | dcompoze joins (~dcompoze@cpc97620-walt24-2-0-cust137.13-2.cable.virginm.net) |
| 16:59:32 | × | dcompoze quits (~dcompoze@cpc97620-walt24-2-0-cust137.13-2.cable.virginm.net) (Client Quit) |
| 17:02:35 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 17:04:04 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:04:19 | → | sprotte24 joins (~sprotte24@p200300d16f05730029e3edc0993e5705.dip0.t-ipconnect.de) |
| 17:08:31 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:13:12 | → | jespada joins (~jespada@2800:a4:2329:2800:5cf9:db71:e04e:bb05) |
| 17:14:16 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:31:01 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 17:35:30 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 17:37:19 | × | jespada quits (~jespada@2800:a4:2329:2800:5cf9:db71:e04e:bb05) (Ping timeout: 260 seconds) |
| 17:38:00 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 17:40:01 | → | jespada joins (~jespada@r179-25-17-19.dialup.adsl.anteldata.net.uy) |
| 17:42:01 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Client Quit) |
| 17:46:25 | → | ft joins (~ft@p3e9bcd7f.dip0.t-ipconnect.de) |
| 17:49:14 | × | undermine quits (~user@user/undermine) (Quit: Bye) |
| 17:49:15 | × | Wanderer quits (~wanderer@user/wanderer) (Quit: goodbye) |
| 17:50:07 | → | hseg joins (~gesh@46.120.20.122) |
| 17:52:10 | × | oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 17:52:13 | → | biberu joins (~biberu@user/biberu) |
| 17:52:41 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 17:53:21 | → | Wanderer joins (~wanderer@user/wanderer) |
| 17:53:21 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 18:01:54 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 18:02:30 | → | caubert joins (~caubert@user/caubert) |
| 18:08:14 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:09:22 | × | AlexNoo quits (~AlexNoo@178.34.163.39) (Remote host closed the connection) |
| 18:10:12 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:10:28 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 18:11:58 | × | AlexZenon quits (~alzenon@178.34.163.39) (Ping timeout: 240 seconds) |
| 18:12:35 | → | AlexZenon joins (~alzenon@178.34.163.39) |
| 18:14:38 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 18:21:34 | → | gmg joins (~user@user/gehmehgeh) |
| 18:23:40 | → | caubert joins (~caubert@user/caubert) |
| 18:31:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 18:34:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:36:59 | × | jespada quits (~jespada@r179-25-17-19.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
| 18:37:44 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 18:37:46 | × | kuribas quits (~user@ptr-17d51en9kylyjiql1lx.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 18:38:41 | → | jespada joins (~jespada@r179-25-17-19.dialup.adsl.anteldata.net.uy) |
| 18:39:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:44:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:48:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 18:48:50 | → | AlexNoo joins (~AlexNoo@178.34.163.39) |
| 18:53:09 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 18:54:01 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:54:15 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 18:55:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:57:34 | → | caubert joins (~caubert@user/caubert) |
| 18:58:04 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 18:59:04 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:59:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:00:05 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:45 | → | caconym747 joins (~caconym@user/caconym) |
| 19:03:24 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:04:49 | × | hseg quits (~gesh@46.120.20.122) (Ping timeout: 260 seconds) |
| 19:04:53 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 19:06:05 | → | pavonia joins (~user@user/siracusa) |
| 19:07:27 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 19:07:46 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:08:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 19:08:05 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 248 seconds) |
| 19:10:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:10:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 19:10:40 | ljdarj1 | is now known as ljdarj |
| 19:14:42 | rvalue- | is now known as rvalue |
| 19:14:46 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:14:49 | × | xnyhps quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Ping timeout: 244 seconds) |
| 19:15:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:17:32 | → | caubert joins (~caubert@user/caubert) |
| 19:19:32 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:19:46 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 19:21:53 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 19:26:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:30:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:30:26 | × | ubert quits (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 19:34:00 | → | tromp joins (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
| 19:34:03 | → | inline_ joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) |
| 19:34:03 | → | caubert joins (~caubert@user/caubert) |
| 19:34:29 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 19:37:57 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 19:40:02 | → | xnyhps joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 19:40:03 | → | traxex joins (traxex@user/traxex) |
| 19:41:07 | → | dcompoze joins (~dcompoze@cpc97620-walt24-2-0-cust137.13-2.cable.virginm.net) |
| 19:41:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:42:20 | × | dcompoze quits (~dcompoze@cpc97620-walt24-2-0-cust137.13-2.cable.virginm.net) (Client Quit) |
| 19:46:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 19:56:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:03:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:03:42 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 20:07:20 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 20:07:26 | trickard_ | is now known as trickard |
| 20:14:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:20:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 20:26:21 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:30:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:34:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:35:42 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 20:39:36 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 20:39:58 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 20:44:13 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:45:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:50:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:55:04 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 20:59:16 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 21:00:22 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 21:01:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:02:30 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 21:03:18 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 21:05:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:08:33 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 21:12:31 | × | jespada quits (~jespada@r179-25-17-19.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
| 21:12:59 | → | jespada joins (~jespada@r179-25-17-19.dialup.adsl.anteldata.net.uy) |
| 21:13:37 | × | jespada quits (~jespada@r179-25-17-19.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 21:16:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:18:00 | × | haveo quits (~weechat@pacamara.iuwt.fr) (Ping timeout: 272 seconds) |
| 21:19:05 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 21:21:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:22:13 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 21:28:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:32:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:38:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:47:11 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:50:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:53:17 | × | sp1ff``` quits (~user@c-24-21-190-184.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 21:54:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:04:09 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 22:05:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:07:19 | × | califax quits (~califax@user/califx) (Ping timeout: 244 seconds) |
| 22:08:38 | → | califax joins (~califax@user/califx) |
| 22:09:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:14:34 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 22:16:31 | → | caubert joins (~caubert@user/caubert) |
| 22:20:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:25:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:29:17 | → | jreicher joins (~user@user/jreicher) |
| 22:33:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 22:34:07 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:35:00 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:36:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:40:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:51:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:56:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:07:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:11:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:22:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:27:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:34:58 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 23:35:27 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 23:38:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:39:08 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 23:42:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:50:04 | × | sprotte24 quits (~sprotte24@p200300d16f05730029e3edc0993e5705.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:50:48 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 23:53:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:53:55 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 23:58:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:59:51 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 23:59:51 | → | infinity0 joins (~infinity0@pwned.gg) |
All times are in UTC on 2025-07-30.