Logs on 2025-10-16 (liberachat/#haskell)
| 00:00:48 | → | Googulator38 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 00:00:48 | × | Googulator45 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 00:02:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:10:10 | → | inline joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 00:10:51 | × | Guest66 quits (~Guest66@p200300eb67060a00a8651d2ed7b6608e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:11:25 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 00:13:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:14:05 | × | acidjnk quits (~acidjnk@p200300d6e717197548bf8d9923882cf1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:15:20 | → | Square joins (~Square4@user/square) |
| 00:15:22 | → | Square2 joins (~Square@user/square) |
| 00:18:24 | × | Googulator38 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 00:18:37 | → | Googulator38 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 00:18:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:20:42 | × | Googulator38 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Client Quit) |
| 00:20:48 | → | Googulator34 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 00:23:17 | → | inline_ joins (~inline@2a02:8071:57a1:1260:a990:1573:d543:d1a1) |
| 00:25:57 | × | inline quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 00:27:25 | → | inline joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 00:28:32 | × | inline_ quits (~inline@2a02:8071:57a1:1260:a990:1573:d543:d1a1) (Ping timeout: 244 seconds) |
| 00:29:21 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 00:30:45 | inline | is now known as Guest9135 |
| 00:30:45 | inline_ | is now known as inline |
| 00:31:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:31:40 | inline | is now known as Inline |
| 00:32:09 | × | Guest9135 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 00:35:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:36:20 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 00:39:54 | × | Inline quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 00:40:12 | → | inline joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 00:40:38 | → | Googulator3 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 00:40:46 | × | Googulator34 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 00:42:29 | × | inline_ quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 00:43:38 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 00:43:40 | inline | is now known as Guest9313 |
| 00:43:40 | inline_ | is now known as Inline |
| 00:44:28 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 00:44:29 | Inline | is now known as Guest2636 |
| 00:44:30 | inline_ | is now known as inline |
| 00:46:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:47:07 | × | otto_s quits (~user@p5de2f68d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:47:08 | × | Guest9313 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 00:47:10 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 00:47:54 | → | gustrb joins (~gustrb@191.243.134.87) |
| 00:48:10 | × | Guest2636 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 00:48:31 | → | otto_s joins (~user@p4ff27814.dip0.t-ipconnect.de) |
| 00:51:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:52:07 | × | xff0x quits (~xff0x@2405:6580:b080:900:3bfc:a749:138a:b4ac) (Ping timeout: 246 seconds) |
| 00:52:13 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 00:59:44 | × | df_ quits (~ben@justworks.xyz) (Ping timeout: 240 seconds) |
| 01:00:11 | → | df joins (~ben@justworks.xyz) |
| 01:00:20 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 01:00:35 | inline | is now known as Guest2246 |
| 01:00:35 | inline_ | is now known as inline |
| 01:01:53 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 01:02:01 | inline | is now known as Guest5355 |
| 01:02:01 | inline_ | is now known as inline |
| 01:02:04 | → | jrm2 joins (~jrm@user/jrm) |
| 01:02:45 | → | otto_s_ joins (~user@p4ff27814.dip0.t-ipconnect.de) |
| 01:03:23 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 256 seconds) |
| 01:03:23 | × | FANTOM quits (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 01:03:23 | × | gustrb quits (~gustrb@191.243.134.87) (Read error: Connection reset by peer) |
| 01:03:23 | × | otto_s quits (~user@p4ff27814.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 01:03:23 | × | peutri quits (~peutri@bobo.desast.re) (Ping timeout: 256 seconds) |
| 01:03:23 | × | williu5 quits (~williu5@user/williu5) (Ping timeout: 256 seconds) |
| 01:03:23 | × | jrm quits (~jrm@user/jrm) (Ping timeout: 256 seconds) |
| 01:03:24 | → | gustrb joins (~gustrb@191.243.134.87) |
| 01:03:33 | × | ft quits (~ft@p4fc2a207.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 01:03:40 | × | Guest2246 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 01:03:50 | jrm2 | is now known as jrm |
| 01:03:50 | → | FANTOM joins (~fantom@90.244.183.5) |
| 01:04:11 | → | williu5 joins (~williu5@user/williu5) |
| 01:04:34 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 01:05:30 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 01:05:43 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 01:05:44 | × | Guest5355 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 01:05:55 | → | Sgeo__ joins (~Sgeo@user/sgeo) |
| 01:06:11 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:9978:942:5e21:4051) (Ping timeout: 246 seconds) |
| 01:06:25 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:37a4:6088:16c1:822e) |
| 01:06:27 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 01:06:29 | inline | is now known as Guest4059 |
| 01:06:29 | inline_ | is now known as inline |
| 01:06:45 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 01:07:10 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 01:07:18 | → | Square joins (~Square4@user/square) |
| 01:07:24 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 01:07:31 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds) |
| 01:07:50 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 01:07:54 | inline | is now known as Guest5577 |
| 01:07:54 | inline_ | is now known as inline |
| 01:08:21 | → | peutri joins (~peutri@bobo.desast.re) |
| 01:08:43 | → | ft joins (~ft@p4fc2a207.dip0.t-ipconnect.de) |
| 01:08:55 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Ping timeout: 246 seconds) |
| 01:09:52 | × | Guest4059 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 01:10:13 | → | Ekho joins (~Ekho@user/ekho) |
| 01:11:25 | × | Guest5577 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 01:15:39 | × | Googulator3 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 01:15:40 | → | Googulator19 joins (~Googulato@212-40-94-78.pool.digikabel.hu) |
| 01:18:18 | × | divya- quits (divya@140.238.251.170) (Ping timeout: 248 seconds) |
| 01:18:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:20:31 | → | xax__ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 01:20:59 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 01:21:34 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 01:22:02 | → | inline_ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 01:22:29 | inline | is now known as Guest5544 |
| 01:22:29 | inline_ | is now known as inline |
| 01:23:49 | × | Guest5544 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 01:24:02 | × | yin quits (~zero@user/zero) (Ping timeout: 246 seconds) |
| 01:24:03 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:24:17 | → | yin joins (~zero@user/zero) |
| 01:24:17 | → | trickard__ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 01:24:47 | → | synchrom1 joins (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) |
| 01:24:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:26:25 | × | synchromesh quits (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Ping timeout: 246 seconds) |
| 01:32:05 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 01:35:00 | → | inline_ joins (~inline@2a02:8071:57a1:1260:e90b:a1d:2df4:d442) |
| 01:35:02 | inline | is now known as Guest3560 |
| 01:35:02 | × | Guest3560 quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 01:35:02 | inline_ | is now known as inline |
| 01:36:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:40:22 | → | inline_ joins (~inline@2a02:8071:57a1:1260:e90b:a1d:2df4:d442) |
| 01:41:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:41:31 | × | inline quits (~inline@2a02:8071:57a1:1260:e90b:a1d:2df4:d442) (Killed (lead.libera.chat (Nickname regained by services))) |
| 01:41:31 | inline_ | is now known as inline |
| 01:42:21 | → | inline_ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 01:42:23 | inline | is now known as Guest9970 |
| 01:42:23 | inline_ | is now known as inline |
| 01:43:15 | × | inline quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 01:44:23 | → | inline joins (~User@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 01:44:47 | inline | is now known as Guest232 |
| 01:44:48 | × | Guest232 quits (~User@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Client Quit) |
| 01:46:02 | × | Guest9970 quits (~inline@2a02:8071:57a1:1260:e90b:a1d:2df4:d442) (Ping timeout: 244 seconds) |
| 01:50:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:55:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:00:27 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:01:47 | × | tv quits (~tv@user/tv) (Ping timeout: 260 seconds) |
| 02:06:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:10:59 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 02:11:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:12:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 02:15:42 | × | Googulator19 quits (~Googulato@212-40-94-78.pool.digikabel.hu) (Quit: Client closed) |
| 02:15:49 | → | Googulator19 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 02:17:25 | × | tessier_ quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 264 seconds) |
| 02:22:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:22:30 | × | qqe quits (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 02:22:53 | → | Inline joins (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) |
| 02:27:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:29:23 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 02:34:39 | × | td_ quits (~td@i53870918.versanet.de) (Ping timeout: 252 seconds) |
| 02:35:37 | → | Googulator61 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 02:35:37 | × | Googulator19 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 02:35:48 | → | annamalai joins (~annamalai@157.32.222.129) |
| 02:36:23 | → | td_ joins (~td@i5387093E.versanet.de) |
| 02:36:55 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) |
| 02:37:17 | × | annamalai quits (~annamalai@157.32.222.129) (Remote host closed the connection) |
| 02:37:18 | Inline | is now known as Guest2116 |
| 02:37:18 | Inline_ | is now known as Inline |
| 02:37:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 02:38:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:38:13 | × | Guest2116 quits (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) (Ping timeout: 244 seconds) |
| 02:39:58 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:43:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:44:07 | × | xax__ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 02:44:15 | → | xax__ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 02:46:58 | → | tv joins (~tv@user/tv) |
| 02:53:40 | → | haetsal joins (~quassel@221.138.168.192) |
| 02:53:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:54:34 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 03:00:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:03:01 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 03:11:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:15:32 | → | Googulator32 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 03:15:35 | × | Googulator61 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 03:16:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:23:31 | → | troydm joins (~troydm@user/troydm) |
| 03:33:32 | × | Inline quits (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) (Read error: Connection reset by peer) |
| 03:33:52 | → | Inline joins (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) |
| 03:38:49 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 03:40:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:45:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:51:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:56:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:57:42 | → | aforemny_ joins (~aforemny@i577B12B2.versanet.de) |
| 03:58:06 | × | aforemny quits (~aforemny@2001:9e8:6cf6:6e00:f29f:bd4f:185b:a814) (Ping timeout: 256 seconds) |
| 04:02:31 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 04:07:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:12:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 04:14:03 | trickard__ | is now known as trickard |
| 04:23:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:28:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:34:59 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 04:38:43 | × | Pozyomka quits (~pyon@user/pyon) (Quit: bbl) |
| 04:38:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:45:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 04:45:43 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 04:52:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:55:26 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 04:56:00 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 04:57:06 | → | bliminse joins (~bliminse@user/bliminse) |
| 04:57:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:00:10 | → | michalz joins (~michalz@185.246.207.201) |
| 05:05:35 | rvalue- | is now known as rvalue |
| 05:08:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:12:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:21:59 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:23:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:28:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:29:09 | → | annamalai joins (~annamalai@157.32.222.87) |
| 05:31:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:33:54 | → | Guest92 joins (~Guest92@20014C4C1C5D5E0068755EB25D587793.catv.pool.telekom.hu) |
| 05:35:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:46:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:48:09 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 05:51:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:53:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:58:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:02:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 06:05:45 | × | Guest92 quits (~Guest92@20014C4C1C5D5E0068755EB25D587793.catv.pool.telekom.hu) (Ping timeout: 250 seconds) |
| 06:10:52 | → | Mantel joins (~Mantel@216.133.129.166) |
| 06:12:14 | × | Mantel quits (~Mantel@216.133.129.166) (Client Quit) |
| 06:23:40 | → | Tri joins (~tnguyen@69.74.159.34) |
| 06:25:30 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 06:26:21 | → | cheater- joins (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
| 06:26:22 | → | 020AACQ99 joins (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
| 06:26:22 | × | xax__ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 06:26:28 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 06:26:28 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 06:26:59 | → | trickard joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 06:27:12 | × | TriN quits (~tnguyen@69.74.159.34) (Ping timeout: 260 seconds) |
| 06:27:15 | × | Sgeo__ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:28:05 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 06:28:24 | × | dtman34_ quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 252 seconds) |
| 06:28:46 | → | ian_ joins (~ian@81.2.99.210) |
| 06:28:46 | × | cheater quits (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Ping timeout: 246 seconds) |
| 06:28:46 | × | _ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 246 seconds) |
| 06:28:46 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 06:28:46 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Ping timeout: 246 seconds) |
| 06:28:47 | × | lieven quits (~mal@ns2.wyrd.be) (Ping timeout: 246 seconds) |
| 06:28:47 | × | Digit quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 06:28:47 | × | Igloo quits (~ian@81.2.99.210) (Ping timeout: 246 seconds) |
| 06:28:49 | × | Yumemi quits (~Yumemi@chamoin.net) (Ping timeout: 246 seconds) |
| 06:28:49 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 246 seconds) |
| 06:28:49 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 06:28:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 06:29:24 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 06:29:31 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 06:29:33 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 06:29:45 | → | mal1 joins (~mal@ns2.wyrd.be) |
| 06:29:52 | × | 020AACQ99 quits (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Ping timeout: 246 seconds) |
| 06:29:54 | → | poscat joins (~poscat@user/poscat) |
| 06:29:58 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 06:30:35 | → | ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 06:30:35 | → | Digit joins (~user@user/digit) |
| 06:32:22 | mal1 | is now known as lieven |
| 06:32:53 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 06:38:45 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 06:42:00 | → | TriN joins (~tnguyen@69.74.159.34) |
| 06:43:49 | → | cheater joins (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
| 06:44:59 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 06:45:03 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 06:45:03 | × | annamalai quits (~annamalai@157.32.222.87) (Ping timeout: 256 seconds) |
| 06:45:03 | × | FANTOM quits (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 06:45:03 | × | haetsal quits (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 06:45:03 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 06:45:03 | × | cheater- quits (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Ping timeout: 256 seconds) |
| 06:45:03 | × | tv quits (~tv@user/tv) (Ping timeout: 256 seconds) |
| 06:45:03 | × | williu5 quits (~williu5@user/williu5) (Ping timeout: 256 seconds) |
| 06:45:03 | × | aforemny_ quits (~aforemny@i577B12B2.versanet.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:45:09 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 06:45:10 | → | tv joins (~tv@user/tv) |
| 06:45:15 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 06:45:15 | × | Tri quits (~tnguyen@69.74.159.34) (Ping timeout: 256 seconds) |
| 06:45:15 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 06:45:16 | → | aforemny joins (~aforemny@2001:9e8:6cd3:9e00:ec6c:33df:2ec4:2c9f) |
| 06:45:27 | → | annamalai joins (~annamalai@157.32.222.87) |
| 06:45:33 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 06:45:39 | → | gustrb joins (~gustrb@191.243.134.87) |
| 06:45:49 | × | Yumemi quits (~Yumemi@chamoin.net) (Ping timeout: 256 seconds) |
| 06:45:50 | → | haetsal joins (~quassel@221.138.168.192) |
| 06:46:12 | → | williu5 joins (~williu5@user/williu5) |
| 06:46:28 | × | jmcantrell quits (~weechat@user/jmcantrell) (Remote host closed the connection) |
| 06:46:50 | → | Digit joins (~user@user/digit) |
| 06:46:51 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 06:46:52 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 06:48:10 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 06:50:02 | → | FANTOM joins (~fantom@90.244.183.5) |
| 06:50:55 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 06:52:04 | → | Tri joins (~tnguyen@69.74.159.34) |
| 06:53:04 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 06:53:25 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 06:54:01 | × | aforemny quits (~aforemny@2001:9e8:6cd3:9e00:ec6c:33df:2ec4:2c9f) (Ping timeout: 246 seconds) |
| 06:54:37 | → | arandombit joins (~arandombi@user/arandombit) |
| 06:55:56 | → | aforemny joins (~aforemny@2001:9e8:6cd3:9e00:ec6c:33df:2ec4:2c9f) |
| 06:57:01 | → | remedan_ joins (~remedan@194.212.224.62) |
| 06:57:02 | → | ystael_ joins (~ystael@user/ystael) |
| 06:57:18 | → | poscat0x04 joins (~poscat@user/poscat) |
| 06:57:21 | × | TriN quits (~tnguyen@69.74.159.34) (Ping timeout: 246 seconds) |
| 06:57:21 | × | malte quits (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 06:57:21 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 06:57:21 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 06:57:21 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 246 seconds) |
| 06:57:21 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 06:57:21 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 06:57:21 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 246 seconds) |
| 06:57:21 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 246 seconds) |
| 06:57:21 | × | remedan quits (~remedan@194.212.224.62) (Read error: Connection reset by peer) |
| 06:57:21 | → | dutchie_ joins (~dutchie@user/dutchie) |
| 06:57:28 | → | malte joins (~malte@mal.tc) |
| 06:57:33 | → | ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 06:57:35 | → | f-chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 06:57:45 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 06:58:04 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 06:58:19 | dutchie_ | is now known as dutchie |
| 06:59:37 | × | ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 246 seconds) |
| 07:00:04 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:44 | → | caconym7478798 joins (~caconym@user/caconym) |
| 07:01:07 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 07:02:29 | f-chymera | is now known as chymera |
| 07:04:33 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:04:46 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 07:13:10 | × | ft quits (~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:16:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:16:54 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:22:31 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 07:23:47 | × | annamalai quits (~annamalai@157.32.222.87) (Ping timeout: 256 seconds) |
| 07:24:24 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 07:25:33 | × | n0um3n4 quits (~n0um3n4@104.28.199.134) (Remote host closed the connection) |
| 07:27:58 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 07:29:28 | × | Googulator32 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 07:29:45 | → | Googulator32 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 07:31:38 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 07:36:45 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:36:58 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 07:40:11 | → | qqe joins (~qqq@185.54.23.200) |
| 07:40:24 | → | cyphase joins (~cyphase@user/cyphase) |
| 07:41:04 | × | qqe quits (~qqq@185.54.23.200) (Client Quit) |
| 07:41:04 | → | n0um3n4 joins (~n0um3n4@104.28.199.133) |
| 07:41:53 | → | qqe joins (~qqq@185.54.23.200) |
| 07:43:45 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 252 seconds) |
| 07:50:15 | → | merijn joins (~merijn@77.242.116.146) |
| 07:52:00 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 07:52:49 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:55:50 | Googulator32 | is now known as Googulator |
| 08:00:53 | trickard_ | is now known as trickard |
| 08:06:17 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) |
| 08:06:34 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 08:07:18 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) (Max SendQ exceeded) |
| 08:08:01 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) |
| 08:08:53 | × | Inline quits (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) (Ping timeout: 244 seconds) |
| 08:12:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 08:13:57 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 08:15:35 | → | merijn joins (~merijn@77.242.116.146) |
| 08:16:07 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:8c38:e96f:6919:6051) (Ping timeout: 244 seconds) |
| 08:20:07 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 08:22:09 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 08:22:25 | → | acidjnk joins (~acidjnk@p200300d6e71719750129677a31b7bc88.dip0.t-ipconnect.de) |
| 08:22:46 | → | annamalai joins (~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) |
| 08:24:24 | → | gustrb joins (~gustrb@191.243.134.87) |
| 08:25:27 | → | cyphase joins (~cyphase@user/cyphase) |
| 08:26:20 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:9947:d2b1:acaf:cc19) |
| 08:26:20 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:9947:d2b1:acaf:cc19) (Changing host) |
| 08:26:20 | → | arandombit joins (~arandombi@user/arandombit) |
| 08:31:26 | → | merijn joins (~merijn@77.242.116.146) |
| 08:33:30 | → | gmg joins (~user@user/gehmehgeh) |
| 08:35:36 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 08:35:41 | → | Googulator18 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 08:41:20 | Googulator18 | is now known as Googulator |
| 08:43:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 08:50:47 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 08:52:49 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 08:52:49 | divlamir_ | is now known as divlamir |
| 08:55:19 | → | merijn joins (~merijn@77.242.116.146) |
| 08:55:37 | → | Googulator1 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 08:55:42 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 09:05:31 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:05:44 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 09:07:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 09:12:37 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 09:16:41 | → | AlexNoo_ joins (~AlexNoo@85.174.180.124) |
| 09:18:57 | trickard_ | is now known as trickard |
| 09:19:22 | × | AlexZenon quits (~alzenon@178.34.151.169) (Ping timeout: 248 seconds) |
| 09:20:32 | × | AlexNoo quits (~AlexNoo@178.34.151.169) (Ping timeout: 256 seconds) |
| 09:21:08 | → | merijn joins (~merijn@77.242.116.146) |
| 09:21:19 | × | n0um3n4 quits (~n0um3n4@104.28.199.133) (Remote host closed the connection) |
| 09:23:22 | → | AlexZenon joins (~alzenon@85.174.180.124) |
| 09:26:04 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:26:17 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 09:27:50 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 09:30:58 | → | Googulator69 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 09:31:03 | × | Googulator1 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 09:32:17 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:33:56 | AlexNoo_ | is now known as AlexNoo |
| 09:36:48 | × | gustrb quits (~gustrb@191.243.134.87) (Remote host closed the connection) |
| 09:37:11 | → | gustrb joins (~gustrb@191.243.134.87) |
| 09:38:46 | → | n0um3n4 joins (~n0um3n4@104.28.199.133) |
| 09:41:28 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 09:41:28 | × | synchrom1 quits (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer) |
| 09:42:35 | → | synchromesh joins (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) |
| 09:47:00 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 09:50:31 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 09:52:27 | → | raym joins (~ray@user/raym) |
| 09:53:01 | → | arandombit joins (~arandombi@user/arandombit) |
| 09:53:55 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 09:56:05 | → | fp joins (~Thunderbi@130.233.70.16) |
| 09:56:32 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 09:57:38 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 09:58:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 10:01:11 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 10:01:55 | → | gmg joins (~user@user/gehmehgeh) |
| 10:05:41 | aku_ | is now known as aku |
| 10:09:27 | Googulator69 | is now known as Googulator |
| 10:09:54 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:9947:d2b1:acaf:cc19) |
| 10:09:54 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:9947:d2b1:acaf:cc19) (Changing host) |
| 10:09:54 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:17:08 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:17:22 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 10:20:42 | → | Guest6683 joins (~A@216.133.129.166) |
| 10:22:10 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 10:25:24 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 10:25:25 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 10:25:55 | divlamir_ | is now known as divlamir |
| 10:27:21 | × | Guest6683 quits (~A@216.133.129.166) (Quit: Client closed) |
| 10:28:53 | → | kukimik joins (~kukimik@nat1.mga.com.pl) |
| 10:30:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 10:41:44 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 10:42:27 | → | merijn joins (~merijn@77.242.116.146) |
| 10:46:59 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 10:48:03 | → | __monty__ joins (~toonn@user/toonn) |
| 10:50:13 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:53:43 | × | kukimik quits (~kukimik@nat1.mga.com.pl) (Quit: Leaving) |
| 10:59:10 | → | merijn joins (~merijn@77.242.116.146) |
| 11:00:05 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 11:01:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 11:02:00 | → | kukimik joins (~kukimik@nat1.mga.com.pl) |
| 11:02:16 | → | caconym7478798 joins (~caconym@user/caconym) |
| 11:02:28 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:11:26 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 11:13:21 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 11:17:02 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 11:17:16 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 11:17:26 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 11:19:16 | → | poxel joins (~poxel@user/poxel) |
| 11:20:46 | → | Googulator67 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 11:20:46 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 11:23:47 | → | xff0x joins (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) |
| 11:26:13 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:9947:d2b1:acaf:cc19) |
| 11:26:13 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:9947:d2b1:acaf:cc19) (Changing host) |
| 11:26:13 | → | arandombit joins (~arandombi@user/arandombit) |
| 11:27:17 | → | ubert joins (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) |
| 11:27:44 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 11:27:50 | ← | kukimik parts (~kukimik@nat1.mga.com.pl) () |
| 11:30:31 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 11:33:40 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 11:36:07 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:36:35 | × | fp quits (~Thunderbi@130.233.70.16) (Ping timeout: 244 seconds) |
| 11:36:57 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 11:37:00 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:38:02 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 11:38:19 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:39:44 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 11:40:03 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:40:45 | → | fp joins (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) |
| 11:42:55 | → | arandombit joins (~arandombi@user/arandombit) |
| 11:43:12 | → | chele joins (~chele@user/chele) |
| 11:43:24 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 11:46:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 11:47:21 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:47:41 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 11:48:46 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 11:49:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:55:23 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 11:55:53 | → | Beowulf joins (florian@2a01:4f9:3b:2d56::2) |
| 11:56:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:56:33 | → | mastarija joins (~mastarija@9-173.dsl.iskon.hr) |
| 11:59:09 | <mastarija> | So, reading the documentation for `seq` I've noticed it says it doesn't guarantee the order of evaluation of it's arguments. e.g. if we do `seq a b` b may be evaluated first. This got me thinking, does this mean using `seq` for accumulators may still build thunks until we reach the base case and try to return a value? |
| 11:59:13 | <mastarija> | e.g.: https://paste.tomsmeding.com/3Ukj4cLW |
| 11:59:35 | → | Inline joins (~inline@2a02:8071:57a1:1260:f555:8f5c:221c:b0e5) |
| 12:00:00 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 12:01:23 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 12:01:25 | divlamir_ | is now known as divlamir |
| 12:10:37 | → | Googulator94 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 12:10:51 | × | Googulator67 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 12:12:31 | × | fp quits (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 246 seconds) |
| 12:13:16 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 12:13:58 | → | fp joins (~Thunderbi@130.233.70.16) |
| 12:15:40 | × | Googulator94 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 12:15:43 | → | Googulator18 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 12:16:01 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 12:16:15 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 12:20:06 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 12:20:06 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 12:20:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 12:20:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:20:49 | → | gmg joins (~user@user/gehmehgeh) |
| 12:20:51 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 12:22:06 | Googulator18 | is now known as Googulator |
| 12:22:15 | → | arandombit joins (~arandombi@user/arandombit) |
| 12:26:23 | × | ubert quits (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 12:26:48 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 12:27:00 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 12:38:04 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 12:43:32 | → | weary-traveler joins (~user@user/user363627) |
| 12:45:49 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 12:46:30 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 12:46:52 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 12:47:42 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 12:53:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:54:51 | → | arandombit joins (~arandombi@user/arandombit) |
| 12:55:45 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 12:58:10 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 12:59:47 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 13:01:10 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 13:01:16 | → | Pozyomka joins (~pyon@user/pyon) |
| 13:01:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 13:02:05 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 13:02:13 | trickard_ | is now known as trickard |
| 13:03:46 | × | mastarija quits (~mastarija@9-173.dsl.iskon.hr) (Quit: Client closed) |
| 13:04:23 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 13:04:35 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:07:31 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 13:09:25 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 13:10:43 | → | Googulator92 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 13:10:43 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 13:12:03 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:12:16 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 13:16:35 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:29:30 | → | Everything joins (~Everythin@46.96.48.125) |
| 13:32:28 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) |
| 13:34:54 | × | Inline quits (~inline@2a02:8071:57a1:1260:f555:8f5c:221c:b0e5) (Ping timeout: 244 seconds) |
| 13:35:35 | × | Googulator92 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 13:35:39 | → | Googulator42 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 13:36:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 13:36:32 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 13:37:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:38:13 | <mreh> | does anyone else use vim with hls and find it lags behind the editor? |
| 13:38:21 | <mreh> | actually, neovim |
| 13:44:29 | <mreh> | mastarija: you'll only see thunks built when that function is consumed by something |
| 13:47:02 | <endokqr> | When I run cabal build with profiling enabled on one of my Haskell project in its development environment, GHC complains about not finding .p_dyn_hi files for a few libraries. I have tried to create a smaller reproducing example of this, but that ends up building just fine – despite there being no .p_dyn_hi files among its dependencies either. The differences between these two environments are |
| 13:47:05 | <endokqr> | too large to go through one by one. How would I find out why GHC is expecting to find .p_dyn_hi files in one case, but not in the other? |
| 13:47:10 | <mreh> | your seq there simply guarantees that tmp will be in WHNF after your `in` clause is evaluated |
| 13:47:47 | <mreh> | and your sumSoFar shouldn't accumulate a whole bunch of thunks |
| 13:47:59 | <mreh> | since it's an Int |
| 13:48:40 | Inline_ | is now known as Inline |
| 13:48:51 | <mreh> | oh he quit |
| 13:50:44 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:51:42 | <mreh> | endokqr: what does `cabal clean` do? |
| 13:51:55 | <mreh> | does it fix it? |
| 13:52:20 | <mreh> | cabal can sometimes ne buggy |
| 13:52:36 | <tomsmeding> | mreh: I have that lagging effect on one of my machines, not on the other, and I have no clue what differentiates them |
| 13:52:59 | <mreh> | tomsmeding: I have to re-edit lines all the time for hls just to catch up |
| 13:53:17 | <tomsmeding> | specifically, I have to wait a long time before pressing <esc> for HLS to properly register the latest edit, and even then it sometimes doesn't |
| 13:53:19 | <mreh> | or maybe it's neovim that is lagging |
| 13:53:31 | <tomsmeding> | so then you go ix<BS><Esc> and it's fixed |
| 13:53:49 | <tomsmeding> | but as I said, my other machine has never had this and I don't know what the relevant difference is |
| 13:54:12 | <endokqr> | mreh, Good question. I will try. I just also figured out another clue. If I build with -v3 I can read in the broken project that "Wanted/Final module build ways(library): [ProfWay,StaticWay]" whereas in the working project it just wants [ProfWay]. I'll investigate that further too. |
| 13:54:42 | <tomsmeding> | endokqr: also try `rm -rf dist-newstyle` for good measure |
| 13:55:07 | <tomsmeding> | the broken dependency is not a boot library, is it? |
| 13:55:43 | <mreh> | sounds like GHC is trying to link a module that isn't there any more maybe |
| 13:56:04 | <mreh> | I don't know what a .p_dyn_hi file is exactly though |
| 13:56:54 | <mreh> | aren't .hi files used when the simplifier does its thing? |
| 13:57:04 | <tomsmeding> | .hi files are interface files |
| 13:57:10 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 13:57:36 | <tomsmeding> | generated alongside a .o, containing data about exactly which functions are exported, including inlineable Core, computed demand annotations, etc. |
| 13:58:10 | <int-e> | p = profiling, dyn = dynamic |
| 13:58:22 | <tomsmeding> | not to be confused with .hie files, which are IDE info files encoding stuff like types of subexpressions at particular source locations |
| 13:58:43 | <int-e> | the file contains generated symbol names that depend on how the code was compiled, so having just a single .hi file would be awkward |
| 14:03:07 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 14:04:17 | → | tomku joins (~tomku@user/tomku) |
| 14:04:38 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 14:05:49 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 14:12:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:22:46 | × | cipherrot quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 14:22:57 | → | petrichor joins (~jez@user/petrichor) |
| 14:25:52 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 14:30:29 | → | Zemy joins (~Zemy@76.184.41.21) |
| 14:30:42 | <Zemy> | I'm thinking about Pointed. |
| 14:31:12 | <Zemy> | People say it doesn't have much use, but there is an interesting use case. |
| 14:33:29 | <Zemy> | If a type *t* has an associated function traverseP :: Pointed f => (a -> f b) -> t a -> f (t b), then exists b c. t ~ Compose (Either b) ((,) c). It means that t a holds 0 or 1 values of a along with some other stuff. |
| 14:33:47 | <Zemy> | I guess that means it's Affine? |
| 14:39:18 | <Zemy> | Oh, there is one thing I wish the Data.Array.ST.Safe module had. |
| 14:41:06 | <Zemy> | A way to return additional information, or potentially not return an array. I was thinking runSTArrayOn :: Traversable t => (forall s. ST s (t (MArray s i e))) -> t (Array i e). |
| 14:56:03 | → | Zemy_ joins (~Zemy@2600:100c:b0a2:b883:889e:92ff:fe0d:1fda) |
| 14:56:03 | × | Zemy quits (~Zemy@76.184.41.21) (Read error: Connection reset by peer) |
| 14:56:10 | Zemy_ | is now known as Zemy |
| 14:56:10 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 14:56:38 | → | Zemy_ joins (~Zemy@76.184.41.21) |
| 14:57:30 | trickard_ | is now known as trickard |
| 14:57:38 | × | Zemy quits (~Zemy@2600:100c:b0a2:b883:889e:92ff:fe0d:1fda) (Read error: Connection reset by peer) |
| 14:58:01 | × | Zemy_ quits (~Zemy@76.184.41.21) (Read error: Connection reset by peer) |
| 14:58:08 | → | Zemy joins (~Zemy@2600:100c:b0a2:b883:b072:d6ff:fe1b:4897) |
| 14:58:15 | × | Zemy quits (~Zemy@2600:100c:b0a2:b883:b072:d6ff:fe1b:4897) (Client Quit) |
| 15:05:20 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 15:07:52 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 15:08:06 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 15:08:34 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 15:11:34 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 15:11:54 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 15:12:16 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:12:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:12:46 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 15:13:06 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 15:13:10 | → | trickard___ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 15:13:57 | → | tv joins (~tv@user/tv) |
| 15:17:57 | × | fp quits (~Thunderbi@130.233.70.16) (Quit: fp) |
| 15:22:29 | → | Square joins (~Square4@user/square) |
| 15:27:07 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 15:27:21 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 15:33:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 15:33:51 | → | kuribas joins (~user@2a02-1810-2825-6000-5d7f-1d97-1f8d-30e0.ip6.access.telenet.be) |
| 15:34:23 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 15:41:24 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:46:53 | × | trickard___ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:47:07 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 15:51:42 | → | satler joins (~satler@user/satler) |
| 15:53:59 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:00:03 | trickard_ | is now known as trickard |
| 16:04:59 | × | satler quits (~satler@user/satler) (Quit: satler) |
| 16:05:12 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 16:05:52 | → | Square2 joins (~Square@user/square) |
| 16:06:40 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 16:11:44 | → | gustrb joins (~gustrb@191.243.134.87) |
| 16:15:23 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 16:22:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 16:26:36 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) |
| 16:29:32 | × | Inline quits (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Ping timeout: 244 seconds) |
| 16:30:48 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:32:03 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Read error: Connection reset by peer) |
| 16:32:34 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) |
| 16:33:16 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 16:34:10 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Max SendQ exceeded) |
| 16:35:04 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) |
| 16:40:41 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 16:46:23 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 16:48:26 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 16:51:45 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 16:52:33 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Read error: Connection reset by peer) |
| 16:55:12 | → | gustrb joins (~gustrb@191.243.134.87) |
| 16:55:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 16:56:55 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:05:18 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 17:05:56 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:10:48 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 17:12:15 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:17:00 | <ski> | mreh : "your seq there simply guarantees that tmp will be in WHNF after your `in` clause is evaluated" -- i don't think this is the case. pretty sure `let ... in seq a b = seq a (let ... in b)'. similarly `(\... -> seq a b) (...) = seq a ((\... -> b) (...))'. so, `seq a's probably can be floated out of `let' and function bodies, as long as `a' is eventually evaluated when the body is |
| 17:17:41 | <ski> | `seq (seq a b) c = seq a (seq b c) = seq b (seq a c)' would be another example |
| 17:19:07 | → | ft joins (~ft@p4fc2a207.dip0.t-ipconnect.de) |
| 17:19:42 | <ski> | otoh, i think `pseq a b' has the guarantee that `a' will be reduced tp WHNF, at or before when `b' is |
| 17:26:45 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 17:28:02 | → | Inline joins (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) |
| 17:28:06 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 17:33:27 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:33:57 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 17:34:12 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:37:40 | → | karenw_ joins (~karenw@user/karenw) |
| 17:43:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:47:08 | × | kuribas quits (~user@2a02-1810-2825-6000-5d7f-1d97-1f8d-30e0.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 17:57:24 | <monochrom> | Yeah pseq is the only that guarantees order. OTOH I haven't seen an empirical case of seq failing to solve laziness-caused unwanted space growth. |
| 17:57:35 | × | Everything quits (~Everythin@46.96.48.125) (Quit: leaving) |
| 17:57:37 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 17:57:44 | <monochrom> | (even though in theory it could) |
| 17:58:37 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:59:28 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:59:29 | × | synchromesh quits (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer) |
| 17:59:36 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) |
| 18:00:22 | → | synchromesh joins (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) |
| 18:00:34 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) (Max SendQ exceeded) |
| 18:01:12 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) |
| 18:02:02 | Inline | is now known as Guest6419 |
| 18:02:02 | × | Guest6419 quits (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 18:02:02 | Inline_ | is now known as Inline |
| 18:02:25 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 18:03:28 | <endokqr> | tomsmeding, one of the broken dependencies is base... but I have a vague feeling GHC is not supposed to look for these .p_dyn_hi files when it builds with profiling, but instead choose not to dynamically link but there's something in that process going wrong. not at all sure though. |
| 18:05:03 | <monochrom> | By default, GHC chooses static linking. Unless Arch's build of GHC, which chooses dynamic linking. |
| 18:06:21 | × | Inline quits (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) (Remote host closed the connection) |
| 18:06:39 | <tomsmeding> | endokqr: right, I was asking because of the arch stuff: is your ghc from ghcup or from the system package manager? If the latter, and certainly if it's arch, get rid of that and use ghcup instead |
| 18:06:41 | → | Inline joins (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) |
| 18:07:46 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 18:10:07 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 18:12:15 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 18:15:50 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:16:03 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 18:16:44 | → | gustrb joins (~gustrb@191.243.134.87) |
| 18:18:03 | <mreh> | ski: was he reading from the spec, because empirically I've never seen that behaviour |
| 18:20:06 | <ski> | yes, this is reasoning from the denotational meaning of `seq', not about what a particular implementation does |
| 18:20:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 18:21:48 | <mreh> | in core, seq a b is translated to something like case a of... isn't it? |
| 18:22:01 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:22:09 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:22:32 | × | Vajb quits (~Vajb@n7o35ytoa19a9fdq6h6-1.v6.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 18:22:33 | <ski> | for function values ? |
| 18:24:54 | <endokqr> | monochrom, tomsmeding: Ah, I see. This is the default GHC from nixpkgs – I think! |
| 18:24:59 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 265 seconds) |
| 18:25:08 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 18:27:07 | <endokqr> | But ghc --info says "GHC Dynamic" "YES" which I thought meant dynamic linking. |
| 18:27:30 | <int-e> | that means ghc itself is using dynamic linking (mostly relevant for ghci) |
| 18:27:38 | <monochrom> | In Core, first GHC performs strictness analysis and chooses what it thinks is a wise order. Then by the time you see actual Core code, it reflects the choice made for your particular example, not necessarily generalizable. |
| 18:28:08 | <monochrom> | Although, again, empirically, I have always seen the desired order (that saves space). |
| 18:28:17 | <int-e> | endokqr: the ghc executable that is. which is independent from how it compiles things |
| 18:29:19 | <ski> | presumably, it would only change from the obvious straight-forward / naïve ordering, if it sees a reason to do so |
| 18:29:26 | <monochrom> | Or rather, s/the desired order/a desirable order/ |
| 18:29:46 | <ski> | (also taking into account various arbitrary choices to pin down the ordering) |
| 18:29:49 | → | Inline_ joins (~inline@2a02:8071:57a1:dc0:6828:ce27:6f9b:5100) |
| 18:29:55 | Inline | is now known as Guest3264 |
| 18:29:55 | Inline_ | is now known as Inline |
| 18:30:20 | <monochrom> | But also empirically, suppose you say "seq (error "A") (error "B")", I have seen the B error happening sometimes. |
| 18:30:45 | <dolio> | The reality is that it's usually more difficult to arrange for some technically correct but still leaking version of the semantics of seq. |
| 18:31:07 | <endokqr> | int-e, Ah, I see. How do I figure out if GHC will choose static or dynamic linking for my code? |
| 18:31:17 | <monochrom> | Yeah GHC doesn't troll you by legal loopholes :) |
| 18:32:29 | <dolio> | The ambiguity of seq allows for local reordering of things like you'd expect in a compiler. But it's not going to do extra work to do something weird with it. |
| 18:32:33 | ski | . o O ( Undefined Behaviour ) |
| 18:32:42 | <ski> | right |
| 18:32:58 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 18:33:07 | divlamir_ | is now known as divlamir |
| 18:33:18 | <monochrom> | Yeah, if it reorders, it's because a heuristic says it's for the better. |
| 18:33:27 | <dolio> | And pseq is for if that sort of typical, local reordering is also not correct. |
| 18:33:32 | × | Guest3264 quits (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) (Ping timeout: 244 seconds) |
| 18:33:51 | <int-e> | endokqr: it'll link statically unless you (or stack or cabal) use -dynamic |
| 18:37:16 | <endokqr> | int-e, and if I'm fairly sure none of us use -dynamic, why would it be looking for .p_dyn_hi or .dyn_hi files for dependencies? |
| 18:37:30 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 18:38:34 | <int-e> | GHC should only do that if you are building shared, and shared, profiling libs. |
| 18:38:55 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:39:17 | × | Inline quits (~inline@2a02:8071:57a1:dc0:6828:ce27:6f9b:5100) (Quit: Leaving) |
| 18:39:20 | <endokqr> | Hm. So something in there must be requesting -dynamic? Or is there some other way GHC might think I want to build shared libs? |
| 18:40:46 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 18:40:46 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 244 seconds) |
| 18:41:07 | <int-e> | oh, or nix too I suppose |
| 18:43:01 | <endokqr> | Ah, that's true. So maybe Nix builds one or more of my dependencies with -dynamic, and then GHC, in order to link against that, also tries to build shared libs? |
| 18:43:33 | <int-e> | Which I know nothing about... I imagine there's some hoop you have to jump through to make packages that you installed with nix acutally visible to ghc. Generically, I'd look for verbosity flags to print the actual ghc commands being executed. |
| 18:43:37 | <endokqr> | (And by "Nix builds" I mean "my Nix flake specifies but I'm in over my head so it's going to take some time to tease out why that happens".) |
| 18:44:18 | × | feetwind quits (~mike@user/feetwind) (Ping timeout: 260 seconds) |
| 18:44:28 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 18:45:00 | × | cawfee quits (root@2401:c080:3800:3460::babe) (Ping timeout: 244 seconds) |
| 18:46:27 | × | craunts795335385 quits (~craunts@136.158.7.194) (Ping timeout: 244 seconds) |
| 18:47:02 | → | gustrb joins (~gustrb@191.243.134.87) |
| 18:47:42 | <haskellbridge> | <dxtr> I've made a thing! A font renderer in pure Haskell. That's pretty neat |
| 18:48:34 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 18:49:25 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 18:51:22 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 18:55:47 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:57:30 | → | feetwind joins (~mike@user/feetwind) |
| 18:58:41 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 18:58:53 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:59:07 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 19:00:04 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:46 | → | caconym7478798 joins (~caconym@user/caconym) |
| 19:04:35 | → | cawfee joins (root@2401:c080:3800:3460::babe) |
| 19:06:27 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 19:08:47 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 19:10:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 19:10:53 | trickard_ | is now known as trickard |
| 19:11:00 | → | ubert joins (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) |
| 19:23:21 | × | ubert quits (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 19:23:41 | → | ubert joins (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) |
| 19:30:45 | → | sam113102 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 19:32:00 | → | shr\ke_ joins (~shrike@user/paxhumana) |
| 19:32:19 | → | dutchie_ joins (~dutchie@user/dutchie) |
| 19:32:22 | → | ruvam_ joins (~ruvam@user/ruvam) |
| 19:32:37 | → | dsal_ joins (sid13060@id-13060.lymington.irccloud.com) |
| 19:32:38 | → | tomsmeding_ joins (~tomsmedin@user/tomsmeding) |
| 19:32:39 | → | swistak joins (~swistak@185.21.216.141) |
| 19:32:41 | → | distopico_ joins (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) |
| 19:32:46 | → | natto17 joins (~natto@129.154.243.159) |
| 19:32:47 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 19:32:48 | → | yegor_ joins (~yegor@user/yegor) |
| 19:32:49 | → | aforemny_ joins (~aforemny@2001:9e8:6cd3:9e00:ec6c:33df:2ec4:2c9f) |
| 19:32:57 | → | fired_ joins (~la@173-255-196-82.ip.linodeusercontent.com) |
| 19:33:19 | → | Xe_ joins (~Xe@perl/impostor/xe) |
| 19:33:24 | → | f-chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 19:33:27 | → | SrPx_ joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 19:34:05 | → | lisq_ joins (~quassel@lis.moe) |
| 19:34:47 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 19:34:47 | → | mjrosenb joins (~mjrosenb@70.18.10.118) |
| 19:35:01 | → | enicar joins (~enikar@user/enikar) |
| 19:35:03 | → | ystael joins (~ystael@user/ystael) |
| 19:35:28 | → | sttau joins (~sttau@199.180.255.81) |
| 19:35:31 | → | mesaoptimizer0 joins (~mesa@user/PapuaHardyNet) |
| 19:35:37 | → | Clint_ joins (~Clint@user/clint) |
| 19:35:53 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:36:58 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 19:36:58 | × | yegor quits (yegor@user/yegor) (Ping timeout: 248 seconds) |
| 19:36:58 | × | ruvam quits (~ruvam@user/ruvam) (Ping timeout: 248 seconds) |
| 19:36:58 | × | dsal quits (sid13060@id-13060.lymington.irccloud.com) (Ping timeout: 248 seconds) |
| 19:36:58 | × | swistak- quits (~swistak@185.21.216.141) (Ping timeout: 248 seconds) |
| 19:36:58 | × | ystael_ quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 19:36:59 | × | fired quits (la@2600:3c00::f03c:92ff:fee3:aace) (Ping timeout: 248 seconds) |
| 19:36:59 | × | enikar quits (~enikar@user/enikar) (Ping timeout: 248 seconds) |
| 19:36:59 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 248 seconds) |
| 19:36:59 | × | shr\ke quits (~shrike@user/shrke:31298) (Ping timeout: 248 seconds) |
| 19:36:59 | × | natto- quits (~natto@129.154.243.159) (Ping timeout: 248 seconds) |
| 19:36:59 | × | mesaoptimizer quits (~mesa@user/PapuaHardyNet) (Ping timeout: 248 seconds) |
| 19:36:59 | × | mjrosenb_ quits (~mjrosenb@70.18.10.118) (Ping timeout: 248 seconds) |
| 19:36:59 | × | davean quits (~davean@davean.sciesnet.net) (Ping timeout: 248 seconds) |
| 19:36:59 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 248 seconds) |
| 19:36:59 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 248 seconds) |
| 19:36:59 | × | aforemny quits (~aforemny@2001:9e8:6cd3:9e00:ec6c:33df:2ec4:2c9f) (Ping timeout: 248 seconds) |
| 19:36:59 | × | tomsmeding quits (~tomsmedin@user/tomsmeding) (Ping timeout: 248 seconds) |
| 19:36:59 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 19:36:59 | × | lisq quits (~quassel@lis.moe) (Ping timeout: 248 seconds) |
| 19:36:59 | × | distopico quits (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Ping timeout: 248 seconds) |
| 19:36:59 | × | sttau_ quits (~sttau@199.180.255.81) (Ping timeout: 248 seconds) |
| 19:36:59 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 248 seconds) |
| 19:36:59 | × | gabiruh_ quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 248 seconds) |
| 19:36:59 | × | Clint quits (~Clint@user/clint) (Ping timeout: 248 seconds) |
| 19:36:59 | SrPx_ | is now known as SrPx |
| 19:36:59 | ruvam_ | is now known as ruvam |
| 19:37:00 | dsal_ | is now known as dsal |
| 19:37:00 | distopico_ | is now known as distopico |
| 19:37:00 | dutchie_ | is now known as dutchie |
| 19:37:01 | fired_ | is now known as fired |
| 19:37:01 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 19:37:02 | shr\ke_ | is now known as shr\ke |
| 19:37:03 | sam113102 | is now known as sam113101 |
| 19:37:18 | → | pabs3 joins (~pabs3@user/pabs3) |
| 19:37:40 | → | jess_ joins (meow@libera/staff/cat/jess) |
| 19:38:22 | f-chymera | is now known as chymera |
| 19:40:10 | × | jess quits (meow@libera/staff/cat/jess) (Ping timeout: 620 seconds) |
| 19:41:01 | × | FANTOM quits (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 19:41:32 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 19:42:17 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 19:46:50 | → | davean joins (~davean@davean.sciesnet.net) |
| 19:50:09 | → | FANTOM joins (~fantom@90.244.183.5) |
| 19:50:32 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 19:52:27 | veggie_stew | is now known as spew |
| 19:52:36 | Xe_ | is now known as Xe |
| 19:56:36 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 20:04:05 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 20:05:05 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 20:05:23 | × | FANTOM quits (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 20:09:03 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:09:33 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 252 seconds) |
| 20:09:54 | Dhark8 | is now known as Shark8 |
| 20:11:12 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 20:12:38 | → | FANTOM joins (~fantom@90.244.183.5) |
| 20:14:27 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 20:18:28 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 20:19:34 | → | gustrb joins (~gustrb@191.243.134.87) |
| 20:19:46 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:21:14 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 20:22:57 | → | pavonia joins (~user@user/siracusa) |
| 20:24:52 | × | petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 20:25:11 | → | petrichor joins (~jez@user/petrichor) |
| 20:25:59 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 20:28:13 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 20:33:43 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 20:40:27 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:41:25 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 20:42:24 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 20:43:02 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 20:43:43 | → | itaipu joins (~itaipu@168.121.97.28) |
| 20:45:24 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 20:47:54 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 20:53:48 | → | Psychotic1 joins (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 20:54:59 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:55:12 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 20:56:17 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 20:56:42 | × | Psychotic1 quits (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving) |
| 21:01:50 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 21:02:02 | → | gustrb joins (~gustrb@191.243.134.87) |
| 21:04:39 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:05:26 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 21:05:57 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 21:06:37 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 21:12:25 | → | Psychotic1 joins (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 21:12:26 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 21:13:10 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 21:15:37 | → | kukimik joins (~kukimik@93-159-12-225.cgnat.inetia.pl) |
| 21:16:11 | Clint_ | is now known as Clint |
| 21:17:25 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 21:17:54 | → | gustrb joins (~gustrb@191.243.134.87) |
| 21:22:59 | trickard_ | is now known as trickard |
| 21:27:22 | → | Zemy joins (~Zemy@76.184.41.21) |
| 21:29:44 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 21:30:39 | → | jreicher joins (~user@user/jreicher) |
| 21:32:16 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 21:34:09 | → | gmg joins (~user@user/gehmehgeh) |
| 21:35:43 | → | bggd joins (~bgg@2a01:e0a:819:1510:8541:de44:31ff:4da2) |
| 21:49:10 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 21:49:14 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 21:49:33 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 21:51:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:51:55 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 21:53:38 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 21:53:46 | gehmehgeh | is now known as gmg |
| 21:57:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:58:25 | ← | kukimik parts (~kukimik@93-159-12-225.cgnat.inetia.pl) () |
| 22:07:02 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 22:08:30 | × | synchromesh quits (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer) |
| 22:08:56 | × | omnifunctor quits (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 22:08:56 | × | semifunctor quits (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 22:09:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:10:02 | → | synchromesh joins (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) |
| 22:10:24 | → | semifunctor joins (~omnifunct@user/semifunctor) |
| 22:10:53 | → | omnifunctor joins (~omnifunct@user/semifunctor) |
| 22:14:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:18:07 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:20:43 | <dcpagan> | I cannot use a monoid instance of (Ord a) => Max (Maybe a) |
| 22:21:07 | <dcpagan> | The following monoid instances are defined in the standard library: |
| 22:21:10 | <dcpagan> | instance (Ord a, Bounded a) => Monoid (Max a) |
| 22:21:35 | <dcpagan> | instance Semigroup a => Monoid (Maybe a) |
| 22:22:03 | <dcpagan> | instance Ord a => Semigroup (Max a) |
| 22:22:48 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 22:23:41 | <dcpagan> | This is the type error I'm getting: "Could not deduce (Bounded (Maybe Int))" |
| 22:24:35 | <monochrom> | IIUC that just means you have a Semigroup, you just don't have a Monoid. |
| 22:24:57 | <dcpagan> | Here's the code with the type error: "fromMaybe 0 . getMax . foldMap (Max . Just . length)" |
| 22:25:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:25:23 | <dcpagan> | I imported Data.Semigroup and Data.Monoid. |
| 22:26:00 | <dolio> | I think you might want `Maybe (Max a)` |
| 22:26:29 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:27:05 | <dolio> | `Max a` is the semigroup taking the maximum in `a`, and then `Maybe` adds a unit to a semigroup. |
| 22:28:14 | <dcpagan> | Oh, I see it. Transposing Max and Just works. |
| 22:28:31 | <dolio> | Technically the `(Ord a, Bounded a) => Monoid (Max a)` only needs one bound, but the classes aren't that refined. |
| 22:28:47 | <dcpagan> | I saw other monoids in Data.Monoid that wrapped a Maybe, like First and Last. |
| 22:29:17 | <dcpagan> | MinBounded and MaxBounded type classes would be nice. |
| 22:29:24 | <dcpagan> | Natural has a minBound, but no maxBound. |
| 22:29:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:30:13 | <dolio> | Yeah, First/Last could be reworked to be semigroups without the Maybe, but probably no one cares enough to fix the historical design. |
| 22:30:30 | <dolio> | They were written before Semigroup existed as a class. |
| 22:34:56 | <geekosaur> | weren't some others rewritten, though? |
| 22:35:23 | <dolio> | Dunno. I kind of thought Min/Max were the same way, so maybe they were changed. |
| 22:35:27 | → | gustrb joins (~gustrb@200.132.2.8) |
| 22:35:34 | <dolio> | I don't know why only some would have been fixed, though. |
| 22:36:29 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 22:37:20 | → | AlexZenon_2 joins (~alzenon@85.174.180.124) |
| 22:37:31 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 22:38:27 | mesaoptimizer0 | is now known as mesaoptimizer |
| 22:38:27 | × | AlexZenon quits (~alzenon@85.174.180.124) (Read error: Connection reset by peer) |
| 22:40:39 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 22:40:39 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 22:41:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:41:02 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Client Quit) |
| 22:41:42 | → | itaipu joins (~itaipu@168.121.97.28) |
| 22:43:08 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 22:44:10 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 22:45:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:46:55 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:48:04 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 22:48:46 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:51:06 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 22:55:19 | × | Psychotic1 quits (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving) |
| 22:55:45 | → | Psychotic1 joins (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 22:56:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:59:19 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 23:01:25 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 23:01:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:03:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:06:31 | → | karenw_ joins (~karenw@user/karenw) |
| 23:09:55 | × | n0um3n4 quits (~n0um3n4@104.28.199.133) (Remote host closed the connection) |
| 23:12:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:17:00 | × | xff0x quits (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 245 seconds) |
| 23:17:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:21:12 | → | n0um3n4 joins (~n0um3n4@104.28.199.133) |
| 23:28:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:31:52 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 23:32:14 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 23:34:29 | × | Zemy quits (~Zemy@76.184.41.21) (Ping timeout: 256 seconds) |
| 23:35:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:35:54 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 23:35:55 | yegor_ | is now known as yegor |
| 23:36:58 | Googulator42 | is now known as Googulator |
| 23:40:09 | → | xff0x joins (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) |
| 23:40:13 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:43:02 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 23:46:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:47:37 | × | acidjnk quits (~acidjnk@p200300d6e71719750129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 23:54:37 | × | gustrb quits (~gustrb@200.132.2.8) (Ping timeout: 246 seconds) |
| 23:55:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:58:55 | → | jmcantrell joins (~weechat@user/jmcantrell) |
All times are in UTC on 2025-10-16.