Logs on 2022-02-28 (liberachat/#haskell)
| 00:03:47 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:04:36 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 240 seconds) |
| 00:06:47 | × | zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 00:09:38 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:14:36 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 00:15:14 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 00:16:37 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 00:17:26 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds) |
| 00:19:30 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:19:45 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:19:52 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:20:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:20:13 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:20:25 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 00:20:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:20:35 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:20:40 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:20:40 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:20:40 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:20:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:20:57 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:21:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:21:19 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:21:32 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:21:40 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:21:53 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:22:01 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:22:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:22:23 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:22:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:22:46 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:22:46 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 00:25:18 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 00:25:41 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 252 seconds) |
| 00:25:52 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:29:25 | → | danso joins (~danso@danso.ca) |
| 00:29:25 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:31:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 00:32:18 | → | Akiva joins (~Akiva@user/Akiva) |
| 00:33:55 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 00:34:18 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 00:37:50 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 00:38:30 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 250 seconds) |
| 00:39:30 | → | burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 00:45:53 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:48:35 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:48:54 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 00:49:05 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 00:50:00 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 00:54:15 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:54:27 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 00:55:00 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 00:57:12 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 00:58:57 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 01:01:54 | × | Tuplanolla quits (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:02:16 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 01:05:01 | → | alx741 joins (~alx741@181.199.42.143) |
| 01:05:39 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 01:06:56 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::8c21) |
| 01:07:12 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 01:08:31 | × | mmhat quits (~mmh@55d4782f.access.ecotel.net) (Quit: WeeChat 3.4) |
| 01:08:31 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 01:10:55 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:02 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev) |
| 01:16:11 | × | burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 01:17:01 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:57 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 01:20:03 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 01:23:56 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 01:24:08 | × | tcard quits (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 01:25:30 | → | alx741 joins (~alx741@181.199.42.143) |
| 01:25:51 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 01:25:52 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 01:26:46 | → | Midjak joins (~Midjak@82.66.147.146) |
| 01:27:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:27:27 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 01:28:31 | → | tcard joins (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 01:32:10 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 01:34:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 01:36:41 | → | wroathe joins (~wroathe@68-168-191-143.fttp.usinternet.com) |
| 01:36:41 | × | wroathe quits (~wroathe@68-168-191-143.fttp.usinternet.com) (Changing host) |
| 01:36:41 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:42:07 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 01:45:24 | × | agumonke` quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 240 seconds) |
| 01:48:56 | → | alx741 joins (~alx741@181.199.42.143) |
| 01:51:24 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 01:51:59 | → | burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 01:52:23 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 01:55:24 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 01:56:12 | × | burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds) |
| 02:00:53 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 02:08:44 | → | deadmarshal joins (~deadmarsh@95.38.116.61) |
| 02:09:00 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 02:09:24 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:13:22 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:13:24 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 02:13:33 | × | deadmarshal quits (~deadmarsh@95.38.116.61) (Ping timeout: 256 seconds) |
| 02:15:18 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 02:17:02 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:17:07 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 02:17:15 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 02:18:13 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 02:23:10 | → | burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 02:27:27 | × | burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds) |
| 02:30:01 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 02:30:05 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 02:30:57 | → | ystael joins (~ystael@user/ystael) |
| 02:31:43 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 02:32:14 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 02:34:53 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:37:00 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 02:37:29 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:38:16 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 02:39:57 | × | justAstache quits (~justache@user/justache) (Read error: Connection reset by peer) |
| 02:40:08 | → | ddb joins (~ddb@2607:5300:203:9993::196) |
| 02:40:56 | → | justAstache joins (~justache@user/justache) |
| 02:41:09 | → | wroathe joins (~wroathe@68-168-191-143.fttp.usinternet.com) |
| 02:41:09 | × | wroathe quits (~wroathe@68-168-191-143.fttp.usinternet.com) (Changing host) |
| 02:41:09 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:45:35 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 02:45:46 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 02:45:59 | → | wroathe joins (~wroathe@68-168-191-143.fttp.usinternet.com) |
| 02:45:59 | × | wroathe quits (~wroathe@68-168-191-143.fttp.usinternet.com) (Changing host) |
| 02:45:59 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:48:23 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 02:49:21 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 02:49:52 | → | kimjetwav joins (~user@2607:fea8:2363:8f00:dcc0:6847:7906:964b) |
| 02:51:32 | × | xff0x quits (~xff0x@2001:1a81:5290:f100:b98a:22f8:9c9c:82d0) (Ping timeout: 240 seconds) |
| 02:53:26 | → | xff0x joins (~xff0x@2001:1a81:52ca:1900:f18a:5163:152f:3811) |
| 02:55:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:55:17 | × | neurocyte0917090 quits (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 02:55:37 | → | alx741 joins (~alx741@181.199.42.143) |
| 02:56:57 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 02:59:01 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 03:03:55 | × | lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:06:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 03:07:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:10:53 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 272 seconds) |
| 03:14:47 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 03:16:04 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:17:05 | → | lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 03:19:32 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:21:01 | × | td_ quits (~td@muedsl-82-207-238-210.citykom.de) (Ping timeout: 272 seconds) |
| 03:22:33 | → | td_ joins (~td@94.134.91.216) |
| 03:27:00 | → | burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 03:32:55 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:e0b0:8aea:9541:b1dc) (Remote host closed the connection) |
| 03:34:15 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:40d3:ee74:da44:44) |
| 03:37:41 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:40:32 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 03:40:49 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 03:46:03 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:49:03 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 04:04:20 | → | alx741 joins (~alx741@181.199.42.143) |
| 04:06:53 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 04:08:09 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 04:08:47 | → | alx741 joins (~alx741@181.199.42.143) |
| 04:12:19 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 04:14:08 | → | agumonke` joins (~user@88.163.231.79) |
| 04:14:45 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 04:16:20 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:16:20 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:16:20 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:19:17 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 04:19:55 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 272 seconds) |
| 04:25:48 | → | mbuf joins (~Shakthi@122.174.215.136) |
| 04:26:38 | alMalsamo | is now known as lumberjackimok |
| 04:26:47 | lumberjackimok | is now known as lumberjackok |
| 04:29:07 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:32:26 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:33:44 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 04:45:57 | → | deadmarshal joins (~deadmarsh@95.38.116.61) |
| 04:50:14 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 04:50:43 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:51:09 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 04:51:16 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 04:54:03 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:59:35 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 05:04:29 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 05:06:09 | × | burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 05:08:22 | × | lumberjackok quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 05:08:37 | × | sagax quits (~sagax_nb@user/sagax) (Quit: Konversation terminated!) |
| 05:08:42 | → | lumberjackok joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 05:12:08 | → | alx741 joins (~alx741@181.199.42.143) |
| 05:12:38 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 05:15:55 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 05:16:38 | → | alx741 joins (~alx741@181.199.42.143) |
| 05:19:32 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 05:19:42 | → | vicfred joins (~vicfred@user/vicfred) |
| 05:20:27 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 05:20:27 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 05:21:05 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:22:57 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 05:24:40 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 05:24:49 | × | yuvi quits (~uv125@192.54.96.185) (Ping timeout: 256 seconds) |
| 05:25:37 | → | yuvi joins (~uv125@192.54.96.185) |
| 05:32:21 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 05:34:53 | → | azimut_ joins (~azimut@gateway/tor-sasl/azimut) |
| 05:37:36 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 05:38:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:40:19 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 05:40:37 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 05:41:46 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 05:41:49 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 05:42:31 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 05:42:37 | → | alx741 joins (~alx741@181.199.42.143) |
| 05:42:44 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:42:48 | → | ardell joins (~ardell@user/ardell) |
| 05:44:16 | × | emf quits (~emf@2620:10d:c090:400::5:f613) (Quit: emf) |
| 05:45:30 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 05:46:20 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 05:46:21 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 05:46:37 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 05:48:12 | × | deadmarshal quits (~deadmarsh@95.38.116.61) (Ping timeout: 240 seconds) |
| 06:03:07 | → | alx741 joins (~alx741@181.199.42.143) |
| 06:06:58 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 06:06:59 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 06:07:04 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 06:07:35 | → | alx741 joins (~alx741@157.100.197.240) |
| 06:11:32 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:12:25 | × | agumonke` quits (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 06:13:41 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 06:19:34 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 06:20:15 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 06:21:17 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 06:22:05 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:24:01 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 06:28:49 | → | alx741 joins (~alx741@157.100.197.240) |
| 06:31:48 | × | Megant quits (megant@user/megant) (Ping timeout: 240 seconds) |
| 06:33:45 | → | coot joins (~coot@213.134.190.95) |
| 06:34:49 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:39:19 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 06:50:29 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 06:52:01 | → | alx741 joins (~alx741@157.100.197.240) |
| 06:52:21 | × | PHO` quits (~pho@akari.cielonegro.org) (Quit: SIGTERM received; exit) |
| 06:53:58 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 06:55:07 | → | PHO` joins (~pho@akari.cielonegro.org) |
| 06:55:21 | × | InternetCitizen quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 245 seconds) |
| 06:55:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:58:02 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 240 seconds) |
| 07:04:57 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 240 seconds) |
| 07:09:03 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 07:10:52 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:10:55 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 07:11:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:11:14 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:13:27 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
| 07:13:52 | → | alx741 joins (~alx741@157.100.197.240) |
| 07:16:38 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:b437:a10d:f085:84a8) |
| 07:21:43 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 07:23:25 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 07:24:01 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 07:29:04 | → | kadobanana joins (~mud@user/kadoban) |
| 07:30:16 | × | kimjetwav quits (~user@2607:fea8:2363:8f00:dcc0:6847:7906:964b) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 07:35:56 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:35:59 | × | waleee quits (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 07:36:25 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:38:14 | → | alx741 joins (~alx741@181.199.42.143) |
| 07:39:48 | × | yuvi quits (~uv125@192.54.96.185) (Ping timeout: 240 seconds) |
| 07:40:23 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 07:42:39 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:45:00 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 07:50:53 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 07:51:23 | × | dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 07:52:59 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:07:34 | → | alx741 joins (~alx741@181.199.42.143) |
| 08:08:14 | → | alp joins (~alp@user/alp) |
| 08:08:17 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 08:09:23 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:40d3:ee74:da44:44) (Quit: Leaving) |
| 08:09:24 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 08:13:25 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 08:14:03 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:15:47 | → | lavaman joins (~lavaman@98.38.249.169) |
| 08:15:57 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 08:16:09 | × | Techcable quits (~Techcable@168.235.93.147) (Ping timeout: 272 seconds) |
| 08:17:11 | → | fendor joins (~fendor@77.119.171.203.wireless.dyn.drei.com) |
| 08:18:08 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:18:13 | → | michalz joins (~michalz@185.246.204.90) |
| 08:19:15 | → | chele joins (~chele@user/chele) |
| 08:30:00 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 08:34:12 | → | hololeap joins (~hololeap@user/hololeap) |
| 08:36:55 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:39:56 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:40:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 08:45:21 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 08:45:38 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 08:46:00 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:9356:9f08:f922:e54b) |
| 08:48:04 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 08:50:02 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 08:53:08 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 08:53:09 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 08:53:22 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 08:55:07 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 08:58:33 | → | alx741 joins (~alx741@157.100.197.240) |
| 09:00:04 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 09:00:11 | × | sjanssen quits (~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: You have been kicked for being idle) |
| 09:00:11 | × | litharn[m] quits (~litharnma@2001:470:69fc:105::1:8336) (Quit: You have been kicked for being idle) |
| 09:01:38 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:07:12 | → | kuribas joins (~user@ptr-25vy0i7j6j7p9e7j9ij.18120a2.ip6.access.telenet.be) |
| 09:09:43 | × | shryke_ quits (~shryke@91.103.43.254) (Quit: WeeChat 3.3) |
| 09:10:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 09:10:47 | × | rembo10 quits (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:11:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 09:11:41 | → | rembo10 joins (~rembo10@remulis.com) |
| 09:12:25 | → | cynomys joins (~cynomys@user/cynomys) |
| 09:12:37 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 09:12:58 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 09:14:55 | × | xff0x quits (~xff0x@2001:1a81:52ca:1900:f18a:5163:152f:3811) (Ping timeout: 256 seconds) |
| 09:15:40 | → | xff0x joins (~xff0x@2001:1a81:52ca:1900:ee1e:2dd0:4c63:2ad) |
| 09:16:09 | → | komikat joins (~komikat@27.57.144.183) |
| 09:16:24 | → | zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 09:19:23 | × | komikat quits (~komikat@27.57.144.183) (Remote host closed the connection) |
| 09:20:11 | → | alx741 joins (~alx741@157.100.197.240) |
| 09:20:50 | → | jespada joins (~jespada@185.69.145.16) |
| 09:22:26 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:25:25 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 09:25:42 | → | robosexual joins (~spaceoyst@92.248.225.230) |
| 09:27:12 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:28:59 | × | robosexual quits (~spaceoyst@92.248.225.230) (Client Quit) |
| 09:29:39 | → | bahamas joins (~lucian@84.232.140.52) |
| 09:33:21 | <turlando> | Has anyone played with Codec.Audio.FLAC? I'm trying to read all the tags in a file, but the library limits to only the ones specified in a sum-type (ignoring the fact that vorbiscomments is a freeform key-value store). I'm digging into the code but it looks like that the bits I need to work around this limitation are in hidden modules. What are my options (I'd love not to fork the library)? |
| 09:34:13 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 09:36:28 | → | InternetCitizen joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 09:36:56 | <[exa]> | turlando: if we're looking at the same problem, can't you just add instances to MetaValue? |
| 09:37:52 | → | komikat joins (~komikat@27.57.144.183) |
| 09:39:36 | <turlando> | [exa]: Not really, as I said they're freeform, and I'd love to read all of them, not just the ones I managed to smuggle into MetaValue. I can be handed with really anything here. Another issue is that flac allows for multiple keys with the same name (e.g. multiple artists can be encoded with multiple entries, all of them having "artist" as key) and the library seems to ignore also this |
| 09:39:39 | <[exa]> | (or is it literally about the VorbisFields?) |
| 09:40:00 | <turlando> | The internals and the level2 bindings looks really good, the Metadata module does all kind of wrong assumptions though |
| 09:42:34 | <[exa]> | yeah looks a bit like under-interpretation of the vorbis thing |
| 09:42:46 | <[exa]> | vorbis actually doesn't dictate anything |
| 09:42:53 | <[exa]> | aren't these fields set by FLAC standard? |
| 09:43:02 | <[exa]> | if not, I'd just fork and send back a pull request :D |
| 09:43:58 | <turlando> | sorry, I've talked about FLAC but I really meant VorbisComments here |
| 09:44:15 | → | yauhsien joins (~yauhsien@2402:7500:5e4:c8b7:856f:1e42:94c9:19cd) |
| 09:44:17 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 09:44:17 | → | alx741 joins (~alx741@157.100.197.240) |
| 09:45:52 | × | komikat quits (~komikat@27.57.144.183) (Remote host closed the connection) |
| 09:46:34 | <sshine> | I just installed 'smos', a Haskell command-line program. getting it installed on a vanilla Debian VPS was a little tricky, and a binary distribution would've helped greatly. now, I don't know if a binary distribution should always be one single statically linked executable, and if not, if that opens another can of worms... |
| 09:46:37 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 09:46:50 | <sshine> | ...but there must be a way to distribute Haskell programs that don't require downloading a compiler. |
| 09:47:11 | <turlando> | I could only find this, I think the same applies to flac though http://web.archive.org/web/20040401200215/reactor-core.org/ogg-tag-recommendations.html |
| 09:47:24 | <[exa]> | sshine: depends on how systematic you want it. If it's for debian vps, you can perfectly make a .deb package for that |
| 09:47:36 | <sshine> | [exa], I could make a .deb, and that was my first thought! |
| 09:47:46 | <[exa]> | sshine: honestly after the initial shock .deb packaging is lovely |
| 09:47:50 | <sshine> | [exa], well, my second thought after realising a single static binary might not be easy. |
| 09:48:39 | <[exa]> | otoh if it's "just for your stuff", sending haskell binaries arounds across the distros of same kinds is pretty much common (see what ghcups and cabals do!) |
| 09:48:39 | <sshine> | [exa], but... while *I* am in Debian, and while Debian/Ubuntu make a significant part of the Linux ecosystem, I also think providing "source code or .deb" is still a bit of a silo'ing approach. |
| 09:49:03 | → | komikat joins (~komikat@27.57.144.183) |
| 09:49:06 | <[exa]> | yeah there's deb-src for that, and .dsc packages |
| 09:49:37 | <sshine> | [exa], it's not "just for my stuff" :) I'm not the package maintainer. I just thought, if this software is actually valuable for non-Haskellers, it's a pity you need to either know how to decode GHC build errors, or have Nix wizardry in your back pocket, to install a simple tool. |
| 09:49:52 | <sshine> | [exa], you mean deb-src an .dsc packages are a good solution for other Linux distros? ;) |
| 09:49:52 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:49:57 | <[exa]> | literally the deb packaging, if you're not aiming for uploading to the official repos, is just about making a debian/ subdirectory and filling in the fields |
| 09:50:22 | <sshine> | [exa], sounds like a very viable path I'll definitely consider :) |
| 09:50:49 | <sshine> | [exa], I'd like to consider the general problem of distributing executables, though. not everyone has 'dpkg'. |
| 09:50:58 | <[exa]> | and technically, having a .deb package you are like 99% to go for a rpm package (deb->rpm is painless), and the rest of the ecosystem is Arch/Gentoo/... who just really want to work with the compiler errors |
| 09:51:22 | <sshine> | [exa], there's also FreeBSD. |
| 09:51:24 | <[exa]> | if that's not enough, make a docker |
| 09:51:59 | <[exa]> | freebsd probably goes to the same heap as arch from this viewpoint (not sure if there's even good binary distribution there) |
| 09:51:59 | <sshine> | I'd like a single statically linked ELF executable for x86_64. |
| 09:52:08 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 09:52:20 | <[exa]> | that you can do with just cabal (build static, done) |
| 09:52:33 | <sshine> | [exa], making the assumption that if you're not an Ubuntu user (extend with arbitrary other distros), you're a power user who likes to figure out esoteric build toolchains, is flawed IMO. :) |
| 09:53:09 | <sshine> | lots of FreeBSD users are systems administrators who don't care to learn new programming languages just because some tool doesn't have great cross-OS packaging, because it's kinda small. |
| 09:53:26 | <sshine> | and if it were easy to create a single exe, we'd just be doing it. |
| 09:53:28 | <[exa]> | sshine: without that assumption you'll spend 3 years bikeshedding a new packaging system when the problem can get easily solved by users |
| 09:53:46 | <sshine> | I'm not trying to invent a packaging system. |
| 09:53:50 | <[exa]> | provide a good reliable build instructions instead. |
| 09:54:44 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 09:54:58 | <sshine> | I can write good build instructions. they'll be a tutorial in ten steps that involve how to get the first part of a Haskell development environment on your computer, so you can open one program you don't intend to modify. |
| 09:56:08 | <sshine> | I was wondering -- here's an `ldd` output: https://gist.github.com/sshine/dba2d2fc0e4e5096a027ea30ca09fc90 -- can't I somehow stuff some of that into the executable? |
| 09:56:15 | <[exa]> | `$pkgmanager install ghc cabal-install; cd myprogram; cabal run` ? |
| 09:57:09 | <[exa]> | sshine: you do not really want to smash these into the executable because the libraries are supposed to implement the cross-system differences, thus increase portability (compare with the portable cabal executable that imports the same) |
| 09:57:13 | <sshine> | [exa], actually, using $pkgmanager in my case meant GHC wouldn't install, and the error messages didn't provide very clear hints on what system libraries (Debian -dev packages) I was missing. using GHCup gave a friendly Debian-like hint before crashing. |
| 09:58:15 | <[exa]> | yeah actually that could help, if you do the same way as ghcup you should get a binary that is roughly as portable as ghcup |
| 09:58:16 | <sshine> | [exa], I understand the philosophy of shared libraries. I also understand that the "correct" way to deal with those is to make sure that the operating system is in charge of providing those shared libraries. which leads to having multiple per-OS packaging. |
| 09:59:00 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 09:59:37 | <[exa]> | well, multiple OSes lead to having multiple per-OS packaging, yes. |
| 10:00:06 | <sshine> | not necessarily. statically linked binaries mean you only have one per (architecture * binary execution format). |
| 10:01:35 | <[exa]> | (times kernel version, userspace version, ...) |
| 10:01:42 | <[exa]> | maybe you want a docker? :D |
| 10:01:47 | <sshine> | I can see that there's a guide on how to compile statically linked binaries here: https://www.tweag.io/blog/2020-09-30-bazel-static-haskell/ |
| 10:01:55 | <sshine> | I don't want a docker :) |
| 10:02:06 | × | xff0x quits (~xff0x@2001:1a81:52ca:1900:ee1e:2dd0:4c63:2ad) (Ping timeout: 252 seconds) |
| 10:02:24 | <[exa]> | yeah that guide should work to a large extent |
| 10:04:14 | <merijn> | sshine: Note that by default haskell executables only dynamically link libc anyway |
| 10:04:22 | <sshine> | merijn, right |
| 10:04:27 | × | obviyus quits (sid415299@user/obviyus) (Quit: Connection closed for inactivity) |
| 10:04:30 | <merijn> | So even without going all the way to full static you're already pretty portable |
| 10:05:11 | <sshine> | re. kernel version: I don't need to provide an executable for all possible states across all times. I'm arguing that having even just one binary exe for (x86_64, ELF) provides for a wider distribution than any amount of per-OS special packaging, with the least effort (if it were Go or Rust, but when someone who is very experienced with Haskell tells me "yeah, it's kinda tricky", I'm thinking it's not so |
| 10:05:17 | <sshine> | for Haskell.) |
| 10:05:24 | × | yauhsien quits (~yauhsien@2402:7500:5e4:c8b7:856f:1e42:94c9:19cd) (Ping timeout: 240 seconds) |
| 10:05:26 | <sshine> | merijn, that's what I'm thinking! |
| 10:05:32 | <sshine> | merijn, like, mostly static would be very good :) |
| 10:05:53 | <merijn> | sshine: Who said it's tricky? If you use musl you can make something that will run on any compatible kernel, yeah |
| 10:06:01 | <dminuoso> | Keep in mind that static binaries complicate security patches. |
| 10:06:05 | <merijn> | sshine: Getting everything setup right is tricky and a bit of a pain |
| 10:06:16 | <merijn> | sshine: But once it running it just works |
| 10:06:26 | <sshine> | merijn, NorfairKing says :D |
| 10:06:49 | <dminuoso> | Each static build must be rebuild and redeployed every time any statically linked library receives an update. |
| 10:06:51 | <merijn> | sshine: One of my colleagues is doing it and it seems to work fine |
| 10:06:52 | <sshine> | ("entirely non-trivial" to be exact) |
| 10:07:00 | <dminuoso> | Which is why I wouldnt statically link something like openssl/libressl |
| 10:07:22 | <[exa]> | +1 ^ |
| 10:07:43 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:08:10 | <sshine> | dminuoso, when you're in charge of the execution environment, that's a major drag. for distributing exe's to a wide FOSS audience, downloading a huge exe that took longer time to recompile and reassemble still removes the ties to the development environment. |
| 10:08:30 | <dminuoso> | sshine: I'd argue the other way around. |
| 10:08:55 | → | xff0x joins (~xff0x@2001:1a81:52ca:1900:ee1e:2dd0:4c63:2ad) |
| 10:08:59 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 10:09:02 | <dminuoso> | sshine: When you're in charge of the complete process up until production environment, shipping a libressl update is at least possible. |
| 10:09:12 | → | obviyus joins (sid415299@user/obviyus) |
| 10:09:51 | <dminuoso> | But when I, as a user, receive a statically linked binary, I dont even know whether a) my application is vulnerable to latest CVEs without debugging each ELF object I have, b) I have to annoy maintainers to build a new release, c) if the upstream dies I can no longer patch contained libraries |
| 10:10:00 | <dminuoso> | And for each such application I have to wait for library fixes. |
| 10:10:04 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 10:10:27 | <dminuoso> | I'd argue that static binaries only make sense for internal use where you can control the complete lifecycle |
| 10:11:16 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:14:07 | <sshine> | merijn, since your colleague is doing mostly-static binaries, what build system is he using? nix or bazel? |
| 10:14:37 | <merijn> | sshine: cabal in a github actions docker container with alpine |
| 10:15:13 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 272 seconds) |
| 10:15:19 | <sshine> | merijn, so... musl is the thing that makes inlining libc cheaper disk-wise, but besides musl, he only uses cabal? |
| 10:15:35 | <merijn> | sshine: musl is just an alternate libc implementation |
| 10:15:59 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 10:16:03 | <merijn> | sshine: The problem is that glibc includes some fuckery to (intentionally) make static linking it a massive PITA |
| 10:16:18 | <sshine> | yeah, I imagine |
| 10:16:21 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 10:16:21 | <merijn> | Because one of the glibc maintainers is opposed to static linking for ideological reasons |
| 10:16:23 | × | hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 252 seconds) |
| 10:17:01 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 10:17:14 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 10:17:31 | <merijn> | sshine: I mean, GHC already statically links haskell and the runtime by default, and if you tell GHC to statically link C libraries it happily will |
| 10:17:37 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 10:17:50 | <merijn> | The only one creating problems is libc, so if you ditch that in favour of musl, it's mostly "problem solved" |
| 10:18:18 | <sshine> | merijn, sounds like there should be a tutorial somewhere :P |
| 10:18:28 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 10:18:53 | <sshine> | maybe I can derive the non-bazel parts from the tweag tutorial. |
| 10:19:04 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 10:19:09 | <sshine> | (not that I'm opposed to bazel; if I were to learn any new build system, that'd probably be it.) |
| 10:21:57 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 10:22:21 | <sshine> | dminuoso, re. when static binaries make sense: what if I'd like to try out this smart command-line tool that's on GitHub but my operating system's package manager has never heard of it? they use applicatoid functormoids to make really complicated things simple, and all you have to do is deploy a full Haskell developer environment, install a bunch of C libraries via your operating system (and one you have |
| 10:22:27 | <sshine> | to install from scratch via source code). I would love to be able to click "download", chmod +x and just run it. :D |
| 10:22:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) |
| 10:23:22 | <merijn> | sshine: I mean, step 1) arrange a VM/docker container/whatever with Alpine linux |
| 10:23:29 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 10:23:38 | <merijn> | Step 2) pass the relevant -static flags to GHC (consult GHC user guide) |
| 10:23:48 | <merijn> | And that should be it? |
| 10:24:03 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 10:24:39 | <sshine> | it's a fancy to-do command-line program, not a spaceship simulator, why do I need to run a background daemon that runs as root and consistently messes with my system's ability to hibernate? |
| 10:24:47 | <merijn> | Legally you may be required to provide a dynamic build binary to, because of libgmp |
| 10:25:08 | <merijn> | sshine: You just need the container to build it... |
| 10:25:12 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:25:12 | <sshine> | are you saying libgmp legally requires me to not compile it statically? |
| 10:25:23 | <sshine> | I don't want to build it, I want to download and run it! |
| 10:25:40 | <merijn> | sshine: Alpine linux ships with musl as default libc, so you wanna build it there to get a fully static binary that you then distribute |
| 10:25:49 | → | __monty__ joins (~toonn@user/toonn) |
| 10:25:50 | <sshine> | merijn, thanks! that's good to know :) |
| 10:25:54 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 10:26:17 | <merijn> | sshine: You could also try and setup your own musl toolchain on your own system, but that's a massive pain. That's why people say "build in an Alpina docker image" |
| 10:26:26 | <sshine> | (and sorry, I'm having two conversations here; one in which I'm a stupid end-user of a program that is incidentally written in Haskell, and one in which I'm a person who tries to distribute that program to myself as the stupid user.) |
| 10:26:27 | <merijn> | sshine: libgmp is LGPL, so...yes? |
| 10:26:50 | <merijn> | sshine: You can use integer-simple (which is less performant, but not LGPL) |
| 10:26:53 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 10:27:00 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Ping timeout: 240 seconds) |
| 10:27:21 | <sshine> | hmm... really. |
| 10:27:26 | <merijn> | sshine: But LGPL does allow you to distribute statically linked binaries IFF you also provide dynamic ones (so users can replace the LGPL version with a custom one) |
| 10:27:37 | <sshine> | oh, okay. |
| 10:27:53 | <sshine> | it's not enough to distribute static executable + source code? |
| 10:28:25 | × | alp quits (~alp@user/alp) (Remote host closed the connection) |
| 10:28:44 | → | alp joins (~alp@user/alp) |
| 10:28:51 | <merijn> | sshine: https://www.gnu.org/licenses/gpl-faq.en.html#LGPLStaticVsDynamic |
| 10:29:20 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:29:43 | <dminuoso> | sshine: Well yes, so packaging is a complicated story. |
| 10:30:20 | <maerwald> | I wonder how you'd prove that the static binary and the dynamic one are actually the same program xD |
| 10:30:33 | <dminuoso> | Traditionally you would only support installation via autotools, and make it the problem of some self appointed maintainer for a given linux distrubition. |
| 10:30:42 | <dminuoso> | Rather than try and worry yourself how to expose a package. |
| 10:30:43 | <merijn> | maerwald: Tjat |
| 10:30:49 | <merijn> | That's what courts are for |
| 10:31:17 | <dminuoso> | In the presence of full program optimization, that could be fun proceedings. |
| 10:31:24 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 10:31:48 | <merijn> | not really |
| 10:31:48 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Remote host closed the connection) |
| 10:32:04 | <merijn> | the suing party would have to prove they aren't the same |
| 10:32:35 | <dminuoso> | Like I said, fun proceedings one way or another. |
| 10:32:38 | <sshine> | thanks everyone for your input. I'll get back to being productive. |
| 10:32:57 | <dminuoso> | sshine: this is one of the reasons why we are switching to nixos. |
| 10:32:58 | <dminuoso> | By the way |
| 10:33:09 | → | agumonke` joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 10:33:15 | <dminuoso> | because it gives us the necessary language to tie the build process and deployment process together coherently |
| 10:33:17 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 10:33:20 | <sshine> | dminuoso, "this" being what more exactly? |
| 10:33:46 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 10:34:01 | <dminuoso> | sshine: distributing programs problem. |
| 10:34:17 | <merijn> | dminuoso: Now if only someone made the Nix language suck less :p |
| 10:34:23 | <dminuoso> | merijn: Yes. If only. |
| 10:34:38 | <maerwald> | merijn: it's not just the language |
| 10:34:41 | <maerwald> | but the entire ecosystem |
| 10:34:54 | <dminuoso> | At the very least the ecosystem is quite alive and active. So there's that at least. |
| 10:35:06 | <dminuoso> | But yeah, we're painfully aware of the price we're paying |
| 10:35:29 | → | deadmarshal_ joins (~deadmarsh@95.38.116.61) |
| 10:35:54 | <maerwald> | merijn: and.. .there are proprietary alternatives to nix (for reproducible builds, that also work with haskell) that have paid customer support and no random changes |
| 10:36:13 | <dminuoso> | maerwald: Curious, what alternatives are you thinking of? |
| 10:36:18 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:36:55 | <maerwald> | I don't actually remember the product name |
| 10:37:05 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 10:37:51 | <merijn> | maerwald: Those don't help me |
| 10:38:08 | <maerwald> | sure, but I'd probably try those first before hiring a nix engineer |
| 10:38:31 | <merijn> | We're not using Nix at all atm |
| 10:38:57 | <merijn> | It's just the Nix would be perfect for a ton of our problems. But it sucks to hard to ever even consider inflicting it on the organisation |
| 10:40:17 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 10:40:54 | × | Giovanni quits (~Giovanni@176.67.166.45) (Read error: Connection reset by peer) |
| 10:41:26 | <maerwald> | that's why I prefer less predictable tools that have a simpler interface |
| 10:41:29 | → | Giovanni joins (~Giovanni@87.251.20.36) |
| 10:41:33 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 10:41:51 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:42:25 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 10:42:49 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 10:42:50 | <merijn> | Well, the alternatives in use at work now are "conda" and "pip" which are *godawful* :p |
| 10:44:00 | <sshine> | merijn, you wouldn't consider bazel instead? |
| 10:45:10 | <merijn> | lol no |
| 10:46:41 | <merijn> | Anything that has "multi page install instructions that rely on apt-get" is an absolute no go |
| 10:47:11 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 252 seconds) |
| 10:47:41 | → | memowe joins (~memowe@2a02:908:d85:c3c0:90a5:a8b1:f724:deae) |
| 10:50:32 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:54:49 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:55:45 | × | deadmarshal_ quits (~deadmarsh@95.38.116.61) (Ping timeout: 256 seconds) |
| 10:55:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 10:57:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:57:24 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 10:59:11 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 11:00:58 | <dminuoso> | maerwald: I have a distinct hate for "proprietary as an alternative, they have paid customer support" |
| 11:01:48 | <maerwald> | who do you ask if you have problems with nix? |
| 11:01:50 | → | thevishy joins (~Nishant@2405:201:f005:c007:7c10:43e8:a548:3fb5) |
| 11:02:02 | <dminuoso> | Well if its support you want, there is nix consultants |
| 11:02:10 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 11:02:12 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 11:02:22 | <dminuoso> | But the thing is, who do you ask if your proprietary vendor closes down, or cant help you because they lack competency? |
| 11:02:30 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 11:02:41 | → | bahamas joins (~lucian@84.232.140.52) |
| 11:02:46 | <maerwald> | consultancies don't close down? |
| 11:03:11 | <maerwald> | that might actually be happening right now |
| 11:03:18 | <dminuoso> | maerwald: Sure they can, but nix itself wont. |
| 11:03:26 | <dminuoso> | But if the properietary vendor closes down, you're hosed. |
| 11:03:40 | <maerwald> | well, open source projects sometimes die out too |
| 11:03:52 | <maerwald> | just requires a couple of maintainers to lose interest |
| 11:03:55 | <maerwald> | look at GHC |
| 11:04:03 | <dminuoso> | Sure, but tens of thousands of nix users out there. But only one vendor that can help you with your proprietary solution. |
| 11:04:30 | → | cosimone joins (~user@93-47-229-38.ip115.fastwebnet.it) |
| 11:04:39 | <dminuoso> | And IME "proprietary vendors" tend to overcharge on poorly written bash and python code, lack the willingness and skill to debug if you have problems.. |
| 11:04:45 | <maerwald> | there's an entire industry build on proprietary software and they are doing fine mostly |
| 11:05:58 | <dminuoso> | Of course *they* are doing fine as long as they have enough fish on the hook. |
| 11:06:34 | <maerwald> | I don't see how depending on volunteer opensource maintainers is really a better strategy for a *business* in capitalist market |
| 11:06:48 | <maerwald> | they do whatever works |
| 11:07:21 | → | razetime joins (~quassel@117.254.35.156) |
| 11:07:25 | → | yauhsienhuangtw joins (~Yau-Hsien@2402:7500:5e4:c8b7:c90:6bda:6af1:8273) |
| 11:07:35 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 11:09:16 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:11:00 | × | yauhsien_ quits (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 11:11:57 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 11:12:03 | <carbolymer> | I'm spawning a lot of thread (forkIO) and killing them, and memory isn't released after thread completes - I'm even doing `killThread` just to make sure that thread gets killed |
| 11:12:06 | <carbolymer> | any ideas why is that? |
| 11:12:11 | → | mmhat joins (~mmh@55d467a0.access.ecotel.net) |
| 11:14:46 | <dminuoso> | You're holding references. |
| 11:15:01 | <carbolymer> | dminuoso: only to thread IDs |
| 11:15:32 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:15:56 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 11:16:38 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 11:17:53 | → | fendor_ joins (~fendor@77.119.204.89.wireless.dyn.drei.com) |
| 11:18:16 | × | InternetCitizen quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 245 seconds) |
| 11:18:55 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:20:41 | × | fendor quits (~fendor@77.119.171.203.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 11:21:15 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 11:21:30 | <carbolymer> | I'm not doing anything fancy, just making sure that no more than 500 threads are running at the same time: https://gitlab.com/carbolymer/ghc-threads-memory-leak/-/blob/master/Main.hs#L53 |
| 11:22:20 | <carbolymer> | and then, memory usage peaks at 2GB |
| 11:24:16 | × | lottaquestions quits (~nick@2607:fa49:5041:a200:37ab:3c6c:a9ec:c971) (Quit: Konversation terminated!) |
| 11:27:02 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:32:34 | × | sleblanc quits (~sleblanc@user/sleblanc) (Remote host closed the connection) |
| 11:35:31 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
| 11:35:31 | × | jespada quits (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 11:37:09 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:37:41 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 11:38:22 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 11:39:16 | → | ubert joins (~Thunderbi@p200300ecdf3be90c0930a09fd733e6d6.dip0.t-ipconnect.de) |
| 11:39:58 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:42:44 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:44:04 | <bahamas> | can anyone remind me the function that waits for input on the command line? |
| 11:46:05 | <geekosaur> | ?? |
| 11:46:10 | <lortabac> | bahamas: getLine reads one line from stdin |
| 11:47:18 | <geekosaur> | if you're printing a prompt first, remember to either `hFlush stdout` or `hSetBuffering stdout NoBuffering` first (both reuire importing `System.IO`) |
| 11:49:35 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 11:49:36 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 11:49:44 | <bahamas> | lortabac: that's the one. thanks! |
| 11:49:55 | <bahamas> | geekosaur: thanks! |
| 11:50:13 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 11:51:25 | ← | memowe parts (~memowe@2a02:908:d85:c3c0:90a5:a8b1:f724:deae) () |
| 11:54:19 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 11:54:29 | → | yauhsien_ joins (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 11:55:08 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 11:55:22 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 11:55:30 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 11:56:16 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:57:37 | × | yauhsienhuangtw quits (~Yau-Hsien@2402:7500:5e4:c8b7:c90:6bda:6af1:8273) (Ping timeout: 240 seconds) |
| 11:57:56 | → | yauhsienhuangtw joins (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 11:58:32 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 11:59:02 | × | yauhsien_ quits (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 11:59:07 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:59:20 | → | jespada joins (~jespada@185.69.145.16) |
| 12:01:02 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 12:01:02 | → | deadmars- joins (~deadmarsh@95.38.116.61) |
| 12:01:32 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 12:05:32 | × | deadmars- quits (~deadmarsh@95.38.116.61) (Ping timeout: 240 seconds) |
| 12:06:11 | → | olle joins (~olle@i5E866D89.versanet.de) |
| 12:06:20 | <olle> | What's final with tagless-final? |
| 12:06:59 | <Hecate> | the final encoding |
| 12:07:36 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 12:09:07 | <geekosaur> | isn't that about initial vs. final algebras? |
| 12:10:09 | <Hecate> | I'd have to re-read Oleg's papes |
| 12:10:13 | <Hecate> | I'd have to re-read Oleg's papers* |
| 12:10:33 | × | hueso quits (~root@user/hueso) (Ping timeout: 256 seconds) |
| 12:11:02 | <lortabac> | IIRC initial means you encode terms as an AST, whereas final means you encode terms directly by the operations that are available on them |
| 12:11:33 | <olle> | lortabac: Isn't that already implied by "tagless"? Since tag = sum type |
| 12:11:37 | <olle> | Or ADT |
| 12:11:46 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 12:12:35 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 12:13:03 | <lortabac> | olle: in theory you might define an ADT with the evaluation functions |
| 12:13:03 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 12:13:42 | <lortabac> | that would be a tagged-final encoding |
| 12:14:56 | <olle> | Sure |
| 12:15:07 | <olle> | So what's tagless-not-final? |
| 12:15:23 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:15:36 | → | hueso joins (~root@user/hueso) |
| 12:15:49 | <lortabac> | TBH I read that paper a long time ago, I might be misremembering something |
| 12:16:50 | <olle> | Guess I could ask in Scala channel too, lots of blog post about this technique in Scala |
| 12:16:55 | <olle> | cats-effects and stuff |
| 12:17:51 | <worldhelloworld> | Just out of curiosity : what is the salary range of a beginning Haskell developer in your experience? Say someone who has read a book like Hutton but not much experience doing actual projects |
| 12:18:32 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:18:34 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:19:52 | <__monty__> | IME those jobs don't exist. In general "Haskell developer" seems to mean Experienced/Senior Developer who is probably better than average because they're not so stuck in their ways and open to learning new things as exemplified by the fact they learned Haskell. |
| 12:20:15 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 250 seconds) |
| 12:20:27 | → | hueso_ joins (~root@user/hueso) |
| 12:20:31 | <geekosaur> | ^ |
| 12:21:20 | <worldhelloworld> | That's interesting, I get similar vibes. In that case what would be the expected range? |
| 12:21:27 | <lortabac> | olle: I guess Servant is a kind-of a tagless-initial encoding, because the behavior is determined by instance selection instead of runtime matching of tags |
| 12:21:29 | × | hueso quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 12:21:37 | <hpc> | depends on the company |
| 12:21:46 | <hpc> | at a startup, senior engineer could be the highest-level technical person |
| 12:21:52 | <worldhelloworld> | Approximately |
| 12:21:55 | <hpc> | at google, it could mean "can be trusted to write C++, not just java" |
| 12:22:59 | <hpc> | but yeah, i would trust someone who knows haskell to be better equiped for novel tasks than your average web framework cargo cultist |
| 12:23:35 | × | Giovanni quits (~Giovanni@87.251.20.36) (Ping timeout: 256 seconds) |
| 12:23:40 | <worldhelloworld> | Shots fired, hope no rust devs lurking 😉 |
| 12:23:51 | <hpc> | hah |
| 12:23:57 | → | Giovanni joins (~Giovanni@176.67.166.45) |
| 12:24:31 | <hpc> | rust is another one of those languages, for me |
| 12:25:14 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) |
| 12:25:59 | <hpc> | "grub is crashing, but only at midnight on tuesday!" *swings in on rope* "RUST!" https://xkcd.com/208/ |
| 12:26:16 | <fendor[m]> | I definitely prefer rust over c++ |
| 12:26:19 | <worldhelloworld> | Haskell somehow inspires elegance and brevity at the same time for me. Don't know a lot of languages but I doubt they do the same. Certainly not the ones I've known c, c++, python, php |
| 12:26:36 | <dminuoso> | carbolymer: So the garbage collector is, in principle, quite easy. It will trace all reachable objects and copy them to a second region. Anything that was untraceable is considered lost, the entire previous region is freed. |
| 12:26:52 | → | fef joins (~thedawn@user/thedawn) |
| 12:26:54 | <geekosaur> | sml/nj, ocaml (and thereby probably f#), there are others |
| 12:27:02 | <dminuoso> | carbolymer: So yes, if you have memory residency, you're holding references. |
| 12:27:51 | <geekosaur> | in particular I noted carbolymer said thread refs were being held, doesn;t that prevent a lot of garbage collection? |
| 12:29:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Ping timeout: 240 seconds) |
| 12:29:31 | × | hueso_ quits (~root@user/hueso) (Ping timeout: 245 seconds) |
| 12:29:41 | → | hueso joins (~root@user/hueso) |
| 12:33:21 | <dminuoso> | carbolymer: Also, I find your usage of IORef and MVar somewhat dubious. I'm not convinced this is thread safe. |
| 12:34:34 | <dminuoso> | You probably should be using `newtype Semaphore = Semaphore (TQueue ())` instead |
| 12:35:32 | <carbolymer> | geekosaur: good hint |
| 12:35:34 | <carbolymer> | >/Note/: in GHC, if you have a 'ThreadId', you essentially have |
| 12:35:34 | <carbolymer> | a pointer to the thread itself. This means the thread itself can\'t be |
| 12:35:34 | <carbolymer> | garbage collected until you drop the 'ThreadId'. |
| 12:35:34 | <carbolymer> | This misfeature will hopefully be corrected at a later date. |
| 12:35:42 | <dminuoso> | In fact, I think Im almost certain that you have a race condition here https://gitlab.com/carbolymer/ghc-threads-memory-leak/-/blob/master/Main.hs#L87 |
| 12:35:43 | <carbolymer> | so how do I get rid of ThreadId? |
| 12:35:57 | <dminuoso> | carbolymer: dont hold on to it. |
| 12:36:23 | <merijn> | That, yeah :p |
| 12:36:37 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 12:36:45 | <carbolymer> | so instead of forM I should use some kind of ring-buffer-alike structure keeping track of only 500 threads in my case? |
| 12:36:47 | <merijn> | And if you need access to a ThreadId, but still want exiting threads to GC you can just use a weak reference |
| 12:37:00 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:37:09 | <dminuoso> | carbolymer: Okay Im moving from almost certain to certain. That code is racy and will misbehave. |
| 12:37:16 | <dminuoso> | Use a TQueue. |
| 12:37:16 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 12:37:27 | × | hueso quits (~root@user/hueso) (Ping timeout: 256 seconds) |
| 12:37:38 | <merijn> | Any specific reason you're implementing your own Semaphore instead of using the one in base? |
| 12:38:03 | <carbolymer> | merijn: I thought that the reason of memory leak was QSem |
| 12:38:10 | <dminuoso> | Oh, TSem right. |
| 12:38:20 | <carbolymer> | merijn: so I implemented simpler to rule that out, same for async |
| 12:38:34 | <merijn> | Have you profiled the code yet? |
| 12:38:38 | <carbolymer> | merijn: yes |
| 12:38:48 | <merijn> | What does the heap look like? |
| 12:38:59 | <carbolymer> | merijn: https://gitlab.com/carbolymer/ghc-threads-memory-leak/-/blob/master/memetest-exe.pdf |
| 12:39:11 | <carbolymer> | https://gitlab.com/carbolymer/ghc-threads-memory-leak/-/blob/master/memetest-exe.svg |
| 12:39:22 | × | ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.4) |
| 12:39:26 | <carbolymer> | dminuoso: which part has race condition in your opinion? |
| 12:39:31 | → | ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 12:39:34 | × | ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 12:39:36 | → | hueso joins (~root@user/hueso) |
| 12:39:42 | → | ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 12:39:45 | <dminuoso> | carbolymer: In between modifying the counter and putting into the MVar. |
| 12:39:47 | <carbolymer> | dminuoso: that line you pointed is supposed to just wake-all on mvar |
| 12:39:53 | × | ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 12:40:01 | → | ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 12:40:11 | × | ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 12:40:11 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:40:13 | <carbolymer> | dminuoso: this is fine, as I'm checking the counter earlier, after waiting on MVar |
| 12:40:19 | → | ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 12:40:25 | <dminuoso> | carbolymer: and if an async exception occurs in between? |
| 12:40:30 | <dminuoso> | then you have a stuck thread |
| 12:40:30 | × | ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 12:40:38 | → | Pickchea joins (~private@user/pickchea) |
| 12:40:39 | <carbolymer> | dminuoso: I've completely ignored exceptions for the purpose of this minimal repro |
| 12:40:55 | <carbolymer> | dminuoso: this is just and excerpt from my prod code, simplified |
| 12:41:15 | <carbolymer> | so yeah, you're right about that ;-] |
| 12:41:40 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 12:41:51 | <geekosaur> | hm. killThread raises an async exception, no? |
| 12:42:18 | <dminuoso> | Yeah, its just `killThread tid = throwTo tid ThreadKilled |
| 12:42:20 | <merijn> | I mean, isn't that heap profile just the threads? |
| 12:42:46 | <merijn> | 5,000kb in mapConcurrently, divide by 500 = 10kb per thread? |
| 12:43:00 | <merijn> | Depending on what threads are doing, that does not sound unreasonable? |
| 12:43:00 | <carbolymer> | merijn: makes sense |
| 12:43:09 | <carbolymer> | merijn: but the memory usage is 2G |
| 12:43:24 | <dminuoso> | carbolymer: not to mention that, semantically, you dont even have fairness guarantees with MVar. |
| 12:43:38 | <merijn> | carbolymer: Reported by which tool? |
| 12:43:40 | <carbolymer> | dminuoso: I don't need that here |
| 12:43:46 | <carbolymer> | merijn: ekg, RTS summary |
| 12:43:55 | <merijn> | hmm |
| 12:44:15 | <merijn> | If you run with "+RTS -sstderr" what's the max residency it reports? |
| 12:44:24 | <dminuoso> | carbolymer: It just seems notoriously unsafe for no good reason. :-) |
| 12:44:32 | <dminuoso> | QSem or TSem are great alterantives |
| 12:44:43 | <carbolymer> | merijn: https://bpa.st/QEFQ |
| 12:44:57 | <carbolymer> | dminuoso: I agree ;-] |
| 12:45:12 | × | xff0x quits (~xff0x@2001:1a81:52ca:1900:ee1e:2dd0:4c63:2ad) (Ping timeout: 250 seconds) |
| 12:45:24 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 12:45:54 | → | ph88^ joins (~ph88@2a02:8109:9e00:71d0:696b:f808:8753:ceba) |
| 12:46:07 | → | xff0x joins (~xff0x@2001:1a81:52ca:1900:b6d3:a455:a8d2:4188) |
| 12:46:13 | × | ph88^ quits (~ph88@2a02:8109:9e00:71d0:696b:f808:8753:ceba) (Read error: Connection reset by peer) |
| 12:46:18 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 12:47:26 | × | dsrt^ quits (~dsrt@50-202-219-146-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 12:48:16 | <merijn> | carbolymer: ok, so that report 900MB max residency, so the 2GB is probably from GC |
| 12:48:37 | <merijn> | Since the copy&compact collector uses 2xmax life data in space |
| 12:49:08 | <merijn> | carbolymer: oh, hold on |
| 12:49:12 | <carbolymer> | merijn: maybe, but the memory usage still grows during the execution of the program |
| 12:49:20 | <merijn> | "Productivity 35.4% of total user" |
| 12:49:26 | <merijn> | That's *atrocious* |
| 12:49:46 | <carbolymer> | yeah, but all that program does is spawn a thread and sleep, 500000 times |
| 12:49:56 | <merijn> | Then that's even worse |
| 12:49:57 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 12:50:01 | <merijn> | Can I take a blind guess? |
| 12:50:23 | × | ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 12:50:23 | <merijn> | Are you using the threaded backend and -N (i.e. parallelism equal to cores) |
| 12:50:28 | <merijn> | ? |
| 12:50:33 | <carbolymer> | yes |
| 12:50:54 | <merijn> | And GHC 8.10 or something, probably? |
| 12:51:16 | <merijn> | The threaded backend still uses parallel GC by default, which has atrocious performance |
| 12:51:25 | <merijn> | Disable parallel GC and productivity should skyrocket |
| 12:52:12 | <merijn> | Try rerunning with "+RTS -qg: |
| 12:52:28 | <carbolymer> | yeah 8.10, latest LTS |
| 12:52:28 | <merijn> | Well, "+RTS -qg -sstderr" |
| 12:52:36 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 240 seconds) |
| 12:52:37 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 240 seconds) |
| 12:52:40 | <merijn> | And see what the productivity is then |
| 12:53:22 | <carbolymer> | k, lemme try, and remove my hand-written concurrency primitives to prevent being laughet at further ;-] |
| 12:53:52 | <merijn> | carbolymer: Productivity is "time not spend doing GC / total time", so 35% productivity means your program spends 65% of its time running GC |
| 12:54:11 | <merijn> | Which it also reports above 233s of GC time out of 361s total runtime |
| 12:58:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:58:27 | → | sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 12:58:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:01:32 | <carbolymer> | merijn: 94%, nice, didn't help with total memory usage though |
| 13:01:57 | <carbolymer> | merijn: sequential gc is faster at the cost of longer pause times, do I remember it correctly? |
| 13:02:42 | <geekosaur> | depeds on the ghc version; parallel gc got a lot of improvements in 9.2.1 |
| 13:02:58 | <merijn> | carbolymer: The issue is that parallel GC incurs lots of synchronisation overhead and is only faster in certain niche scenarios (and even there you probably only want 2-4x GC threads, not 24) |
| 13:03:39 | <merijn> | geekosaur: Sure, but in general it's a bad default. Part of the decision to make -threaded the default in the future was on the condition that it defaults to non-parallel GC |
| 13:04:01 | <merijn> | carbolymer: "It Depends" |
| 13:04:29 | <merijn> | carbolymer: The default collector is "copy&compact", which means it copies ALL alive data. So if you have a lot of data, copying in parallel can be faster |
| 13:04:52 | <merijn> | In practice, the extra locking/synchronisation often makes it slower for the average program |
| 13:05:26 | <merijn> | carbolymer: Well, the question is: Is 900 MB unreasonable for the code you're running. Which is hard to say from your stripped benchmark |
| 13:06:00 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:07:05 | <carbolymer> | merijn: in my case it was around 20G, so it was unreasonable |
| 13:07:23 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 13:09:02 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 13:09:39 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds) |
| 13:10:41 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 13:10:43 | <merijn> | In the example heap plot, most of it was by the code running inside mapConcurrently. So you might wanna investigate what that's allocating for |
| 13:10:49 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 13:11:09 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 13:11:13 | <carbolymer> | merijn: but the heap only explained 5MB out of 2GB |
| 13:11:15 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 13:11:30 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 13:11:38 | <carbolymer> | merijn: I've used weak refs, and memory usage peaked at 20MB |
| 13:11:49 | <carbolymer> | so holding of ThreadId was the issue |
| 13:11:51 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 268 seconds) |
| 13:12:06 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 13:12:33 | → | hueso_ joins (~root@user/hueso) |
| 13:12:54 | × | hueso quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 13:15:37 | × | komikat quits (~komikat@27.57.144.183) (Remote host closed the connection) |
| 13:15:58 | × | agumonke` quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 250 seconds) |
| 13:16:07 | → | komikat joins (~komikat@27.57.144.183) |
| 13:20:56 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 13:22:28 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 13:22:47 | × | razetime quits (~quassel@117.254.35.156) (Ping timeout: 256 seconds) |
| 13:23:06 | → | razetime joins (~quassel@117.254.35.156) |
| 13:24:06 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:25:12 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 13:26:47 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:32:11 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 13:40:37 | <dminuoso> | Mmm, Im starting to wish Haskell had some way of taking some value of type `data D`, and turn it into a transitive tree of automatic mutable references usable in STRef, play with it, and get back to purity world. |
| 13:44:35 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:44:37 | × | thevishy quits (~Nishant@2405:201:f005:c007:7c10:43e8:a548:3fb5) (Ping timeout: 240 seconds) |
| 13:45:08 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 13:45:12 | <merijn> | dminuoso: So...Ryan's talk at that C++ conference? :p |
| 13:45:14 | → | thevishy joins (~Nishant@2405:201:f005:c007:594f:51cf:fa81:524d) |
| 13:45:39 | <dminuoso> | merijn: Mmm, what talk is that? |
| 13:45:51 | <merijn> | https://www.youtube.com/watch?v=lC5UWG5N8oY |
| 13:45:56 | <merijn> | The 2nd half |
| 13:46:07 | <merijn> | first half is some haskell for C++ people intro |
| 13:46:13 | <merijn> | It's an interesting keynote |
| 13:46:36 | <merijn> | And I'm honestly a lot more interested in Ryan's ideas/directions for evolving GHC/Haskell then I am about Dependent Haskell :p |
| 13:47:27 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:48:37 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 13:50:03 | → | bahamas joins (~lucian@84.232.140.52) |
| 13:51:42 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 13:51:48 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 13:53:00 | × | jespada quits (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 14:00:05 | × | komikat quits (~komikat@27.57.144.183) (Remote host closed the connection) |
| 14:00:30 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 14:01:15 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 14:03:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:03:58 | → | Guest52 joins (~Guest52@77-161-122-185.fixed.kpn.net) |
| 14:05:36 | → | komikat joins (~komikat@27.57.144.183) |
| 14:06:17 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds) |
| 14:06:17 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:09:49 | <bahamas> | does anyone have an example of code that uses Maybe or Either in a `do` block? basically, I want to show monadic code that is not IO |
| 14:10:19 | → | nsyd joins (~nsyd@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 14:11:12 | <merijn> | bahamas: lists can be nice for that too |
| 14:11:53 | <merijn> | bahamas: Also: Parsec? |
| 14:13:19 | → | boletales joins (~boletales@p98076-ipoefx.ipoe.ocn.ne.jp) |
| 14:14:55 | <bahamas> | merijn: I find lists a bit hard to grok when used in monadic context |
| 14:15:12 | <bahamas> | I'll lookup parsec examples |
| 14:15:24 | × | xff0x quits (~xff0x@2001:1a81:52ca:1900:b6d3:a455:a8d2:4188) (Ping timeout: 240 seconds) |
| 14:16:13 | <geekosaur> | monadic lists are pretty mind-bending, yes. but they also definitely show the possibilities |
| 14:16:19 | → | xff0x joins (~xff0x@2001:1a81:52ca:1900:dc3c:7e7f:c1d0:9383) |
| 14:16:46 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 14:17:11 | <geekosaur> | I wouldn't say parsec is that great for this, it's only a small addition (recovery from parse failures, or parse alternatives) over IO imo |
| 14:17:37 | <geekosaur> | not that it'snecessarily IO, but it *feels* to me more IO-like |
| 14:18:17 | <lechner> | Hi, when does 'ghc-pkg field' return multiple lines, please? |
| 14:19:11 | → | AlexNoo_ joins (~AlexNoo@178.34.163.8) |
| 14:19:13 | → | jespada joins (~jespada@185.69.145.16) |
| 14:19:17 | <geekosaur> | something like "description" which can be multiple lines in the package |
| 14:19:18 | <lechner> | 'ghc-pkg --global field' to be exact |
| 14:20:57 | <geekosaur> | https://paste.tomsmeding.com/4ejhLo5Z |
| 14:21:21 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 14:21:24 | × | AlexZenon quits (~alzenon@94.233.240.108) (Ping timeout: 240 seconds) |
| 14:22:01 | × | Alex_test quits (~al_test@94.233.240.108) (Ping timeout: 256 seconds) |
| 14:22:37 | × | AlexNoo quits (~AlexNoo@94.233.240.108) (Ping timeout: 240 seconds) |
| 14:22:49 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:24:45 | <geekosaur> | keep in mind that a package db entry looks a lot like a cabal file (and this is not an accidental correspondence) so just about any multi-line field in a cabal file is also a multi-line field in a package db entry |
| 14:25:07 | × | nsyd quits (~nsyd@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 14:25:07 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:25:48 | <lechner> | can it also return multiple fields, for example if more than one version ois available? |
| 14:26:40 | → | Alex_test joins (~al_test@178.34.163.8) |
| 14:26:42 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) |
| 14:26:54 | → | AlexZenon joins (~alzenon@178.34.163.8) |
| 14:26:54 | <geekosaur> | I think it'll complain that the package spec isn't unique in that case. but these days that's rare, because it's a large part of where cabal v1 whent wrong |
| 14:26:58 | <geekosaur> | *went |
| 14:27:23 | → | InternetCitizen joins (~fuzzypixe@ensi-libre-service-019.ensimag.fr) |
| 14:27:42 | <lechner> | can it it return multiple fields, though? |
| 14:27:52 | <geekosaur> | and specifically why both cabal v2+ and stack hide packages unless specifically exposed in stack.yaml / cabal file |
| 14:28:02 | <geekosaur> | no, each field is unique |
| 14:28:13 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 240 seconds) |
| 14:28:44 | → | alx741 joins (~alx741@181.199.42.143) |
| 14:28:46 | <geekosaur> | even if you have multiple stanzas in a cabal file: executables aren't registered ina package db, and neither are internal libraries |
| 14:30:12 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 14:30:40 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 14:30:58 | <lechner> | so only one version locally available will be shown? more specifically, is this hean -n1 needed (disregarding multi-line fields)? https://sources.debian.org/src/haskell-devscripts/0.16.2/Dh_Haskell.sh/#L157 |
| 14:31:00 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Ping timeout: 240 seconds) |
| 14:31:05 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 14:31:07 | <lechner> | head -n 1 |
| 14:31:33 | AlexNoo_ | is now known as AlexNoo |
| 14:31:47 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 14:32:21 | × | InternetCitizen quits (~fuzzypixe@ensi-libre-service-019.ensimag.fr) (Ping timeout: 272 seconds) |
| 14:32:55 | <geekosaur> | not clear. and may be buggy |
| 14:32:56 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:642a:7bc9:d2b2:1218) |
| 14:33:04 | <lechner> | i am fixing |
| 14:33:29 | <geekosaur> | the case where there are multiple internal libraies would I think lead to multiple hs-libraries, which might span multiple lines |
| 14:33:42 | <geekosaur> | just as an example which I spotted in the script |
| 14:33:54 | → | waleee joins (~waleee@h-178-174-193-77.NA.cust.bahnhof.se) |
| 14:34:25 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 14:34:44 | <geekosaur> | er, to be clear, not multiple hs-libraries fields, but more than one library listed in the hs-libraries field |
| 14:35:21 | <geekosaur> | that's still pretty rare so probably nobody would have noticed yet |
| 14:35:30 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 14:36:17 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 14:36:25 | → | zer0bitz_ joins (~zer0bitz@dsl-hkibng32-54fb4d-184.dhcp.inet.fi) |
| 14:36:27 | <lechner> | i am more concerned about the field library-dirs the script acnticipates multiple values even after truncating via 'head' |
| 14:36:38 | <lechner> | sorry poor speller |
| 14:37:05 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 14:37:59 | <geekosaur> | that one I would expect to be a single line even with multiple entries, yes. but that expectation might be wrong, and a proper script which allowed for the full generality of cabal files would not make that assumption imo |
| 14:38:33 | <lechner> | i tried to test locally but only ever get one line |
| 14:39:13 | <geekosaur> | since I only have the global db on my system and it only contains the libs shipped with ghc, it's hardfor me to test. maybe tomsmeding still has his dump of hackage that he was spelunking in, to check for such things? |
| 14:39:36 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:642a:7bc9:d2b2:1218) (Ping timeout: 250 seconds) |
| 14:40:02 | <geekosaur> | having played a bit with both cabal files andpackage db entries, it'snot an assumption I would trust |
| 14:40:17 | <lechner> | that info mey be enough. debian's tooling only looks at the global db |
| 14:40:41 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 14:41:01 | <geekosaur> | with that limited list, it's *probably* safe |
| 14:41:05 | <lechner> | what is the meaning of library-dirs please? |
| 14:41:18 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 14:41:27 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 14:41:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 14:41:40 | <geekosaur> | entries in that become -L options during linking |
| 14:41:53 | <tomsmeding> | geekosaur: wasn't me, was someone else |
| 14:42:06 | <geekosaur> | oh, sorry |
| 14:42:36 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 14:42:36 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 14:42:45 | × | ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 14:43:08 | → | ph88 joins (~ph88@2a02:8109:9e00:71d0:6dce:352d:13f7:bf5c) |
| 14:44:01 | → | agumonke` joins (~user@88.163.231.79) |
| 14:44:34 | <tomsmeding> | geekosaur: was dsal https://ircbrowse.tomsmeding.com/day/lchaskell/2021/11/26?id=292436#trid292436 |
| 14:44:47 | <tomsmeding> | but I think they threw away their dump |
| 14:46:12 | <geekosaur> | actually I'm wrong. that'sthe directory the Haskell (and occasionally C/other language, if embedded copies as is common for Windows targets) libraries associated with the package live |
| 14:46:29 | → | bahamas joins (~lucian@84.232.140.52) |
| 14:46:32 | <turlando> | Parsers in Haskell are not scarce at all, but is there any "bidirectional" parser/serializer? E.g. allowing to easily describe the structure of something, converting it into a data structure, allowing manipulation and eventually serializing it back? |
| 14:46:43 | <geekosaur> | may still be used as an-L option, largely because of macos |
| 14:46:44 | <turlando> | (thinking of it mostly for binary formats) |
| 14:47:11 | <geekosaur> | there are a couple, yes |
| 14:47:21 | <geekosaur> | I forget the proper name for it |
| 14:48:45 | <lechner> | geekosaur tomsmeding: thanks! |
| 14:51:16 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 14:51:19 | <geekosaur> | apparently that is the term. but it gets no hits on hackage, whereas I recall something like 3 such packages on hackage |
| 14:51:40 | <geekosaur> | roundtripping is the other common term used |
| 14:52:24 | <turlando> | Thanks, I didn't know about roundtripping, will google harder |
| 14:53:02 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 14:54:25 | <tomsmeding> | there was a thread on haskell-cafe a while back started by safinaskar asking about bidirectional parsing libraries |
| 14:54:48 | <tomsmeding> | https://mail.haskell.org/pipermail/haskell-cafe/2021-January/133275.html |
| 14:54:55 | → | Pickchea joins (~private@user/pickchea) |
| 14:55:29 | × | agumonke` quits (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 14:55:57 | <dminuoso> | merijn: Ill have to take a look at it. The talk is a bit long to do it now, perhaps later today |
| 14:56:09 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 14:56:24 | <janus> | turlando: autodocodec derives both FromJSON/ToJSON from a schema. you can of course supply toText/fromText methods for custom types that don't match, but this would get caught by property tests |
| 14:56:27 | <dminuoso> | Right now my grief is that I have this data structure with a single IORef deep inside - it'd be ridiculous to duplicate the hierarchy of nested data types just to have one flavor with IORef and one without. |
| 14:56:49 | <dminuoso> | So instead, I use modifyIORef in phase 1, and then after phase 1 I unsafePerformIO my way out of this |
| 14:56:58 | <dminuoso> | It will probably bite me back sooner or later *shrugs* |
| 14:57:29 | <janus> | turlando: imho if the schema is unified in one value, it should be easier to run roundtrip tests for all of them. though even if a serializer/deserializer is separate, with the right culture/discipline you could also enforce roundtripping |
| 14:58:23 | × | yauhsienhuangtw quits (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 14:58:47 | <turlando> | Thanks tomsmeding, that's interesting |
| 14:58:56 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 14:59:31 | <turlando> | janus: right now my primary concern is just to avoid writing a lot of code actually (lol) |
| 14:59:32 | <dminuoso> | And now Im questioning my sanity for writing `__unsafeIORef :: Getter (IO a) a` |
| 15:00:02 | <janus> | turlando: well look at the autodocodec examples, imho they cut your code size in half compared to pure aeson |
| 15:00:21 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 245 seconds) |
| 15:01:01 | <janus> | turlando: i think technically autodocodec could support serialization to e.g. CBOR instead of JSON. because the record definition could be portable across serialization mechanisms |
| 15:01:43 | <janus> | at least it is for our internal H-E-B library that does the same thing... |
| 15:01:50 | <turlando> | janus: will definitely check it, my primary requirements is playing nice with binary data (so ByteString I guess?) |
| 15:02:32 | <janus> | turlando: right, what i am thinking is: look at how they derive ToJSON via Autodocodec. Surely an instance for some ByteString serializer could also be defined like that |
| 15:03:20 | <turlando> | Yep, thank you a lot again, gonna rest a bit and read the examples later |
| 15:07:55 | → | shapr` joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 15:09:53 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 15:13:45 | → | Psybur joins (~Psybur@mobile-166-170-32-247.mycingular.net) |
| 15:14:27 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 15:16:32 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 240 seconds) |
| 15:16:35 | → | dextaa_ joins (~dextaa@user/dextaa) |
| 15:17:33 | × | bliminse quits (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) (Quit: leaving) |
| 15:19:26 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 15:20:33 | × | komikat quits (~komikat@27.57.144.183) (Remote host closed the connection) |
| 15:20:42 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 15:22:20 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 15:23:39 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 15:27:10 | → | agumonke` joins (~user@88.163.231.79) |
| 15:28:50 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 15:29:06 | → | Vajb joins (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
| 15:29:47 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 15:30:13 | → | yauhsien_ joins (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 15:35:33 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:36:30 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 15:38:36 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 15:41:36 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:41:59 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 15:44:44 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 15:47:11 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 15:47:51 | → | InternetCitizen joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 15:47:54 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 15:51:20 | × | Vajb quits (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
| 15:51:45 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 15:52:04 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 15:53:17 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 15:55:05 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 15:55:36 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 15:55:47 | × | InternetCitizen quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 256 seconds) |
| 15:58:19 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:00:15 | × | cherryblossom[m] quits (~cherryblo@2001:470:69fc:105::b789) (Quit: You have been kicked for being idle) |
| 16:04:01 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 16:04:07 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:05:15 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 16:09:10 | × | razetime quits (~quassel@117.254.35.156) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 16:09:27 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 16:11:09 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 16:13:16 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 245 seconds) |
| 16:13:20 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:13:51 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:b437:a10d:f085:84a8) (Quit: WeeChat 2.8) |
| 16:14:13 | × | shailangsa quits (~shailangs@host86-185-102-18.range86-185.btcentralplus.com) (Ping timeout: 256 seconds) |
| 16:14:48 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 16:15:26 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 16:16:51 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 268 seconds) |
| 16:17:35 | → | feliix42 joins (~felix@gibbs.uberspace.de) |
| 16:19:04 | → | Pickchea joins (~private@user/pickchea) |
| 16:19:19 | × | feliix42_ quits (~felix@gibbs.uberspace.de) (Ping timeout: 268 seconds) |
| 16:20:20 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:21:17 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 16:21:37 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 16:23:47 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 16:23:47 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) |
| 16:25:54 | → | Techcable joins (~Techcable@168.235.93.147) |
| 16:26:08 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 16:26:10 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:28:07 | → | joo-_ joins (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) |
| 16:28:07 | × | joo-_ quits (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) (Changing host) |
| 16:28:07 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 16:28:41 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:28:50 | × | thevishy quits (~Nishant@2405:201:f005:c007:594f:51cf:fa81:524d) (Quit: Leaving) |
| 16:31:09 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 16:33:18 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 16:33:36 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 16:34:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 16:35:05 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 16:35:25 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:35:28 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 16:36:02 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 16:37:07 | × | justAstache quits (~justache@user/justache) (Ping timeout: 272 seconds) |
| 16:37:08 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host) |
| 16:37:08 | → | zfnmxt joins (~zfnmxtzfn@user/zfnmxt) |
| 16:39:25 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:40:32 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 16:40:37 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 16:40:39 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:41:33 | → | justAstache joins (~justache@user/justache) |
| 16:41:44 | → | jtomas joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 16:41:50 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:44:01 | → | komikat joins (~komikat@27.57.144.183) |
| 16:44:06 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 245 seconds) |
| 16:44:15 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:44:32 | → | ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 16:46:35 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 16:46:36 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 272 seconds) |
| 16:47:17 | ← | danso parts (~danso@danso.ca) () |
| 16:51:10 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 16:51:34 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 16:51:53 | × | AlexZenon quits (~alzenon@178.34.163.8) (Ping timeout: 256 seconds) |
| 16:51:53 | × | Alex_test quits (~al_test@178.34.163.8) (Ping timeout: 256 seconds) |
| 16:53:30 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:53:41 | → | shailangsa_ joins (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) |
| 16:55:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 16:55:58 | → | AlexZenon joins (~alzenon@178.34.163.8) |
| 16:55:59 | → | Alex_test joins (~al_test@178.34.163.8) |
| 16:56:36 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 16:56:58 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 16:59:12 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 16:59:29 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 17:01:07 | → | xkuru joins (~xkuru@user/xkuru) |
| 17:04:04 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 17:04:25 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 17:06:05 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 17:07:27 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 17:11:27 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 17:12:30 | → | Akiva joins (~Akiva@user/Akiva) |
| 17:12:33 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 17:15:02 | × | agumonke` quits (~user@88.163.231.79) (Read error: Connection reset by peer) |
| 17:15:56 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:16:29 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 17:17:21 | → | agumonke` joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 17:18:03 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 17:18:43 | → | bahamas joins (~lucian@84.232.140.52) |
| 17:18:46 | → | nsyd joins (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 17:24:16 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 17:26:19 | ← | marinelli parts (~marinelli@gateway/tor-sasl/marinelli) () |
| 17:28:02 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 17:28:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 17:31:42 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 17:32:30 | → | vorpuni joins (~pvorp@2001:861:3881:c690:7bc1:a04c:2ba6:98e5) |
| 17:32:37 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 17:33:21 | × | nsyd quits (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Quit: IM OUT) |
| 17:38:35 | shapr` | is now known as shapr |
| 17:39:09 | → | emf joins (~emf@2620:10d:c090:400::5:d31) |
| 17:43:36 | × | emf quits (~emf@2620:10d:c090:400::5:d31) (Client Quit) |
| 17:45:45 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:47:37 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 17:49:12 | → | bliminse joins (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) |
| 17:49:49 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 240 seconds) |
| 17:49:54 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 17:51:04 | × | ph88 quits (~ph88@2a02:8109:9e00:71d0:6dce:352d:13f7:bf5c) (Quit: Leaving) |
| 17:51:10 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 17:51:15 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 17:51:24 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 17:52:52 | × | dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 17:53:09 | × | komikat quits (~komikat@27.57.144.183) (Remote host closed the connection) |
| 17:54:11 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:56:49 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 17:57:46 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 17:57:49 | × | alp quits (~alp@user/alp) (Ping timeout: 250 seconds) |
| 17:58:40 | × | mbuf quits (~Shakthi@122.174.215.136) (Quit: Leaving) |
| 17:58:52 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 18:02:23 | → | yuvi joins (~uv125@192.54.96.185) |
| 18:02:26 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 245 seconds) |
| 18:02:33 | × | yuvi quits (~uv125@192.54.96.185) (Client Quit) |
| 18:02:35 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Read error: Connection reset by peer) |
| 18:03:01 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 18:03:17 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:06:42 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 18:07:24 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds) |
| 18:07:26 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 18:07:44 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 18:07:49 | × | Guest52 quits (~Guest52@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 18:08:07 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 18:08:09 | → | econo joins (uid147250@user/econo) |
| 18:08:24 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 18:08:33 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 18:08:49 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:13:32 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 18:14:20 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:19:03 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 250 seconds) |
| 18:19:16 | → | analognoise joins (~analognoi@185.229.59.133) |
| 18:19:51 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:20:24 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 18:21:09 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:24:32 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 18:25:20 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:26:20 | → | Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 18:26:41 | × | olle quits (~olle@i5E866D89.versanet.de) (Ping timeout: 272 seconds) |
| 18:29:55 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 18:30:36 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 18:30:52 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:34:43 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 18:35:01 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 18:35:24 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 18:36:10 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 18:36:23 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:39:06 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 18:40:43 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 18:40:46 | → | Topsi joins (~Tobias@dyndsl-091-249-083-198.ewe-ip-backbone.de) |
| 18:41:15 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 18:41:53 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:42:05 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 18:44:13 | → | bahamas joins (~lucian@84.232.140.52) |
| 18:46:41 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 18:47:25 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 18:47:34 | → | deadmarshal joins (~deadmarsh@95.38.113.215) |
| 18:47:51 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 18:49:29 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 18:49:37 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 18:51:57 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 18:52:02 | × | jtomas quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 18:53:55 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 18:54:23 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 18:55:41 | → | stef204 joins (~stef204@user/stef204) |
| 18:58:27 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:59:09 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 18:59:47 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 19:00:12 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 19:00:17 | × | deadmarshal quits (~deadmarsh@95.38.113.215) (Ping timeout: 240 seconds) |
| 19:04:11 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 19:06:27 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 19:06:52 | → | emf joins (~emf@2620:10d:c090:400::5:b0af) |
| 19:09:09 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 19:10:26 | × | fendor_ quits (~fendor@77.119.204.89.wireless.dyn.drei.com) (Remote host closed the connection) |
| 19:10:42 | × | jespada quits (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 19:11:26 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 19:11:27 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 19:11:47 | <hololeap> | anyone know of a library that can _remove_ ansi control/color codes? |
| 19:13:35 | → | jtomas joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 19:14:11 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 272 seconds) |
| 19:14:49 | <geekosaur> | don't know that it needs a library; they're pretty well defined. \e[\??[\d;]*[^\d;] gets pretty much anything you'd normally encounter |
| 19:16:06 | <geekosaur> | there are a few others, notably \e].*\a for status lines and such |
| 19:17:06 | <geekosaur> | (\e is escape, \a is ctrl+g) |
| 19:17:18 | <tomsmeding> | if I'm not mistaken, the format is \e[^\x04-\x7e]*[\x04-\x7e] |
| 19:17:32 | <tomsmeding> | judging from some code I wrote long ago |
| 19:17:49 | <tomsmeding> | um, correction, \e\[[^\x04-\x7e]*[\x04-\x7e] |
| 19:18:09 | <tomsmeding> | um, correction, \e\[[^\x40-\x7e]*[\x40-\x7e] |
| 19:18:14 | <tomsmeding> | apparently I'm not really awake anymore |
| 19:18:34 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 19:18:37 | <geekosaur> | was gonna say there |
| 19:18:45 | <tomsmeding> | "that's a pretty wide range"? |
| 19:18:58 | <tomsmeding> | in particular note that digits are <0x40 |
| 19:19:03 | <sm> | https://hackage.haskell.org/package/hledger-lib-1.24.1/docs/Hledger-Utils-String.html#v:stripAnsi, hololeap |
| 19:19:41 | <geekosaur> | and very very rarely you'll encounter something using CSI instead of \e\[ but I don't recall what byte CSI is any more |
| 19:19:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:20:15 | <tomsmeding> | sm: doesn't catch \e[?1049h, which is 'tput smcup' (alternate screen) |
| 19:20:56 | <sm> | noted, thanks |
| 19:22:51 | → | zebrag joins (~chris@user/zebrag) |
| 19:23:21 | <geekosaur> | looks like ansi doesn't bless the single-byte CSI anyway |
| 19:25:11 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 19:25:25 | → | dextaa_ joins (~dextaa@user/dextaa) |
| 19:25:57 | <tomsmeding> | so according to the source https://www.ecma-international.org/wp-content/uploads/ECMA-48_5th_edition_june_1991.pdf , section 5.4, it's (\x1b\[|\x9b)[\x30-\x3f]*[\x20-\x2f]*[\x40-\x7e] |
| 19:26:20 | <tomsmeding> | (note the byte notation they use: n/m for n*16+m) |
| 19:26:34 | <tomsmeding> | (hexadecimal notation is clearly an improvement) |
| 19:29:08 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 19:30:01 | <geekosaur> | yeh, I found a DEC reference that did the same thing |
| 19:30:14 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 19:31:28 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 19:32:12 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 19:35:10 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 19:35:14 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 19:35:48 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 19:35:58 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 19:37:47 | × | haveo quits (~haveo@sl35.iuwt.fr) (Client Quit) |
| 19:37:57 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 19:39:48 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 19:40:08 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 19:44:18 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:45:38 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 19:46:03 | × | Topsi quits (~Tobias@dyndsl-091-249-083-198.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 19:46:11 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 19:46:19 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Remote host closed the connection) |
| 19:49:01 | → | cjb joins (~cjb@user/cjb) |
| 19:49:37 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:50:11 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 19:50:13 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 19:50:56 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:51:19 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 19:51:33 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 19:52:28 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 19:53:41 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:54:20 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 19:54:25 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 19:54:55 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 19:55:27 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 20:00:01 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 20:01:59 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 20:02:41 | → | stef204 joins (~stef204@user/stef204) |
| 20:02:43 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 20:03:17 | → | coot joins (~coot@213.134.190.95) |
| 20:05:25 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:05:34 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 20:05:55 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 20:09:57 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 20:10:13 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 20:10:17 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 20:10:35 | → | briandaed joins (~root@109.95.142.93.r.toneticgroup.pl) |
| 20:16:03 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 20:17:42 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 20:20:41 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 20:24:58 | → | AlexZenon_2 joins (~alzenon@178.34.163.8) |
| 20:26:39 | × | AlexZenon quits (~alzenon@178.34.163.8) (Ping timeout: 256 seconds) |
| 20:27:28 | → | dhruvasagar joins (~dhruvasag@49.207.194.244) |
| 20:27:33 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 20:28:10 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 20:31:49 | × | dhruvasagar quits (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 20:33:14 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 20:33:25 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 20:36:06 | → | deadmarshal joins (~deadmarsh@95.38.229.146) |
| 20:37:04 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 20:38:33 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:9356:9f08:f922:e54b) (Remote host closed the connection) |
| 20:38:52 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 20:39:42 | → | Pickchea joins (~private@user/pickchea) |
| 20:40:50 | × | deadmarshal quits (~deadmarsh@95.38.229.146) (Ping timeout: 260 seconds) |
| 20:42:22 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 20:47:59 | AlexZenon_2 | is now known as AlexZenon |
| 20:50:08 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 20:50:10 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 20:50:30 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 20:50:32 | × | zer0bitz_ quits (~zer0bitz@dsl-hkibng32-54fb4d-184.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 20:53:43 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 20:54:12 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 20:55:31 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 20:56:20 | → | burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 20:56:47 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 20:57:01 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 20:57:37 | × | sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
| 20:58:35 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:00:46 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 21:01:13 | × | burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
| 21:04:31 | × | raym quits (~raym@user/raym) (Read error: Connection reset by peer) |
| 21:06:02 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Ping timeout: 260 seconds) |
| 21:06:04 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 21:06:10 | → | pavonia joins (~user@user/siracusa) |
| 21:06:30 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 21:07:29 | → | jespada joins (~jespada@185.69.145.16) |
| 21:09:01 | → | cynomys joins (~cynomys@user/cynomys) |
| 21:09:41 | → | notzmv joins (~zmv@user/notzmv) |
| 21:10:35 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 21:10:35 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 21:10:48 | → | raym joins (~raym@user/raym) |
| 21:12:33 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 21:14:55 | → | bahamas joins (~lucian@84.232.140.52) |
| 21:14:58 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:15:42 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 21:16:19 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 21:18:53 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 21:19:17 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 21:20:08 | × | vorpuni quits (~pvorp@2001:861:3881:c690:7bc1:a04c:2ba6:98e5) (Quit: bye) |
| 21:20:29 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 21:20:58 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 21:22:13 | → | emad joins (~emad@102.45.236.212) |
| 21:24:12 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 21:24:36 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 21:24:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit) |
| 21:25:06 | × | emad quits (~emad@102.45.236.212) (Client Quit) |
| 21:25:19 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 21:26:09 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 21:26:22 | → | InternetCitizen joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 21:28:45 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 21:30:41 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 21:31:24 | × | briandaed quits (~root@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 21:32:03 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 21:33:01 | × | kuribas quits (~user@ptr-25vy0i7j6j7p9e7j9ij.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 21:33:33 | → | burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 21:34:17 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 21:34:35 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 21:34:56 | × | lumberjackok quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 21:37:59 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 21:38:00 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 21:40:29 | × | burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
| 21:40:56 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 21:42:53 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 21:42:58 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
| 21:43:35 | → | coot joins (~coot@213.134.190.95) |
| 21:44:01 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 21:44:19 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 21:44:42 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 21:46:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 21:46:40 | × | jespada quits (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 21:46:52 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 21:46:54 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 21:47:15 | × | agumonke` quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 21:48:04 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 272 seconds) |
| 21:48:35 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 21:48:52 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 21:48:55 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 21:49:06 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 21:51:34 | → | lumberjackok joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 21:51:58 | → | agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 21:53:38 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 21:54:13 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 21:54:15 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 21:54:25 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 22:01:20 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 22:02:16 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:03:34 | → | jespada joins (~jespada@185.69.145.16) |
| 22:03:53 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 22:05:44 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 22:07:37 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 22:09:08 | → | tdcly^ joins (~tdcly@12.163.216.98) |
| 22:09:24 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 22:09:42 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 22:10:08 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 22:10:08 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 22:11:14 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:14:10 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 22:14:36 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 22:14:41 | × | jtomas quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 22:14:53 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 22:15:18 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 22:16:37 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 22:18:56 | → | ensyde joins (~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) |
| 22:19:57 | × | ensyde quits (~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) (Client Quit) |
| 22:20:37 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 22:20:45 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 22:21:04 | → | k8yun joins (~k8yun@user/k8yun) |
| 22:23:05 | → | ensyde joins (~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) |
| 22:23:24 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 22:25:16 | × | lumberjackok quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 22:25:23 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 22:27:13 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 22:27:28 | × | jespada quits (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 22:27:39 | → | __monty__ joins (~toonn@user/toonn) |
| 22:30:17 | <monochrom> | Interesting, Dijkstra noticed that associativity is equivalent to stating that left sections and right sections commute, i.e., (x *) . (* y) = (* y) . (x *) |
| 22:30:43 | <monochrom> | https://www.cs.utexas.edu/users/EWD/ewd11xx/EWD1142.PDF or https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1142.html |
| 22:32:36 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 22:36:50 | → | wroathe joins (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) |
| 22:36:50 | × | wroathe quits (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) (Changing host) |
| 22:36:50 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:37:01 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 22:37:37 | → | niekvand1pas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 22:37:58 | × | xff0x quits (~xff0x@2001:1a81:52ca:1900:dc3c:7e7f:c1d0:9383) (Ping timeout: 260 seconds) |
| 22:38:17 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 22:38:34 | → | xff0x joins (~xff0x@2001:1a81:52ca:1900:42ed:edff:b0c7:1532) |
| 22:40:17 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 22:40:33 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 22:41:14 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:41:51 | × | niekvand1pas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 22:41:51 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 22:42:33 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 22:44:40 | × | michalz quits (~michalz@185.246.204.90) (Remote host closed the connection) |
| 22:47:36 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 22:48:11 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 22:49:35 | <lechner> | Hi, how do I locate this line on my Debian 11 sythem, please? libraries/Cabal/Cabal/Distribution/Simple/BuildTarget.hs:245 |
| 22:49:42 | <lechner> | system |
| 22:50:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:51:13 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 22:51:14 | <geekosaur> | uh |
| 22:51:26 | <geekosaur> | are you building the Cabal library from source? |
| 22:51:32 | → | polyphem_ joins (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 22:51:52 | <lechner> | no, i am fixing the debhelpel build system |
| 22:51:57 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 22:51:57 | × | xff0x quits (~xff0x@2001:1a81:52ca:1900:42ed:edff:b0c7:1532) (Ping timeout: 240 seconds) |
| 22:51:58 | <lechner> | debhelper |
| 22:52:21 | <geekosaur> | you won't have that unless building Cabal from source. what pointed you to that line? |
| 22:52:22 | <lechner> | it uses a Setup.hs with Distribution.Simple |
| 22:52:45 | → | xff0x joins (~xff0x@2001:1a81:52ca:1900:497a:5e58:ec47:2e84) |
| 22:53:07 | <lechner> | this error http://paste.debian.net/1232573/ |
| 22:53:28 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 22:53:44 | <lechner> | the buil system works but my invocation (or cwd) is wrong |
| 22:53:44 | × | polyphem quits (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 252 seconds) |
| 22:55:01 | <lechner> | but this command is identical between both debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl,-z,relro --haddockdir=/usr/lib/ghc-doc/haddock/kickoff-0.1.0/ --datasubdir=kickoff --htmldir=/usr/share/doc/libghc-kickoff-doc/html/ |
| 22:57:15 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 22:57:51 | <geekosaur> | my poking says line 245 is a `die'` due to an unrecognized build target? |
| 22:57:54 | → | gdown joins (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 22:59:26 | <lechner> | yeah |
| 22:59:46 | <lechner> | this is the build that worked https://buildd.debian.org/status/fetch.php?pkg=kickoff&arch=amd64&ver=0.1.1&stamp=1646005118&raw=0 |
| 23:00:07 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 23:00:36 | <lechner> | the only difference i found so far is dh binary-arch --buildsystem=haskell vs dh binary --buildsystem=haskell |
| 23:01:30 | × | dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 23:02:36 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 23:02:57 | <lechner> | i think my problem is unrelated to haskell, but i have truble debugging |
| 23:03:46 | <geekosaur> | right, I was looking for differences in what the two were doing but it's difficult |
| 23:04:07 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 23:04:17 | <geekosaur> | I don't think you can pass setup configure an arch triple |
| 23:06:20 | → | asivitz joins (uid178348@id-178348.tinside.irccloud.com) |
| 23:06:40 | <geekosaur> | oh, wrong kind of target |
| 23:07:08 | <geekosaur> | it wants a filename. are you running setup configure i8n the correct directory? |
| 23:07:48 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 23:11:22 | <lechner> | now it's working. so weird. i dust printed the output to stderr http://paste.debian.net/1232576/ |
| 23:11:50 | <lechner> | yay, debian's dh-haskell arrived in the 21st century! |
| 23:11:52 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 23:12:05 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 23:12:30 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 23:12:42 | <asivitz> | I'm trying to model a sort of stateful computation where the type of the state may change from one computation to the next. Is this something I can model with Control.Arrow? |
| 23:13:49 | <lechner> | geekosaur: sorry to bother you. i had been workin on it for a week, but it's done |
| 23:14:14 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 23:14:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:14:42 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 23:16:02 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:16:54 | <monochrom> | asivitz: No. |
| 23:17:55 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 23:21:05 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 23:22:06 | × | ensyde quits (~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) (Quit: Leaving) |
| 23:22:37 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 23:22:39 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:23:13 | <asivitz> | monochrom: ah ok thanks. I see some things like ArrowState in the `arrows` package. I wonder if something like that would do it |
| 23:24:16 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:25:16 | → | burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 23:25:50 | <monochrom> | Its "a -> s" means that each arrow type nails its state type. |
| 23:25:58 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:27:30 | <monochrom> | Add the fact that (>>>) for example composes two arrows of the same arrow type, therefore of the same state type. |
| 23:28:29 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 23:30:14 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 23:31:24 | → | Batzy joins (~quassel@user/batzy) |
| 23:32:37 | × | InternetCitizen quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
| 23:32:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:33:23 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 23:36:58 | <asivitz> | monochrom: I see. thanks |
| 23:38:10 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 23:38:58 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 23:39:43 | × | cosimone quits (~user@93-47-229-38.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 23:39:58 | × | tremon_ quits (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 23:42:29 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 23:43:08 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 23:43:37 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 23:48:15 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
| 23:48:43 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 23:51:44 | → | Guest96 joins (~Guest96@144-124-99-115.pip.aber.ac.uk) |
| 23:52:39 | × | niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 23:52:46 | <Guest96> | Hi, is anyone active to take a look and give some feedback on a function I wrote please? https://paste.tomsmeding.com/Jgb4RtiE |
| 23:53:47 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 23:58:21 | → | niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net) |
All times are in UTC on 2022-02-28.