Logs on 2025-11-04 (liberachat/#haskell)
| 00:02:53 | × | Googulator99 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 00:02:54 | × | deptype quits (~deptype@2406:b400:3a:73c2:10ec:eafe:40fd:add7) (Remote host closed the connection) |
| 00:03:09 | → | Googulator99 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 00:03:14 | → | deptype joins (~deptype@2406:b400:3a:73c2:7845:5efb:bdae:b935) |
| 00:03:41 | × | dpratt quits (~dpratt@165.225.212.181) (Quit: Client closed) |
| 00:03:52 | × | sp1ff` quits (~user@2601:1c2:4c00:6820::8bad) (Read error: Connection reset by peer) |
| 00:05:54 | → | Googulator26 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 00:06:07 | × | Googulator99 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 00:06:23 | → | dpratt joins (~dpratt@165.225.212.181) |
| 00:09:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:14:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:16:54 | × | bggd quits (~bgg@2a01:e0a:819:1510:e235:2c82:c1ae:1944) (Remote host closed the connection) |
| 00:17:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:20:02 | × | dpratt quits (~dpratt@165.225.212.181) (Quit: Client closed) |
| 00:20:36 | × | Googulator26 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 00:20:55 | → | Googulator26 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 00:22:42 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 00:22:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:23:00 | × | deptype quits (~deptype@2406:b400:3a:73c2:7845:5efb:bdae:b935) (Remote host closed the connection) |
| 00:23:12 | → | deptype joins (~deptype@2406:b400:3a:73c2:76d8:a34b:d02c:76ac) |
| 00:25:32 | × | Googulator26 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 00:25:41 | → | Googulator26 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 00:31:04 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 265 seconds) |
| 00:33:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:34:52 | → | Square2 joins (~Square@user/square) |
| 00:38:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:38:25 | × | Square quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 00:38:28 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:38:41 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 00:41:04 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 00:43:02 | × | deptype quits (~deptype@2406:b400:3a:73c2:76d8:a34b:d02c:76ac) (Remote host closed the connection) |
| 00:43:15 | → | deptype joins (~deptype@2406:b400:3a:73c2:2323:6c2c:733e:2990) |
| 00:49:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:54:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:55:27 | × | Googulator26 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 00:55:38 | → | Googulator26 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 00:59:38 | jmcantrell_ | is now known as jmcantrell |
| 01:00:36 | × | Googulator26 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 01:00:46 | → | Googulator26 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 01:04:04 | × | deptype quits (~deptype@2406:b400:3a:73c2:2323:6c2c:733e:2990) (Remote host closed the connection) |
| 01:04:17 | → | deptype joins (~deptype@2406:b400:3a:73c2:f663:b7dc:3421:7235) |
| 01:05:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:05:43 | × | xff0x quits (~xff0x@2405:6580:b080:900:c00e:d47d:697b:b3d8) (Ping timeout: 264 seconds) |
| 01:09:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 01:10:58 | → | Googulator49 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 01:11:16 | × | Googulator26 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 01:14:08 | × | otto_s quits (~user@p5b044953.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 01:15:33 | × | Googulator49 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 01:15:38 | → | Googulator35 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 01:15:42 | → | otto_s joins (~user@p5de2ffca.dip0.t-ipconnect.de) |
| 01:20:45 | → | Googulator98 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 01:20:45 | × | Googulator35 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 01:21:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:23:07 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 01:23:36 | × | deptype quits (~deptype@2406:b400:3a:73c2:f663:b7dc:3421:7235) (Remote host closed the connection) |
| 01:23:49 | → | deptype joins (~deptype@2406:b400:3a:73c2:92be:6a11:2adc:ee47) |
| 01:24:02 | × | acidjnk quits (~acidjnk@p200300d6e7171976342d0abd7c7df47c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 01:26:36 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 256 seconds) |
| 01:28:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:35:47 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 01:35:53 | → | wickedjargon joins (~user@64.114.24.74) |
| 01:39:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:43:38 | × | deptype quits (~deptype@2406:b400:3a:73c2:92be:6a11:2adc:ee47) (Remote host closed the connection) |
| 01:44:14 | → | deptype joins (~deptype@2406:b400:3a:73c2:6cdf:f439:2041:c04f) |
| 01:44:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:50:00 | → | tcard joins (~tcard@p4321039-ipxg22901hodogaya.kanagawa.ocn.ne.jp) |
| 01:55:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:56:32 | trickard_ | is now known as trickard |
| 02:00:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:03:40 | × | deptype quits (~deptype@2406:b400:3a:73c2:6cdf:f439:2041:c04f) (Remote host closed the connection) |
| 02:03:53 | → | deptype joins (~deptype@2406:b400:3a:73c2:5a0a:c251:6264:3aef) |
| 02:04:18 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 02:04:40 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 02:04:54 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:08:51 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 02:10:31 | × | jle` quits (~jle`@2603:8001:3b00:11:9c2a:c79f:75a6:347f) (Ping timeout: 264 seconds) |
| 02:11:19 | → | jle` joins (~jle`@2603:8001:3b00:11:5098:4041:9bc7:9b0d) |
| 02:11:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:13:09 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 02:13:32 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 02:14:40 | → | trickard___ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 02:15:37 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 02:16:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:20:40 | → | Googulator21 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 02:20:43 | × | Googulator98 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 02:24:12 | × | deptype quits (~deptype@2406:b400:3a:73c2:5a0a:c251:6264:3aef) (Remote host closed the connection) |
| 02:24:25 | → | deptype joins (~deptype@2406:b400:3a:73c2:99ff:db0a:d9c:13a9) |
| 02:27:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:27:25 | trickard___ | is now known as trickard |
| 02:29:29 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 02:30:02 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:30:15 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 02:34:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:40:31 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Ping timeout: 264 seconds) |
| 02:45:04 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 02:45:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:46:30 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 02:50:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:51:19 | × | Square2 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 02:59:22 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 02:59:42 | → | AlexNoo_ joins (~AlexNoo@178.34.151.83) |
| 03:01:00 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 03:01:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:01:11 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 03:02:17 | → | Digitteknohippie joins (~user@user/digit) |
| 03:02:25 | → | poscat joins (~poscat@user/poscat) |
| 03:02:48 | → | pandeyan joins (~pandeyan@135-180-53-140.fiber.dynamic.sonic.net) |
| 03:03:51 | → | ft_ joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 03:03:51 | → | ezzieygu1wuf joins (~Unknown@user/ezzieyguywuf) |
| 03:04:02 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 03:04:13 | → | machined1od joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 03:04:22 | → | kaol joins (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 03:04:29 | → | otto_s_ joins (~user@p5de2ffca.dip0.t-ipconnect.de) |
| 03:04:55 | → | fgarcia_ joins (~lei@user/fgarcia) |
| 03:06:15 | → | Xe_ joins (~Xe@perl/impostor/xe) |
| 03:06:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:07:33 | × | Lycurgus quits (~juan@user/Lycurgus) (*.net *.split) |
| 03:07:33 | × | deptype quits (~deptype@2406:b400:3a:73c2:99ff:db0a:d9c:13a9) (*.net *.split) |
| 03:07:33 | × | otto_s quits (~user@p5de2ffca.dip0.t-ipconnect.de) (*.net *.split) |
| 03:07:33 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (*.net *.split) |
| 03:07:33 | × | connrs quits (~connrs@user/connrs) (*.net *.split) |
| 03:07:33 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (*.net *.split) |
| 03:07:33 | × | ZLima12_ quits (~zlima12@user/meow/ZLima12) (*.net *.split) |
| 03:07:33 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (*.net *.split) |
| 03:07:33 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 03:07:33 | × | ouilemur quits (~jgmerritt@user/ouilemur) (*.net *.split) |
| 03:07:33 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 03:07:33 | × | poscat0x04 quits (~poscat@user/poscat) (*.net *.split) |
| 03:07:33 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split) |
| 03:07:33 | × | arahael quits (~wetfoot@user/arahael) (*.net *.split) |
| 03:07:33 | × | itaipu quits (~itaipu@168.121.97.28) (*.net *.split) |
| 03:07:33 | × | anpad quits (~pandeyan@user/anpad) (*.net *.split) |
| 03:07:33 | × | AlexNoo quits (~AlexNoo@178.34.151.83) (*.net *.split) |
| 03:07:33 | × | Xe quits (~Xe@perl/impostor/xe) (*.net *.split) |
| 03:07:34 | × | fgarcia quits (~lei@user/fgarcia) (*.net *.split) |
| 03:07:34 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (*.net *.split) |
| 03:07:34 | × | kaol_ quits (~kaol@94-237-45-144.nl-ams1.upcloud.host) (*.net *.split) |
| 03:07:34 | × | bairyn quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (*.net *.split) |
| 03:07:34 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (*.net *.split) |
| 03:07:34 | × | EvanR quits (~EvanR@user/evanr) (*.net *.split) |
| 03:07:34 | × | xal quits (~xal@mx1.xal.systems) (*.net *.split) |
| 03:07:34 | × | elenril quits (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 03:07:34 | × | tuxpaint quits (~a@2600:3c06::f03c:93ff:fea6:ef0e) (*.net *.split) |
| 03:07:34 | ft_ | is now known as ft |
| 03:07:52 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 03:07:52 | → | deptype joins (~deptype@2406:b400:3a:73c2:99ff:db0a:d9c:13a9) |
| 03:07:52 | → | ZLima12_ joins (~zlima12@user/meow/ZLima12) |
| 03:07:52 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 03:07:52 | → | arahael joins (~wetfoot@user/arahael) |
| 03:07:52 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 03:07:52 | → | EvanR joins (~EvanR@user/evanr) |
| 03:07:52 | → | xal joins (~xal@mx1.xal.systems) |
| 03:07:52 | → | elenril joins (~elenril@tutturu.khirnov.net) |
| 03:07:52 | → | tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 03:12:20 | × | deptype quits (~deptype@2406:b400:3a:73c2:99ff:db0a:d9c:13a9) (Remote host closed the connection) |
| 03:12:27 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 03:12:56 | → | deptype joins (~deptype@2406:b400:3a:73c2:6104:e6d2:da76:f875) |
| 03:14:51 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 03:16:00 | → | itaipu joins (~itaipu@168.121.97.28) |
| 03:16:03 | → | connrs joins (~connrs@user/connrs) |
| 03:16:37 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 03:16:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:18:01 | × | craunts795335385 quits (~craunts@136.158.7.194) (Ping timeout: 264 seconds) |
| 03:19:07 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 03:19:33 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 03:21:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:24:57 | → | craunts795335385 joins (~craunts@175.176.18.158) |
| 03:25:41 | × | Googulator21 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 03:25:44 | fgarcia_ | is now known as fgarcia |
| 03:25:45 | → | Googulator9 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 03:29:07 | × | ezzieygu1wuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 03:30:57 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 03:32:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:34:52 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 03:35:40 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 03:36:37 | × | td_ quits (~td@i53870934.versanet.de) (Ping timeout: 264 seconds) |
| 03:37:38 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 03:37:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:38:12 | → | td_ joins (~td@i5387092A.versanet.de) |
| 03:40:02 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 03:42:03 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 03:43:47 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 03:46:16 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 03:48:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:50:15 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 03:50:40 | → | Googulator1 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 03:50:45 | × | Googulator9 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 03:52:11 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 03:53:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 03:59:41 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 04:01:05 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 04:02:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:04:13 | × | machined1od quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 04:04:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:07:52 | × | deptype quits (~deptype@2406:b400:3a:73c2:6104:e6d2:da76:f875) (Remote host closed the connection) |
| 04:08:14 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 04:08:28 | → | deptype joins (~deptype@2406:b400:3a:73c2:5c90:e39f:a1fa:23b8) |
| 04:11:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:14:28 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:14:41 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 04:15:38 | → | Googulator47 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 04:15:40 | × | Googulator1 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 04:17:40 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:20:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 04:22:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:25:01 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 04:26:17 | × | craunts795335385 quits (~craunts@175.176.18.158) (Ping timeout: 244 seconds) |
| 04:27:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 04:27:40 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 04:27:54 | × | deptype quits (~deptype@2406:b400:3a:73c2:5c90:e39f:a1fa:23b8) (Remote host closed the connection) |
| 04:28:08 | → | deptype joins (~deptype@2406:b400:3a:73c2:ebf9:98a9:8ca:93f) |
| 04:36:40 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 04:36:54 | → | trickard joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 04:38:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:40:09 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:40:14 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 04:42:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:44:53 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 04:44:55 | → | craunts795335385 joins (~craunts@110.54.162.247) |
| 04:47:19 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 04:47:58 | × | deptype quits (~deptype@2406:b400:3a:73c2:ebf9:98a9:8ca:93f) (Remote host closed the connection) |
| 04:48:34 | → | deptype joins (~deptype@2406:b400:3a:73c2:a09e:a51d:6ae5:2e1) |
| 04:50:15 | × | jreicher quits (~user@user/jreicher) (Quit: Back soon) |
| 04:50:40 | → | Googulator12 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 04:50:44 | × | Googulator47 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 04:51:00 | Googulator12 | is now known as Googulator |
| 04:52:42 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 04:53:20 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:53:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:55:16 | → | jreicher joins (~user@user/jreicher) |
| 04:58:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:59:32 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 05:01:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:05:41 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 05:06:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:08:00 | × | deptype quits (~deptype@2406:b400:3a:73c2:a09e:a51d:6ae5:2e1) (Remote host closed the connection) |
| 05:08:39 | → | deptype joins (~deptype@2406:b400:3a:73c2:9c67:6fbb:32a9:87ef) |
| 05:09:37 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 05:13:10 | × | craunts795335385 quits (~craunts@110.54.162.247) (Quit: The Lounge - https://thelounge.chat) |
| 05:17:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:18:40 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 05:22:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:25:41 | → | Googulator71 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 05:25:42 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 05:28:24 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:28:32 | × | deptype quits (~deptype@2406:b400:3a:73c2:9c67:6fbb:32a9:87ef) (Remote host closed the connection) |
| 05:29:08 | → | deptype joins (~deptype@2406:b400:3a:73c2:fd50:bbf7:466a:c9a9) |
| 05:29:41 | → | img joins (~img@user/img) |
| 05:33:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:38:00 | → | sp1ff joins (~user@2601:1c2:4c00:6820::8bad) |
| 05:38:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:42:57 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 05:45:34 | → | amadaluzia joins (~amadaluzi@2a13:e3c1:400e:1337::664) |
| 05:48:37 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:48:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:50:46 | → | Googulator33 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 05:50:46 | × | Googulator71 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 05:52:24 | × | amadaluzia quits (~amadaluzi@2a13:e3c1:400e:1337::664) (Changing host) |
| 05:52:24 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 05:53:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:09:14 | → | wickedjargon joins (~user@64.114.24.74) |
| 06:10:51 | trickard_ | is now known as trickard |
| 06:12:51 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 06:15:41 | → | Googulator8 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 06:18:59 | × | Googulator33 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 06:20:41 | × | Googulator8 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 06:20:49 | → | Googulator8 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 06:23:49 | × | statusbot1 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 06:23:55 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 06:24:07 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds) |
| 06:24:51 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 06:28:00 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 06:38:06 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 06:40:50 | × | Googulator8 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 06:40:53 | → | Googulator88 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 06:44:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:45:09 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:45:22 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 06:51:48 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 06:52:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 06:52:09 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 06:52:27 | <dminuoso> | davean: I know, the issue is related/similar. |
| 06:52:55 | <dminuoso> | That said, haskell.nix has relatively few abstraction leaks. |
| 06:53:17 | <dminuoso> | It works surprisingly well for both nix builds and just shell initiated `cabal build` at the same time. |
| 06:54:53 | meinside- | is now known as meinside |
| 06:54:53 | × | synchromesh quits (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) (Read error: Connection reset by peer) |
| 06:54:55 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 06:56:01 | → | synchromesh joins (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) |
| 07:00:55 | × | Googulator88 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 07:00:57 | → | Googulator97 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 07:02:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:05:57 | × | Googulator97 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 07:06:05 | → | Googulator42 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 07:06:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 07:07:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 07:09:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:16:31 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 07:20:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:22:13 | × | annamalai quits (~annamalai@157.32.113.145) (Ping timeout: 264 seconds) |
| 07:24:47 | × | wickedjargon quits (~user@64.114.24.74) (Ping timeout: 250 seconds) |
| 07:25:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:29:13 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 07:32:54 | → | cyphase joins (~cyphase@user/cyphase) |
| 07:34:54 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:35:51 | → | wickedjargon joins (~user@64.114.24.74) |
| 07:36:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:36:45 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 07:38:49 | → | Flow joins (~none@gentoo/developer/flow) |
| 07:41:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:51:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:52:10 | → | akegalj joins (~akegalj@78-2-216-143.adsl.net.t-com.hr) |
| 07:54:35 | → | kenran joins (~void@user/kenran) |
| 07:56:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:57:43 | → | annamalai joins (~annamalai@157.32.112.75) |
| 08:01:26 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 08:02:11 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:03:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:03:49 | → | generalcook joins (~Cook@user/generalcook) |
| 08:05:21 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:08:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:08:58 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 08:11:22 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 08:15:41 | → | Googulator5 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 08:15:48 | × | Googulator42 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 08:19:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:20:07 | trickard_ | is now known as trickard |
| 08:22:09 | × | generalcook quits (~Cook@user/generalcook) (Quit: Leaving) |
| 08:23:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 08:24:08 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 08:25:53 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 08:26:46 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 08:29:01 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:33:51 | → | tromp joins (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 08:35:58 | × | Googulator5 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 08:36:02 | → | Googulator69 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 08:40:42 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 08:46:21 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 08:48:31 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 08:50:35 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 08:55:29 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:56:18 | → | acidjnk joins (~acidjnk@p200300d6e7171976342d0abd7c7df47c.dip0.t-ipconnect.de) |
| 09:05:18 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 09:05:25 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 09:05:36 | → | Googulator54 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 09:05:37 | × | Googulator69 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 09:05:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 09:05:43 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 09:06:09 | divlamir_ | is now known as divlamir |
| 09:09:14 | → | merijn joins (~merijn@77.242.116.146) |
| 09:11:05 | AlexNoo_ | is now known as AlexNoo |
| 09:18:37 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 09:19:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 09:22:16 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:22:29 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 09:22:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 09:23:56 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 09:25:39 | → | Googulator60 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 09:26:12 | × | Googulator54 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 09:27:09 | → | merijn joins (~merijn@77.242.116.146) |
| 09:30:33 | → | FirefoxDeHuk joins (~FirefoxDe@85.198.134.23) |
| 09:30:50 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 09:31:08 | × | FirefoxDeHuk quits (~FirefoxDe@85.198.134.23) (Write error: Broken pipe) |
| 09:36:03 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 09:36:54 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 09:37:23 | → | merijn joins (~merijn@77.242.116.146) |
| 09:40:38 | → | califax joins (~califax@user/califx) |
| 09:42:18 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:45:00 | → | merijn joins (~merijn@77.242.116.146) |
| 09:45:39 | → | Googulator25 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 09:45:40 | × | Googulator60 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 09:49:57 | trickard_ | is now known as trickard |
| 09:51:22 | × | Googulator25 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 09:51:33 | → | tremon joins (~tremon@83.80.159.219) |
| 09:51:38 | → | Googulator25 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 09:55:41 | × | Googulator25 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 09:55:44 | → | Googulator15 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 09:59:42 | × | gustrb quits (~gustrb@user/gustrb) (Quit: gustrb) |
| 10:00:06 | → | gustrb joins (~gustrb@191.243.134.87) |
| 10:00:36 | × | gustrb quits (~gustrb@191.243.134.87) (Changing host) |
| 10:00:36 | → | gustrb joins (~gustrb@user/gustrb) |
| 10:15:41 | → | Googulator54 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 10:15:46 | × | Googulator15 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 10:27:24 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:33:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 10:34:04 | × | Googulator54 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 10:34:26 | → | Googulator54 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 10:48:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 10:52:07 | → | merijn joins (~merijn@77.242.116.146) |
| 10:54:36 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:55:20 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 10:57:35 | ridcully_ | is now known as ridcully |
| 10:59:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 11:02:22 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 11:02:47 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 11:03:45 | × | synchromesh quits (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) (Read error: Connection reset by peer) |
| 11:04:41 | → | synchromesh joins (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) |
| 11:04:53 | × | jreicher quits (~user@user/jreicher) (Quit: brb) |
| 11:06:10 | → | jreicher joins (~user@user/jreicher) |
| 11:22:13 | Digitteknohippie | is now known as Digit |
| 11:23:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 11:24:41 | → | merijn joins (~merijn@77.242.116.146) |
| 11:31:26 | → | xff0x joins (~xff0x@2405:6580:b080:900:b8d3:535b:6331:cc78) |
| 11:34:16 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 11:34:45 | → | merijn joins (~merijn@77.242.116.146) |
| 11:35:27 | → | __monty__ joins (~toonn@user/toonn) |
| 11:39:10 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 256 seconds) |
| 11:39:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 11:40:00 | → | merijn joins (~merijn@77.242.116.146) |
| 11:43:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 11:48:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 11:49:49 | → | merijn joins (~merijn@77.242.116.146) |
| 11:54:31 | × | akegalj quits (~akegalj@78-2-216-143.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 12:07:12 | → | akegalj joins (~akegalj@212.15.178.32) |
| 12:09:34 | × | Vajb quits (~Vajb@n60ck02t8pyq870qtsc-1.v6.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 12:14:31 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:15:44 | → | Googulator82 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 12:15:44 | × | Googulator54 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 12:21:37 | trickard_ | is now known as trickard |
| 12:22:34 | × | akegalj quits (~akegalj@212.15.178.32) (Read error: Connection reset by peer) |
| 12:26:00 | × | Googulator82 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 12:26:06 | → | Googulator12 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 12:26:31 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:30:49 | → | Googulator97 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 12:30:49 | × | Googulator12 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 12:31:42 | <mreh> | WriterT [ByteString] ExprM a -- why is GHC insisting I fully saturate the type synonym ExprM? |
| 12:33:29 | <mreh> | "typecheck: • The type synonym ‘ExprM’ should have 1 argument, but has been given none" |
| 12:33:44 | <mreh> | am I missing an extension? |
| 12:34:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:35:45 | <mreh> | Nevermind, I'd defined it as `type ExprM a = ...` |
| 12:35:57 | <mreh> | subtle distinction perhaps? |
| 12:36:34 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:36:56 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 12:38:40 | <merijn> | mreh: You can't elide arguments to `type` aliases as that requires treating them as type-level functions |
| 12:38:56 | <merijn> | mreh: Which GHC's type-checker (intentionally) does not support |
| 12:40:36 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 12:44:32 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:45:25 | × | Googulator97 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 12:45:36 | → | Googulator97 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 12:47:06 | × | wickedjargon quits (~user@64.114.24.74) (Ping timeout: 252 seconds) |
| 12:47:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 12:49:33 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 12:50:03 | → | bggd joins (~bgg@2a01:e0a:819:1510:5fce:dd4e:6143:f2ae) |
| 12:50:36 | × | Googulator97 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 12:50:46 | → | Googulator97 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 12:55:39 | → | Square2 joins (~Square@user/square) |
| 13:00:34 | × | deptype quits (~deptype@2406:b400:3a:73c2:fd50:bbf7:466a:c9a9) (Remote host closed the connection) |
| 13:00:54 | → | deptype joins (~deptype@2406:b400:3a:73c2:dea6:cbd0:e1b4:ab7b) |
| 13:01:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:04:29 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 13:07:27 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 13:12:54 | → | akegalj joins (~akegalj@78-1-55-1.adsl.net.t-com.hr) |
| 13:14:40 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:f406:f8ff:fe1b:cd44) |
| 13:16:19 | ← | nerdychip parts (~nerdychip@user/nerdychip) (WeeChat 3.8) |
| 13:16:47 | × | Core3653 quits (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 13:20:39 | × | Googulator97 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 13:20:45 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 13:21:00 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 13:24:56 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:25:11 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 13:27:55 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:29:32 | → | Zemy_ joins (~Zemy@mobile-107-80-206-31.mycingular.net) |
| 13:32:24 | → | Core7452 joins (~Zemy@mobile-107-80-206-31.mycingular.net) |
| 13:32:37 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:f406:f8ff:fe1b:cd44) (Ping timeout: 255 seconds) |
| 13:32:53 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 13:32:54 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 13:35:38 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 13:35:41 | → | Googulator3 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 13:36:10 | × | Zemy_ quits (~Zemy@mobile-107-80-206-31.mycingular.net) (Ping timeout: 256 seconds) |
| 13:37:35 | Googulator3 | is now known as Googulator |
| 13:41:58 | → | FANTOM joins (~fantom@212.228.181.156) |
| 13:42:37 | × | deptype quits (~deptype@2406:b400:3a:73c2:dea6:cbd0:e1b4:ab7b) (Remote host closed the connection) |
| 13:42:55 | → | deptype joins (~deptype@2406:b400:3a:73c2:47b4:702e:65f3:4eb0) |
| 13:45:28 | → | Zemy joins (~Zemy@mobile-107-80-206-20.mycingular.net) |
| 13:45:43 | → | qqe joins (~qqq@185.54.21.203) |
| 13:46:11 | → | Zemy_ joins (~Zemy@2600:100c:b0a8:c287:c425:38ff:fe88:bc94) |
| 13:48:39 | × | Core7452 quits (~Zemy@mobile-107-80-206-31.mycingular.net) (Ping timeout: 260 seconds) |
| 13:49:48 | × | Zemy quits (~Zemy@mobile-107-80-206-20.mycingular.net) (Ping timeout: 252 seconds) |
| 13:53:43 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:53:58 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 13:55:07 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 14:02:14 | × | kenran quits (~void@user/kenran) (Remote host closed the connection) |
| 14:03:09 | × | deptype quits (~deptype@2406:b400:3a:73c2:47b4:702e:65f3:4eb0) (Remote host closed the connection) |
| 14:03:33 | → | deptype joins (~deptype@2406:b400:3a:73c2:572b:64cc:9762:c3ca) |
| 14:06:29 | → | tromp joins (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 14:10:42 | → | Googulator36 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 14:10:43 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:10:50 | Googulator36 | is now known as Googulator |
| 14:11:06 | × | FANTOM quits (~fantom@212.228.181.156) (Quit: Connection error?!) |
| 14:15:07 | trickard_ | is now known as trickard |
| 14:16:53 | → | ubert joins (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) |
| 14:22:53 | → | Square joins (~Square4@user/square) |
| 14:23:06 | → | ystael joins (~ystael@user/ystael) |
| 14:24:11 | × | deptype quits (~deptype@2406:b400:3a:73c2:572b:64cc:9762:c3ca) (Remote host closed the connection) |
| 14:24:42 | × | Zemy_ quits (~Zemy@2600:100c:b0a8:c287:c425:38ff:fe88:bc94) (Read error: Connection reset by peer) |
| 14:24:47 | → | deptype joins (~deptype@2406:b400:3a:73c2:8b5b:67d4:89ae:cc0) |
| 14:24:58 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:98c0:c1ff:fec2:8301) |
| 14:25:39 | → | Googulator18 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 14:25:46 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:26:06 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 14:26:28 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 14:27:55 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 14:30:23 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 14:30:51 | → | Googulator85 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 14:31:21 | × | Googulator18 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:32:10 | → | Flow joins (~none@gentoo/developer/flow) |
| 14:32:42 | → | Zemy_ joins (~Zemy@mobile-107-80-206-31.mycingular.net) |
| 14:33:25 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:98c0:c1ff:fec2:8301) (Read error: Connection reset by peer) |
| 14:35:45 | → | chele joins (~chele@user/chele) |
| 14:44:13 | × | deptype quits (~deptype@2406:b400:3a:73c2:8b5b:67d4:89ae:cc0) (Remote host closed the connection) |
| 14:44:33 | → | deptype joins (~deptype@2406:b400:3a:73c2:d925:3a88:60a4:e8cd) |
| 14:45:27 | × | Googulator85 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:45:29 | → | wickedjargon joins (~user@64.114.24.74) |
| 14:45:38 | → | Googulator85 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 14:46:22 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:8c10:57ff:fef1:50f6) |
| 14:50:28 | × | Zemy_ quits (~Zemy@mobile-107-80-206-31.mycingular.net) (Ping timeout: 255 seconds) |
| 14:51:02 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:51:16 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 14:54:06 | → | weary-traveler joins (~user@user/user363627) |
| 14:54:21 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 14:54:59 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
| 14:56:04 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 14:56:23 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 14:57:54 | → | prdak joins (~Thunderbi@user/prdak) |
| 14:58:58 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:8c10:57ff:fef1:50f6) (Ping timeout: 246 seconds) |
| 15:03:41 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 15:04:16 | × | deptype quits (~deptype@2406:b400:3a:73c2:d925:3a88:60a4:e8cd) (Remote host closed the connection) |
| 15:04:29 | → | deptype joins (~deptype@2406:b400:3a:73c2:3175:c988:39e6:a131) |
| 15:05:56 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 15:06:06 | aku_ | is now known as aku |
| 15:06:40 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 15:07:27 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 15:08:06 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 15:08:43 | → | Flow joins (~none@gentoo/developer/flow) |
| 15:08:50 | → | Everything joins (~Everythin@88.155.40.206) |
| 15:10:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 15:10:31 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 15:11:04 | → | merijn joins (~merijn@77.242.116.146) |
| 15:12:27 | × | synchromesh quits (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) (Read error: Connection reset by peer) |
| 15:13:21 | → | synchromesh joins (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) |
| 15:24:21 | × | deptype quits (~deptype@2406:b400:3a:73c2:3175:c988:39e6:a131) (Remote host closed the connection) |
| 15:24:59 | <kaol> | Would anyone have an idea how to fix https://github.com/deemp/servant-queryparam/issues/1? I'm getting lost with all this GHC generics stuff. |
| 15:25:03 | → | deptype joins (~deptype@2406:b400:3a:73c2:a915:dab7:6b73:f640) |
| 15:25:18 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 15:26:02 | → | Flow joins (~none@gentoo/developer/flow) |
| 15:26:22 | → | Jackneill joins (~Jackneill@94-21-46-31.pool.digikabel.hu) |
| 15:28:31 | × | Jackneill_ quits (~Jackneill@94-21-15-240.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 15:28:43 | × | Jackneill quits (~Jackneill@94-21-46-31.pool.digikabel.hu) (Max SendQ exceeded) |
| 15:29:09 | → | Jackneill joins (~Jackneill@94-21-46-31.pool.digikabel.hu) |
| 15:31:03 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 15:32:05 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 15:32:27 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 15:32:56 | <chromoblob> | "GHC's typechecker intentionally does not support treating type aliases as type-level functions" why? |
| 15:33:35 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 15:33:54 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 15:34:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:34:14 | × | Jackneill quits (~Jackneill@94-21-46-31.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 15:37:35 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 15:37:46 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:37:56 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 15:40:02 | <kaol> | I may have fixed it. The HasLink (a :> sub) constraint looked suspicious and removing it and copying over the implementation from Servant.Links instead of trying to use toLink with a Proxy seems to work. |
| 15:40:10 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Max SendQ exceeded) |
| 15:40:40 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 15:42:05 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 15:42:32 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 15:44:31 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Max SendQ exceeded) |
| 15:44:42 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:7620:a814:81ca:1405) |
| 15:44:54 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 15:45:01 | × | deptype quits (~deptype@2406:b400:3a:73c2:a915:dab7:6b73:f640) (Remote host closed the connection) |
| 15:49:33 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:4054:69ff:fe6f:ba19) |
| 15:51:22 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 15:52:09 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 15:52:25 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 15:52:34 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 15:58:33 | → | jackneill__ joins (~Jackneill@188-143-82-32.pool.digikabel.hu) |
| 16:01:15 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 16:04:56 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:7620:a814:81ca:1405) (Remote host closed the connection) |
| 16:05:15 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:05:31 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:16ee:40ed:bc66:c8a) |
| 16:09:51 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 16:10:31 | → | Flow joins (~none@gentoo/developer/flow) |
| 16:11:56 | → | Zemy_ joins (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 16:15:17 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:4054:69ff:fe6f:ba19) (Ping timeout: 260 seconds) |
| 16:15:39 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 16:15:45 | × | Googulator85 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 16:19:37 | × | akegalj quits (~akegalj@78-1-55-1.adsl.net.t-com.hr) (Quit: leaving) |
| 16:20:36 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:e0d3:9bff:fe8d:1ac5) |
| 16:22:31 | <merijn> | chromoblob: Because type-level functions without restrictions makes type checking undecidable |
| 16:23:11 | <merijn> | chromoblob: The TypeFamilies extension gives you a limited form of type-level functions |
| 16:23:48 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:24:22 | × | Zemy_ quits (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 246 seconds) |
| 16:24:58 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:16ee:40ed:bc66:c8a) (Remote host closed the connection) |
| 16:25:11 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:6814:5db7:263e:812e) |
| 16:29:46 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 16:34:51 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 16:35:57 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 16:36:07 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 16:37:32 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:38:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:41:24 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 16:43:37 | → | EvanR joins (~EvanR@user/evanr) |
| 16:45:00 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:6814:5db7:263e:812e) (Remote host closed the connection) |
| 16:45:14 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:d1d7:690a:17de:8f6e) |
| 16:48:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 16:49:16 | × | Dhark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 255 seconds) |
| 16:50:49 | → | daveyjohnslocker joins (~koriome@rover-213-218.rovernet.mtu.edu) |
| 16:51:20 | → | tromp joins (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 16:56:06 | → | Googulator82 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 16:56:26 | × | daveyjohnslocker quits (~koriome@rover-213-218.rovernet.mtu.edu) (Quit: Leaving) |
| 16:56:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:57:47 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 17:00:49 | → | Googulator69 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 17:00:51 | × | Googulator82 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 17:06:59 | Googulator69 | is now known as Googulator |
| 17:08:02 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:08:15 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 17:08:56 | → | Square2 joins (~Square@user/square) |
| 17:12:37 | × | Square quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 17:12:43 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 17:19:54 | × | comonad quits (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 17:20:46 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 17:20:56 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 17:23:40 | → | Zemy_ joins (~Zemy@mobile-107-80-206-9.mycingular.net) |
| 17:24:10 | × | bggd quits (~bgg@2a01:e0a:819:1510:5fce:dd4e:6143:f2ae) (Quit: std::move) |
| 17:24:30 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 17:25:00 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:25:28 | → | Core5914 joins (~Zemy@12.50.228.210) |
| 17:25:52 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:e0d3:9bff:fe8d:1ac5) (Ping timeout: 260 seconds) |
| 17:27:56 | × | Zemy_ quits (~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 256 seconds) |
| 17:29:28 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 17:33:41 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 17:34:37 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 17:35:01 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:558c:d99e:4747:d808) |
| 17:35:01 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:558c:d99e:4747:d808) (Changing host) |
| 17:35:01 | → | arandombit joins (~arandombi@user/arandombit) |
| 17:35:11 | → | poscat0x04 joins (~poscat@user/poscat) |
| 17:35:35 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 17:35:44 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 17:35:47 | × | comonad quits (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 17:35:51 | → | Chromakopia joins (~Chromakop@216.45.16.220) |
| 17:36:40 | × | Chromakopia quits (~Chromakop@216.45.16.220) (Client Quit) |
| 17:37:11 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 17:40:51 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 17:40:56 | → | Googulator61 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 17:43:30 | × | Everything quits (~Everythin@88.155.40.206) (Read error: Connection reset by peer) |
| 17:44:10 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:ab:5eff:fe32:cebc) |
| 17:44:10 | × | Core5914 quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 17:45:01 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 17:45:44 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 17:46:56 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 17:48:59 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:ab:5eff:fe32:cebc) (Ping timeout: 260 seconds) |
| 17:48:59 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 17:49:02 | → | Core7560 joins (~Zemy@2600:100c:b0a8:c287:6c9d:22ff:fe3b:a202) |
| 17:49:30 | → | Zemy joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 17:49:55 | × | Core7560 quits (~Zemy@2600:100c:b0a8:c287:6c9d:22ff:fe3b:a202) (Read error: Connection reset by peer) |
| 17:50:24 | → | Zemy_ joins (~Zemy@2600:100c:b0a8:c287:a0dd:a4ff:fe1c:ba6a) |
| 17:51:00 | → | Core8958 joins (~Zemy@mobile-107-80-206-16.mycingular.net) |
| 17:53:43 | × | Zemy quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 17:55:02 | × | Zemy_ quits (~Zemy@2600:100c:b0a8:c287:a0dd:a4ff:fe1c:ba6a) (Ping timeout: 260 seconds) |
| 17:55:35 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 17:56:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:56:42 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:70f6:deff:fe8e:a13a) |
| 17:57:18 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 18:00:23 | × | Core8958 quits (~Zemy@mobile-107-80-206-16.mycingular.net) (Ping timeout: 265 seconds) |
| 18:03:51 | Googulator61 | is now known as Googulator |
| 18:09:32 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:d1d7:690a:17de:8f6e) (Remote host closed the connection) |
| 18:10:07 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:5384:4bf8:8748:9660) |
| 18:13:58 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 18:15:30 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 18:15:43 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 18:21:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:22:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:24:19 | → | califax joins (~califax@user/califx) |
| 18:25:33 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:28:37 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:29:34 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:5384:4bf8:8748:9660) (Remote host closed the connection) |
| 18:29:52 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:bb6:fb9d:e6da:efc7) |
| 18:30:45 | → | califax joins (~califax@user/califx) |
| 18:30:57 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 18:31:14 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 18:31:55 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:35:35 | → | califax_ joins (~califax@user/califx) |
| 18:35:58 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:36:50 | califax_ | is now known as califax |
| 18:37:13 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:37:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 18:38:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 18:47:29 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:48:56 | → | califax joins (~califax@user/califx) |
| 18:49:00 | → | Zemy_ joins (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 18:50:06 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:bb6:fb9d:e6da:efc7) (Remote host closed the connection) |
| 18:50:18 | × | tromp quits (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:50:25 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:eb7d:8a92:d5d4:b892) |
| 18:52:47 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:70f6:deff:fe8e:a13a) (Ping timeout: 260 seconds) |
| 18:54:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 18:54:35 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:55:35 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 18:55:38 | → | Googulator42 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 18:56:42 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:57:41 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:442b:4aff:fe10:1419) |
| 18:58:38 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:00:00 | × | Zemy_ quits (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 252 seconds) |
| 19:00:36 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:00:36 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 19:00:49 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 19:02:32 | → | gorignak joins (~gorignak@user/gorignak) |
| 19:03:59 | → | califax joins (~califax@user/califx) |
| 19:04:12 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:05:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 19:06:19 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 19:06:41 | → | califax joins (~califax@user/califx) |
| 19:07:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:08:48 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:442b:4aff:fe10:1419) (Ping timeout: 256 seconds) |
| 19:08:50 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 19:10:07 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 19:10:08 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:eb7d:8a92:d5d4:b892) (Remote host closed the connection) |
| 19:10:25 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:ca03:94ac:cec5:6132) |
| 19:10:58 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 19:14:52 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:16:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 19:16:50 | → | califax joins (~califax@user/califx) |
| 19:20:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:20:40 | trickard_ | is now known as trickard |
| 19:20:49 | → | Googulator18 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 19:21:26 | × | Googulator42 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 19:21:27 | × | synchromesh quits (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) (Read error: Connection reset by peer) |
| 19:22:16 | → | synchromesh joins (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) |
| 19:30:10 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:ca03:94ac:cec5:6132) (Remote host closed the connection) |
| 19:30:45 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:df1d:3a6b:9cb4:aecf) |
| 19:31:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:32:57 | → | tromp joins (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 19:33:02 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:35:37 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 19:36:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:37:42 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 19:42:39 | → | Square joins (~Square4@user/square) |
| 19:46:13 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 19:50:16 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:df1d:3a6b:9cb4:aecf) (Remote host closed the connection) |
| 19:50:51 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:a0f9:bf5c:30ad:929d) |
| 19:51:02 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:52:06 | → | califax joins (~califax@user/califx) |
| 19:55:20 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:56:48 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 19:57:51 | → | califax joins (~califax@user/califx) |
| 20:02:58 | <tomsmeding> | (that still need to be fully-applied) |
| 20:03:18 | <tomsmeding> | (but they can do case analysis like a normal function can, instead of just giving an alias) |
| 20:05:27 | × | Googulator18 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 20:05:33 | → | Googulator85 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 20:10:18 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:a0f9:bf5c:30ad:929d) (Remote host closed the connection) |
| 20:10:37 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:f683:d003:dd3e:9564) |
| 20:10:43 | → | Googulator22 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 20:10:54 | × | Googulator85 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 20:11:46 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 20:14:06 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 20:14:34 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 20:15:40 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:15:47 | → | Googulator32 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 20:15:55 | × | Googulator22 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 20:17:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Client Quit) |
| 20:17:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:17:32 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:24:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:30:50 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:f683:d003:dd3e:9564) (Remote host closed the connection) |
| 20:31:26 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:3e1f:95c:2e52:2d3a) |
| 20:31:51 | → | Xe joins (~Xe@perl/impostor/xe) |
| 20:33:07 | × | Xe_ quits (~Xe@perl/impostor/xe) (Ping timeout: 260 seconds) |
| 20:33:38 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 20:34:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:39:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:42:40 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 20:42:55 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 20:43:33 | → | Square2 joins (~Square@user/square) |
| 20:46:42 | × | Square quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 20:47:25 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 20:48:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 20:50:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:50:52 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:3e1f:95c:2e52:2d3a) (Remote host closed the connection) |
| 20:51:12 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:dea9:b1aa:4b12:3b9) |
| 20:54:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 20:58:53 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 21:04:13 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 21:05:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:07:15 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 21:07:18 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Remote host closed the connection) |
| 21:09:16 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 21:09:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:10:54 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:dea9:b1aa:4b12:3b9) (Remote host closed the connection) |
| 21:11:14 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:23d7:5425:eae4:d351) |
| 21:18:37 | × | finsternis quits (~X@23.226.237.192) (Remote host closed the connection) |
| 21:19:20 | → | gmg joins (~user@user/gehmehgeh) |
| 21:20:38 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 21:20:39 | × | Googulator32 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 21:20:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:21:55 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 264 seconds) |
| 21:24:37 | → | infinity0 joins (~infinity0@pwned.gg) |
| 21:25:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 21:25:28 | → | Guest23 joins (~Guest23@192.139.27.23) |
| 21:25:38 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 21:25:42 | → | Googulator47 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 21:30:21 | → | 079AAG8KC joins (~nlgger_ma@192.139.27.23) |
| 21:30:37 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 264 seconds) |
| 21:30:50 | × | 079AAG8KC quits (~nlgger_ma@192.139.27.23) (Remote host closed the connection) |
| 21:31:01 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:23d7:5425:eae4:d351) (Remote host closed the connection) |
| 21:31:37 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:cafc:730:a982:24fe) |
| 21:33:00 | → | 079AAG8KO joins (~N199er_ma@192.139.27.23) |
| 21:33:32 | × | 079AAG8KO quits (~N199er_ma@192.139.27.23) (Client Quit) |
| 21:35:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:40:17 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 21:40:17 | × | divlamir quits (~divlamir@user/divlamir) (*.net *.split) |
| 21:40:17 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 21:40:17 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 21:40:17 | × | AlexNoo quits (~AlexNoo@178.34.151.83) (*.net *.split) |
| 21:40:17 | × | ss4 quits (~wootehfoo@user/wootehfoot) (*.net *.split) |
| 21:40:17 | × | AlexZenon quits (~alzenon@178.34.151.83) (*.net *.split) |
| 21:40:17 | × | ski quits (~ski@remote11.chalmers.se) (*.net *.split) |
| 21:40:17 | × | monochrom quits (trebla@216.138.220.146) (*.net *.split) |
| 21:40:17 | × | tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split) |
| 21:40:17 | × | yaroot quits (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) (*.net *.split) |
| 21:40:17 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 21:40:17 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 21:40:17 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (*.net *.split) |
| 21:40:17 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split) |
| 21:40:17 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 21:40:17 | × | m_a_r_k quits (~m_a_r_k@archlinux/support/mark) (*.net *.split) |
| 21:40:17 | × | alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 21:40:18 | × | phm quits (~peter@user/phm) (*.net *.split) |
| 21:40:18 | × | mauke quits (~mauke@user/mauke) (*.net *.split) |
| 21:40:18 | × | xdej quits (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 21:40:18 | × | echoreply1 quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (*.net *.split) |
| 21:40:18 | × | _0xa quits (~user@user/0xa/x-3134607) (*.net *.split) |
| 21:40:18 | × | adamCS quits (~adamCS@70.19.85.77) (*.net *.split) |
| 21:40:18 | × | xerox quits (~edi@user/edi) (*.net *.split) |
| 21:40:18 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 21:40:18 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 21:40:18 | × | 068AABI46 quits (~wz1000@2a01:4f9:c012:de50::1) (*.net *.split) |
| 21:40:18 | × | nitrix quits (~nitrix@user/meow/nitrix) (*.net *.split) |
| 21:40:18 | × | thaumavorio_ quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 21:40:18 | × | j0lol quits (~j0lol@132.145.17.236) (*.net *.split) |
| 21:40:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:41:42 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 21:41:42 | → | divlamir joins (~divlamir@user/divlamir) |
| 21:41:42 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 21:41:42 | → | Digit joins (~user@user/digit) |
| 21:41:42 | → | AlexNoo joins (~AlexNoo@178.34.151.83) |
| 21:41:42 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 21:41:42 | → | AlexZenon joins (~alzenon@178.34.151.83) |
| 21:41:42 | → | ski joins (~ski@remote11.chalmers.se) |
| 21:41:42 | → | monochrom joins (trebla@216.138.220.146) |
| 21:41:42 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 21:41:42 | → | yaroot joins (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) |
| 21:41:42 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 21:41:42 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 21:41:42 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 21:41:42 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 21:41:42 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 21:41:42 | → | m_a_r_k joins (~m_a_r_k@archlinux/support/mark) |
| 21:41:42 | → | alanz joins (sid110616@id-110616.uxbridge.irccloud.com) |
| 21:41:42 | → | phm joins (~peter@user/phm) |
| 21:41:42 | → | mauke joins (~mauke@user/mauke) |
| 21:41:42 | → | xdej joins (~xdej@quatramaran.salle-s.org) |
| 21:41:42 | → | echoreply1 joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 21:41:42 | → | _0xa joins (~user@user/0xa/x-3134607) |
| 21:41:42 | → | adamCS joins (~adamCS@70.19.85.77) |
| 21:41:42 | → | xerox joins (~edi@user/edi) |
| 21:41:42 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 21:41:42 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 21:41:42 | → | 068AABI46 joins (~wz1000@2a01:4f9:c012:de50::1) |
| 21:41:42 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 21:41:42 | → | thaumavorio_ joins (~thaumavor@thaumavor.io) |
| 21:41:42 | → | j0lol joins (~j0lol@132.145.17.236) |
| 21:44:22 | × | AlexZenon quits (~alzenon@178.34.151.83) (Ping timeout: 254 seconds) |
| 21:45:12 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 21:45:55 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 21:46:48 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 21:48:01 | → | AlexZenon joins (~alzenon@178.34.151.83) |
| 21:50:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:51:04 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:cafc:730:a982:24fe) (Remote host closed the connection) |
| 21:51:39 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:6533:cde4:9af7:c9c0) |
| 21:53:24 | jmcantrell_ | is now known as jmcantrell |
| 21:55:12 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:55:25 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 21:55:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:57:42 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 21:58:55 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 22:06:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:11:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:11:35 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:6533:cde4:9af7:c9c0) (Remote host closed the connection) |
| 22:12:11 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:16d9:ed3b:cd10:836f) |
| 22:12:38 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:12:48 | → | Guest75 joins (~Guest75@201.141.117.202) |
| 22:13:26 | × | Guest75 quits (~Guest75@201.141.117.202) (Client Quit) |
| 22:14:36 | → | Vajb joins (~Vajb@n60ck02t8pyq870qtsc-1.v6.elisa-mobile.fi) |
| 22:21:28 | trickard_ | is now known as trickard |
| 22:21:44 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 22:21:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:23:44 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 22:26:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:27:39 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:29:02 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 22:29:17 | → | califax joins (~califax@user/califx) |
| 22:31:01 | → | Googulator83 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 22:31:31 | × | Googulator47 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 22:31:37 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:16d9:ed3b:cd10:836f) (Remote host closed the connection) |
| 22:31:56 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:6e4f:5543:f4e6:adb9) |
| 22:34:26 | × | Guest23 quits (~Guest23@192.139.27.23) (Quit: Client closed) |
| 22:35:40 | × | aforemny_ quits (~aforemny@i59F4C61F.versanet.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:35:59 | → | aforemny joins (~aforemny@i59F4C61F.versanet.de) |
| 22:36:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:40:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:43:48 | → | khumba joins (~khumba@user/khumba) |
| 22:45:38 | → | Googulator23 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 22:45:38 | × | Googulator83 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 22:50:37 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:51:39 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:6e4f:5543:f4e6:adb9) (Remote host closed the connection) |
| 22:51:50 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 265 seconds) |
| 22:51:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:51:58 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:2585:3f2f:30a7:c28) |
| 22:55:33 | × | Googulator23 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 22:55:39 | → | Googulator18 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 22:56:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:58:57 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 22:59:13 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 23:00:31 | × | Googulator18 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 23:00:39 | → | Googulator17 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 23:03:05 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:03:19 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 23:04:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:07:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:10:31 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 23:12:11 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:2585:3f2f:30a7:c28) (Remote host closed the connection) |
| 23:12:16 | → | bggd joins (~bgg@2a01:e0a:819:1510:35fe:55f7:1c95:83dd) |
| 23:12:35 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:4e95:a2d9:3e6e:6cf9) |
| 23:12:55 | × | tcard quits (~tcard@p4321039-ipxg22901hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 264 seconds) |
| 23:14:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:25:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:26:07 | → | Square joins (~Square4@user/square) |
| 23:26:28 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 23:27:39 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 23:28:12 | → | tccq joins (~tccq@user/tccq) |
| 23:30:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:30:07 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 23:30:08 | × | synchromesh quits (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) (Read error: Connection reset by peer) |
| 23:30:54 | → | synchromesh joins (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) |
| 23:32:14 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:4e95:a2d9:3e6e:6cf9) (Remote host closed the connection) |
| 23:32:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 23:32:33 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:e194:9c27:4d3a:2bbc) |
| 23:34:39 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 23:37:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:38:07 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 264 seconds) |
| 23:40:47 | → | Xe joins (~Xe@perl/impostor/xe) |
| 23:42:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:49:45 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 23:50:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:52:16 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:e194:9c27:4d3a:2bbc) (Remote host closed the connection) |
| 23:52:35 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:4d22:eb2d:a673:1174) |
| 23:54:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:58:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
All times are in UTC on 2025-11-04.