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