| 2026-01-17 00:02:49 +0100 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2026-01-17 00:07:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 00:11:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 00:22:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 00:27:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 00:32:15 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-01-17 00:32:30 +0100 | oats | (~oats@user/oats) oats |
| 2026-01-17 00:34:28 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-01-17 00:36:54 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 00:38:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 00:40:54 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-17 00:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 00:50:40 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2026-01-17 00:52:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-01-17 00:52:50 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-01-17 00:53:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 00:56:27 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-17 01:01:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 01:05:07 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 01:05:20 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 01:08:16 +0100 | tccq | (~user@user/tccq) tccq |
| 2026-01-17 01:09:10 +0100 | <tccq> | Hi, I'm interested in poking around hardware description with haskell. What are people's thoughts between clash, lava, concat (?), and any others? |
| 2026-01-17 01:09:35 +0100 | trickard_ | trickard |
| 2026-01-17 01:12:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 01:17:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 01:17:25 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-17 01:17:31 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-01-17 01:17:48 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-17 01:25:55 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-17 01:26:06 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-17 01:27:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 01:30:55 +0100 | annamalai | (~annamalai@117.231.195.83) (Ping timeout: 264 seconds) |
| 2026-01-17 01:31:15 +0100 | annamalai | (~annamalai@117.231.195.9) annamalai |
| 2026-01-17 01:32:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 01:40:43 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 01:43:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-01-17 01:43:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 01:48:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 01:49:44 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-17 01:59:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 02:04:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 02:11:51 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.54) |
| 2026-01-17 02:13:20 +0100 | ridcully_ | (~ridcully@pd951f83e.dip0.t-ipconnect.de) ridcully |
| 2026-01-17 02:14:15 +0100 | catties | (~catties@user/meow/catties) catties |
| 2026-01-17 02:14:32 +0100 | raym_ | (~ray@user/raym) raym |
| 2026-01-17 02:14:34 +0100 | myxokephale | (~myxos@174-18-88-231.tcso.qwest.net) myxokephale |
| 2026-01-17 02:14:57 +0100 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2026-01-17 02:15:14 +0100 | Catty | (~catties@user/meow/catties) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | myxos | (~myxos@174-18-88-231.tcso.qwest.net) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | skum | (~skum@user/skum) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | ridcully | (~ridcully@pd951f83e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | carbolymer | (carbolymer@delirium.systems) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | stefan-_ | (~cri@42dots.de) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:14 +0100 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:15 +0100 | AlexNoo | (~AlexNoo@5.139.232.54) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:15 +0100 | kimiamania | (~9566fa0a@user/kimiamania) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:15 +0100 | gf31 | (~gf3@user/gf3) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:15 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:15 +0100 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:15 +0100 | noctuks | (ojyFKYpL5L@user/noctux) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:15 +0100 | constxqt | (~constxd@user/constxd) (Ping timeout: 240 seconds) |
| 2026-01-17 02:15:23 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2026-01-17 02:15:34 +0100 | constxd | (~constxd@user/constxd) constxd |
| 2026-01-17 02:15:43 +0100 | arkeet | (arkeet@moriya.ca) |
| 2026-01-17 02:16:04 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2026-01-17 02:16:10 +0100 | stefan-_ | (~cri@42dots.de) stefan-_ |
| 2026-01-17 02:16:16 +0100 | carbolymer | (~carbolyme@delirium.systems) carbolymer |
| 2026-01-17 02:16:34 +0100 | skum | (~skum@user/skum) skum |
| 2026-01-17 02:16:43 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-01-17 02:17:03 +0100 | lambdabot | (~lambdabot@int-e.eu) |
| 2026-01-17 02:17:03 +0100 | lambdabot | (~lambdabot@int-e.eu) (Changing host) |
| 2026-01-17 02:17:03 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-01-17 02:17:03 +0100 | ChanServ | +v lambdabot |
| 2026-01-17 02:17:06 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) mulk |
| 2026-01-17 02:17:07 +0100 | noctuks | (YbM1lgZBt7@user/noctux) noctux |
| 2026-01-17 02:18:20 +0100 | cptaffe` | cptaffe |
| 2026-01-17 02:20:15 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-01-17 02:20:36 +0100 | mixfix41 | (~listeners@user/mixfix41) mixfix41 |
| 2026-01-17 02:24:50 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-17 02:25:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-01-17 02:28:02 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-01-17 02:30:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 02:37:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-17 02:37:43 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-17 02:48:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 02:50:58 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2026-01-17 02:53:18 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2026-01-17 02:53:18 +0100 | omidmash1 | omidmash |
| 2026-01-17 02:53:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-17 02:54:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-17 03:04:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 03:09:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 03:11:50 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 03:20:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 03:22:07 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 03:24:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 03:32:25 +0100 | acidjnk | (~acidjnk@p200300d6e71719276ddc164bdcca8bf0.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2026-01-17 03:35:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-17 03:35:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 03:40:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 03:45:33 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-01-17 03:51:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 03:56:11 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 03:56:25 +0100 | Googulator59 | Googulator |
| 2026-01-17 03:56:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 03:59:36 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-17 04:00:19 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 04:06:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-01-17 04:07:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 04:14:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 04:25:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 04:30:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 04:35:21 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-17 04:36:18 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-01-17 04:41:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 04:41:42 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 04:45:52 +0100 | Inline | (~User@2001-4dd6-dd24-0-f7db-3cda-3b52-1dd2.ipv6dyn.netcologne.de) (Ping timeout: 246 seconds) |
| 2026-01-17 04:49:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 04:50:33 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 04:50:46 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 04:52:12 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 04:54:53 +0100 | Inline | (~User@2001-4dd6-dd24-0-8769-cf17-85e6-2644.ipv6dyn.netcologne.de) Inline |
| 2026-01-17 04:56:06 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 04:57:21 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-17 04:58:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-17 04:58:52 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-01-17 05:00:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 05:01:55 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-17 05:04:05 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2026-01-17 05:05:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 05:10:04 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 05:10:38 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-17 05:16:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 05:21:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 05:32:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 05:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 05:40:29 +0100 | mixfix41 | (~listeners@user/mixfix41) (Quit: backagain) |
| 2026-01-17 05:40:40 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 05:43:17 +0100 | trickard_ | trickard |
| 2026-01-17 05:48:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 05:54:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 06:06:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 06:10:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 06:13:49 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 06:15:23 +0100 | annamalai | (~annamalai@117.231.195.9) (Ping timeout: 244 seconds) |
| 2026-01-17 06:15:42 +0100 | annamalai | (~annamalai@117.231.195.3) annamalai |
| 2026-01-17 06:21:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 06:23:37 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 06:23:54 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 06:26:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 06:31:24 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 06:34:07 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 06:37:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 06:41:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 06:45:46 +0100 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-01-17 06:45:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 06:48:35 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-01-17 06:49:23 +0100 | annamalai | (~annamalai@117.231.195.3) (Ping timeout: 244 seconds) |
| 2026-01-17 06:49:39 +0100 | annamalai | (~annamalai@117.231.195.65) annamalai |
| 2026-01-17 06:50:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 06:51:08 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: bye) |
| 2026-01-17 06:51:22 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-17 07:00:26 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-17 07:01:06 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 07:01:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 07:06:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 07:06:51 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 07:15:10 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 07:15:41 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:3a79:510c:fa70:be22) |
| 2026-01-17 07:17:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 07:21:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 07:33:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 07:36:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-17 07:38:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 07:40:35 +0100 | annamalai | (~annamalai@117.231.195.65) (Ping timeout: 240 seconds) |
| 2026-01-17 07:41:03 +0100 | annamalai | (~annamalai@157.49.250.55) annamalai |
| 2026-01-17 07:46:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 07:51:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 08:01:43 +0100 | Square | (~Square@user/square) Square |
| 2026-01-17 08:02:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 08:02:43 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 08:03:02 +0100 | Zemy | (~Zemy@2600:100c:b02e:a039:b89a:2eff:fed9:1ab9) |
| 2026-01-17 08:04:14 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-17 08:07:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 08:07:44 +0100 | Zemy | (~Zemy@2600:100c:b02e:a039:b89a:2eff:fed9:1ab9) (Ping timeout: 260 seconds) |
| 2026-01-17 08:09:21 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-01-17 08:14:44 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2026-01-17 08:18:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 08:23:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 08:23:30 +0100 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:db0d:ddd3:e982:de94) () |
| 2026-01-17 08:25:15 +0100 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:db0d:ddd3:e982:de94) |
| 2026-01-17 08:28:44 +0100 | Guest16 | (~Guest16@45.158.127.48) |
| 2026-01-17 08:29:00 +0100 | Guest16 | (~Guest16@45.158.127.48) (Client Quit) |
| 2026-01-17 08:31:12 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-17 08:32:36 +0100 | Square3 | (~Square@user/square) Square |
| 2026-01-17 08:33:13 +0100 | kimiamania | (~b4b260c9@user/kimiamania) kimiamania |
| 2026-01-17 08:34:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 08:34:27 +0100 | Square | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2026-01-17 08:38:02 +0100 | Zemy | (~Zemy@2600:100c:b02e:a039:5cf8:baff:feaa:5e93) |
| 2026-01-17 08:38:02 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 08:38:37 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-17 08:40:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 08:42:07 +0100 | Zemy | (~Zemy@2600:100c:b02e:a039:5cf8:baff:feaa:5e93) (Ping timeout: 246 seconds) |
| 2026-01-17 08:44:08 +0100 | housemate | (~housemate@203.56.146.214) housemate |
| 2026-01-17 08:47:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 08:48:52 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-01-17 08:50:03 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-17 08:52:21 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-17 08:55:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-17 08:58:37 +0100 | AlexNoo__ | (~AlexNoo@178.34.163.50) |
| 2026-01-17 09:00:35 +0100 | Alex_delenda_est | (~al_test@5.139.232.54) (Ping timeout: 265 seconds) |
| 2026-01-17 09:01:04 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-01-17 09:01:31 +0100 | AlexZenon | (~alzenon@5.139.232.54) (Ping timeout: 264 seconds) |
| 2026-01-17 09:02:04 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.54) (Ping timeout: 246 seconds) |
| 2026-01-17 09:04:58 +0100 | AlexZenon | (~alzenon@178.34.163.50) |
| 2026-01-17 09:06:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 09:07:57 +0100 | AlexZenon_2 | (~alzenon@178.34.163.50) |
| 2026-01-17 09:08:22 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 246 seconds) |
| 2026-01-17 09:08:58 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-01-17 09:09:19 +0100 | AlexZenon | (~alzenon@178.34.163.50) (Ping timeout: 240 seconds) |
| 2026-01-17 09:10:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 09:11:30 +0100 | Alex_test_ | (~al_test@178.34.163.50) |
| 2026-01-17 09:11:58 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-01-17 09:14:06 +0100 | Zemy | (~Zemy@2600:100c:b02e:a039:1802:b7ff:fe05:7b89) |
| 2026-01-17 09:14:06 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 09:14:37 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-17 09:17:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-17 09:18:54 +0100 | Zemy | (~Zemy@2600:100c:b02e:a039:1802:b7ff:fe05:7b89) (Ping timeout: 260 seconds) |
| 2026-01-17 09:22:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 09:22:43 +0100 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2026-01-17 09:22:55 +0100 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2026-01-17 09:23:01 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-17 09:27:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 09:27:19 +0100 | Square2 | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2026-01-17 09:34:02 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 09:34:15 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 09:37:21 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-17 09:37:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 09:41:58 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-17 09:42:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 09:42:49 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-17 09:43:32 +0100 | Hardyhardhard | (~Hardyhard@user/hardyhardhard) hardyhardhard |
| 2026-01-17 09:46:53 +0100 | ridcully_ | ridcully |
| 2026-01-17 09:48:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 09:54:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 09:55:09 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 09:55:22 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 10:01:30 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 10:04:24 +0100 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:db0d:ddd3:e982:de94) (Changing host) |
| 2026-01-17 10:04:24 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-01-17 10:04:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 10:05:24 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2026-01-17 10:05:52 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 10:06:15 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-01-17 10:09:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-17 10:15:01 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 10:16:22 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 10:20:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 10:26:08 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 10:26:09 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2026-01-17 10:27:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 10:28:52 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 10:31:08 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-01-17 10:38:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 10:40:18 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-17 10:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 10:48:20 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-17 10:49:30 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-17 10:49:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 10:53:09 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2026-01-17 10:55:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 10:59:49 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2026-01-17 11:05:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 11:10:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 11:12:28 +0100 | acidjnk | (~acidjnk@p200300d6e7171955902046af4b3b27fd.dip0.t-ipconnect.de) acidjnk |
| 2026-01-17 11:13:39 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-17 11:16:38 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 11:16:52 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 11:19:04 +0100 | Hardyhardhard | (~Hardyhard@user/hardyhardhard) (Quit: Client closed) |
| 2026-01-17 11:19:19 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-17 11:21:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 11:26:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 11:28:13 +0100 | Inline | (~User@2001-4dd6-dd24-0-8769-cf17-85e6-2644.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds) |
| 2026-01-17 11:37:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 11:38:54 +0100 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-17 11:42:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 11:43:19 +0100 | sp1ff` | (~user@2601:1c2:4701:900::32d4) |
| 2026-01-17 11:44:15 +0100 | sp1ff | (~user@2601:1c2:4701:900::327f) (Ping timeout: 250 seconds) |
| 2026-01-17 11:44:40 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 11:50:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 11:56:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-17 11:57:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 11:59:09 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 11:59:22 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 12:06:59 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 12:09:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 12:09:48 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 12:10:02 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 12:13:10 +0100 | Inline | (~User@2001-4dd6-dd24-0-886a-5b51-ee9-3d0b.ipv6dyn.netcologne.de) Inline |
| 2026-01-17 12:13:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 12:14:12 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 12:15:42 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-17 12:24:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 12:28:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-01-17 12:29:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 12:29:26 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-01-17 12:29:35 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2026-01-17 12:40:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 12:43:32 +0100 | Miroboru | (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 2026-01-17 12:45:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 12:51:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 12:57:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 13:07:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:13:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 13:17:24 +0100 | trickard_ | trickard |
| 2026-01-17 13:23:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:26:17 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 13:27:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 13:31:19 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2026-01-17 13:38:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:43:05 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 13:45:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 13:47:18 +0100 | AlexNoo__ | AlexNoo |
| 2026-01-17 13:47:26 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:3a79:510c:fa70:be22) (Remote host closed the connection) |
| 2026-01-17 13:52:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:53:13 +0100 | fp | (~Thunderbi@2001-14bb-11b-8862-cedf-8b9b-bf14-e748.rev.dnainternet.fi) fp |
| 2026-01-17 13:54:14 +0100 | fp | (~Thunderbi@2001-14bb-11b-8862-cedf-8b9b-bf14-e748.rev.dnainternet.fi) (Client Quit) |
| 2026-01-17 13:54:25 +0100 | fp1 | (~Thunderbi@84-253-204-168.bb.dnainternet.fi) fp |
| 2026-01-17 13:54:31 +0100 | fp1 | (~Thunderbi@84-253-204-168.bb.dnainternet.fi) (Client Quit) |
| 2026-01-17 13:58:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 14:02:55 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 14:08:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:11:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-01-17 14:12:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-17 14:13:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-17 14:23:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-17 14:23:32 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2026-01-17 14:24:15 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-17 14:24:36 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-17 14:27:15 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 14:27:28 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 14:28:55 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-17 14:31:56 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 14:34:27 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) |
| 2026-01-17 14:34:59 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 14:37:38 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 14:38:07 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 240 seconds) |
| 2026-01-17 14:40:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:43:06 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-17 14:43:47 +0100 | trickard_ | trickard |
| 2026-01-17 14:44:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 14:49:49 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> hi! how can I get around this type error (disregarding if this snippet has any sense or not --- it's an experiment) |
| 2026-01-17 14:49:51 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/CPJSrwrMyneClYpVQHFTIqOi/Uki16-TNNYA (16 lines) |
| 2026-01-17 14:50:01 +0100 | Alex_test_ | Alex_delenda_est |
| 2026-01-17 14:50:08 +0100 | AlexZenon_2 | AlexZenon |
| 2026-01-17 14:50:22 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> or is SomeTypeRep defined on purpose to be unusable? if so, why? |
| 2026-01-17 14:50:37 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> I hope it's something trivial I'm missing |
| 2026-01-17 14:53:37 +0100 | <[exa]> | can you please pastebin the error? for IRC folks the code looks somehow unusably shortened (see topic for a good pastebin) |
| 2026-01-17 14:53:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:55:45 +0100 | <[exa]> | oh well it works with curl... :D |
| 2026-01-17 14:56:42 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 14:56:55 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 14:58:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 15:00:47 +0100 | <[exa]> | (TypeAbstractions implies TypeApplications?) |
| 2026-01-17 15:01:07 +0100 | <[exa]> | also, does it work with plain old `testEquality` ? |
| 2026-01-17 15:01:31 +0100 | <[exa]> | I doubt there's a way to patternmatch through the SomeTypeRep |
| 2026-01-17 15:02:46 +0100 | <ncf> | what are you trying to do exactly? you can't pattern match on the type of the TypeRep, since it's erased at runtime, but you can certainly use the TypeRep itself: case someTypeRep (Proxy @Double) of SomeTypeRep d -> typeRepTyCon d -- Double |
| 2026-01-17 15:05:52 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-39.mycingular.net) |
| 2026-01-17 15:08:10 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) (Ping timeout: 246 seconds) |
| 2026-01-17 15:09:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:16:01 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-17 15:16:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 15:19:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2026-01-17 15:22:37 +0100 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2026-01-17 15:23:38 +0100 | Core6067 | (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) |
| 2026-01-17 15:24:08 +0100 | Core1625 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2026-01-17 15:25:15 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-39.mycingular.net) (Ping timeout: 250 seconds) |
| 2026-01-17 15:25:54 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 15:26:59 +0100 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-17 15:27:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:28:09 +0100 | Core6067 | (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) (Ping timeout: 260 seconds) |
| 2026-01-17 15:32:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 15:37:50 +0100 | spew | (~spew@user/spew) spew |
| 2026-01-17 15:38:57 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) |
| 2026-01-17 15:38:57 +0100 | Core1625 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2026-01-17 15:39:40 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2026-01-17 15:43:16 +0100 | Core6086 | (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) |
| 2026-01-17 15:43:16 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) (Ping timeout: 255 seconds) |
| 2026-01-17 15:43:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:43:51 +0100 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) |
| 2026-01-17 15:44:04 +0100 | spew | (~spew@user/spew) (Quit: brb) |
| 2026-01-17 15:44:28 +0100 | spew | (~spew@user/spew) spew |
| 2026-01-17 15:44:41 +0100 | <Leary> | Man of Letters (Mikolaj): That type application doesn't allow you to match on the type; it just conflicts with the existential kind `k`. You can write a pattern synonym that works how you'd like, though: https://gist.github.com/LSLeary/7165377d1a28bf76aa4c0aae189a6968 |
| 2026-01-17 15:46:15 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Ping timeout: 240 seconds) |
| 2026-01-17 15:48:02 +0100 | Core6086 | (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) (Ping timeout: 265 seconds) |
| 2026-01-17 15:48:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 15:54:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:55:32 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) |
| 2026-01-17 15:57:43 +0100 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-17 15:57:45 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: amazing, that's precisely what I was looking for! |
| 2026-01-17 15:59:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 15:59:42 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> and, everybody, thank you for your replies and apologize for the formatting --- there's nothing about pastebin in the Matrix room description and I don't think I can add it; geekosaur: is this your bridge? could we add a note about pastebin? |
| 2026-01-17 16:05:18 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 16:07:09 +0100 | trickard_ | trickard |
| 2026-01-17 16:08:15 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) (Ping timeout: 245 seconds) |
| 2026-01-17 16:10:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:10:46 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 16:10:51 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) |
| 2026-01-17 16:11:26 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 16:11:56 +0100 | <geekosaur> | I don't see what's unusably shortened about the Matrix paste (at least via the bot's pastebin link) |
| 2026-01-17 16:14:25 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-17 16:14:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 16:15:21 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) (Ping timeout: 252 seconds) |
| 2026-01-17 16:18:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-17 16:19:07 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-17 16:19:20 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-17 16:19:41 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-17 16:22:55 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-17 16:26:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:31:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 16:41:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:46:10 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-17 16:47:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 16:49:25 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-17 16:50:11 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-17 16:50:34 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-17 16:55:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:59:49 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-17 17:00:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 17:00:45 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-17 17:02:08 +0100 | DetourNe- | DetourNetworkUK |
| 2026-01-17 17:04:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:06:16 +0100 | housemate | (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-17 17:08:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 17:10:16 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-17 17:10:23 +0100 | housemate | (~housemate@203.56.146.214) housemate |
| 2026-01-17 17:19:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:24:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 17:27:35 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2026-01-17 17:29:34 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-17 17:29:34 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-17 17:29:34 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-17 17:34:44 +0100 | <[exa]> | yeah might be an issue of my browser, curl worked just right |
| 2026-01-17 17:35:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:36:55 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-17 17:39:15 +0100 | <geekosaur> | I wonder if your browser doesn't treat things without HTTP headers as plain text |
| 2026-01-17 17:39:29 +0100 | <sm> | +1, the bridge's auto-pastebinned message looks good here |
| 2026-01-17 17:40:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 17:41:00 +0100 | <sm> | I think it provides normal http headers, but it's text/plain not html |
| 2026-01-17 17:43:21 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-01-17 17:46:23 +0100 | <geekosaur> | hm, right, it looks exactly like a plain text document, but devtools tells me it's html |
| 2026-01-17 17:47:33 +0100 | <sm> | devtools ? |
| 2026-01-17 17:47:39 +0100 | <sm> | I looked with curl -i and https://validator.w3.org/detailed.html |
| 2026-01-17 17:50:32 +0100 | <geekosaur> | in chrome |
| 2026-01-17 17:51:01 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-01-17 17:51:07 +0100 | <geekosaur> | also chrome is telling me there's a js script trying to run on the page. if the bridge is including that I think I'm going to eradicate it |
| 2026-01-17 17:51:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:51:43 +0100 | <geekosaur> | (if it's the browser injecting it, I think I need to do surgery on it…) |
| 2026-01-17 17:52:47 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 17:55:37 +0100 | <sm> | I don't know how a text/plain response could be responsible for that |
| 2026-01-17 17:55:47 +0100 | <geekosaur> | okay, it's my browser. (which was blocking it anyway) |
| 2026-01-17 17:56:07 +0100 | <geekosaur> | I suspect an extension |
| 2026-01-17 17:56:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 17:56:30 +0100 | <sm> | it's really a model pastebin.. the polar opposite of pastebin.com :) |
| 2026-01-17 17:56:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:58:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-17 18:01:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-17 18:01:36 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:882a:87ff:fe9c:2d5a) |
| 2026-01-17 18:01:49 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 18:02:28 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 18:02:52 +0100 | <monochrom> | Hypotheses: Chrome adds boilerplate html to contain the plain text so that the rendering engine can safely assume html input, then Chrome's devtool shows you the manufactured html; the javascript warning is always there whether it actually sees javascript or not. |
| 2026-01-17 18:03:31 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:882a:87ff:fe9c:2d5a) (Read error: Connection reset by peer) |
| 2026-01-17 18:03:35 +0100 | Core5695 | (~Zemy@2600:100c:b0a9:6e2b:dc8f:5aff:fe84:9af8) |
| 2026-01-17 18:03:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 18:07:14 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 265 seconds) |
| 2026-01-17 18:07:49 +0100 | <monochrom> | "For IRC I prefer to use curl to connect to https://web.libera.chat/" >:) |
| 2026-01-17 18:09:51 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-17 18:15:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 18:19:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 18:20:35 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary, [exa], ncf: this is what I was trying to do and it works (and is readable; thank you again!): https://github.com/Mikolaj/horde-ad/commit/8cc9c15a4fe071439038658ec4ca53f80c3d42e4 |
| 2026-01-17 18:21:53 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 18:22:52 +0100 | <EvanR> | that's some beautiful code |
| 2026-01-17 18:23:03 +0100 | <humasect> | =( |
| 2026-01-17 18:23:16 +0100 | <geekosaur> | that warning is there, but also a specific JS script is trying to run every few seconds |
| 2026-01-17 18:24:03 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 18:24:16 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 18:24:54 +0100 | <geekosaur> | I just pulled it up again and it indeed says the source is an extension… identified by internal ID, so I'll have to dig further |
| 2026-01-17 18:26:30 +0100 | <geekosaur> | got it |
| 2026-01-17 18:27:44 +0100 | <geekosaur> | it's one I installed deliberately; it looks for sites that participate in a program that contributes part of payments to selected charities |
| 2026-01-17 18:28:09 +0100 | Zemy | (~Zemy@mobile-107-80-206-95.mycingular.net) |
| 2026-01-17 18:30:20 +0100 | <[exa]> | Mikolaj: okay that paid off. |
| 2026-01-17 18:30:26 +0100 | <geekosaur> | (I suspected that was it, but I also had some site insist I install a payment processor plugin. I NOPEd out but wondered if it had maybe slipped it in anyway) |
| 2026-01-17 18:30:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 18:31:19 +0100 | Core5695 | (~Zemy@2600:100c:b0a9:6e2b:dc8f:5aff:fe84:9af8) (Ping timeout: 260 seconds) |
| 2026-01-17 18:32:09 +0100 | <haskellbridge> | <thirdofmay18081814goya> how would you implement recursive descent where you can propagate something upwards? e.g., say you're writing an interpreter and while recursing downwards you enter two try/catch scopes. the second, deeper one fails to catch an error, so it much propagate upwards to be caught by the first try/catch scope. is there any recursion scheme that specifies what this means, to "propagate upwards"? |
| 2026-01-17 18:32:22 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-01-17 18:33:57 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-17 18:34:05 +0100 | <[exa]> | geekosaur: re the pastebin, I blame the browser in the end, it was on a cellphone and computer browser works fine. No idea what happened there. |
| 2026-01-17 18:34:33 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:701a:11ff:fe19:237) |
| 2026-01-17 18:35:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 18:35:31 +0100 | <EvanR> | thirdofmayNUMBERSgoya: on its face that just sounds like folding a tree |
| 2026-01-17 18:35:57 +0100 | <EvanR> | or in the explicit recursive descent, returning something from each recursion |
| 2026-01-17 18:35:58 +0100 | <geekosaur> | I suspect it interpreted it as HTML instead of text, and the display name prefixes from the bridge and the prefix of the ghci error message as unknown tags |
| 2026-01-17 18:36:17 +0100 | Zemy | (~Zemy@mobile-107-80-206-95.mycingular.net) (Ping timeout: 244 seconds) |
| 2026-01-17 18:36:32 +0100 | <geekosaur> | maybe misparsed the ghci prompts too |
| 2026-01-17 18:36:43 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-01-17 18:37:15 +0100 | <[exa]> | yeah... firefox mobile works okay too, this one was some kindof default miui thing |
| 2026-01-17 18:37:19 +0100 | <[exa]> | </issue> |
| 2026-01-17 18:38:19 +0100 | <haskellbridge> | <thirdofmay18081814goya> EvanR: I thought that yeah this might be the proper way, felt that it is gimmicky/not conceptually simple |
| 2026-01-17 18:38:56 +0100 | <haskellbridge> | <thirdofmay18081814goya> i.e. add a conditional branch that tests whether a subcontext has provided a propagation |
| 2026-01-17 18:41:02 +0100 | <haskellbridge> | <thirdofmay18081814goya> but it might just be the proper way to do it, don't know why it feels off to me lol |
| 2026-01-17 18:41:27 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 18:42:05 +0100 | <haskellbridge> | <thirdofmay18081814goya> i feel like there should be a single statement declaring this, not two (one changing the node for one indicating that a propagation wants to go up, another to handle it) |
| 2026-01-17 18:46:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 18:51:14 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 18:51:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 18:51:52 +0100 | <EvanR> | thirdofmayNUMBERSgoya: any other way sounds like overengineering and/or OOP imperative shenanigans xD |
| 2026-01-17 18:52:23 +0100 | <EvanR> | an optional "upward propagation" is just returning a Maybe |
| 2026-01-17 18:57:41 +0100 | <haskellbridge> | <thirdofmay18081814goya> makes sense, ty! |
| 2026-01-17 18:57:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 18:58:00 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 18:58:41 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 18:59:09 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-17 19:00:24 +0100 | img | (~img@user/img) img |
| 2026-01-17 19:02:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 19:12:05 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-17 19:12:29 +0100 | trickard_ | trickard |
| 2026-01-17 19:12:30 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-01-17 19:13:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 19:14:38 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-17 19:15:30 +0100 | <geekosaur> | I was thinking that (well, ExceptT, but that's just a fancy Maybe) |
| 2026-01-17 19:16:33 +0100 | <monochrom> | thirdofmay18081814goya: If your interpreter is in a monad for exceptions (eg ExceptT like geekosaur says) then you can write it as a straightforward recursive descent. |
| 2026-01-17 19:17:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 19:18:24 +0100 | <monochrom> | Hrm I should find mine and post it. I used to teach this in my course. |
| 2026-01-17 19:22:52 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-17 19:26:15 +0100 | annamalai | (~annamalai@157.49.250.55) (Ping timeout: 240 seconds) |
| 2026-01-17 19:26:33 +0100 | annamalai | (~annamalai@117.231.194.195) annamalai |
| 2026-01-17 19:29:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 19:32:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-01-17 19:34:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 19:38:40 +0100 | Zemy | (~Zemy@mobile-107-80-206-94.mycingular.net) |
| 2026-01-17 19:38:56 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:701a:11ff:fe19:237) (Read error: Connection reset by peer) |
| 2026-01-17 19:39:12 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:e031:ceff:fe85:a620) |
| 2026-01-17 19:43:03 +0100 | Zemy | (~Zemy@mobile-107-80-206-94.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-17 19:44:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 19:44:56 +0100 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2026-01-17 19:45:56 +0100 | Zemy | (~Zemy@mobile-107-80-206-95.mycingular.net) |
| 2026-01-17 19:45:59 +0100 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Remote host closed the connection) |
| 2026-01-17 19:48:04 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:e031:ceff:fe85:a620) (Ping timeout: 255 seconds) |
| 2026-01-17 19:49:27 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-17 19:51:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 19:51:34 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-01-17 19:53:05 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:6cfa:f4ff:fe48:ea2e) |
| 2026-01-17 19:54:35 +0100 | Zemy | (~Zemy@mobile-107-80-206-95.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-17 19:58:02 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-01-17 19:58:35 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-17 19:58:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 20:02:24 +0100 | qqq | (~qqq@185.54.21.105) |
| 2026-01-17 20:03:04 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 20:04:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 20:05:40 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:6cfa:f4ff:fe48:ea2e) (Ping timeout: 246 seconds) |
| 2026-01-17 20:14:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 20:19:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |