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