| 2022-03-04 00:01:19 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 00:03:18 +0000 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-03-04 00:07:05 +0000 | jlamothe | (~jlamothe@198.251.61.229) (Quit: leaving) |
| 2022-03-04 00:07:37 +0000 | komikat | (~komikat@117.199.167.81) (Remote host closed the connection) |
| 2022-03-04 00:08:08 +0000 | komikat | (~komikat@117.199.167.81) |
| 2022-03-04 00:08:17 +0000 | mason0 | (~bc8147f2@cerf.good1.com) |
| 2022-03-04 00:08:18 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-03-04 00:08:53 +0000 | Topsi | (~Tobias@dyndsl-095-033-024-063.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-03-04 00:10:05 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 00:13:57 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-04 00:14:00 +0000 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-04 00:16:55 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 00:18:41 +0000 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-03-04 00:21:00 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 00:25:37 +0000 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-03-04 00:29:27 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 256 seconds) |
| 2022-03-04 00:30:49 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-03-04 00:31:38 +0000 | komikat_ | (~komikat@117.199.167.81) |
| 2022-03-04 00:32:27 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-03-04 00:34:33 +0000 | komikat | (~komikat@117.199.167.81) (Ping timeout: 256 seconds) |
| 2022-03-04 00:37:02 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:d4c3:770e:71a9:8cce) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-04 00:38:35 +0000 | komikat_ | (~komikat@117.199.167.81) (Remote host closed the connection) |
| 2022-03-04 00:38:59 +0000 | komikat | (~komikat@117.199.167.81) |
| 2022-03-04 00:41:34 +0000 | TonyStone31 | (~TonyStone@2603-7080-8607-c36a-d912-8cca-9865-b723.res6.spectrum.com) |
| 2022-03-04 00:43:21 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-04 00:44:07 +0000 | komikat | (~komikat@117.199.167.81) (Ping timeout: 272 seconds) |
| 2022-03-04 00:45:58 +0000 | ober | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) |
| 2022-03-04 00:48:55 +0000 | ubert | (~Thunderbi@p548c8d84.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-03-04 00:49:12 +0000 | ubert | (~Thunderbi@p200300ecdf3be99540af3c3b2fdf1119.dip0.t-ipconnect.de) |
| 2022-03-04 00:51:19 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 00:53:30 +0000 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-04 00:53:58 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-03-04 00:54:07 +0000 | ishutin | (~ishutin@91-83-1-235.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-04 00:54:46 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-04 00:55:37 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 00:55:45 +0000 | ishutin | (~ishutin@178-164-208-246.pool.digikabel.hu) |
| 2022-03-04 00:56:47 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 00:58:21 +0000 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-03-04 00:58:50 +0000 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2022-03-04 00:58:59 +0000 | TonyStone31 | (~TonyStone@2603-7080-8607-c36a-d912-8cca-9865-b723.res6.spectrum.com) (Quit: Leaving) |
| 2022-03-04 01:01:00 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds) |
| 2022-03-04 01:03:40 +0000 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-04 01:04:23 +0000 | pavonia | (~user@user/siracusa) |
| 2022-03-04 01:08:00 +0000 | ober_ | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) |
| 2022-03-04 01:10:42 +0000 | ober | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-03-04 01:11:03 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 01:17:09 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 01:22:27 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-03-04 01:23:56 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 01:24:54 +0000 | ober_ | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Quit: Leaving) |
| 2022-03-04 01:25:14 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-03-04 01:26:17 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-03-04 01:28:17 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 01:29:25 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 01:31:36 +0000 | alp | (~alp@user/alp) |
| 2022-03-04 01:34:36 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds) |
| 2022-03-04 01:36:19 +0000 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-03-04 01:38:17 +0000 | ishutin | (~ishutin@178-164-208-246.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-04 01:40:07 +0000 | ishutin | (~ishutin@85-238-77-70.pool.digikabel.hu) |
| 2022-03-04 01:41:23 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 01:42:52 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-03-04 01:44:21 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-03-04 01:50:46 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-03-04 01:52:34 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-03-04 01:54:05 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-03-04 01:55:03 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection) |
| 2022-03-04 01:56:37 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-04 01:57:04 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 01:57:26 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-03-04 01:59:37 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 02:01:32 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-04 02:01:49 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-04 02:04:15 +0000 | vysn | (~vysn@user/vysn) |
| 2022-03-04 02:13:00 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 240 seconds) |
| 2022-03-04 02:14:55 +0000 | tomku | (~tomku@user/tomku) |
| 2022-03-04 02:17:06 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-04 02:17:06 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-04 02:17:06 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-04 02:20:43 +0000 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2022-03-04 02:26:19 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 02:27:17 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-04 02:27:17 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-04 02:27:17 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-04 02:32:49 +0000 | SoF | (~skius@user/skius) (Quit: Ping timeout (120 seconds)) |
| 2022-03-04 02:33:16 +0000 | SoF | (~skius@user/skius) |
| 2022-03-04 02:40:08 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 02:42:35 +0000 | Akiva | (~Akiva@user/Akiva) |
| 2022-03-04 02:52:49 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-03-04 03:00:56 +0000 | alp | (~alp@user/alp) (Ping timeout: 250 seconds) |
| 2022-03-04 03:01:22 +0000 | ubert | (~Thunderbi@p200300ecdf3be99540af3c3b2fdf1119.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-04 03:01:40 +0000 | ubert | (~Thunderbi@p200300ecdf3be96140af3c3b2fdf1119.dip0.t-ipconnect.de) |
| 2022-03-04 03:05:01 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-04 03:05:43 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-04 03:05:43 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-04 03:05:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-04 03:12:24 +0000 | deer | (~delicacie@2601:6c4:4080:3f80:64ae:8d65:326:7bc) (Read error: Connection reset by peer) |
| 2022-03-04 03:13:47 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-04 03:16:37 +0000 | td_ | (~td@94.134.91.95) (Ping timeout: 256 seconds) |
| 2022-03-04 03:18:25 +0000 | td_ | (~td@94.134.91.15) |
| 2022-03-04 03:29:41 +0000 | marc__ | (~marc@171.42.231.100) |
| 2022-03-04 03:30:10 +0000 | <marc__> | hi |
| 2022-03-04 03:30:22 +0000 | <jackdk> | sup |
| 2022-03-04 03:32:57 +0000 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-04 03:33:37 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 2022-03-04 03:34:25 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 03:35:17 +0000 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection) |
| 2022-03-04 03:37:42 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-03-04 03:39:35 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-04 03:48:41 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 245 seconds) |
| 2022-03-04 03:49:29 +0000 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-04 03:49:41 +0000 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2022-03-04 03:51:53 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-04 03:54:40 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 03:56:51 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-04 03:58:10 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-04 03:58:22 +0000 | [itchyjunk] | Guest705 |
| 2022-03-04 03:58:22 +0000 | Guest705 | (~itchyjunk@user/itchyjunk/x-7353470) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2022-03-04 03:58:22 +0000 | [_] | [itchyjunk] |
| 2022-03-04 04:03:53 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-04 04:04:14 +0000 | Vajb | (~Vajb@mobile-access-bcee23-6.dhcp.inet.fi) |
| 2022-03-04 04:06:37 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-03-04 04:10:38 +0000 | marc__ | (~marc@171.42.231.100) (Quit: marc__) |
| 2022-03-04 04:11:00 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2022-03-04 04:11:51 +0000 | Vajb | (~Vajb@mobile-access-bcee23-6.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-03-04 04:23:47 +0000 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 2022-03-04 04:24:31 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-04 04:28:21 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 04:31:03 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-03-04 04:32:57 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 04:35:37 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-04 04:35:45 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 04:38:08 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 04:40:13 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-04 04:43:30 +0000 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-04 04:46:18 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-04 04:46:20 +0000 | coot | (~coot@213.134.190.95) |
| 2022-03-04 04:49:54 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-04 04:53:30 +0000 | mbuf | (~Shakthi@122.174.168.1) |
| 2022-03-04 04:54:19 +0000 | komikat_ | (~komikat@2409:4052:4d0a:cd2e:10fe:a8d3:bcb1:e4de) |
| 2022-03-04 04:57:16 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-03-04 04:59:08 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-03-04 05:00:27 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.214) |
| 2022-03-04 05:07:16 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-04 05:08:29 +0000 | mason0 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-03-04 05:08:31 +0000 | burakcank | (~burakcank@has.arrived.and.is.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 2022-03-04 05:10:29 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 05:13:05 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-03-04 05:14:36 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-03-04 05:20:32 +0000 | komikat_ | (~komikat@2409:4052:4d0a:cd2e:10fe:a8d3:bcb1:e4de) (Remote host closed the connection) |
| 2022-03-04 05:21:39 +0000 | burakcank | (~burakcank@has.arrived.and.is.ready-to.party) |
| 2022-03-04 05:23:51 +0000 | komikat | (~komikat@2409:4052:4d0a:cd2e:9b9:d68a:f2e1:3491) |
| 2022-03-04 05:45:05 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-04 05:47:15 +0000 | komikat_ | (~komikat@157.38.255.112) |
| 2022-03-04 05:48:07 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-03-04 05:49:29 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-04 05:49:54 +0000 | dons | (~dons@user/dons) |
| 2022-03-04 05:49:57 +0000 | komikat | (~komikat@2409:4052:4d0a:cd2e:9b9:d68a:f2e1:3491) (Ping timeout: 240 seconds) |
| 2022-03-04 05:52:56 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:858f:1c83:7b4e:c545) |
| 2022-03-04 05:56:23 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) (Ping timeout: 252 seconds) |
| 2022-03-04 05:56:23 +0000 | komikat_ | (~komikat@157.38.255.112) (Read error: Connection reset by peer) |
| 2022-03-04 05:57:52 +0000 | komikat | (~komikat@157.38.255.112) |
| 2022-03-04 05:58:49 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-04 06:03:49 +0000 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-04 06:05:44 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-04 06:06:03 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-04 06:07:24 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-03-04 06:10:36 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 06:10:55 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-03-04 06:14:57 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 06:18:17 +0000 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-03-04 06:20:06 +0000 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2022-03-04 06:20:07 +0000 | <dons> | hey folks. anyone have a good way to detect in the shell if the system compiler is clang? clang=$(cc --version | sed -n 's/^.*\(clang\).*$/\1/p') |
| 2022-03-04 06:20:18 +0000 | <dons> | (gotta be a more standard way, right/) |
| 2022-03-04 06:20:37 +0000 | jinsun__ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-03-04 06:23:25 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-03-04 06:26:45 +0000 | komikat | (~komikat@157.38.255.112) (Ping timeout: 272 seconds) |
| 2022-03-04 06:29:32 +0000 | monochrom | (trebla@216.138.220.146) |
| 2022-03-04 06:31:01 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-03-04 06:31:23 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-03-04 06:34:13 +0000 | <Axman6> | compiling a small C file which uses __clang__ might also work |
| 2022-03-04 06:37:57 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-04 06:38:43 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 06:42:09 +0000 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-03-04 06:43:07 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-03-04 06:44:01 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-04 06:48:17 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-04 06:48:17 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.214) (Ping timeout: 256 seconds) |
| 2022-03-04 06:48:55 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 06:49:03 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-03-04 06:49:38 +0000 | Inst | (~delicacie@2601:6c4:4080:3f80:55c9:448e:c624:9d3c) |
| 2022-03-04 06:49:44 +0000 | <Inst> | hope I'm not unwelcome here |
| 2022-03-04 06:49:50 +0000 | <Inst> | had some girl troubles, it's hopefully resolved |
| 2022-03-04 06:50:08 +0000 | k8yun_ | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-03-04 06:53:38 +0000 | <Axman6> | Lambdas will be here for you forever, they are eternal |
| 2022-03-04 06:56:28 +0000 | alp | (~alp@user/alp) |
| 2022-03-04 07:03:13 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-04 07:03:28 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-03-04 07:03:51 +0000 | <EvanR> | not unwelcome is different from welcome in constructive logic |
| 2022-03-04 07:04:15 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-04 07:04:45 +0000 | <EvanR> | --Inst |
| 2022-03-04 07:10:27 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 07:12:38 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-04 07:13:24 +0000 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-03-04 07:18:30 +0000 | michalz | (~michalz@185.246.204.93) |
| 2022-03-04 07:19:59 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-03-04 07:22:34 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.78) |
| 2022-03-04 07:23:12 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-04 07:24:01 +0000 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-03-04 07:24:53 +0000 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-04 07:25:30 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-04 07:27:27 +0000 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-04 07:28:11 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-03-04 07:29:40 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.78) (Ping timeout: 256 seconds) |
| 2022-03-04 07:30:29 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-03-04 07:30:30 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-04 07:33:03 +0000 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-03-04 07:35:45 +0000 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) |
| 2022-03-04 07:36:17 +0000 | phma | (phma@2001:5b0:211c:1ab8:337e:48b8:44a6:cbd6) (Read error: Connection reset by peer) |
| 2022-03-04 07:38:50 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-04 07:39:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-03-04 07:39:40 +0000 | phma | (~phma@22.sub-174-212-106.myvzw.com) |
| 2022-03-04 07:41:07 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 07:42:06 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-03-04 07:42:49 +0000 | zer0bitz_ | zer0bitz |
| 2022-03-04 07:46:13 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 07:47:06 +0000 | phma_ | (phma@2001:5b0:211c:1ab8:df29:5c87:24e7:7b4a) |
| 2022-03-04 07:47:13 +0000 | phma | (~phma@22.sub-174-212-106.myvzw.com) (Ping timeout: 256 seconds) |
| 2022-03-04 07:48:04 +0000 | jespada | (~jespada@85.255.234.170) |
| 2022-03-04 07:48:07 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-04 07:48:17 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 07:50:39 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-04 07:52:01 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:125:fce3:168e:466a) (Read error: Connection reset by peer) |
| 2022-03-04 07:52:45 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 07:52:55 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Read error: Connection reset by peer) |
| 2022-03-04 07:53:01 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-04 07:53:07 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 07:53:44 +0000 | chele | (~chele@user/chele) |
| 2022-03-04 07:54:23 +0000 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-03-04 07:58:12 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-04 08:00:12 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-03-04 08:00:48 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-04 08:01:49 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 08:06:36 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-03-04 08:06:36 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-04 08:07:45 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-03-04 08:08:13 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-04 08:09:19 +0000 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Ping timeout: 256 seconds) |
| 2022-03-04 08:09:24 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 240 seconds) |
| 2022-03-04 08:10:16 +0000 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-03-04 08:11:46 +0000 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-03-04 08:12:19 +0000 | phma_ | phma |
| 2022-03-04 08:12:25 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-04 08:15:15 +0000 | alp | (~alp@user/alp) |
| 2022-03-04 08:15:49 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-04 08:19:44 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c4d6:d681:f728:302d) |
| 2022-03-04 08:20:27 +0000 | <dminuoso> | reactormonk[m]: Even stronger, if you have a coproduct type you can use `unsafeSingular (_L <> _R)` to reconstruct a proper lens. Just be sure that you cover all prisms for that. |
| 2022-03-04 08:20:57 +0000 | <dminuoso> | We make heavy use of this in our largest project. :) |
| 2022-03-04 08:21:55 +0000 | <dminuoso> | commonInterface = unsafeSingular $ (_Service1Q % commonInterface) `failingT` (_ServiceL3 % commonInterface) |
| 2022-03-04 08:27:43 +0000 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-04 08:27:56 +0000 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) |
| 2022-03-04 08:28:06 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 08:30:55 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-03-04 08:31:36 +0000 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-03-04 08:32:07 +0000 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-03-04 08:32:17 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 08:33:01 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-04 08:39:13 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 08:39:37 +0000 | yahb | (xsbot@user/mniip/bot/yahb) (Ping timeout: 256 seconds) |
| 2022-03-04 08:39:48 +0000 | yahb | (xsbot@user/mniip/bot/yahb) |
| 2022-03-04 08:44:11 +0000 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-03-04 08:46:15 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 08:47:48 +0000 | kuribas | (~user@ptr-25vy0i73yabknznie7k.18120a2.ip6.access.telenet.be) |
| 2022-03-04 08:49:00 +0000 | <kuribas> | omg reasoning with lispers about haskell is impossible. "haskell is so complicated, I looked at the implementation of "fold", and it was incomprehensible, with Endo monoid etc...". |
| 2022-03-04 08:49:22 +0000 | <kuribas> | Yeah, you looked at a few blog post, why would you think you can understand all the intrecacies of the language then? |
| 2022-03-04 08:50:03 +0000 | <kuribas> | "oh, but the implementation of reduce in clojure is easy. I would never be able to understand haskell." |
| 2022-03-04 08:50:53 +0000 | <kuribas> | I get it, most languages are so similar to others (C# vs java), that usually a few blogposts is enough to get a good idea. |
| 2022-03-04 08:51:09 +0000 | <kuribas> | IMO that makes haskell a good language, not a bad one. |
| 2022-03-04 08:53:47 +0000 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-03-04 08:54:37 +0000 | <kuribas> | I would not be interested in learning a language which is mostly syntactic fluff over another language. |
| 2022-03-04 08:54:58 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-04 08:55:41 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 08:57:09 +0000 | <tomsmeding> | to be frank I don't understand that Endo definition of fold either |
| 2022-03-04 08:57:18 +0000 | <tomsmeding> | I don't think it's meant to be "clear code" |
| 2022-03-04 08:57:31 +0000 | <tomsmeding> | it's meant to be hugely generic and do the job |
| 2022-03-04 08:57:54 +0000 | <kuribas> | yeah, and to play well with rewrite rules. |
| 2022-03-04 08:58:13 +0000 | <tomsmeding> | which is almost the definition of "black magic" in haskell world, from my point of view |
| 2022-03-04 08:58:24 +0000 | <tomsmeding> | hence, I think that response is not even wrong :p |
| 2022-03-04 08:58:36 +0000 | <tomsmeding> | though it's very unfair to discount haskell based on that, clojure is bound to have its weirdnesses as well |
| 2022-03-04 08:58:52 +0000 | <tomsmeding> | (I don't know clojure) |
| 2022-03-04 08:59:08 +0000 | <kuribas> | yeah, that's my point. You look into a impementation of a language you don't know well, how can you expect it to be clear and understandable. |
| 2022-03-04 08:59:15 +0000 | <tomsmeding> | yes |
| 2022-03-04 08:59:47 +0000 | <kuribas> | I agree about the black magic, but the truth is clojure doesn't even have such optimizations. |
| 2022-03-04 09:00:07 +0000 | pfurla-matrix | (~pedrofurl@2001:470:69fc:105::1:51d7) (Quit: You have been kicked for being idle) |
| 2022-03-04 09:00:18 +0000 | <kuribas> | If you write high level code, it will give suboptimal performance. |
| 2022-03-04 09:00:26 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 09:00:31 +0000 | pfurla-matrix | (~pedrofurl@2001:470:69fc:105::1:51d7) |
| 2022-03-04 09:00:32 +0000 | pfurla-matrix | (~pedrofurl@2001:470:69fc:105::1:51d7) () |
| 2022-03-04 09:00:43 +0000 | <kuribas> | The definition of "fold" in a handbook would be easy and clear. |
| 2022-03-04 09:00:53 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 09:01:28 +0000 | <kuribas> | But probably not be as efficient. |
| 2022-03-04 09:01:54 +0000 | <kuribas> | and right, ghc is the implementation, not the language. |
| 2022-03-04 09:02:46 +0000 | <int-e> | The Endo thing is just about expressing f a (f b (f c z)) as (f a . f b . f c) z |
| 2022-03-04 09:02:52 +0000 | <tomsmeding> | sad, 'fold' not in Haskell2010 |
| 2022-03-04 09:03:15 +0000 | <int-e> | where (.) is the mappend of `Endo`, modulo the newtype |
| 2022-03-04 09:03:33 +0000 | <int-e> | @src foldr |
| 2022-03-04 09:03:34 +0000 | <lambdabot> | foldr f z [] = z |
| 2022-03-04 09:03:34 +0000 | <lambdabot> | foldr f z (x:xs) = f x (foldr f z xs) |
| 2022-03-04 09:03:40 +0000 | <int-e> | If you teach, use this. |
| 2022-03-04 09:04:09 +0000 | <tomsmeding> | yeah |
| 2022-03-04 09:04:43 +0000 | <tomsmeding> | it's semantically exactly equivalent, only difference is performance |
| 2022-03-04 09:04:45 +0000 | <tomsmeding> | that's always nice |
| 2022-03-04 09:05:17 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 09:05:26 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-03-04 09:07:58 +0000 | <kuribas> | I think there could be ways to improve over rewrite rules, but they are active research. |
| 2022-03-04 09:08:16 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 09:08:47 +0000 | <int-e> | (I guess that leaves the `#.` which is an optimization of `.` specifically for newtype constructors... which are equal to `coerce`, and `coerce . f = coerce f` when only the result type is changed... yeah that's intricate.) |
| 2022-03-04 09:10:04 +0000 | <kuribas> | And frankly, clojure is simple because it is also not very performant. |
| 2022-03-04 09:10:28 +0000 | <kuribas> | the performant bits are implemented in Java. |
| 2022-03-04 09:10:53 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-04 09:11:00 +0000 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-04 09:11:29 +0000 | <int-e> | . o O ( -- you are not meant to understand this ) |
| 2022-03-04 09:13:18 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
| 2022-03-04 09:14:30 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-03-04 09:14:38 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection) |
| 2022-03-04 09:18:22 +0000 | <kuribas> | int-e: where does it say that? |
| 2022-03-04 09:18:44 +0000 | <int-e> | kuribas: In my mind. |
| 2022-03-04 09:18:52 +0000 | <kuribas> | right :) |
| 2022-03-04 09:19:07 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) |
| 2022-03-04 09:21:51 +0000 | vpan | (~0@212.117.1.172) |
| 2022-03-04 09:22:55 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-03-04 09:23:37 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-04 09:23:52 +0000 | <int-e> | kuribas: This has a real life source though: https://web.archive.org/web/20081021011744/http://cm.bell-labs.com/cm/cs/who/dmr/odd.html |
| 2022-03-04 09:24:03 +0000 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-03-04 09:24:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-04 09:24:05 +0000 | <int-e> | Well. Close. s/meant/expected/ |
| 2022-03-04 09:24:23 +0000 | <int-e> | Which makes it a tiny bit less condescending. |
| 2022-03-04 09:26:17 +0000 | <tomsmeding> | "The real problem is that we didn't understand what was going on either." |
| 2022-03-04 09:26:46 +0000 | <int-e> | We've had a story like this with inlinePerformIO |
| 2022-03-04 09:28:28 +0000 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-04 09:28:31 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-03-04 09:28:45 +0000 | <int-e> | (aka accursedUnutterablePerformIO) |
| 2022-03-04 09:29:58 +0000 | <tomsmeding> | the haddocks certainly make for good reading |
| 2022-03-04 09:31:11 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-03-04 09:32:12 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 09:36:28 +0000 | ccntrq | (~Thunderbi@x527162f0.dyn.telefonica.de) |
| 2022-03-04 09:40:36 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-04 09:44:24 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 09:46:36 +0000 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-04 09:46:36 +0000 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-04 09:49:03 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 252 seconds) |
| 2022-03-04 09:49:52 +0000 | jespada | (~jespada@85.255.234.170) (Ping timeout: 268 seconds) |
| 2022-03-04 09:51:42 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-04 09:52:11 +0000 | jespada | (~jespada@85.255.234.170) |
| 2022-03-04 09:52:41 +0000 | <kuribas> | bytestrings are also interesting. |
| 2022-03-04 09:53:07 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-03-04 09:53:28 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2022-03-04 09:55:48 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-04 09:59:12 +0000 | ccntrq | (~Thunderbi@x527162f0.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2022-03-04 09:59:22 +0000 | ccntrq1 | (~Thunderbi@x527162f0.dyn.telefonica.de) |
| 2022-03-04 10:01:01 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-04 10:01:42 +0000 | ccntrq1 | ccntrq |
| 2022-03-04 10:03:36 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:d4c3:770e:71a9:8cce) |
| 2022-03-04 10:07:22 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:d4c3:770e:71a9:8cce) (Client Quit) |
| 2022-03-04 10:08:27 +0000 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) |
| 2022-03-04 10:10:54 +0000 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-03-04 10:12:04 +0000 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:d4ba:9b6c:52b1:aba9) |
| 2022-03-04 10:15:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 10:15:47 +0000 | coot | (~coot@213.134.190.95) |
| 2022-03-04 10:16:07 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-04 10:17:51 +0000 | ccntrq1 | (~Thunderbi@dynamic-046-114-036-176.46.114.pool.telefonica.de) |
| 2022-03-04 10:17:59 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) (Ping timeout: 256 seconds) |
| 2022-03-04 10:18:13 +0000 | ccntrq | (~Thunderbi@x527162f0.dyn.telefonica.de) (Ping timeout: 256 seconds) |
| 2022-03-04 10:18:13 +0000 | ccntrq1 | ccntrq |
| 2022-03-04 10:18:39 +0000 | dust_ | (~dust@2409:4071:2418:93ae:6afb:79b3:9cb2:17de) |
| 2022-03-04 10:18:44 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-03-04 10:18:52 +0000 | dust_ | (~dust@2409:4071:2418:93ae:6afb:79b3:9cb2:17de) (Client Quit) |
| 2022-03-04 10:19:24 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Ping timeout: 240 seconds) |
| 2022-03-04 10:21:05 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-04 10:23:10 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 10:25:59 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) |
| 2022-03-04 10:28:17 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 10:31:48 +0000 | Inst | (~delicacie@2601:6c4:4080:3f80:55c9:448e:c624:9d3c) (Ping timeout: 240 seconds) |
| 2022-03-04 10:33:06 +0000 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) |
| 2022-03-04 10:34:42 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-03-04 10:34:51 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-03-04 10:38:54 +0000 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-04 10:39:35 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-04 10:41:00 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-04 10:45:11 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-03-04 10:45:37 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-03-04 10:50:50 +0000 | sts-q | (~sts-q@212.53.219.156) |
| 2022-03-04 10:50:58 +0000 | juri_ | (~juri@178.63.35.222) |
| 2022-03-04 10:51:48 +0000 | sts-q | (~sts-q@212.53.219.156) () |
| 2022-03-04 10:57:03 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-03-04 11:01:36 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-03-04 11:02:16 +0000 | ccntrq | (~Thunderbi@dynamic-046-114-036-176.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2022-03-04 11:02:41 +0000 | mmhat | (~mmh@55d4f0e4.access.ecotel.net) |
| 2022-03-04 11:03:33 +0000 | ccntrq | (~Thunderbi@dynamic-046-114-036-176.46.114.pool.telefonica.de) |
| 2022-03-04 11:08:10 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 11:08:13 +0000 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2022-03-04 11:08:39 +0000 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-04 11:15:16 +0000 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) (Quit: leaving) |
| 2022-03-04 11:24:15 +0000 | jespada | (~jespada@85.255.234.170) (Ping timeout: 256 seconds) |
| 2022-03-04 11:25:31 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 11:25:57 +0000 | jespada | (~jespada@85.255.234.170) |
| 2022-03-04 11:27:05 +0000 | Batzy | (~quassel@user/batzy) (Quit: No Ping reply in 180 seconds.) |
| 2022-03-04 11:27:48 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) (Ping timeout: 240 seconds) |
| 2022-03-04 11:28:32 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-03-04 11:28:48 +0000 | ccntrq1 | (~Thunderbi@x5271633f.dyn.telefonica.de) |
| 2022-03-04 11:30:29 +0000 | ccntrq | (~Thunderbi@dynamic-046-114-036-176.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2022-03-04 11:30:30 +0000 | ccntrq1 | ccntrq |
| 2022-03-04 11:33:35 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2022-03-04 11:36:36 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 11:38:12 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 240 seconds) |
| 2022-03-04 11:38:42 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-04 11:39:36 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 11:40:21 +0000 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-03-04 11:43:46 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 11:44:06 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-03-04 11:44:17 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-04 11:44:50 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 11:51:51 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-04 11:52:09 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-04 11:56:37 +0000 | ccntrq1 | (~Thunderbi@x527179cd.dyn.telefonica.de) |
| 2022-03-04 11:56:45 +0000 | <teddyc> | I had this thought of a function that toggles between serializing and deserialing a data type based on the input, and was thinking about how you can be quite expressive with types in haskell. Is something like this possible? https://0bin.net/paste/RZX85Kjh#78ms0-pk5DUlaLBdzwMjf9wQCDA6mU8EOE2C2/ywlpF |
| 2022-03-04 11:57:08 +0000 | <teddyc> | basically that the output type can be inferred by the input type |
| 2022-03-04 11:57:22 +0000 | <teddyc> | or is it not possible at compile time |
| 2022-03-04 11:57:46 +0000 | ccntrq | (~Thunderbi@x5271633f.dyn.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-03-04 11:57:46 +0000 | ccntrq1 | ccntrq |
| 2022-03-04 11:58:23 +0000 | <geekosaur> | I think you'd need FlexibleInstances, but a function is a perfectly fine typeclass instance (see Text.Printf's PrintfType) |
| 2022-03-04 11:59:25 +0000 | <geekosaur> | it seems a not so great idea to me because a mistake in type inference elsewhere could lead what you expect to be a serializer to become a deserializer instead or vice versa, but it should be perferctly possible to write such a thing |
| 2022-03-04 12:00:43 +0000 | <teddyc> | nice, ill have a look. Yeah, its maybe not the greatest idea. I just had a flashback to the little i learned about prolog. IIRC you can give either the input or the ouput of the function and get the other. |
| 2022-03-04 12:01:07 +0000 | <geekosaur> | yeh, this is a bit more sensible an idea in logic programming |
| 2022-03-04 12:01:14 +0000 | <geekosaur> | it's more constrained |
| 2022-03-04 12:01:59 +0000 | <geekosaur> | considser also: |
| 2022-03-04 12:02:13 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:d4c3:770e:71a9:8cce) |
| 2022-03-04 12:02:15 +0000 | <geekosaur> | > (maxBound :: Int, maxBound :: Char) |
| 2022-03-04 12:02:17 +0000 | <lambdabot> | (9223372036854775807,'\1114111') |
| 2022-03-04 12:02:37 +0000 | <geekosaur> | its type and its value is conmpletely determined by how you use it |
| 2022-03-04 12:02:47 +0000 | <geekosaur> | just a typeclass member function |
| 2022-03-04 12:02:56 +0000 | <teddyc> | ah, thats interesting |
| 2022-03-04 12:03:11 +0000 | <geekosaur> | typeclasses are quite flexible |
| 2022-03-04 12:04:19 +0000 | <geekosaur> | I've seen C++ programmers' minds get blown by the idea of "return type overloading" |
| 2022-03-04 12:05:19 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-03-04 12:05:51 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-03-04 12:07:57 +0000 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-04 12:08:44 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 12:08:54 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-03-04 12:09:30 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 12:12:33 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-03-04 12:13:15 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-04 12:13:17 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 12:13:26 +0000 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Ping timeout: 250 seconds) |
| 2022-03-04 12:14:34 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 12:15:57 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-03-04 12:16:11 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-03-04 12:17:10 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 12:17:39 +0000 | <[exa]> | geekosaur: one of my students was implementing a hindley-milner C with overloading and stuff, so he had the `new` function in there for allocation |
| 2022-03-04 12:17:42 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 12:17:47 +0000 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-03-04 12:18:48 +0000 | <[exa]> | literal question from the committee, in disbelief: "but `new`... what type??" |
| 2022-03-04 12:19:57 +0000 | <[exa]> | (it was something roughly like `new :: () -> Ptr a` ) |
| 2022-03-04 12:20:19 +0000 | <geekosaur> | yep |
| 2022-03-04 12:20:52 +0000 | <geekosaur> | teddyc, if you want to see an example of just how much you can abuse the type system, there's a package `acme-php` you can look at |
| 2022-03-04 12:21:40 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Ping timeout: 250 seconds) |
| 2022-03-04 12:23:05 +0000 | <geekosaur> | also I'd point out that in your serialization/deserialization example, there'sa serious question of how to deal with the input and output types being the same: the only possible implementations are `id` orthrowing an exception |
| 2022-03-04 12:23:26 +0000 | <[exa]> | +1^ |
| 2022-03-04 12:24:36 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 12:24:44 +0000 | <[exa]> | teddyc: did you see the "reversible parsing" in prolog with DCGs ? |
| 2022-03-04 12:25:13 +0000 | ccntrq | (~Thunderbi@x527179cd.dyn.telefonica.de) (Ping timeout: 272 seconds) |
| 2022-03-04 12:25:31 +0000 | <dminuoso> | teddyc: To have one type depend on another, you can do this with either a) functional dependencies or b) type families. |
| 2022-03-04 12:25:43 +0000 | <dminuoso> | Whether they are great choices is a separate discussion. |
| 2022-03-04 12:26:00 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 12:26:20 +0000 | <dminuoso> | Or potentially MultiParamTypeclasses without fundeps, depending on what constraints you want |
| 2022-03-04 12:27:20 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 12:31:02 +0000 | <teddyc> | [exa]: no, but that looks very similiar to what I was thinking. |
| 2022-03-04 12:31:52 +0000 | <teddyc> | dminuoso: thanks, many good pointers |
| 2022-03-04 12:32:09 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 12:32:34 +0000 | <geekosaur> | [exa], H-M C sounds interesting. is that online anywhere? |
| 2022-03-04 12:32:36 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-03-04 12:32:54 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 12:32:59 +0000 | <[exa]> | teddyc: notice there in prolog you always know which of the 2 variables is "more serialized" than the other one, that's for a good reason IMO |
| 2022-03-04 12:33:16 +0000 | <[exa]> | teddyc: OTOH the interesting part is that the actual algorithm description is kinda direction-polymorphic |
| 2022-03-04 12:33:53 +0000 | <[exa]> | there should be libraries for that in haskell too (<- optimistic guess) |
| 2022-03-04 12:34:39 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 12:34:42 +0000 | <[exa]> | geekosaur: it's a bachelor-student-touched-the-PL-design-first-time-quality and probably no good docs, I'll check if I find it |
| 2022-03-04 12:36:24 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-04 12:36:25 +0000 | <lortabac> | there are several invertible-parser libraries in Haskell |
| 2022-03-04 12:37:10 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-04 12:37:21 +0000 | <[exa]> | my guess was substantiated \o/ |
| 2022-03-04 12:37:30 +0000 | <lortabac> | they can't produce arbitrary terms as Prolog does, but they allow specifying serialization and deserialization in a single definition |
| 2022-03-04 12:38:02 +0000 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-03-04 12:38:33 +0000 | <lortabac> | @hackage sexp-grammar |
| 2022-03-04 12:38:33 +0000 | <lambdabot> | https://hackage.haskell.org/package/sexp-grammar |
| 2022-03-04 12:38:52 +0000 | <lortabac> | @hackage unjson |
| 2022-03-04 12:38:52 +0000 | <lambdabot> | https://hackage.haskell.org/package/unjson |
| 2022-03-04 12:39:00 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds) |
| 2022-03-04 12:39:08 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 12:39:25 +0000 | <lortabac> | @hackage bidirectional |
| 2022-03-04 12:39:25 +0000 | <lambdabot> | https://hackage.haskell.org/package/bidirectional |
| 2022-03-04 12:43:37 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 12:44:45 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-03-04 12:49:27 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2022-03-04 12:52:07 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 12:52:31 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 12:55:35 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-04 12:58:13 +0000 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-03-04 12:58:19 +0000 | WhateverRabbit | (~rabbit@206.81.18.26) (Quit: WeeChat 2.8) |
| 2022-03-04 12:58:27 +0000 | WhateverRabbit | (~rabbit@206.81.18.26) |
| 2022-03-04 13:03:32 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 13:06:15 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 13:08:37 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-03-04 13:08:41 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-04 13:08:44 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 13:09:46 +0000 | altern | (~altern@altern.corbina.com.ua) |
| 2022-03-04 13:09:56 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 13:11:56 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-04 13:12:24 +0000 | AlexZenon | (~alzenon@178.34.161.1) (Quit: ;-) |
| 2022-03-04 13:12:27 +0000 | Alex_test | (~al_test@178.34.161.1) (Quit: ;-) |
| 2022-03-04 13:12:34 +0000 | AlexNoo | (~AlexNoo@178.34.161.1) (Quit: Leaving) |
| 2022-03-04 13:12:43 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 13:15:28 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 13:19:24 +0000 | ouroboros | (~ouroboros@user/ouroboros) (Quit: Bye.) |
| 2022-03-04 13:19:45 +0000 | ouroboros | (~ouroboros@user/ouroboros) |
| 2022-03-04 13:20:19 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-03-04 13:22:01 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-04 13:22:31 +0000 | ncopa | (~ncopa@gbr2-dev1.alpinelinux.org) (Quit: Alpine Linux, the security-oriented, lightweight Linux distribution) |
| 2022-03-04 13:22:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-03-04 13:23:21 +0000 | ncopa | (~ncopa@gbr2-dev1.alpinelinux.org) |
| 2022-03-04 13:23:47 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 13:26:21 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-04 13:29:11 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 13:33:36 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 250 seconds) |
| 2022-03-04 13:34:15 +0000 | chenqisu1 | (~chenqisu1@183.217.201.47) (Ping timeout: 272 seconds) |
| 2022-03-04 13:42:47 +0000 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-03-04 13:44:21 +0000 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-04 13:46:38 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 13:54:25 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-04 13:55:21 +0000 | phma | (phma@2001:5b0:211c:1ab8:df29:5c87:24e7:7b4a) (Read error: Connection reset by peer) |
| 2022-03-04 13:56:11 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:d4c3:770e:71a9:8cce) (Ping timeout: 245 seconds) |
| 2022-03-04 13:56:20 +0000 | ccntrq | (~Thunderbi@x527179cd.dyn.telefonica.de) |
| 2022-03-04 13:56:44 +0000 | phma | (phma@2001:5b0:210f:1d08:24cc:7718:4e50:4545) |
| 2022-03-04 13:59:57 +0000 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 14:01:52 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-04 14:03:48 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 14:04:34 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-03-04 14:05:44 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-04 14:06:04 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-04 14:06:55 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 14:10:42 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-04 14:11:37 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-04 14:11:49 +0000 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-04 14:18:49 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 14:20:33 +0000 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Remote host closed the connection) |
| 2022-03-04 14:22:23 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-04 14:23:22 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Ping timeout: 260 seconds) |
| 2022-03-04 14:27:29 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2022-03-04 14:27:33 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-03-04 14:28:54 +0000 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 2022-03-04 14:32:51 +0000 | terzievk | (~user@78.90.139.65) |
| 2022-03-04 14:34:12 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 14:34:32 +0000 | <terzievk> | I'm trying to set up cabal for dynamic linking as in this https://wiki.archlinux.org/title/haskell#Configuring_Cabal_for_dynamic_linking. Here is my cabal config http://ix.io/3RkC I want `ghc Main.hs` to work but only `ghc -dynamic Main.hs` does... What am I missing? |
| 2022-03-04 14:35:24 +0000 | <maerwald> | terzievk: why? |
| 2022-03-04 14:35:26 +0000 | <merijn> | terzievk: Why would you expect ghc without -dynamic to work? |
| 2022-03-04 14:35:35 +0000 | MasseR4 | (~MasseR@51.15.143.128) |
| 2022-03-04 14:35:43 +0000 | <geekosaur> | configuring caba;willnot configure ghc used directly |
| 2022-03-04 14:35:53 +0000 | <geekosaur> | you will have to explicitly use-dynamic on arch |
| 2022-03-04 14:36:05 +0000 | <geekosaur> | *configuring cabal will not |
| 2022-03-04 14:36:17 +0000 | <terzievk> | marijan: `ghc-options: -dynamic adds the -dynamic flag to every invocation of GHC (e.g. if a package has a non-trivial Setup.hs).` |
| 2022-03-04 14:36:41 +0000 | <geekosaur> | but only when invoked via cabal |
| 2022-03-04 14:36:46 +0000 | <geekosaur> | not if you run ghc directly |
| 2022-03-04 14:37:03 +0000 | <merijn> | terzievk: That's cabal configuration, though. Not GHC configuration |
| 2022-03-04 14:37:13 +0000 | <terzievk> | i see |
| 2022-03-04 14:37:17 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.3) |
| 2022-03-04 14:37:20 +0000 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-03-04 14:37:23 +0000 | <merijn> | You're telling *cabal* you want it to always use -dynamic when invoking ghc |
| 2022-03-04 14:37:28 +0000 | <merijn> | GHC is entirely unaware |
| 2022-03-04 14:38:00 +0000 | <merijn> | What you're asking is how to change the default of GHC to be dynamic instead of static. Which (afaik) you can't unless you patch GHC and compile it that way |
| 2022-03-04 14:38:01 +0000 | MasseR4 | (~MasseR@51.15.143.128) (Client Quit) |
| 2022-03-04 14:38:19 +0000 | <merijn> | Which arch does not do (despite insisting on breaking the default configuration, to everyone's dismay) |
| 2022-03-04 14:38:25 +0000 | <geekosaur> | that's not even a supported configuration |
| 2022-03-04 14:38:25 +0000 | MasseR4 | (~MasseR@51.15.143.128) |
| 2022-03-04 14:38:36 +0000 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 240 seconds) |
| 2022-03-04 14:38:44 +0000 | <geekosaur> | the closest you get is -dynamic-too by default, which is deprecated |
| 2022-03-04 14:38:51 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-04 14:39:01 +0000 | <geekosaur> | but even so would have improved the UX for arch haskell users enormously |
| 2022-03-04 14:39:16 +0000 | agumonke` | (~user@88.163.231.79) |
| 2022-03-04 14:39:49 +0000 | <terzievk> | should I just go the ghcup static way instead of the arch packages' dynamic? |
| 2022-03-04 14:39:52 +0000 | <yushyin> | also keep in mind the following: 'Note: As of October 2020 Cabal ignores ghc-options from ~/.cabal/config while building packages with build-type: Custom. Therefore, it is necessary to specify --ghc-options=-dynamic flag on the command line' |
| 2022-03-04 14:40:01 +0000 | <maerwald> | terzievk: yes |
| 2022-03-04 14:40:08 +0000 | <yushyin> | terzievk: ghcup works fine, yes, do that. |
| 2022-03-04 14:40:17 +0000 | <maerwald> | arch wiki is a pile of crap wrt Haskell |
| 2022-03-04 14:40:46 +0000 | <merijn> | s/wiki// |
| 2022-03-04 14:40:52 +0000 | <terzievk> | thanks :) |
| 2022-03-04 14:44:04 +0000 | kuribas | (~user@ptr-25vy0i73yabknznie7k.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-03-04 14:45:39 +0000 | coot | (~coot@213.134.190.95) |
| 2022-03-04 14:49:04 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 14:51:00 +0000 | tcard_ | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-03-04 14:51:04 +0000 | travisb_ | (~travisb@2600:1700:7990:24e0:afa7:cc85:6e08:da6f) |
| 2022-03-04 14:51:20 +0000 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-04 14:51:22 +0000 | awschnap | (~lavaman@98.38.249.169) |
| 2022-03-04 14:51:22 +0000 | Kaipi | (~Kaiepi@156.34.47.253) |
| 2022-03-04 14:51:27 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-04 14:51:42 +0000 | nek00 | (~nek0@nek0.eu) |
| 2022-03-04 14:51:54 +0000 | dextaa4 | (~DV@user/dextaa) |
| 2022-03-04 14:51:57 +0000 | Katarushisu5 | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2022-03-04 14:52:16 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2022-03-04 14:52:19 +0000 | jpneverwas | (jpneverwas@swissbox.unperson.link) |
| 2022-03-04 14:52:22 +0000 | asthasr_ | (~asthasr@208.80.78.154) |
| 2022-03-04 14:52:42 +0000 | codolio | (~dolio@130.44.130.54) |
| 2022-03-04 14:52:44 +0000 | FragByte_ | (~christian@user/fragbyte) |
| 2022-03-04 14:52:48 +0000 | Nahra` | (~user@static.161.95.99.88.clients.your-server.de) |
| 2022-03-04 14:52:50 +0000 | tomsmeding_ | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 2022-03-04 14:52:59 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-04 14:53:01 +0000 | greyrat_ | (~greyrat@ip202.ip-51-178-215.eu) |
| 2022-03-04 14:53:05 +0000 | Philonous | (~Philonous@user/philonous) |
| 2022-03-04 14:53:26 +0000 | zachel_ | (~zachel@user/zachel) |
| 2022-03-04 14:53:36 +0000 | alphabeta | (~kilolympu@31.205.200.235) |
| 2022-03-04 14:53:54 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2022-03-04 14:54:13 +0000 | Batzy_ | (~quassel@user/batzy) |
| 2022-03-04 14:54:16 +0000 | dminuoso_ | (~dminuoso@static.88-198-218-68.clients.your-server.de) |
| 2022-03-04 14:54:25 +0000 | _ht_ | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-03-04 14:54:25 +0000 | hyiltiz_ | (~quassel@31.220.5.250) |
| 2022-03-04 14:54:29 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 14:54:56 +0000 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2022-03-04 14:54:57 +0000 | some02 | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) |
| 2022-03-04 14:54:57 +0000 | some02 | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Changing host) |
| 2022-03-04 14:54:57 +0000 | some02 | (~cat@user/sudden) |
| 2022-03-04 14:54:58 +0000 | ystael_ | (~ystael@user/ystael) |
| 2022-03-04 14:55:08 +0000 | statusfa1led | (~statusfai@statusfailed.com) |
| 2022-03-04 14:55:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 14:55:12 +0000 | cross_ | (~cross@spitfire.i.gajendra.net) |
| 2022-03-04 14:55:13 +0000 | werneta_ | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-03-04 14:55:16 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 14:55:19 +0000 | finstern1s | (~X@23.226.237.192) |
| 2022-03-04 14:55:21 +0000 | haveo_ | (~haveo@sl35.iuwt.fr) |
| 2022-03-04 14:55:24 +0000 | fockeriz1 | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-04 14:55:24 +0000 | cods_ | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-03-04 14:55:26 +0000 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-04 14:55:28 +0000 | nckx_ | (~nckx@tobias.gr) |
| 2022-03-04 14:55:30 +0000 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2022-03-04 14:55:33 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-03-04 14:55:39 +0000 | chronon_ | (~chronon@user/chronon) |
| 2022-03-04 14:55:40 +0000 | raym_ | (~raym@user/raym) |
| 2022-03-04 14:55:42 +0000 | meejah_ | (~meejah@rutas.meejah.ca) |
| 2022-03-04 14:55:45 +0000 | Zemyla_ | (~ec2-user@ec2-54-196-172-247.compute-1.amazonaws.com) |
| 2022-03-04 14:55:50 +0000 | ft_ | (~ft@shell.chaostreff-dortmund.de) |
| 2022-03-04 14:55:51 +0000 | pooryori1k | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-03-04 14:55:51 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-03-04 14:55:51 +0000 | Logio_ | (em@kapsi.fi) |
| 2022-03-04 14:55:53 +0000 | __xor | (~xor@dsl-50-5-233-169.fuse.net) |
| 2022-03-04 14:55:54 +0000 | marquis_1ndras | (~marquis_a@61.69.224.60) |
| 2022-03-04 14:56:33 +0000 | altern | (~altern@altern.corbina.com.ua) (Quit: Konversation terminated!) |
| 2022-03-04 14:57:03 +0000 | jespada_ | (~jespada@85.255.234.170) |
| 2022-03-04 14:57:18 +0000 | lechner_ | (~lechner@debian/lechner) |
| 2022-03-04 14:58:25 +0000 | altern | (~altern@altern.corbina.com.ua) |
| 2022-03-04 14:58:55 +0000 | cyphase_eviltwin | (~cyphase@user/cyphase) |
| 2022-03-04 14:58:58 +0000 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 2022-03-04 14:59:14 +0000 | terzievk | (~user@78.90.139.65) (Remote host closed the connection) |
| 2022-03-04 14:59:18 +0000 | cwraith | (~c_wraith@adjoint.us) |
| 2022-03-04 14:59:52 +0000 | agumonke` | (~user@88.163.231.79) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Batzy | (~quassel@user/batzy) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | jespada | (~jespada@85.255.234.170) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | cfricke | (~cfricke@user/cfricke) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | michalz | (~michalz@185.246.204.93) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | greyrat | (~greyrat@ip202.ip-51-178-215.eu) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | asthasr | (~asthasr@208.80.78.154) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | ystael | (~ystael@user/ystael) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | lavaman | (~lavaman@98.38.249.169) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | marquis_andras | (~marquis_a@61.69.224.60) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | raym | (~raym@user/raym) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | dextaa | (~DV@user/dextaa) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | forell | (~forell@user/forell) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | echoreply | (~echoreply@45.32.163.16) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | lechner | (~lechner@debian/lechner) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | statusfailed | (~statusfai@statusfailed.com) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Philonous_ | (~Philonous@user/philonous) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | neverwas | (jpneverwas@swissbox.unperson.link) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | nek0 | (~nek0@nek0.eu) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | loonycyborg_ | (loonycybor@chantal.wesnoth.org) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | dwt__ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | zachel | (~zachel@user/zachel) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | haveo | (~haveo@sl35.iuwt.fr) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | _xor | (~xor@dsl-50-5-233-169.fuse.net) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | dolio | (~dolio@130.44.130.54) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | FragByte | (~christian@user/fragbyte) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | abrar_ | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | hyiltiz | (~quassel@31.220.5.250) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | kilolympus | (~kilolympu@31.205.200.235) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | foul_owl | (~kerry@23.82.193.89) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Zemyla | (~ec2-user@ec2-54-196-172-247.compute-1.amazonaws.com) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | Logio | (em@kapsi.fi) (*.net *.split) |
| 2022-03-04 14:59:52 +0000 | tabemann | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | chronon | (~chronon@user/chronon) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | Typedfern | (~Typedfern@170.red-88-24-162.staticip.rima-tde.net) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | finsternis | (~X@23.226.237.192) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | ft | (~ft@shell.chaostreff-dortmund.de) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | sudden | (~cat@user/sudden) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | nckx | (~nckx@tobias.gr) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2022-03-04 14:59:53 +0000 | nckx_ | nckx |
| 2022-03-04 14:59:53 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-03-04 14:59:54 +0000 | dextaa4 | dextaa |
| 2022-03-04 14:59:54 +0000 | nek00 | nek0 |
| 2022-03-04 14:59:57 +0000 | Katarushisu5 | Katarushisu |
| 2022-03-04 14:59:57 +0000 | FragByte_ | FragByte |
| 2022-03-04 14:59:57 +0000 | ft_ | ft |
| 2022-03-04 15:01:52 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-04 15:02:48 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-03-04 15:03:36 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-04 15:04:48 +0000 | kritzefitz_ | kritzefitz |
| 2022-03-04 15:05:33 +0000 | AlexNoo | (~AlexNoo@178.34.161.1) |
| 2022-03-04 15:05:35 +0000 | AlexZenon | (~alzenon@178.34.161.1) |
| 2022-03-04 15:06:38 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-03-04 15:06:58 +0000 | Typedfern | (~Typedfern@170.red-88-24-162.staticip.rima-tde.net) |
| 2022-03-04 15:07:03 +0000 | koolazer | (~koo@user/koolazer) |
| 2022-03-04 15:07:31 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-03-04 15:07:34 +0000 | foul_owl | (~kerry@23.82.193.89) |
| 2022-03-04 15:07:39 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2022-03-04 15:07:43 +0000 | Alex_test | (~al_test@178.34.161.1) |
| 2022-03-04 15:08:41 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 2022-03-04 15:09:31 +0000 | <byorgey> | It seems like I can't upload to Hackage since yesterday --- when I try to 'cabal upload --publish foo.tar.gz', it says "Uploading foo.tar.gz..." and then just hangs indefinitely. |
| 2022-03-04 15:09:48 +0000 | <byorgey> | Wondering if anyone has any insight. |
| 2022-03-04 15:10:05 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 15:11:05 +0000 | <geekosaur> | might be a question for #hackage |
| 2022-03-04 15:11:27 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-03-04 15:11:36 +0000 | <byorgey> | ok, yeah, I'll try there |
| 2022-03-04 15:11:36 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 15:12:16 +0000 | agumonke` | (~user@88.163.231.79) |
| 2022-03-04 15:12:34 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) |
| 2022-03-04 15:13:47 +0000 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-03-04 15:14:01 +0000 | altern | (~altern@altern.corbina.com.ua) (Ping timeout: 256 seconds) |
| 2022-03-04 15:16:03 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-03-04 15:16:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 15:16:18 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 15:16:26 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-04 15:17:09 +0000 | Tungki | (~Guest28@114.124.195.102) |
| 2022-03-04 15:18:46 +0000 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-04 15:20:00 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-04 15:21:05 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 15:21:22 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-04 15:23:05 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-04 15:24:23 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-03-04 15:24:34 +0000 | neurocyte0917090 | (~neurocyte@IP-185117070109.dynamic.medianet-world.de) |
| 2022-03-04 15:24:34 +0000 | neurocyte0917090 | (~neurocyte@IP-185117070109.dynamic.medianet-world.de) (Changing host) |
| 2022-03-04 15:24:34 +0000 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-03-04 15:26:50 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-03-04 15:27:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 15:28:36 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 15:30:52 +0000 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-03-04 15:31:08 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 15:32:16 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 15:32:49 +0000 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-03-04 15:32:50 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-04 15:32:57 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 15:33:24 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-03-04 15:33:35 +0000 | statusfa1led | statusfailed |
| 2022-03-04 15:33:46 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 15:35:24 +0000 | raym_ | raym |
| 2022-03-04 15:37:33 +0000 | some02 | sudden |
| 2022-03-04 15:38:07 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-04 15:38:58 +0000 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-03-04 15:41:05 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 15:41:32 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c4d6:d681:f728:302d) (Quit: WeeChat 2.8) |
| 2022-03-04 15:42:34 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 15:43:52 +0000 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-03-04 15:47:12 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 15:47:17 +0000 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 240 seconds) |
| 2022-03-04 15:48:06 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-04 15:50:51 +0000 | Tungki | (~Guest28@114.124.195.102) (Ping timeout: 256 seconds) |
| 2022-03-04 15:50:53 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 15:51:36 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-03-04 15:51:43 +0000 | ccntrq | (~Thunderbi@x527179cd.dyn.telefonica.de) (Remote host closed the connection) |
| 2022-03-04 15:52:28 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-03-04 15:53:52 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2022-03-04 15:54:13 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 15:55:41 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-04 15:56:48 +0000 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) |
| 2022-03-04 15:59:07 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 15:59:20 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 16:01:21 +0000 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2022-03-04 16:01:36 +0000 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-03-04 16:01:37 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 16:02:15 +0000 | haveo_ | haveo |
| 2022-03-04 16:04:11 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Ping timeout: 268 seconds) |
| 2022-03-04 16:04:13 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 16:05:13 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 16:06:07 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 16:06:22 +0000 | fjmorazan | (~quassel@user/fjmorazan) (Client Quit) |
| 2022-03-04 16:06:44 +0000 | k8yun_ | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-03-04 16:06:53 +0000 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-03-04 16:07:42 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 16:08:32 +0000 | emf | (~emf@2620:10d:c090:400::5:e2d5) (Quit: emf) |
| 2022-03-04 16:11:35 +0000 | CATS | (~apic@brezn2.muc.ccc.de) (Quit: Reconnecting) |
| 2022-03-04 16:11:47 +0000 | CATS | (apic@brezn3.muc.ccc.de) |
| 2022-03-04 16:11:53 +0000 | dminuoso_ | dminuoso |
| 2022-03-04 16:12:07 +0000 | dminuoso | (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2022-03-04 16:12:07 +0000 | dminuoso | (~dminuoso@user/dminuoso) |
| 2022-03-04 16:12:07 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-04 16:12:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 16:14:21 +0000 | coot | (~coot@213.134.190.95) |
| 2022-03-04 16:14:25 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-04 16:21:36 +0000 | mbuf | (~Shakthi@122.174.168.1) (Quit: Leaving) |
| 2022-03-04 16:27:17 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-03-04 16:28:36 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) (Ping timeout: 240 seconds) |
| 2022-03-04 16:30:47 +0000 | dsrt^ | (~dsrt@207.243.108.170) (Remote host closed the connection) |
| 2022-03-04 16:31:43 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-03-04 16:32:12 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-03-04 16:32:21 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 16:33:59 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 16:36:16 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-03-04 16:36:46 +0000 | ghost4096 | pranshukhandal |
| 2022-03-04 16:36:50 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Ping timeout: 260 seconds) |
| 2022-03-04 16:36:53 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 16:38:08 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 16:39:05 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 16:41:11 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 245 seconds) |
| 2022-03-04 16:43:07 +0000 | asthasr_ | (~asthasr@208.80.78.154) (Quit: asthasr_) |
| 2022-03-04 16:44:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 16:44:31 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2022-03-04 16:49:20 +0000 | cross_ | cross |
| 2022-03-04 16:50:48 +0000 | codolio | dolio |
| 2022-03-04 16:52:02 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) |
| 2022-03-04 16:56:31 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-03-04 16:58:57 +0000 | AlexNoo | (~AlexNoo@178.34.161.1) (Quit: Leaving) |
| 2022-03-04 16:59:02 +0000 | neverfindme | (~hayden@158.123.160.43) |
| 2022-03-04 16:59:19 +0000 | Alex_test | (~al_test@178.34.161.1) (Quit: ;-) |
| 2022-03-04 17:00:06 +0000 | AlexZenon | (~alzenon@178.34.161.1) (Quit: ;-) |
| 2022-03-04 17:01:09 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-04 17:01:10 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-04 17:01:10 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-04 17:01:20 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-03-04 17:03:02 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-03-04 17:03:02 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-04 17:03:51 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 17:03:53 +0000 | ystael_ | ystael |
| 2022-03-04 17:04:22 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 260 seconds) |
| 2022-03-04 17:06:02 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 17:06:56 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-04 17:07:08 +0000 | neverfindme | (~hayden@158.123.160.43) (Quit: Leaving) |
| 2022-03-04 17:08:12 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-04 17:09:48 +0000 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:d4ba:9b6c:52b1:aba9) (Remote host closed the connection) |
| 2022-03-04 17:09:58 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-04 17:10:32 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-03-04 17:11:48 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-03-04 17:12:02 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 17:12:19 +0000 | AlexZenon | (~alzenon@178.34.161.1) |
| 2022-03-04 17:12:32 +0000 | AlexNoo | (~AlexNoo@178.34.161.1) |
| 2022-03-04 17:14:04 +0000 | wroathe | (~wroathe@user/wroathe) (Read error: Connection reset by peer) |
| 2022-03-04 17:14:31 +0000 | Alex_test | (~al_test@178.34.161.1) |
| 2022-03-04 17:14:45 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 17:15:51 +0000 | emf | (~emf@198.134.98.50) |
| 2022-03-04 17:16:20 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-03-04 17:16:56 +0000 | emf_ | (~emf@63.64.162.234) |
| 2022-03-04 17:17:49 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-04 17:19:08 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 17:19:23 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 17:19:57 +0000 | emf | (~emf@198.134.98.50) (Ping timeout: 240 seconds) |
| 2022-03-04 17:20:42 +0000 | emf | (~emf@2620:10d:c090:400::5:90c3) |
| 2022-03-04 17:21:20 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 17:21:58 +0000 | emf_ | (~emf@63.64.162.234) (Ping timeout: 250 seconds) |
| 2022-03-04 17:24:17 +0000 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2022-03-04 17:25:06 +0000 | alx741 | (~alx741@host-181-198-243-158.netlife.ec) |
| 2022-03-04 17:25:12 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-04 17:25:16 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 17:25:49 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Ping timeout: 256 seconds) |
| 2022-03-04 17:27:43 +0000 | briandeaed | (~root@109.95.142.93.r.toneticgroup.pl) |
| 2022-03-04 17:28:27 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-03-04 17:29:37 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 17:29:42 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Read error: Connection reset by peer) |
| 2022-03-04 17:32:57 +0000 | emf | (~emf@2620:10d:c090:400::5:90c3) (Ping timeout: 240 seconds) |
| 2022-03-04 17:33:36 +0000 | alp | (~alp@user/alp) (Ping timeout: 268 seconds) |
| 2022-03-04 17:34:38 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 17:35:15 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 17:35:23 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-04 17:39:38 +0000 | alx741 | (~alx741@host-181-198-243-158.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-04 17:39:56 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
| 2022-03-04 17:42:24 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 17:42:33 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-03-04 17:43:26 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 17:46:57 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 17:48:05 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-03-04 17:48:16 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-03-04 17:50:17 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 17:51:47 +0000 | jonathanx__ | (~jonathan@94.234.54.150) |
| 2022-03-04 17:53:19 +0000 | alp | (~alp@user/alp) |
| 2022-03-04 17:54:13 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-03-04 17:56:16 +0000 | alx741 | (~alx741@host-181-198-243-158.netlife.ec) |
| 2022-03-04 17:56:36 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 245 seconds) |
| 2022-03-04 17:56:55 +0000 | jackalope | (~jackalope@165.91.13.188) |
| 2022-03-04 17:58:06 +0000 | alx741 | (~alx741@host-181-198-243-158.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-04 17:58:38 +0000 | alx741 | (~alx741@host-181-198-243-158.netlife.ec) |
| 2022-03-04 17:59:28 +0000 | Techcable | (~Techcable@168.235.93.147) (Remote host closed the connection) |
| 2022-03-04 17:59:43 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 18:00:11 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-04 18:00:11 +0000 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2022-03-04 18:00:26 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-03-04 18:00:32 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 18:00:40 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Quit: WeeChat 3.4) |
| 2022-03-04 18:01:17 +0000 | Techcable | (~Techcable@168.235.93.147) |
| 2022-03-04 18:01:17 +0000 | alx741 | (~alx741@host-181-198-243-158.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-04 18:02:03 +0000 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-04 18:02:09 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 18:04:19 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-04 18:08:16 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 18:08:37 +0000 | <Franciman> | so i tried some examples from «why functional programming matters» |
| 2022-03-04 18:08:48 +0000 | <Franciman> | and i implemented them in sml |
| 2022-03-04 18:09:01 +0000 | <Franciman> | https://bpa.st/7QNA not so bad! |
| 2022-03-04 18:09:10 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-04 18:09:35 +0000 | <Franciman> | if i could delay and force computations in patterns it would be much closer to haskell version |
| 2022-03-04 18:09:38 +0000 | <Franciman> | ah |
| 2022-03-04 18:09:40 +0000 | <Franciman> | bonus track |
| 2022-03-04 18:09:44 +0000 | <Franciman> | it's 10x faster than the haskell version ;) |
| 2022-03-04 18:10:01 +0000 | altern | (~altern@altern.corbina.com.ua) |
| 2022-03-04 18:10:03 +0000 | <Franciman> | because i get to choose how laziness strategy must work |
| 2022-03-04 18:10:20 +0000 | <Franciman> | if i change it to a similar strategy than haskell, then they have the same speed |
| 2022-03-04 18:10:33 +0000 | <Franciman> | haskell's strategy is: |
| 2022-03-04 18:10:49 +0000 | <Franciman> | datatype 'a Stream = Stream of unit -> ('a * 'a Stream) |
| 2022-03-04 18:10:58 +0000 | <Franciman> | so everything is under a lambda |
| 2022-03-04 18:11:20 +0000 | <Franciman> | while around the web it's suggested you can, more easily, improving strictness a bit to use |
| 2022-03-04 18:11:32 +0000 | <Franciman> | datatype 'a Stream = Stream of 'a * (unit -> 'a Stream) |
| 2022-03-04 18:11:39 +0000 | <Franciman> | where only the tail of the stream is delayed |
| 2022-03-04 18:11:48 +0000 | <Franciman> | so the number of lambdas gets reduced |
| 2022-03-04 18:11:54 +0000 | <Franciman> | and we get a 10x speedup. I thinkl |
| 2022-03-04 18:12:14 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 18:12:17 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-03-04 18:12:18 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:a812:43ad:c256:1ac2) |
| 2022-03-04 18:14:51 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 18:15:04 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-04 18:15:09 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 18:15:16 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 18:18:38 +0000 | crazazy | (~user@130.89.171.62) |
| 2022-03-04 18:19:06 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2022-03-04 18:19:24 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-04 18:19:31 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 18:19:50 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) |
| 2022-03-04 18:20:09 +0000 | <crazazy> | Hi! I was trying to learn how to use the recursion-schemes packages, but I was wondering if there is a certain way I can make a generalized recursion scheme where I generate 0 or 1 layers at every step |
| 2022-03-04 18:20:59 +0000 | <crazazy> | because it seems that all geven unfolding schemes require me to generate at least 1 layer at every step of the creation of my recursive data structure |
| 2022-03-04 18:23:25 +0000 | <dsal> | Fun way to troll your friends: `newtype T = T X deriving C via T` |
| 2022-03-04 18:23:49 +0000 | <dsal> | (me from several days ago trolled me from last night with that) |
| 2022-03-04 18:24:16 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 18:25:23 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 18:25:51 +0000 | <dminuoso> | Presumably methods on C will just loop indefinitely with that? |
| 2022-03-04 18:26:00 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-03-04 18:26:13 +0000 | <dminuoso> | % newtype T = T X deriving C via T |
| 2022-03-04 18:26:14 +0000 | <yahb> | dminuoso: ; <interactive>:18:15: error: Not in scope: type constructor or class `X'; <interactive>:18:28: error: Not in scope: type constructor or class `C' |
| 2022-03-04 18:26:27 +0000 | <dminuoso> | % newtype T = T Int deriving Monoid via T |
| 2022-03-04 18:26:27 +0000 | <yahb> | dminuoso: ; <interactive>:19:30: error:; * No instance for (Semigroup T) arising from the 'deriving' clause of a data type declaration; Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself; * When deriving the instance for (Monoid T) |
| 2022-03-04 18:26:32 +0000 | <dminuoso> | % newtype T = T Int deriving Semigroup via T |
| 2022-03-04 18:26:32 +0000 | <yahb> | dminuoso: |
| 2022-03-04 18:26:39 +0000 | <dminuoso> | % T 10 <> T 20 |
| 2022-03-04 18:26:39 +0000 | <yahb> | dminuoso: ; <interactive>:21:1: error:; * No instance for (Show T) arising from a use of `print'; * In a stmt of an interactive GHCi command: print it |
| 2022-03-04 18:26:42 +0000 | <dminuoso> | gah |
| 2022-03-04 18:28:05 +0000 | <dminuoso> | % T 10 <> T 20 |
| 2022-03-04 18:28:10 +0000 | <yahb> | dminuoso: T [Timed out] |
| 2022-03-04 18:31:00 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-04 18:32:18 +0000 | econo | (uid147250@user/econo) |
| 2022-03-04 18:35:00 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 18:35:08 +0000 | coot | (~coot@213.134.190.95) |
| 2022-03-04 18:35:14 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 18:36:04 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-03-04 18:36:10 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 18:37:02 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-04 18:38:54 +0000 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2022-03-04 18:38:54 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 18:41:21 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 18:41:55 +0000 | <lechner_> | Hi, does anyone recognize this Cabal error, please? It occurs when testing the consistency of all Haskell packages in Debian with Cabal 3.6.2 instead of 3.0.0. Thanks! http://paste.debian.net/1233019/ |
| 2022-03-04 18:42:17 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 18:43:05 +0000 | <sclv> | lechner_: what cabal file is that failing on? |
| 2022-03-04 18:43:26 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-04 18:44:33 +0000 | <sclv> | or it may be a package name in this case? |
| 2022-03-04 18:45:07 +0000 | <lechner_> | sclv: it's a giant sandbox with a fake 00-index.tar. some may be historical. is it caused by a sole 'p' on one of them? |
| 2022-03-04 18:45:24 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 18:45:32 +0000 | <sclv> | well there's a particular "cabal install" command that fails |
| 2022-03-04 18:45:44 +0000 | <sclv> | i imagine its caused by the arguments to that specific command |
| 2022-03-04 18:46:16 +0000 | <sclv> | from the message it looks like its the constraint parser failing |
| 2022-03-04 18:46:40 +0000 | <lechner_> | sclv: http://paste.debian.net/1233024/ |
| 2022-03-04 18:46:50 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-04 18:47:57 +0000 | <sclv> | christ |
| 2022-03-04 18:48:19 +0000 | <sclv> | ok i think i have a guess -- if you run `--constraint pkg flag` you now need to say `--constraint pkg +flag` (or minus flag) |
| 2022-03-04 18:48:32 +0000 | <Franciman> | the only examples of why laziness matters for gluing code is when using lists as interface between functions |
| 2022-03-04 18:48:37 +0000 | ishutin | (~ishutin@85-238-77-70.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-04 18:48:37 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 18:48:41 +0000 | <Franciman> | the only examples i find* |
| 2022-03-04 18:48:44 +0000 | <Franciman> | do you have other examples? |
| 2022-03-04 18:48:58 +0000 | <Franciman> | i mean posts talking about it or practical use cases |
| 2022-03-04 18:50:41 +0000 | ishutin | (~ishutin@87-97-12-202.pool.digikabel.hu) |
| 2022-03-04 18:51:06 +0000 | <Franciman> | generally speaking, lazy code is always working _on_ a lazy structure which may be lists or trees |
| 2022-03-04 18:52:43 +0000 | cwraith | c_wraith |
| 2022-03-04 18:52:52 +0000 | <Franciman> | so in general i can have codata representing spaces i want to navigate on demand |
| 2022-03-04 18:53:06 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 2022-03-04 18:53:08 +0000 | <sclv> | lechner_: did my suggestion help? |
| 2022-03-04 18:53:14 +0000 | <Franciman> | and get back the same ergonomics and composability of full laziness |
| 2022-03-04 18:53:23 +0000 | <Franciman> | but i think i am missing something, some use cases |
| 2022-03-04 18:53:24 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 250 seconds) |
| 2022-03-04 18:53:51 +0000 | <monochrom> | Sometimes I do DFS on lazy trees. |
| 2022-03-04 18:54:00 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 18:54:15 +0000 | <maerwald> | what's the most lightweight library for html xpath scraping? |
| 2022-03-04 18:55:02 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 18:55:14 +0000 | <sclv> | maerwald: its not xpath per se but i always liked tagsoup |
| 2022-03-04 18:55:49 +0000 | <lechner_> | sclv: i think you nailed it, but still confirming |
| 2022-03-04 18:55:57 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-03-04 18:56:03 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-04 18:56:05 +0000 | <Franciman> | monochrom: hm i found that example in why fp matters too! nice one |
| 2022-03-04 18:56:12 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-03-04 18:56:14 +0000 | <maerwald> | sclv: I don't want to parse though, but get fuzzy matching results |
| 2022-03-04 18:56:16 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-03-04 18:56:16 +0000 | <Franciman> | thanks |
| 2022-03-04 18:56:33 +0000 | <sclv> | maerwald: what do you mean parse vs fuzzy |
| 2022-03-04 18:56:42 +0000 | <maerwald> | well, exactly how xpath works |
| 2022-03-04 18:56:54 +0000 | <sclv> | tagsoup isn't a proper html parser. it just decomposes the doc into a stream of tags |
| 2022-03-04 18:56:56 +0000 | <maerwald> | I have very little knowledge about the exact HTML |
| 2022-03-04 18:57:08 +0000 | <sclv> | you can filter on them in pretty idiomatic ways |
| 2022-03-04 18:57:15 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 18:57:21 +0000 | <sclv> | and as a bonus it can deal with hideously malformed html |
| 2022-03-04 18:58:14 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:39c3:2e2a:8815:29cc) |
| 2022-03-04 18:58:37 +0000 | sclv | is sad that the improvements to cabal parsers brought with them some truly terrible error messages |
| 2022-03-04 18:59:49 +0000 | emf | (~emf@8.46.76.74) |
| 2022-03-04 19:00:25 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-04 19:01:21 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 19:01:58 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-03-04 19:02:19 +0000 | <lechner_> | sclv: You nailed it on the head. Thank you so much! |
| 2022-03-04 19:03:02 +0000 | <maerwald> | I guess I'll try hxt-xpath then, seems to support HTML |
| 2022-03-04 19:03:29 +0000 | emf_ | (~emf@2620:10d:c090:400::5:ca48) |
| 2022-03-04 19:04:07 +0000 | <sclv> | i reiterate that tagsoup is probably what you want, and if you think it isn't, you likely aren't quite clear on how it works |
| 2022-03-04 19:04:12 +0000 | emf | (~emf@8.46.76.74) (Ping timeout: 240 seconds) |
| 2022-03-04 19:04:39 +0000 | <dsal> | dminuoso: It looped, but without consuming any CPU, which was a little surprising for me. Just suddenly this new test I added caused everything to freeze mysteriously. |
| 2022-03-04 19:04:50 +0000 | <dminuoso> | dsal: huh that's quite interesting. |
| 2022-03-04 19:05:02 +0000 | <dminuoso> | Why doesnt that spin your CPU? |
| 2022-03-04 19:05:24 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-04 19:06:34 +0000 | <maerwald> | sclv: I want xpath =) |
| 2022-03-04 19:07:29 +0000 | <sclv> | well then i yield :-P |
| 2022-03-04 19:07:44 +0000 | <Franciman> | it's really incredible how a small change in the lazy evaluation strategy can get you a great speedup of 10x |
| 2022-03-04 19:09:06 +0000 | <monochrom> | Do you get a similar speedup in idiomatic Haskell with just this strictness annotation? "data S a = S !a (S a)" |
| 2022-03-04 19:09:41 +0000 | <Franciman> | yes monochrom |
| 2022-03-04 19:09:52 +0000 | <Franciman> | i tried it |
| 2022-03-04 19:10:00 +0000 | <monochrom> | It would be pretty close to "S of 'a * (unit -> S 'a)" in SML. |
| 2022-03-04 19:10:04 +0000 | <monochrom> | Ah OK. |
| 2022-03-04 19:10:55 +0000 | <c_wraith> | In general I don't like putting strictness annotations in data because it breaks things that would otherwise work correctly. |
| 2022-03-04 19:11:34 +0000 | <monochrom> | Oh it needs to be a conscious decision why you want the ! there. |
| 2022-03-04 19:11:42 +0000 | <c_wraith> | But that might be a case where it does make sense. infinite streams have a lot fewer use cases than lists. |
| 2022-03-04 19:12:50 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 19:12:58 +0000 | <monochrom> | I shall make a language called Pull Your Hair Out. |
| 2022-03-04 19:13:24 +0000 | <monochrom> | It does not default to laziness or eagerness. You must annotate everywhere. >:) |
| 2022-03-04 19:14:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 19:14:39 +0000 | <Rembane> | :D |
| 2022-03-04 19:15:08 +0000 | <Rembane> | I think a reasonable behaviour if annotation is forgotten is to have stochastic eagerness |
| 2022-03-04 19:15:10 +0000 | <c_wraith> | I can't remember... does Haskell support useless ~ annotations in data? |
| 2022-03-04 19:15:32 +0000 | <monochrom> | No, no ~ in data declarations. |
| 2022-03-04 19:15:39 +0000 | <monochrom> | Only for patterns. |
| 2022-03-04 19:15:47 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-04 19:15:53 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 19:15:59 +0000 | <c_wraith> | and no ! in patterns, only ~ |
| 2022-03-04 19:16:17 +0000 | <monochrom> | And then BangPatterns allow ! in patterns. |
| 2022-03-04 19:16:47 +0000 | <monochrom> | Now BangPatterns is so famous, people look at "data S a = S !a" and say "bang pattern" too. |
| 2022-03-04 19:17:00 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 19:18:44 +0000 | <Franciman> | ok monochrom i thought it worked but it was the old version. I am unable to define a struct fold |
| 2022-03-04 19:18:47 +0000 | <Franciman> | strict * |
| 2022-03-04 19:19:06 +0000 | <Franciman> | it gets extremely slow |
| 2022-03-04 19:19:13 +0000 | <Franciman> | probably list is internally optimised |
| 2022-03-04 19:19:21 +0000 | <Franciman> | it's hard to perform better than ghc, when using haskell |
| 2022-03-04 19:19:47 +0000 | <Franciman> | probably unboxing plays a huge role |
| 2022-03-04 19:20:17 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 19:20:18 +0000 | <monochrom> | You're probably just missing a few rewrite rules. |
| 2022-03-04 19:20:36 +0000 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-04 19:20:40 +0000 | <Franciman> | hmm i see |
| 2022-03-04 19:21:06 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-03-04 19:21:11 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-04 19:21:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-04 19:23:01 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-04 19:25:55 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-04 19:27:17 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 19:27:55 +0000 | crazazy | (~user@130.89.171.62) (ERC (IRC client for Emacs 28.0.50)) |
| 2022-03-04 19:30:46 +0000 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 268 seconds) |
| 2022-03-04 19:32:28 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 19:34:27 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 19:37:40 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 19:38:56 +0000 | <lechner_> | Hi, which Cabal version first required the explicit plus signs (+) for flags that were previously bare, please? |
| 2022-03-04 19:39:24 +0000 | emf_ | (~emf@2620:10d:c090:400::5:ca48) (Ping timeout: 240 seconds) |
| 2022-03-04 19:40:28 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 19:40:52 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection) |
| 2022-03-04 19:41:26 +0000 | <lechner_> | sclv: ^ |
| 2022-03-04 19:41:44 +0000 | emf | (~emf@2620:10d:c090:400::5:f7f1) |
| 2022-03-04 19:41:46 +0000 | <sclv> | 3.4 i believe |
| 2022-03-04 19:41:48 +0000 | <sclv> | https://github.com/haskell/cabal/blob/master/release-notes/cabal-install-3.4.0.0.md |
| 2022-03-04 19:43:14 +0000 | emf_ | (~emf@2620:10d:c090:400::5:f7f1) |
| 2022-03-04 19:43:35 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 19:44:25 +0000 | <lechner_> | sclv: thanks i was looking at some other changelog |
| 2022-03-04 19:44:27 +0000 | sergiishm | (~altern@altern.corbina.com.ua) |
| 2022-03-04 19:44:41 +0000 | altern | (~altern@altern.corbina.com.ua) (Ping timeout: 252 seconds) |
| 2022-03-04 19:45:04 +0000 | <lechner_> | sclv: i would like to recognize your help in my commit message. do you prefer your nick or your real name, please? |
| 2022-03-04 19:45:48 +0000 | emf | (~emf@2620:10d:c090:400::5:f7f1) (Ping timeout: 240 seconds) |
| 2022-03-04 19:46:12 +0000 | <sclv> | you can use my github at: @gbaz |
| 2022-03-04 19:46:37 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 19:48:59 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-03-04 19:50:24 +0000 | <maerwald> | afais optparse-applicative doesn't support a recursive completer? |
| 2022-03-04 19:51:19 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-04 19:52:52 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-04 19:53:40 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 19:53:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-03-04 19:55:38 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-03-04 19:56:34 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 19:56:55 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 19:58:50 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-03-04 20:01:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 20:01:58 +0000 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-04 20:03:53 +0000 | <WhateverRabbit> | Franciman: "newtype S a = S (# a, Solo (S a) #)", lol |
| 2022-03-04 20:04:12 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 20:04:16 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-03-04 20:04:35 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 20:05:04 +0000 | <WhateverRabbit> | (but it doesnt work) |
| 2022-03-04 20:05:51 +0000 | <Franciman> | eh with unboxed data it gets hard |
| 2022-03-04 20:05:55 +0000 | <Franciman> | i don't have enough experience |
| 2022-03-04 20:06:00 +0000 | <CATS> | *shrug* |
| 2022-03-04 20:06:51 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 20:07:18 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 20:07:22 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 20:07:56 +0000 | <WhateverRabbit> | Yes, you get some pain in lifted/unlifted data when use unboxed types. |
| 2022-03-04 20:08:02 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-04 20:08:44 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 20:08:56 +0000 | <WhateverRabbit> | I mean, • Expecting a lifted type, but ‘(# a, Solo (X a) #)’ is unlifted |
| 2022-03-04 20:09:09 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-03-04 20:09:14 +0000 | <geekosaur> | unlifted newtypes are coming soon iirc |
| 2022-03-04 20:10:02 +0000 | jackalope | (~jackalope@165.91.13.188) (Ping timeout: 240 seconds) |
| 2022-03-04 20:10:23 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-03-04 20:12:19 +0000 | <lechner_> | sclv: Thanks so much! https://salsa.debian.org/lechner/package-plan/-/commit/d4e472588014ec636c41a526dbd26d1019de9586 |
| 2022-03-04 20:14:01 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 20:14:25 +0000 | Joaquin | (~Joaquin@14.red-83-51-143.dynamicip.rima-tde.net) |
| 2022-03-04 20:17:02 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 20:17:12 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 20:17:18 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 20:18:10 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection) |
| 2022-03-04 20:19:43 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 20:19:49 +0000 | <sclv> | glad it works |
| 2022-03-04 20:19:58 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 20:23:18 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 20:24:06 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 20:24:22 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 20:24:57 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 20:26:40 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-03-04 20:27:18 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-03-04 20:27:39 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 20:27:43 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-04 20:27:54 +0000 | oilt^ | (~oilt@50.224.20.226) |
| 2022-03-04 20:28:49 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-04 20:28:59 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 20:29:05 +0000 | briandeaed | (~root@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-03-04 20:35:21 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) (Ping timeout: 245 seconds) |
| 2022-03-04 20:37:04 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection) |
| 2022-03-04 20:38:10 +0000 | xcmw | (~textual@dyn-72-33-0-245.uwnet.wisc.edu) |
| 2022-03-04 20:38:12 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 20:38:40 +0000 | <xcmw> | What is the best way to do incremental computation in Haskell? |
| 2022-03-04 20:39:03 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 20:39:04 +0000 | <xcmw> | Preferably in a functional and performant way |
| 2022-03-04 20:39:35 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 20:40:26 +0000 | <maerwald> | sclv: tagsoup uses a lot of `error` |
| 2022-03-04 20:41:39 +0000 | <janus> | lechner_: what are you working on with debian, broadly speaking? |
| 2022-03-04 20:42:00 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 20:42:31 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 20:42:36 +0000 | emf_ | (~emf@2620:10d:c090:400::5:f7f1) (Ping timeout: 240 seconds) |
| 2022-03-04 20:42:47 +0000 | jpneverwas | neverwas |
| 2022-03-04 20:44:19 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 20:45:27 +0000 | emf | (~emf@8.46.76.74) |
| 2022-03-04 20:45:36 +0000 | <shapr> | xcmw: you could use a lazy data structure like a list if it's one dimensional |
| 2022-03-04 20:46:50 +0000 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-03-04 20:47:06 +0000 | <shapr> | xcmw: do you have a particular computation in mind? |
| 2022-03-04 20:47:08 +0000 | <xcmw> | I looking for something like https://github.com/salsa-rs/salsa |
| 2022-03-04 20:47:21 +0000 | <xcmw> | But functional |
| 2022-03-04 20:47:37 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-03-04 20:47:40 +0000 | Joaquin | (~Joaquin@14.red-83-51-143.dynamicip.rima-tde.net) (Quit: Client closed) |
| 2022-03-04 20:48:43 +0000 | emf_ | (~emf@163.114.132.7) |
| 2022-03-04 20:49:03 +0000 | <shapr> | xcmw: at some level, Haskell just is on-demand incremental computation because it's lazy |
| 2022-03-04 20:49:37 +0000 | emf | (~emf@8.46.76.74) (Ping timeout: 240 seconds) |
| 2022-03-04 20:49:58 +0000 | <xcmw> | shapr: By incremental I mean only recomputing what is needed when changes occur |
| 2022-03-04 20:50:17 +0000 | <shapr> | that sounds a bit more like differential dataflow |
| 2022-03-04 20:51:01 +0000 | <xcmw> | How would I go about that? |
| 2022-03-04 20:51:38 +0000 | <xcmw> | I'm am actually using Idris but it is close enough to Haskell that the same strategy would apply |
| 2022-03-04 20:51:49 +0000 | <ski> | @where adaptive |
| 2022-03-04 20:51:49 +0000 | <lambdabot> | "Adaptive Functional Programming" by Umut Acar,Blelloch,Harper in 2002 (POPL) at <http://www.umut-acar.org/publications/popl2002.pdf> and in 2006 (TOPLAS) at <http://www.umut-acar.org/publications/ |
| 2022-03-04 20:51:49 +0000 | <lambdabot> | toplas2006.pdf> |
| 2022-03-04 20:51:52 +0000 | <ski> | @where incremental |
| 2022-03-04 20:51:52 +0000 | <lambdabot> | "Monads for Incremental Computing" (Functional Pearl) by Magnus Carlsson in 2002 (ICFP) at <http://www.carlssonia.org/ogi/papers/icfp-2002.pdf>,<http://www.carlssonia.org/ogi/Adaptive/>,in Hackage |
| 2022-03-04 20:51:52 +0000 | <lambdabot> | at <http://hackage.haskell.org/package/Adaptive> |
| 2022-03-04 20:53:11 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 20:53:29 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 20:55:24 +0000 | <xcmw> | Adaptive appears abandoned |
| 2022-03-04 20:56:15 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-03-04 20:56:40 +0000 | <xcmw> | Does anyone actually use it? If not, why? |
| 2022-03-04 20:57:11 +0000 | <xcmw> | What does HLS use to be perferment? |
| 2022-03-04 20:57:17 +0000 | emf_ | (~emf@163.114.132.7) (Ping timeout: 240 seconds) |
| 2022-03-04 20:57:20 +0000 | <dminuoso> | Memory |
| 2022-03-04 20:57:36 +0000 | <xcmw> | I am trying to figure out ways to make Idris's LSP faster |
| 2022-03-04 20:57:40 +0000 | <dminuoso> | It's so performant in fact, it regularly OOMs on my 16GiB. |
| 2022-03-04 20:57:42 +0000 | ishutin | (~ishutin@87-97-12-202.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2022-03-04 20:58:02 +0000 | <dminuoso> | Why me as a Haskell developer even bothers with as little RAM is still a mystery |
| 2022-03-04 20:58:31 +0000 | <xcmw> | I care more about speed than memory usage. |
| 2022-03-04 20:58:59 +0000 | <WhateverRabbit> | try to dont use so many TH and types, lol |
| 2022-03-04 20:59:24 +0000 | ishutin | (~ishutin@178-164-188-3.pool.digikabel.hu) |
| 2022-03-04 20:59:30 +0000 | <WhateverRabbit> | i mean, hls works fine on GHC codebase |
| 2022-03-04 20:59:30 +0000 | emf | (~emf@8.46.76.74) |
| 2022-03-04 20:59:32 +0000 | <dminuoso> | Not sure about TH, but in one of our projects I really go overboard with generics. |
| 2022-03-04 20:59:38 +0000 | jackalope | (~jackalope@50-24-138-131.bcstcmta02.res.dyn.suddenlink.net) |
| 2022-03-04 20:59:40 +0000 | <geekosaur> | xcmw, I'm not sure much can be done about Idris's LSP: there will be a lot of type inference involved, and a dependently typed language will necessarily be slower about type inference |
| 2022-03-04 21:00:02 +0000 | <dminuoso> | Got like close to a hundred large types, all with Generic and a large bunch of Generic-based instances |
| 2022-03-04 21:00:03 +0000 | <WhateverRabbit> | (i also have 16 gb ram) |
| 2022-03-04 21:01:18 +0000 | <xcmw> | geekosaur I'm certain it can be made better |
| 2022-03-04 21:02:08 +0000 | <xcmw> | Right now the Idris LSP doesn't even keep the previous stuff in memory |
| 2022-03-04 21:02:38 +0000 | <geekosaur> | mm, yes, caching would probably help |
| 2022-03-04 21:02:58 +0000 | <geekosaur> | hls pre-caches a decent amount of stuff, I believe |
| 2022-03-04 21:03:29 +0000 | <xcmw> | rust analyzer uses https://github.com/salsa-rs/salsa to be faster |
| 2022-03-04 21:03:29 +0000 | <WhateverRabbit> | I suppose, Idris LS is so slow because it written in Idris |
| 2022-03-04 21:03:56 +0000 | <xcmw> | Idris 2 compiles to Chez so it is faster than Idris 1 |
| 2022-03-04 21:04:13 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 21:04:22 +0000 | <WhateverRabbit> | But much more slower then ghc does |
| 2022-03-04 21:04:36 +0000 | jonathanx__ | (~jonathan@94.234.54.150) (Ping timeout: 240 seconds) |
| 2022-03-04 21:04:49 +0000 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-03-04 21:05:21 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) |
| 2022-03-04 21:05:23 +0000 | ystael | (~ystael@user/ystael) |
| 2022-03-04 21:06:13 +0000 | <xcmw> | So will Adaptive provide the performance benefit that salsa does? |
| 2022-03-04 21:07:16 +0000 | _ht_ | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-03-04 21:08:10 +0000 | emf | (~emf@8.46.76.74) (Ping timeout: 250 seconds) |
| 2022-03-04 21:08:31 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-04 21:09:13 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 21:09:57 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) (Ping timeout: 252 seconds) |
| 2022-03-04 21:11:07 +0000 | emf | (~emf@8.46.76.74) |
| 2022-03-04 21:11:17 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-04 21:11:38 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 21:11:46 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) |
| 2022-03-04 21:12:51 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-03-04 21:12:58 +0000 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-03-04 21:13:18 +0000 | jackalope | (~jackalope@50-24-138-131.bcstcmta02.res.dyn.suddenlink.net) (Quit: = "vale") |
| 2022-03-04 21:13:34 +0000 | <xcmw> | I've imagined incremental functions as a category, but I'm not sure if the approach is correct |
| 2022-03-04 21:13:43 +0000 | <xcmw> | Monads are nicer to work with |
| 2022-03-04 21:15:04 +0000 | ystael | (~ystael@user/ystael) |
| 2022-03-04 21:15:06 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 21:15:08 +0000 | <ski> | nicer than ? |
| 2022-03-04 21:15:22 +0000 | <xcmw> | categories |
| 2022-03-04 21:15:33 +0000 | <ski> | monads presuppose categories |
| 2022-03-04 21:16:04 +0000 | <xcmw> | I mean building a value is nicer than building a function |
| 2022-03-04 21:16:16 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-03-04 21:16:42 +0000 | <ski> | what does that have to do with monads, or with categories ? |
| 2022-03-04 21:17:16 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:a812:43ad:c256:1ac2) (Read error: Connection reset by peer) |
| 2022-03-04 21:18:23 +0000 | <xcmw> | Monads are generalized values. Categories are generalized functions. |
| 2022-03-04 21:18:29 +0000 | o1lo0lol1o[m] | (~o1lo0lol1@2001:470:69fc:105::1:d1c0) |
| 2022-03-04 21:18:39 +0000 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 2022-03-04 21:18:46 +0000 | <ski> | perhaps you mean monadic actions, not monads |
| 2022-03-04 21:19:03 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:6137:750:a86c:52c8) |
| 2022-03-04 21:19:15 +0000 | <ski> | (monads are not values, are not passed around at run-time) |
| 2022-03-04 21:19:36 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 21:20:04 +0000 | <ski> | oh, and a category is not a generalized function. you could argue that *morphisms* in a category are generalized functions. but that's not what you said |
| 2022-03-04 21:20:10 +0000 | pavonia | (~user@user/siracusa) |
| 2022-03-04 21:20:16 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-04 21:20:24 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-03-04 21:21:39 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) (Ping timeout: 272 seconds) |
| 2022-03-04 21:22:19 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 21:23:13 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 21:25:31 +0000 | <xcmw> | Okay |
| 2022-03-04 21:25:58 +0000 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-04 21:26:47 +0000 | <xcmw> | Thanks |
| 2022-03-04 21:26:47 +0000 | infinity0 | (~infinity0@occupy.ecodis.net) (Remote host closed the connection) |
| 2022-03-04 21:27:24 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 21:29:15 +0000 | awschnap | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-04 21:29:19 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 21:29:28 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-04 21:30:44 +0000 | <xcmw> | So why did no one ever use Adaptive? Are people using some other library to do incremental computation? |
| 2022-03-04 21:31:01 +0000 | emf | (~emf@8.46.76.74) (Remote host closed the connection) |
| 2022-03-04 21:32:21 +0000 | <geekosaur> | apparently someone used it since there's a metadata revision |
| 2022-03-04 21:32:21 +0000 | <ski> | perhaps people didn't do much adaptive/incremental computation, at the time |
| 2022-03-04 21:33:34 +0000 | <geekosaur> | but there don't seem to be users according to packdeps.haskellers.com/reverse |
| 2022-03-04 21:33:48 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 21:34:41 +0000 | <xcmw> | So if no one uses Adaptive what are they using? Or is no one doing incremental computation? |
| 2022-03-04 21:35:15 +0000 | <geekosaur> | as someone mentioned earlier, laziness is itself a form of incremental computation |
| 2022-03-04 21:36:20 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 21:36:26 +0000 | <xcmw> | That is incremental (get partial result early), not incremental (change only recomputes what is need) |
| 2022-03-04 21:36:36 +0000 | <xcmw> | Or am I missing something? |
| 2022-03-04 21:36:36 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:858f:1c83:7b4e:c545) (Ping timeout: 245 seconds) |
| 2022-03-04 21:37:00 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 240 seconds) |
| 2022-03-04 21:37:09 +0000 | stef204 | (~stef204@user/stef204) |
| 2022-03-04 21:37:15 +0000 | <geekosaur> | they amount to the same thing. consider also purity:"change" is very limited |
| 2022-03-04 21:37:27 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 21:37:50 +0000 | <geekosaur> | and in such a way that "get partial result early" can include "get partial result of update early" |
| 2022-03-04 21:38:23 +0000 | <xcmw> | Is there an example of that? |
| 2022-03-04 21:39:07 +0000 | <geekosaur> | this of course depends on thenature of the computation: if it's in IO, it won't in general be lazy, for example, and you might need to usesomething like Adaptive. but Haskell kinda discourages doing things that way: you try to do as many things purely as possible |
| 2022-03-04 21:39:08 +0000 | stef204 | (~stef204@user/stef204) (Client Quit) |
| 2022-03-04 21:39:13 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 21:40:02 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-03-04 21:40:17 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-04 21:40:23 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 21:40:27 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-03-04 21:40:38 +0000 | <geekosaur> | not sure what kind of example you'relooking for. first I'd like to know what definition of "change" you're using in the context of Haskell : "change" isn't normally a thing |
| 2022-03-04 21:40:47 +0000 | __xor | _xor |
| 2022-03-04 21:40:59 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-04 21:41:17 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-04 21:41:37 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Ping timeout: 240 seconds) |
| 2022-03-04 21:41:39 +0000 | <xcmw> | By change I mean the changes to an Idris file |
| 2022-03-04 21:42:03 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-03-04 21:42:16 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-04 21:42:20 +0000 | infinity0 | (~infinity0@occupy.ecodis.net) |
| 2022-03-04 21:42:45 +0000 | <geekosaur> | that sounds more like incremental compilation than incremental computation? difficult to do that at finer granularity than file level |
| 2022-03-04 21:45:20 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 21:45:49 +0000 | <geekosaur> | unless I ocmpletely misunderstand what you're asking for |
| 2022-03-04 21:46:33 +0000 | <xcmw> | I think want to do whatever rust analyzer uses salsa for |
| 2022-03-04 21:46:40 +0000 | <xcmw> | What that is I'm not entirely sure |
| 2022-03-04 21:46:53 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 21:47:05 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 21:47:50 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-03-04 21:49:16 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) |
| 2022-03-04 21:49:25 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-04 21:50:57 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 21:51:25 +0000 | xcmw | (~textual@dyn-72-33-0-245.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-04 21:51:59 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-04 21:53:57 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.28) (Ping timeout: 272 seconds) |
| 2022-03-04 21:57:37 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-04 21:57:51 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 21:58:06 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-04 21:58:15 +0000 | alp | (~alp@user/alp) |
| 2022-03-04 22:00:36 +0000 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Ping timeout: 240 seconds) |
| 2022-03-04 22:01:09 +0000 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2022-03-04 22:01:39 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-04 22:02:45 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 22:04:37 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-03-04 22:04:48 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-04 22:05:16 +0000 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) |
| 2022-03-04 22:06:01 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-04 22:06:18 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-04 22:06:43 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 22:09:17 +0000 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-04 22:10:08 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 22:10:15 +0000 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Ping timeout: 256 seconds) |
| 2022-03-04 22:11:40 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-04 22:16:28 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 22:17:49 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 22:18:14 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-04 22:19:28 +0000 | phma | (phma@2001:5b0:210f:1d08:24cc:7718:4e50:4545) (Read error: Connection reset by peer) |
| 2022-03-04 22:19:58 +0000 | phma | (~phma@host-67-44-208-162.hnremote.net) |
| 2022-03-04 22:20:08 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 22:22:10 +0000 | jespada_ | (~jespada@85.255.234.170) (Ping timeout: 256 seconds) |
| 2022-03-04 22:22:28 +0000 | <texasmynsted> | oh a few days ago I asked about printing Haskell code. Somebody made a suggestion to add to markdown and print that way. |
| 2022-03-04 22:23:02 +0000 | <texasmynsted> | That worked well... Somebody asked to let them know how it all went. This --> https://github.com/ExtremaIS/literatex-haskell |
| 2022-03-04 22:23:57 +0000 | <texasmynsted> | LiterateX was the best solution I found. Better because it solves the _reason_ I wanted to print the code in the first place. |
| 2022-03-04 22:25:13 +0000 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-03-04 22:25:29 +0000 | <iphy> | In ansi-wl-pprint, or any other pretty-printing library, is there a way to "fillSep" with a prefix? e.g. when I'm printing comments, I want to start every line with a "// " |
| 2022-03-04 22:26:36 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 22:26:38 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-04 22:27:18 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 22:28:26 +0000 | <byorgey> | texasmynsted: nice, that looks like a useful tool |
| 2022-03-04 22:28:39 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-03-04 22:31:02 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-03-04 22:31:37 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 22:31:57 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2022-03-04 22:32:12 +0000 | zebrag | (~chris@user/zebrag) (Ping timeout: 240 seconds) |
| 2022-03-04 22:32:15 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-04 22:32:41 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-03-04 22:34:52 +0000 | <byorgey> | iphy: interesting question. Looking at the source code for fillSep, which in turn led me to look at (</>), softline, group, and flatten, I wonder if you could do something with flatAlt. Like what if you do something like fillSep . map (\w -> flatAlt ("//" <+> w) w) |
| 2022-03-04 22:35:27 +0000 | <byorgey> | that probably doesn't work but might be worth playing around with. |
| 2022-03-04 22:36:18 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 22:36:29 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-04 22:37:37 +0000 | <iphy> | byorgey: flatAlt looks interesting |
| 2022-03-04 22:37:41 +0000 | <iphy> | I'll have a look at that |
| 2022-03-04 22:39:27 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-04 22:40:28 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) |
| 2022-03-04 22:41:10 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 22:45:38 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-04 22:46:37 +0000 | cyphase_eviltwin | cyphase |
| 2022-03-04 22:47:06 +0000 | jespada | (~jespada@85.255.234.170) |
| 2022-03-04 22:47:18 +0000 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 2022-03-04 22:50:36 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 22:52:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 22:53:52 +0000 | p3n | (~p3n@217.198.124.246) (Read error: Connection reset by peer) |
| 2022-03-04 22:54:17 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2022-03-04 22:55:38 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-04 22:56:53 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 22:58:21 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 22:58:40 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 22:59:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 23:00:34 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-03-04 23:01:27 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-04 23:01:42 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-04 23:02:34 +0000 | yuvi | (~yuvrajnay@129-2-180-237.wireless.umd.edu) |
| 2022-03-04 23:02:43 +0000 | yuvi | (~yuvrajnay@129-2-180-237.wireless.umd.edu) (Client Quit) |
| 2022-03-04 23:03:50 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-04 23:05:21 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 23:06:15 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-04 23:07:30 +0000 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 256 seconds) |
| 2022-03-04 23:08:02 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-04 23:11:14 +0000 | yuvi | (~yuvrajnay@user/yuvi) |
| 2022-03-04 23:11:33 +0000 | yuvi | (~yuvrajnay@user/yuvi) (Client Quit) |
| 2022-03-04 23:12:21 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 23:13:30 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 2022-03-04 23:13:49 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-04 23:13:52 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 23:15:12 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-03-04 23:15:55 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-04 23:16:20 +0000 | alMalsamo | lumberjack123 |
| 2022-03-04 23:17:44 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-04 23:17:46 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-03-04 23:18:12 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 23:19:44 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-04 23:20:36 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-04 23:22:15 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 23:25:00 +0000 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-03-04 23:25:10 +0000 | <lechner_> | janus: with respect ot haskell, or overall? |
| 2022-03-04 23:25:21 +0000 | <janus> | lechner_: both |
| 2022-03-04 23:26:45 +0000 | <lechner_> | janus: do you develop on debian? |
| 2022-03-04 23:27:06 +0000 | <janus> | lechner_: i use develop for work but i don't contribute to debian itself |
| 2022-03-04 23:27:14 +0000 | <janus> | *use debian |
| 2022-03-04 23:27:43 +0000 | <lechner_> | janus: that's cool. i can use some shorthand then |
| 2022-03-04 23:28:16 +0000 | <lechner_> | my primary pet is lintian https://lintian.debian.org/ |
| 2022-03-04 23:28:21 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 23:29:13 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-03-04 23:29:23 +0000 | <lechner_> | that website currently runs on node. the infrastructure was Perl. looking for more stability, I discovered Haskell |
| 2022-03-04 23:30:13 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-04 23:30:24 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-03-04 23:30:56 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-04 23:30:56 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-03-04 23:31:00 +0000 | <lechner_> | The build system only supported CDBS, which is obsolete. I then wrote dh-haskell to integrate cabal builds into Debhelper |
| 2022-03-04 23:32:42 +0000 | <lechner_> | now i need more libraries in Debian for Lintian's website and the runners, most notably hasql (until i graduate to opaleye or maybe rel8). |
| 2022-03-04 23:34:14 +0000 | <janus> | aah, so debians infrastructure has to run on packages packaged with dpkg? |
| 2022-03-04 23:34:16 +0000 | <lechner_> | in that process, i updated debian's internal consistency check to work with modern Cabal version. I also assumed maintenance of Debian's Hackage tracker https://hackage.debian.net/ |
| 2022-03-04 23:34:20 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-04 23:34:28 +0000 | <lechner_> | sorry poor typist |
| 2022-03-04 23:34:39 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-04 23:35:34 +0000 | <lechner_> | when i am done, i hope to have made Debian an preferred choice for writing quality software in Haskell |
| 2022-03-04 23:36:11 +0000 | <janus> | but are you planning to make debian packages for all the linux packages on hackage? |
| 2022-03-04 23:36:15 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 23:36:49 +0000 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-04 23:36:49 +0000 | <lechner_> | janus: for all of them, i may need some help |
| 2022-03-04 23:37:47 +0000 | <lechner_> | and yes, we analyse .changes, .buildinfo, .deb, .udeb and .dsc |
| 2022-03-04 23:38:34 +0000 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-04 23:38:50 +0000 | <sm> | good on you lechner_ . Are you working with Clint ? |
| 2022-03-04 23:39:03 +0000 | <lechner_> | sm: my mentor i dare say |
| 2022-03-04 23:39:23 +0000 | <lechner_> | sm: plus you |
| 2022-03-04 23:40:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-04 23:40:16 +0000 | <lechner_> | my haskell abilities aren't great but i have the perseverence of a crocodile |
| 2022-03-04 23:40:51 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-04 23:40:58 +0000 | <sm> | awesome ! valuable asset ! |
| 2022-03-04 23:41:33 +0000 | <sm> | thanks for working on it |
| 2022-03-04 23:41:56 +0000 | <lechner_> | janus: please feel free to help! |
| 2022-03-04 23:42:09 +0000 | <janus> | but regarding my first question, is it a requirement that lintian must be built using dpkg-packaged tech? |
| 2022-03-04 23:42:22 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-04 23:43:10 +0000 | <lechner_> | it is not currently, but our admin guys get all cuddly when it is |
| 2022-03-04 23:43:43 +0000 | <lechner_> | it is mostly a reliability issue, though |
| 2022-03-04 23:44:17 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Ping timeout: 240 seconds) |
| 2022-03-04 23:44:25 +0000 | <lechner_> | especially when data structures change. haskell is unbeatable in early error detection. it does not even compile |
| 2022-03-04 23:44:46 +0000 | <sm> | aren't you considering tracking stackage rather than hackage ? that seems like an easier task |
| 2022-03-04 23:44:57 +0000 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-04 23:46:16 +0000 | <lechner_> | i probably should. i started out with stack but found cabal more agreeable. the tracker is also fifteen years old |
| 2022-03-04 23:47:09 +0000 | <janus> | now that cabal gets remote freeze files you can use stackage with cabal-install |
| 2022-03-04 23:47:24 +0000 | <janus> | you can already do that, i think, it's just not as ergonomic |
| 2022-03-04 23:49:22 +0000 | <lechner_> | i am really a newbie to Haskell. (a year or two.) i have lots of positive energy, though, and will implement whatever gets people to fall in love with debian again |
| 2022-03-04 23:49:34 +0000 | <sm> | stackage (and all the haskellers fixing issues with each snapshot) already prefilter hackage to manageable consistent sets of package versions (much like Debian started doing long ago), it seems sensible to take advantage of that work |
| 2022-03-04 23:50:25 +0000 | <sm> | note stack /= stackage |
| 2022-03-04 23:50:57 +0000 | <lechner_> | i think we do https://salsa.debian.org/haskell-team/package-plan/-/commit/71273db3af2813877ae0de2d9bea4fb34cc1bc5e |
| 2022-03-04 23:50:59 +0000 | <monochrom> | IMO not packaging a decade-old GHC version is the most important factor for getting Haskell people to fall in love with debian again. |
| 2022-03-04 23:51:34 +0000 | <monochrom> | To be sure, that would contradict the very definition of debian, so meh. |
| 2022-03-04 23:51:53 +0000 | <sm> | Clint knows the status, it's blocked on something or other |
| 2022-03-04 23:52:36 +0000 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-04 23:52:58 +0000 | <sm> | lechner_: great |
| 2022-03-04 23:53:03 +0000 | <geekosaur> | most distributions including nix/nixos use stackage because a lot of the hard work is already done (most notably selecting mutually compatible versions of packages) |
| 2022-03-04 23:53:17 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-03-04 23:53:21 +0000 | <sm> | exactly |
| 2022-03-04 23:55:32 +0000 | <lechner_> | monochrome: you get it to compile, i'll make sure its available somewhere. (mipsel works now.) i am even working on a private backport repo https://lists.debian.org/debian-haskell/2022/01/msg00012.html |
| 2022-03-04 23:55:53 +0000 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-04 23:58:42 +0000 | <janus> | lechner_: it has to compile with low memory usage? would that be a major change? |
| 2022-03-04 23:59:08 +0000 | <lechner_> | i think they used --parallel=2 |
| 2022-03-04 23:59:16 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-04 23:59:55 +0000 | <lechner_> | https://buildd.debian.org/status/package.php?p=ghc&suite=experimental |