| 2022-02-28 00:00:33 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-02-28 00:05:56 +0100 | Guest66 | (~Guest66@vmi275462.contaboserver.net) (Quit: Client closed) |
| 2022-02-28 00:08:12 +0100 | irishman | (~vshev4enk@178.151.117.243) |
| 2022-02-28 00:08:26 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-28 00:09:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-02-28 00:09:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-02-28 00:10:33 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-02-28 00:10:40 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-28 00:11:06 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-28 00:11:50 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 250 seconds) |
| 2022-02-28 00:12:31 +0100 | irishman | (~vshev4enk@178.151.117.243) (Ping timeout: 256 seconds) |
| 2022-02-28 00:14:48 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 00:15:20 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 00:15:39 +0100 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 268 seconds) |
| 2022-02-28 00:17:12 +0100 | <backes> | I can't get this to work. The makefile has the flags that I provide in the shellscripts (and a lot more stuff). I'll give it a try in a docker container tomorrow. Thanks |
| 2022-02-28 00:19:56 +0100 | miremeister | (uid387155@id-387155.uxbridge.irccloud.com) |
| 2022-02-28 00:21:53 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 00:23:25 +0100 | michalz | (~michalz@185.246.204.87) (Remote host closed the connection) |
| 2022-02-28 00:23:26 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 2022-02-28 00:24:37 +0100 | backes | (~backes@85.195.206.214) (Quit: leaving) |
| 2022-02-28 00:24:56 +0100 | ccntrq | (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) (Remote host closed the connection) |
| 2022-02-28 00:26:28 +0100 | steerio | (~steerio@aviv.kinneret.de) (Remote host closed the connection) |
| 2022-02-28 00:26:41 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-02-28 00:27:09 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-28 00:27:09 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-28 00:27:09 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-28 00:27:48 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 2022-02-28 00:29:42 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 00:29:55 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 00:32:23 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-28 00:33:53 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-28 00:33:59 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 252 seconds) |
| 2022-02-28 00:34:36 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-28 00:38:46 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 00:39:35 +0100 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) |
| 2022-02-28 00:39:56 +0100 | <sm> | backes: is there anywhere in these interesting build scripts that specifies the versions of all the haskell packages ? If not, it's not a repeatable script, and not surprising it doesn't work 3 years later |
| 2022-02-28 00:40:27 +0100 | miremeister | levi |
| 2022-02-28 00:40:51 +0100 | rond_ | (~rond_@90.251.84.153) (Quit: Client closed) |
| 2022-02-28 00:41:14 +0100 | levi | zoe |
| 2022-02-28 00:41:31 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 00:42:05 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-02-28 00:42:12 +0100 | <sm> | (I looked but didn't find it) |
| 2022-02-28 00:42:14 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 00:42:43 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 00:43:57 +0100 | zoe | levi__ |
| 2022-02-28 00:44:48 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-02-28 00:45:09 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-28 00:45:22 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 00:46:10 +0100 | <sm> | this is a hard enough task I would do it on an intel machine/vps first |
| 2022-02-28 00:46:34 +0100 | <sm> | (as you already discovered) |
| 2022-02-28 00:46:53 +0100 | levi__ | (uid387155@id-387155.uxbridge.irccloud.com) () |
| 2022-02-28 00:47:24 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-28 00:48:35 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-28 00:48:38 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-02-28 00:50:51 +0100 | <sm> | oops, talking to myself |
| 2022-02-28 00:55:24 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-02-28 00:56:39 +0100 | alp | (~alp@user/alp) |
| 2022-02-28 00:57:32 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 00:58:13 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-02-28 00:59:01 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 00:59:40 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-02-28 01:03:47 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 01:04:36 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-02-28 01:06:47 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-28 01:09:38 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 01:14:36 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-02-28 01:15:14 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-02-28 01:16:37 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-02-28 01:17:26 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds) |
| 2022-02-28 01:19:30 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:19:45 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:19:52 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:20:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:20:13 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:20:25 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 01:20:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:20:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:20:40 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-28 01:20:40 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-28 01:20:40 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-28 01:20:49 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:20:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:21:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:21:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:21:32 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:21:40 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:21:53 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:22:01 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:22:15 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:22:23 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:22:38 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 01:22:46 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 01:22:46 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-02-28 01:25:18 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-28 01:25:41 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-02-28 01:25:52 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 01:29:25 +0100 | danso | (~danso@danso.ca) |
| 2022-02-28 01:29:25 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 01:31:36 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-28 01:32:18 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-28 01:33:55 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2022-02-28 01:34:18 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 01:37:50 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-02-28 01:38:30 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 250 seconds) |
| 2022-02-28 01:39:30 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-02-28 01:45:53 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 01:48:35 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 01:48:54 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-28 01:49:05 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 01:50:00 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-28 01:54:15 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-28 01:54:27 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 01:55:00 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-02-28 01:57:12 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-28 01:58:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-28 02:01:54 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-02-28 02:02:16 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-28 02:05:01 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 02:05:39 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-28 02:06:56 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::8c21) |
| 2022-02-28 02:07:12 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-28 02:08:31 +0100 | mmhat | (~mmh@55d4782f.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-02-28 02:08:31 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 02:10:55 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-02-28 02:11:02 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev) |
| 2022-02-28 02:16:11 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-02-28 02:17:01 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-02-28 02:17:57 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-28 02:20:03 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-02-28 02:23:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-28 02:24:08 +0100 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-02-28 02:25:30 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 02:25:51 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-02-28 02:25:52 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-02-28 02:26:46 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2022-02-28 02:27:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 02:27:27 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-28 02:28:31 +0100 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-02-28 02:32:10 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 02:34:36 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-28 02:36:41 +0100 | wroathe | (~wroathe@68-168-191-143.fttp.usinternet.com) |
| 2022-02-28 02:36:41 +0100 | wroathe | (~wroathe@68-168-191-143.fttp.usinternet.com) (Changing host) |
| 2022-02-28 02:36:41 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-28 02:42:07 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 02:45:24 +0100 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 240 seconds) |
| 2022-02-28 02:48:56 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 02:51:24 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-02-28 02:51:59 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-02-28 02:52:23 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 02:55:24 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-28 02:56:12 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds) |
| 2022-02-28 03:00:53 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-28 03:08:44 +0100 | deadmarshal | (~deadmarsh@95.38.116.61) |
| 2022-02-28 03:09:00 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-02-28 03:09:24 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 03:13:22 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-28 03:13:24 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-28 03:13:33 +0100 | deadmarshal | (~deadmarsh@95.38.116.61) (Ping timeout: 256 seconds) |
| 2022-02-28 03:15:18 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-02-28 03:17:02 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 03:17:07 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 03:17:15 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-02-28 03:18:13 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 03:23:10 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-02-28 03:27:27 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds) |
| 2022-02-28 03:30:01 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 03:30:05 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 03:30:57 +0100 | ystael | (~ystael@user/ystael) |
| 2022-02-28 03:31:43 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 03:32:14 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 03:34:53 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 03:37:00 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 03:37:29 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 03:38:16 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 03:39:57 +0100 | justAstache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2022-02-28 03:40:08 +0100 | ddb | (~ddb@2607:5300:203:9993::196) |
| 2022-02-28 03:40:56 +0100 | justAstache | (~justache@user/justache) |
| 2022-02-28 03:41:09 +0100 | wroathe | (~wroathe@68-168-191-143.fttp.usinternet.com) |
| 2022-02-28 03:41:09 +0100 | wroathe | (~wroathe@68-168-191-143.fttp.usinternet.com) (Changing host) |
| 2022-02-28 03:41:09 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-28 03:45:35 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-28 03:45:46 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2022-02-28 03:45:59 +0100 | wroathe | (~wroathe@68-168-191-143.fttp.usinternet.com) |
| 2022-02-28 03:45:59 +0100 | wroathe | (~wroathe@68-168-191-143.fttp.usinternet.com) (Changing host) |
| 2022-02-28 03:45:59 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-28 03:48:23 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 03:49:21 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 03:49:52 +0100 | kimjetwav | (~user@2607:fea8:2363:8f00:dcc0:6847:7906:964b) |
| 2022-02-28 03:51:32 +0100 | xff0x | (~xff0x@2001:1a81:5290:f100:b98a:22f8:9c9c:82d0) (Ping timeout: 240 seconds) |
| 2022-02-28 03:53:26 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:f18a:5163:152f:3811) |
| 2022-02-28 03:55:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 03:55:17 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2022-02-28 03:55:37 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 03:56:57 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2022-02-28 03:59:01 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 04:03:55 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-28 04:06:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-02-28 04:07:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-28 04:10:53 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 272 seconds) |
| 2022-02-28 04:14:47 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 04:16:04 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 04:17:05 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-02-28 04:19:32 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 04:21:01 +0100 | td_ | (~td@muedsl-82-207-238-210.citykom.de) (Ping timeout: 272 seconds) |
| 2022-02-28 04:22:33 +0100 | td_ | (~td@94.134.91.216) |
| 2022-02-28 04:27:00 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-02-28 04:32:55 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:e0b0:8aea:9541:b1dc) (Remote host closed the connection) |
| 2022-02-28 04:34:15 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:40d3:ee74:da44:44) |
| 2022-02-28 04:37:41 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 04:40:32 +0100 | cjb | (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 2022-02-28 04:40:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-28 04:46:03 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 04:49:03 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-28 05:04:20 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 05:06:53 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-28 05:08:09 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 05:08:47 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 05:12:19 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 05:14:08 +0100 | agumonke` | (~user@88.163.231.79) |
| 2022-02-28 05:14:45 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-28 05:16:20 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-28 05:16:20 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-28 05:16:20 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-28 05:19:17 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-28 05:19:55 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-02-28 05:25:48 +0100 | mbuf | (~Shakthi@122.174.215.136) |
| 2022-02-28 05:26:38 +0100 | alMalsamo | lumberjackimok |
| 2022-02-28 05:26:47 +0100 | lumberjackimok | lumberjackok |
| 2022-02-28 05:29:07 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 05:32:26 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 05:33:44 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-28 05:45:57 +0100 | deadmarshal | (~deadmarsh@95.38.116.61) |
| 2022-02-28 05:50:14 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 05:50:43 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 05:51:09 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 05:51:16 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-02-28 05:54:03 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 05:59:35 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-02-28 06:04:29 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-02-28 06:06:09 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-02-28 06:08:22 +0100 | lumberjackok | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-02-28 06:08:37 +0100 | sagax | (~sagax_nb@user/sagax) (Quit: Konversation terminated!) |
| 2022-02-28 06:08:42 +0100 | lumberjackok | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-28 06:12:08 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 06:12:38 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-02-28 06:15:55 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 06:16:38 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 06:19:32 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 06:19:42 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2022-02-28 06:20:27 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 06:20:27 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 06:21:05 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 06:22:57 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-02-28 06:24:40 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 06:24:49 +0100 | yuvi | (~uv125@192.54.96.185) (Ping timeout: 256 seconds) |
| 2022-02-28 06:25:37 +0100 | yuvi | (~uv125@192.54.96.185) |
| 2022-02-28 06:32:21 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-02-28 06:34:53 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-28 06:37:36 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-02-28 06:38:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 06:40:19 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-02-28 06:40:37 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-02-28 06:41:46 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-28 06:41:49 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-02-28 06:42:31 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 06:42:37 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 06:42:44 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 06:42:48 +0100 | ardell | (~ardell@user/ardell) |
| 2022-02-28 06:44:16 +0100 | emf | (~emf@2620:10d:c090:400::5:f613) (Quit: emf) |
| 2022-02-28 06:45:30 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 06:46:20 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 06:46:21 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-02-28 06:46:37 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2022-02-28 06:48:12 +0100 | deadmarshal | (~deadmarsh@95.38.116.61) (Ping timeout: 240 seconds) |
| 2022-02-28 07:03:07 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 07:06:58 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 07:06:59 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 07:07:04 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 07:07:35 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 07:11:32 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 07:12:25 +0100 | agumonke` | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-02-28 07:13:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 07:19:34 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 07:20:15 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-02-28 07:21:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-28 07:22:05 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-02-28 07:24:01 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-28 07:28:49 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 07:31:48 +0100 | Megant | (megant@user/megant) (Ping timeout: 240 seconds) |
| 2022-02-28 07:33:45 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-28 07:34:49 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 07:39:19 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-02-28 07:50:29 +0100 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2022-02-28 07:52:01 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 07:52:21 +0100 | PHO` | (~pho@akari.cielonegro.org) (Quit: SIGTERM received; exit) |
| 2022-02-28 07:53:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 07:55:07 +0100 | PHO` | (~pho@akari.cielonegro.org) |
| 2022-02-28 07:55:21 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 245 seconds) |
| 2022-02-28 07:55:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 07:58:02 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 240 seconds) |
| 2022-02-28 08:04:57 +0100 | kadobanana | (~mud@user/kadoban) (Ping timeout: 240 seconds) |
| 2022-02-28 08:09:03 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 08:10:52 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 08:10:55 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 08:11:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 08:11:14 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-28 08:13:27 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
| 2022-02-28 08:13:52 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 08:16:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b437:a10d:f085:84a8) |
| 2022-02-28 08:21:43 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 08:23:25 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-02-28 08:24:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-28 08:29:04 +0100 | kadobanana | (~mud@user/kadoban) |
| 2022-02-28 08:30:16 +0100 | kimjetwav | (~user@2607:fea8:2363:8f00:dcc0:6847:7906:964b) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 2022-02-28 08:35:56 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-28 08:35:59 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-02-28 08:36:25 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-02-28 08:38:14 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 08:39:48 +0100 | yuvi | (~uv125@192.54.96.185) (Ping timeout: 240 seconds) |
| 2022-02-28 08:40:23 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 08:42:39 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-28 08:45:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-28 08:50:53 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 08:51:23 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-02-28 08:52:59 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-28 09:07:34 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 09:08:14 +0100 | alp | (~alp@user/alp) |
| 2022-02-28 09:08:17 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 09:09:23 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:40d3:ee74:da44:44) (Quit: Leaving) |
| 2022-02-28 09:09:24 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 09:13:25 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 09:14:03 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 09:15:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-28 09:15:57 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 09:16:09 +0100 | Techcable | (~Techcable@168.235.93.147) (Ping timeout: 272 seconds) |
| 2022-02-28 09:17:11 +0100 | fendor | (~fendor@77.119.171.203.wireless.dyn.drei.com) |
| 2022-02-28 09:18:08 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 09:18:13 +0100 | michalz | (~michalz@185.246.204.90) |
| 2022-02-28 09:19:15 +0100 | chele | (~chele@user/chele) |
| 2022-02-28 09:30:00 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-02-28 09:34:12 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-02-28 09:36:55 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 09:39:56 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 09:40:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-02-28 09:45:21 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-28 09:45:38 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-02-28 09:46:00 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:9356:9f08:f922:e54b) |
| 2022-02-28 09:48:04 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-28 09:50:02 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-28 09:53:08 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-28 09:53:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 2022-02-28 09:53:22 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 09:55:07 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-02-28 09:58:33 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 10:00:04 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 10:00:11 +0100 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: You have been kicked for being idle) |
| 2022-02-28 10:00:11 +0100 | litharn[m] | (~litharnma@2001:470:69fc:105::1:8336) (Quit: You have been kicked for being idle) |
| 2022-02-28 10:01:38 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 10:07:12 +0100 | kuribas | (~user@ptr-25vy0i7j6j7p9e7j9ij.18120a2.ip6.access.telenet.be) |
| 2022-02-28 10:09:43 +0100 | shryke_ | (~shryke@91.103.43.254) (Quit: WeeChat 3.3) |
| 2022-02-28 10:10:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-02-28 10:10:47 +0100 | rembo10 | (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-28 10:11:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-28 10:11:41 +0100 | rembo10 | (~rembo10@remulis.com) |
| 2022-02-28 10:12:25 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-28 10:12:37 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-28 10:12:58 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-28 10:14:55 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:f18a:5163:152f:3811) (Ping timeout: 256 seconds) |
| 2022-02-28 10:15:40 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:ee1e:2dd0:4c63:2ad) |
| 2022-02-28 10:16:09 +0100 | komikat | (~komikat@27.57.144.183) |
| 2022-02-28 10:16:24 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-28 10:19:23 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
| 2022-02-28 10:20:11 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 10:20:50 +0100 | jespada | (~jespada@185.69.145.16) |
| 2022-02-28 10:22:26 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-02-28 10:25:25 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-28 10:25:42 +0100 | robosexual | (~spaceoyst@92.248.225.230) |
| 2022-02-28 10:27:12 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 10:28:59 +0100 | robosexual | (~spaceoyst@92.248.225.230) (Client Quit) |
| 2022-02-28 10:29:39 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-28 10:33:21 +0100 | <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)? |
| 2022-02-28 10:34:13 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-02-28 10:36:28 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2022-02-28 10:36:56 +0100 | <[exa]> | turlando: if we're looking at the same problem, can't you just add instances to MetaValue? |
| 2022-02-28 10:37:52 +0100 | komikat | (~komikat@27.57.144.183) |
| 2022-02-28 10:39:36 +0100 | <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 |
| 2022-02-28 10:39:39 +0100 | <[exa]> | (or is it literally about the VorbisFields?) |
| 2022-02-28 10:40:00 +0100 | <turlando> | The internals and the level2 bindings looks really good, the Metadata module does all kind of wrong assumptions though |
| 2022-02-28 10:42:34 +0100 | <[exa]> | yeah looks a bit like under-interpretation of the vorbis thing |
| 2022-02-28 10:42:46 +0100 | <[exa]> | vorbis actually doesn't dictate anything |
| 2022-02-28 10:42:53 +0100 | <[exa]> | aren't these fields set by FLAC standard? |
| 2022-02-28 10:43:02 +0100 | <[exa]> | if not, I'd just fork and send back a pull request :D |
| 2022-02-28 10:43:58 +0100 | <turlando> | sorry, I've talked about FLAC but I really meant VorbisComments here |
| 2022-02-28 10:44:15 +0100 | yauhsien | (~yauhsien@2402:7500:5e4:c8b7:856f:1e42:94c9:19cd) |
| 2022-02-28 10:44:17 +0100 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2022-02-28 10:44:17 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 10:45:52 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
| 2022-02-28 10:46:34 +0100 | <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... |
| 2022-02-28 10:46:37 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 2022-02-28 10:46:50 +0100 | <sshine> | ...but there must be a way to distribute Haskell programs that don't require downloading a compiler. |
| 2022-02-28 10:47:11 +0100 | <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 |
| 2022-02-28 10:47:24 +0100 | <[exa]> | sshine: depends on how systematic you want it. If it's for debian vps, you can perfectly make a .deb package for that |
| 2022-02-28 10:47:36 +0100 | <sshine> | [exa], I could make a .deb, and that was my first thought! |
| 2022-02-28 10:47:46 +0100 | <[exa]> | sshine: honestly after the initial shock .deb packaging is lovely |
| 2022-02-28 10:47:50 +0100 | <sshine> | [exa], well, my second thought after realising a single static binary might not be easy. |
| 2022-02-28 10:48:39 +0100 | <[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!) |
| 2022-02-28 10:48:39 +0100 | <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. |
| 2022-02-28 10:49:03 +0100 | komikat | (~komikat@27.57.144.183) |
| 2022-02-28 10:49:06 +0100 | <[exa]> | yeah there's deb-src for that, and .dsc packages |
| 2022-02-28 10:49:37 +0100 | <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. |
| 2022-02-28 10:49:52 +0100 | <sshine> | [exa], you mean deb-src an .dsc packages are a good solution for other Linux distros? ;) |
| 2022-02-28 10:49:52 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 10:49:57 +0100 | <[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 |
| 2022-02-28 10:50:22 +0100 | <sshine> | [exa], sounds like a very viable path I'll definitely consider :) |
| 2022-02-28 10:50:49 +0100 | <sshine> | [exa], I'd like to consider the general problem of distributing executables, though. not everyone has 'dpkg'. |
| 2022-02-28 10:50:58 +0100 | <[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 |
| 2022-02-28 10:51:22 +0100 | <sshine> | [exa], there's also FreeBSD. |
| 2022-02-28 10:51:24 +0100 | <[exa]> | if that's not enough, make a docker |
| 2022-02-28 10:51:59 +0100 | <[exa]> | freebsd probably goes to the same heap as arch from this viewpoint (not sure if there's even good binary distribution there) |
| 2022-02-28 10:51:59 +0100 | <sshine> | I'd like a single statically linked ELF executable for x86_64. |
| 2022-02-28 10:52:08 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 2022-02-28 10:52:20 +0100 | <[exa]> | that you can do with just cabal (build static, done) |
| 2022-02-28 10:52:33 +0100 | <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. :) |
| 2022-02-28 10:53:09 +0100 | <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. |
| 2022-02-28 10:53:26 +0100 | <sshine> | and if it were easy to create a single exe, we'd just be doing it. |
| 2022-02-28 10:53:28 +0100 | <[exa]> | sshine: without that assumption you'll spend 3 years bikeshedding a new packaging system when the problem can get easily solved by users |
| 2022-02-28 10:53:46 +0100 | <sshine> | I'm not trying to invent a packaging system. |
| 2022-02-28 10:53:50 +0100 | <[exa]> | provide a good reliable build instructions instead. |
| 2022-02-28 10:54:44 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 10:54:58 +0100 | <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. |
| 2022-02-28 10:56:08 +0100 | <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? |
| 2022-02-28 10:56:15 +0100 | <[exa]> | `$pkgmanager install ghc cabal-install; cd myprogram; cabal run` ? |
| 2022-02-28 10:57:09 +0100 | <[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) |
| 2022-02-28 10:57:13 +0100 | <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. |
| 2022-02-28 10:58:15 +0100 | <[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 |
| 2022-02-28 10:58:16 +0100 | <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. |
| 2022-02-28 10:59:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-28 10:59:37 +0100 | <[exa]> | well, multiple OSes lead to having multiple per-OS packaging, yes. |
| 2022-02-28 11:00:06 +0100 | <sshine> | not necessarily. statically linked binaries mean you only have one per (architecture * binary execution format). |
| 2022-02-28 11:01:35 +0100 | <[exa]> | (times kernel version, userspace version, ...) |
| 2022-02-28 11:01:42 +0100 | <[exa]> | maybe you want a docker? :D |
| 2022-02-28 11:01:47 +0100 | <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/ |
| 2022-02-28 11:01:55 +0100 | <sshine> | I don't want a docker :) |
| 2022-02-28 11:02:06 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:ee1e:2dd0:4c63:2ad) (Ping timeout: 252 seconds) |
| 2022-02-28 11:02:24 +0100 | <[exa]> | yeah that guide should work to a large extent |
| 2022-02-28 11:04:14 +0100 | <merijn> | sshine: Note that by default haskell executables only dynamically link libc anyway |
| 2022-02-28 11:04:22 +0100 | <sshine> | merijn, right |
| 2022-02-28 11:04:27 +0100 | obviyus | (sid415299@user/obviyus) (Quit: Connection closed for inactivity) |
| 2022-02-28 11:04:30 +0100 | <merijn> | So even without going all the way to full static you're already pretty portable |
| 2022-02-28 11:05:11 +0100 | <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 |
| 2022-02-28 11:05:17 +0100 | <sshine> | for Haskell.) |
| 2022-02-28 11:05:24 +0100 | yauhsien | (~yauhsien@2402:7500:5e4:c8b7:856f:1e42:94c9:19cd) (Ping timeout: 240 seconds) |
| 2022-02-28 11:05:26 +0100 | <sshine> | merijn, that's what I'm thinking! |
| 2022-02-28 11:05:32 +0100 | <sshine> | merijn, like, mostly static would be very good :) |
| 2022-02-28 11:05:53 +0100 | <merijn> | sshine: Who said it's tricky? If you use musl you can make something that will run on any compatible kernel, yeah |
| 2022-02-28 11:06:01 +0100 | <dminuoso> | Keep in mind that static binaries complicate security patches. |
| 2022-02-28 11:06:05 +0100 | <merijn> | sshine: Getting everything setup right is tricky and a bit of a pain |
| 2022-02-28 11:06:16 +0100 | <merijn> | sshine: But once it running it just works |
| 2022-02-28 11:06:26 +0100 | <sshine> | merijn, NorfairKing says :D |
| 2022-02-28 11:06:49 +0100 | <dminuoso> | Each static build must be rebuild and redeployed every time any statically linked library receives an update. |
| 2022-02-28 11:06:51 +0100 | <merijn> | sshine: One of my colleagues is doing it and it seems to work fine |
| 2022-02-28 11:06:52 +0100 | <sshine> | ("entirely non-trivial" to be exact) |
| 2022-02-28 11:07:00 +0100 | <dminuoso> | Which is why I wouldnt statically link something like openssl/libressl |
| 2022-02-28 11:07:22 +0100 | <[exa]> | +1 ^ |
| 2022-02-28 11:07:43 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 11:08:10 +0100 | <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. |
| 2022-02-28 11:08:30 +0100 | <dminuoso> | sshine: I'd argue the other way around. |
| 2022-02-28 11:08:55 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:ee1e:2dd0:4c63:2ad) |
| 2022-02-28 11:08:59 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-28 11:09:02 +0100 | <dminuoso> | sshine: When you're in charge of the complete process up until production environment, shipping a libressl update is at least possible. |
| 2022-02-28 11:09:12 +0100 | obviyus | (sid415299@user/obviyus) |
| 2022-02-28 11:09:51 +0100 | <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 |
| 2022-02-28 11:10:00 +0100 | <dminuoso> | And for each such application I have to wait for library fixes. |
| 2022-02-28 11:10:04 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-28 11:10:27 +0100 | <dminuoso> | I'd argue that static binaries only make sense for internal use where you can control the complete lifecycle |
| 2022-02-28 11:11:16 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 11:14:07 +0100 | <sshine> | merijn, since your colleague is doing mostly-static binaries, what build system is he using? nix or bazel? |
| 2022-02-28 11:14:37 +0100 | <merijn> | sshine: cabal in a github actions docker container with alpine |
| 2022-02-28 11:15:13 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-02-28 11:15:19 +0100 | <sshine> | merijn, so... musl is the thing that makes inlining libc cheaper disk-wise, but besides musl, he only uses cabal? |
| 2022-02-28 11:15:35 +0100 | <merijn> | sshine: musl is just an alternate libc implementation |
| 2022-02-28 11:15:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-28 11:16:03 +0100 | <merijn> | sshine: The problem is that glibc includes some fuckery to (intentionally) make static linking it a massive PITA |
| 2022-02-28 11:16:18 +0100 | <sshine> | yeah, I imagine |
| 2022-02-28 11:16:21 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-28 11:16:21 +0100 | <merijn> | Because one of the glibc maintainers is opposed to static linking for ideological reasons |
| 2022-02-28 11:16:23 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 252 seconds) |
| 2022-02-28 11:17:01 +0100 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-02-28 11:17:14 +0100 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-02-28 11:17:31 +0100 | <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 |
| 2022-02-28 11:17:37 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 11:17:50 +0100 | <merijn> | The only one creating problems is libc, so if you ditch that in favour of musl, it's mostly "problem solved" |
| 2022-02-28 11:18:18 +0100 | <sshine> | merijn, sounds like there should be a tutorial somewhere :P |
| 2022-02-28 11:18:28 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-28 11:18:53 +0100 | <sshine> | maybe I can derive the non-bazel parts from the tweag tutorial. |
| 2022-02-28 11:19:04 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-28 11:19:09 +0100 | <sshine> | (not that I'm opposed to bazel; if I were to learn any new build system, that'd probably be it.) |
| 2022-02-28 11:21:57 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
| 2022-02-28 11:22:21 +0100 | <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 |
| 2022-02-28 11:22:27 +0100 | <sshine> | to install from scratch via source code). I would love to be able to click "download", chmod +x and just run it. :D |
| 2022-02-28 11:22:51 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) |
| 2022-02-28 11:23:22 +0100 | <merijn> | sshine: I mean, step 1) arrange a VM/docker container/whatever with Alpine linux |
| 2022-02-28 11:23:29 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-28 11:23:38 +0100 | <merijn> | Step 2) pass the relevant -static flags to GHC (consult GHC user guide) |
| 2022-02-28 11:23:48 +0100 | <merijn> | And that should be it? |
| 2022-02-28 11:24:03 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-02-28 11:24:39 +0100 | <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? |
| 2022-02-28 11:24:47 +0100 | <merijn> | Legally you may be required to provide a dynamic build binary to, because of libgmp |
| 2022-02-28 11:25:08 +0100 | <merijn> | sshine: You just need the container to build it... |
| 2022-02-28 11:25:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-02-28 11:25:12 +0100 | <sshine> | are you saying libgmp legally requires me to not compile it statically? |
| 2022-02-28 11:25:23 +0100 | <sshine> | I don't want to build it, I want to download and run it! |
| 2022-02-28 11:25:40 +0100 | <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 |
| 2022-02-28 11:25:49 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-02-28 11:25:50 +0100 | <sshine> | merijn, thanks! that's good to know :) |
| 2022-02-28 11:25:54 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-28 11:26:17 +0100 | <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" |
| 2022-02-28 11:26:26 +0100 | <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.) |
| 2022-02-28 11:26:27 +0100 | <merijn> | sshine: libgmp is LGPL, so...yes? |
| 2022-02-28 11:26:50 +0100 | <merijn> | sshine: You can use integer-simple (which is less performant, but not LGPL) |
| 2022-02-28 11:26:53 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 11:27:00 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Ping timeout: 240 seconds) |
| 2022-02-28 11:27:21 +0100 | <sshine> | hmm... really. |
| 2022-02-28 11:27:26 +0100 | <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) |
| 2022-02-28 11:27:37 +0100 | <sshine> | oh, okay. |
| 2022-02-28 11:27:53 +0100 | <sshine> | it's not enough to distribute static executable + source code? |
| 2022-02-28 11:28:25 +0100 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-02-28 11:28:44 +0100 | alp | (~alp@user/alp) |
| 2022-02-28 11:28:51 +0100 | <merijn> | sshine: https://www.gnu.org/licenses/gpl-faq.en.html#LGPLStaticVsDynamic |
| 2022-02-28 11:29:20 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 11:29:43 +0100 | <dminuoso> | sshine: Well yes, so packaging is a complicated story. |
| 2022-02-28 11:30:20 +0100 | <maerwald> | I wonder how you'd prove that the static binary and the dynamic one are actually the same program xD |
| 2022-02-28 11:30:33 +0100 | <dminuoso> | Traditionally you would only support installation via autotools, and make it the problem of some self appointed maintainer for a given linux distrubition. |
| 2022-02-28 11:30:42 +0100 | <dminuoso> | Rather than try and worry yourself how to expose a package. |
| 2022-02-28 11:30:43 +0100 | <merijn> | maerwald: Tjat |
| 2022-02-28 11:30:49 +0100 | <merijn> | That's what courts are for |
| 2022-02-28 11:31:17 +0100 | <dminuoso> | In the presence of full program optimization, that could be fun proceedings. |
| 2022-02-28 11:31:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-28 11:31:48 +0100 | <merijn> | not really |
| 2022-02-28 11:31:48 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Remote host closed the connection) |
| 2022-02-28 11:32:04 +0100 | <merijn> | the suing party would have to prove they aren't the same |
| 2022-02-28 11:32:35 +0100 | <dminuoso> | Like I said, fun proceedings one way or another. |
| 2022-02-28 11:32:38 +0100 | <sshine> | thanks everyone for your input. I'll get back to being productive. |
| 2022-02-28 11:32:57 +0100 | <dminuoso> | sshine: this is one of the reasons why we are switching to nixos. |
| 2022-02-28 11:32:58 +0100 | <dminuoso> | By the way |
| 2022-02-28 11:33:09 +0100 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-02-28 11:33:15 +0100 | <dminuoso> | because it gives us the necessary language to tie the build process and deployment process together coherently |
| 2022-02-28 11:33:17 +0100 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2022-02-28 11:33:20 +0100 | <sshine> | dminuoso, "this" being what more exactly? |
| 2022-02-28 11:33:46 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-28 11:34:01 +0100 | <dminuoso> | sshine: distributing programs problem. |
| 2022-02-28 11:34:17 +0100 | <merijn> | dminuoso: Now if only someone made the Nix language suck less :p |
| 2022-02-28 11:34:23 +0100 | <dminuoso> | merijn: Yes. If only. |
| 2022-02-28 11:34:38 +0100 | <maerwald> | merijn: it's not just the language |
| 2022-02-28 11:34:41 +0100 | <maerwald> | but the entire ecosystem |
| 2022-02-28 11:34:54 +0100 | <dminuoso> | At the very least the ecosystem is quite alive and active. So there's that at least. |
| 2022-02-28 11:35:06 +0100 | <dminuoso> | But yeah, we're painfully aware of the price we're paying |
| 2022-02-28 11:35:29 +0100 | deadmarshal_ | (~deadmarsh@95.38.116.61) |
| 2022-02-28 11:35:54 +0100 | <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 |
| 2022-02-28 11:36:13 +0100 | <dminuoso> | maerwald: Curious, what alternatives are you thinking of? |
| 2022-02-28 11:36:18 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 11:36:55 +0100 | <maerwald> | I don't actually remember the product name |
| 2022-02-28 11:37:05 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2022-02-28 11:37:51 +0100 | <merijn> | maerwald: Those don't help me |
| 2022-02-28 11:38:08 +0100 | <maerwald> | sure, but I'd probably try those first before hiring a nix engineer |
| 2022-02-28 11:38:31 +0100 | <merijn> | We're not using Nix at all atm |
| 2022-02-28 11:38:57 +0100 | <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 |
| 2022-02-28 11:40:17 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-28 11:40:54 +0100 | Giovanni | (~Giovanni@176.67.166.45) (Read error: Connection reset by peer) |
| 2022-02-28 11:41:26 +0100 | <maerwald> | that's why I prefer less predictable tools that have a simpler interface |
| 2022-02-28 11:41:29 +0100 | Giovanni | (~Giovanni@87.251.20.36) |
| 2022-02-28 11:41:33 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-02-28 11:41:51 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-02-28 11:42:25 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-02-28 11:42:49 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 11:42:50 +0100 | <merijn> | Well, the alternatives in use at work now are "conda" and "pip" which are *godawful* :p |
| 2022-02-28 11:44:00 +0100 | <sshine> | merijn, you wouldn't consider bazel instead? |
| 2022-02-28 11:45:10 +0100 | <merijn> | lol no |
| 2022-02-28 11:46:41 +0100 | <merijn> | Anything that has "multi page install instructions that rely on apt-get" is an absolute no go |
| 2022-02-28 11:47:11 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 252 seconds) |
| 2022-02-28 11:47:41 +0100 | memowe | (~memowe@2a02:908:d85:c3c0:90a5:a8b1:f724:deae) |
| 2022-02-28 11:50:32 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-28 11:54:49 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 11:55:45 +0100 | deadmarshal_ | (~deadmarsh@95.38.116.61) (Ping timeout: 256 seconds) |
| 2022-02-28 11:55:57 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2022-02-28 11:57:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 11:57:24 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 11:59:11 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-28 12:00:58 +0100 | <dminuoso> | maerwald: I have a distinct hate for "proprietary as an alternative, they have paid customer support" |
| 2022-02-28 12:01:48 +0100 | <maerwald> | who do you ask if you have problems with nix? |
| 2022-02-28 12:01:50 +0100 | thevishy | (~Nishant@2405:201:f005:c007:7c10:43e8:a548:3fb5) |
| 2022-02-28 12:02:02 +0100 | <dminuoso> | Well if its support you want, there is nix consultants |
| 2022-02-28 12:02:10 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-02-28 12:02:12 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-28 12:02:22 +0100 | <dminuoso> | But the thing is, who do you ask if your proprietary vendor closes down, or cant help you because they lack competency? |
| 2022-02-28 12:02:30 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-02-28 12:02:41 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-28 12:02:46 +0100 | <maerwald> | consultancies don't close down? |
| 2022-02-28 12:03:11 +0100 | <maerwald> | that might actually be happening right now |
| 2022-02-28 12:03:18 +0100 | <dminuoso> | maerwald: Sure they can, but nix itself wont. |
| 2022-02-28 12:03:26 +0100 | <dminuoso> | But if the properietary vendor closes down, you're hosed. |
| 2022-02-28 12:03:40 +0100 | <maerwald> | well, open source projects sometimes die out too |
| 2022-02-28 12:03:52 +0100 | <maerwald> | just requires a couple of maintainers to lose interest |
| 2022-02-28 12:03:55 +0100 | <maerwald> | look at GHC |
| 2022-02-28 12:04:03 +0100 | <dminuoso> | Sure, but tens of thousands of nix users out there. But only one vendor that can help you with your proprietary solution. |
| 2022-02-28 12:04:30 +0100 | cosimone | (~user@93-47-229-38.ip115.fastwebnet.it) |
| 2022-02-28 12:04:39 +0100 | <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.. |
| 2022-02-28 12:04:45 +0100 | <maerwald> | there's an entire industry build on proprietary software and they are doing fine mostly |
| 2022-02-28 12:05:58 +0100 | <dminuoso> | Of course *they* are doing fine as long as they have enough fish on the hook. |
| 2022-02-28 12:06:34 +0100 | <maerwald> | I don't see how depending on volunteer opensource maintainers is really a better strategy for a *business* in capitalist market |
| 2022-02-28 12:06:48 +0100 | <maerwald> | they do whatever works |
| 2022-02-28 12:07:21 +0100 | razetime | (~quassel@117.254.35.156) |
| 2022-02-28 12:07:25 +0100 | yauhsienhuangtw | (~Yau-Hsien@2402:7500:5e4:c8b7:c90:6bda:6af1:8273) |
| 2022-02-28 12:07:35 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 12:09:16 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-28 12:11:00 +0100 | yauhsien_ | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-28 12:11:57 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-28 12:12:03 +0100 | <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 |
| 2022-02-28 12:12:06 +0100 | <carbolymer> | any ideas why is that? |
| 2022-02-28 12:12:11 +0100 | mmhat | (~mmh@55d467a0.access.ecotel.net) |
| 2022-02-28 12:14:46 +0100 | <dminuoso> | You're holding references. |
| 2022-02-28 12:15:01 +0100 | <carbolymer> | dminuoso: only to thread IDs |
| 2022-02-28 12:15:32 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 12:15:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-28 12:16:38 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-28 12:17:53 +0100 | fendor_ | (~fendor@77.119.204.89.wireless.dyn.drei.com) |
| 2022-02-28 12:18:16 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 245 seconds) |
| 2022-02-28 12:18:55 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 12:20:41 +0100 | fendor | (~fendor@77.119.171.203.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2022-02-28 12:21:15 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-02-28 12:21:30 +0100 | <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 |
| 2022-02-28 12:22:20 +0100 | <carbolymer> | and then, memory usage peaks at 2GB |
| 2022-02-28 12:24:16 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:37ab:3c6c:a9ec:c971) (Quit: Konversation terminated!) |
| 2022-02-28 12:27:02 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-28 12:32:34 +0100 | sleblanc | (~sleblanc@user/sleblanc) (Remote host closed the connection) |
| 2022-02-28 12:35:31 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
| 2022-02-28 12:35:31 +0100 | jespada | (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 2022-02-28 12:37:09 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 12:37:41 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-28 12:38:22 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 12:39:16 +0100 | ubert | (~Thunderbi@p200300ecdf3be90c0930a09fd733e6d6.dip0.t-ipconnect.de) |
| 2022-02-28 12:39:58 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 12:42:44 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-28 12:44:04 +0100 | <bahamas> | can anyone remind me the function that waits for input on the command line? |
| 2022-02-28 12:46:05 +0100 | <geekosaur> | ?? |
| 2022-02-28 12:46:10 +0100 | <lortabac> | bahamas: getLine reads one line from stdin |
| 2022-02-28 12:47:18 +0100 | <geekosaur> | if you're printing a prompt first, remember to either `hFlush stdout` or `hSetBuffering stdout NoBuffering` first (both reuire importing `System.IO`) |
| 2022-02-28 12:49:35 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-28 12:49:36 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 12:49:44 +0100 | <bahamas> | lortabac: that's the one. thanks! |
| 2022-02-28 12:49:55 +0100 | <bahamas> | geekosaur: thanks! |
| 2022-02-28 12:50:13 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 12:51:25 +0100 | memowe | (~memowe@2a02:908:d85:c3c0:90a5:a8b1:f724:deae) () |
| 2022-02-28 12:54:19 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 12:54:29 +0100 | yauhsien_ | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 12:55:08 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-02-28 12:55:22 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 2022-02-28 12:55:30 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-02-28 12:56:16 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 12:57:37 +0100 | yauhsienhuangtw | (~Yau-Hsien@2402:7500:5e4:c8b7:c90:6bda:6af1:8273) (Ping timeout: 240 seconds) |
| 2022-02-28 12:57:56 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 12:58:32 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-28 12:59:02 +0100 | yauhsien_ | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-28 12:59:07 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 12:59:20 +0100 | jespada | (~jespada@185.69.145.16) |
| 2022-02-28 13:01:02 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-28 13:01:02 +0100 | deadmars- | (~deadmarsh@95.38.116.61) |
| 2022-02-28 13:01:32 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 13:05:32 +0100 | deadmars- | (~deadmarsh@95.38.116.61) (Ping timeout: 240 seconds) |
| 2022-02-28 13:06:11 +0100 | olle | (~olle@i5E866D89.versanet.de) |
| 2022-02-28 13:06:20 +0100 | <olle> | What's final with tagless-final? |
| 2022-02-28 13:06:59 +0100 | <Hecate> | the final encoding |
| 2022-02-28 13:07:36 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-02-28 13:09:07 +0100 | <geekosaur> | isn't that about initial vs. final algebras? |
| 2022-02-28 13:10:09 +0100 | <Hecate> | I'd have to re-read Oleg's papes |
| 2022-02-28 13:10:13 +0100 | <Hecate> | I'd have to re-read Oleg's papers* |
| 2022-02-28 13:10:33 +0100 | hueso | (~root@user/hueso) (Ping timeout: 256 seconds) |
| 2022-02-28 13:11:02 +0100 | <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 |
| 2022-02-28 13:11:33 +0100 | <olle> | lortabac: Isn't that already implied by "tagless"? Since tag = sum type |
| 2022-02-28 13:11:37 +0100 | <olle> | Or ADT |
| 2022-02-28 13:11:46 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-28 13:12:35 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 13:13:03 +0100 | <lortabac> | olle: in theory you might define an ADT with the evaluation functions |
| 2022-02-28 13:13:03 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 2022-02-28 13:13:42 +0100 | <lortabac> | that would be a tagged-final encoding |
| 2022-02-28 13:14:56 +0100 | <olle> | Sure |
| 2022-02-28 13:15:07 +0100 | <olle> | So what's tagless-not-final? |
| 2022-02-28 13:15:23 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 13:15:36 +0100 | hueso | (~root@user/hueso) |
| 2022-02-28 13:15:49 +0100 | <lortabac> | TBH I read that paper a long time ago, I might be misremembering something |
| 2022-02-28 13:16:50 +0100 | <olle> | Guess I could ask in Scala channel too, lots of blog post about this technique in Scala |
| 2022-02-28 13:16:55 +0100 | <olle> | cats-effects and stuff |
| 2022-02-28 13:17:51 +0100 | <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 |
| 2022-02-28 13:18:32 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-02-28 13:18:34 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 13:19:52 +0100 | <__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. |
| 2022-02-28 13:20:15 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-02-28 13:20:27 +0100 | hueso_ | (~root@user/hueso) |
| 2022-02-28 13:20:31 +0100 | <geekosaur> | ^ |
| 2022-02-28 13:21:20 +0100 | <worldhelloworld> | That's interesting, I get similar vibes. In that case what would be the expected range? |
| 2022-02-28 13:21:27 +0100 | <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 |
| 2022-02-28 13:21:29 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2022-02-28 13:21:37 +0100 | <hpc> | depends on the company |
| 2022-02-28 13:21:46 +0100 | <hpc> | at a startup, senior engineer could be the highest-level technical person |
| 2022-02-28 13:21:52 +0100 | <worldhelloworld> | Approximately |
| 2022-02-28 13:21:55 +0100 | <hpc> | at google, it could mean "can be trusted to write C++, not just java" |
| 2022-02-28 13:22:59 +0100 | <hpc> | but yeah, i would trust someone who knows haskell to be better equiped for novel tasks than your average web framework cargo cultist |
| 2022-02-28 13:23:35 +0100 | Giovanni | (~Giovanni@87.251.20.36) (Ping timeout: 256 seconds) |
| 2022-02-28 13:23:40 +0100 | <worldhelloworld> | Shots fired, hope no rust devs lurking 😉 |
| 2022-02-28 13:23:51 +0100 | <hpc> | hah |
| 2022-02-28 13:23:57 +0100 | Giovanni | (~Giovanni@176.67.166.45) |
| 2022-02-28 13:24:31 +0100 | <hpc> | rust is another one of those languages, for me |
| 2022-02-28 13:25:14 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) |
| 2022-02-28 13:25:59 +0100 | <hpc> | "grub is crashing, but only at midnight on tuesday!" *swings in on rope* "RUST!" https://xkcd.com/208/ |
| 2022-02-28 13:26:16 +0100 | <fendor[m]> | I definitely prefer rust over c++ |
| 2022-02-28 13:26:19 +0100 | <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 |
| 2022-02-28 13:26:36 +0100 | <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. |
| 2022-02-28 13:26:52 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-28 13:26:54 +0100 | <geekosaur> | sml/nj, ocaml (and thereby probably f#), there are others |
| 2022-02-28 13:27:02 +0100 | <dminuoso> | carbolymer: So yes, if you have memory residency, you're holding references. |
| 2022-02-28 13:27:51 +0100 | <geekosaur> | in particular I noted carbolymer said thread refs were being held, doesn;t that prevent a lot of garbage collection? |
| 2022-02-28 13:29:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Ping timeout: 240 seconds) |
| 2022-02-28 13:29:31 +0100 | hueso_ | (~root@user/hueso) (Ping timeout: 245 seconds) |
| 2022-02-28 13:29:41 +0100 | hueso | (~root@user/hueso) |
| 2022-02-28 13:33:21 +0100 | <dminuoso> | carbolymer: Also, I find your usage of IORef and MVar somewhat dubious. I'm not convinced this is thread safe. |
| 2022-02-28 13:34:34 +0100 | <dminuoso> | You probably should be using `newtype Semaphore = Semaphore (TQueue ())` instead |
| 2022-02-28 13:35:32 +0100 | <carbolymer> | geekosaur: good hint |
| 2022-02-28 13:35:34 +0100 | <carbolymer> | >/Note/: in GHC, if you have a 'ThreadId', you essentially have |
| 2022-02-28 13:35:34 +0100 | <carbolymer> | a pointer to the thread itself. This means the thread itself can\'t be |
| 2022-02-28 13:35:34 +0100 | <carbolymer> | garbage collected until you drop the 'ThreadId'. |
| 2022-02-28 13:35:34 +0100 | <carbolymer> | This misfeature will hopefully be corrected at a later date. |
| 2022-02-28 13:35:42 +0100 | <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 |
| 2022-02-28 13:35:43 +0100 | <carbolymer> | so how do I get rid of ThreadId? |
| 2022-02-28 13:35:57 +0100 | <dminuoso> | carbolymer: dont hold on to it. |
| 2022-02-28 13:36:23 +0100 | <merijn> | That, yeah :p |
| 2022-02-28 13:36:37 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-28 13:36:45 +0100 | <carbolymer> | so instead of forM I should use some kind of ring-buffer-alike structure keeping track of only 500 threads in my case? |
| 2022-02-28 13:36:47 +0100 | <merijn> | And if you need access to a ThreadId, but still want exiting threads to GC you can just use a weak reference |
| 2022-02-28 13:37:00 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 13:37:09 +0100 | <dminuoso> | carbolymer: Okay Im moving from almost certain to certain. That code is racy and will misbehave. |
| 2022-02-28 13:37:16 +0100 | <dminuoso> | Use a TQueue. |
| 2022-02-28 13:37:16 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-28 13:37:27 +0100 | hueso | (~root@user/hueso) (Ping timeout: 256 seconds) |
| 2022-02-28 13:37:38 +0100 | <merijn> | Any specific reason you're implementing your own Semaphore instead of using the one in base? |
| 2022-02-28 13:38:03 +0100 | <carbolymer> | merijn: I thought that the reason of memory leak was QSem |
| 2022-02-28 13:38:10 +0100 | <dminuoso> | Oh, TSem right. |
| 2022-02-28 13:38:20 +0100 | <carbolymer> | merijn: so I implemented simpler to rule that out, same for async |
| 2022-02-28 13:38:34 +0100 | <merijn> | Have you profiled the code yet? |
| 2022-02-28 13:38:38 +0100 | <carbolymer> | merijn: yes |
| 2022-02-28 13:38:48 +0100 | <merijn> | What does the heap look like? |
| 2022-02-28 13:38:59 +0100 | <carbolymer> | merijn: https://gitlab.com/carbolymer/ghc-threads-memory-leak/-/blob/master/memetest-exe.pdf |
| 2022-02-28 13:39:11 +0100 | <carbolymer> | https://gitlab.com/carbolymer/ghc-threads-memory-leak/-/blob/master/memetest-exe.svg |
| 2022-02-28 13:39:22 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.4) |
| 2022-02-28 13:39:26 +0100 | <carbolymer> | dminuoso: which part has race condition in your opinion? |
| 2022-02-28 13:39:31 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-28 13:39:34 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-28 13:39:36 +0100 | hueso | (~root@user/hueso) |
| 2022-02-28 13:39:42 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-28 13:39:45 +0100 | <dminuoso> | carbolymer: In between modifying the counter and putting into the MVar. |
| 2022-02-28 13:39:47 +0100 | <carbolymer> | dminuoso: that line you pointed is supposed to just wake-all on mvar |
| 2022-02-28 13:39:53 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-28 13:40:01 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-28 13:40:11 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-28 13:40:11 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 13:40:13 +0100 | <carbolymer> | dminuoso: this is fine, as I'm checking the counter earlier, after waiting on MVar |
| 2022-02-28 13:40:19 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-28 13:40:25 +0100 | <dminuoso> | carbolymer: and if an async exception occurs in between? |
| 2022-02-28 13:40:30 +0100 | <dminuoso> | then you have a stuck thread |
| 2022-02-28 13:40:30 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-28 13:40:38 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-28 13:40:39 +0100 | <carbolymer> | dminuoso: I've completely ignored exceptions for the purpose of this minimal repro |
| 2022-02-28 13:40:55 +0100 | <carbolymer> | dminuoso: this is just and excerpt from my prod code, simplified |
| 2022-02-28 13:41:15 +0100 | <carbolymer> | so yeah, you're right about that ;-] |
| 2022-02-28 13:41:40 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 13:41:51 +0100 | <geekosaur> | hm. killThread raises an async exception, no? |
| 2022-02-28 13:42:18 +0100 | <dminuoso> | Yeah, its just `killThread tid = throwTo tid ThreadKilled |
| 2022-02-28 13:42:20 +0100 | <merijn> | I mean, isn't that heap profile just the threads? |
| 2022-02-28 13:42:46 +0100 | <merijn> | 5,000kb in mapConcurrently, divide by 500 = 10kb per thread? |
| 2022-02-28 13:43:00 +0100 | <merijn> | Depending on what threads are doing, that does not sound unreasonable? |
| 2022-02-28 13:43:00 +0100 | <carbolymer> | merijn: makes sense |
| 2022-02-28 13:43:09 +0100 | <carbolymer> | merijn: but the memory usage is 2G |
| 2022-02-28 13:43:24 +0100 | <dminuoso> | carbolymer: not to mention that, semantically, you dont even have fairness guarantees with MVar. |
| 2022-02-28 13:43:38 +0100 | <merijn> | carbolymer: Reported by which tool? |
| 2022-02-28 13:43:40 +0100 | <carbolymer> | dminuoso: I don't need that here |
| 2022-02-28 13:43:46 +0100 | <carbolymer> | merijn: ekg, RTS summary |
| 2022-02-28 13:43:55 +0100 | <merijn> | hmm |
| 2022-02-28 13:44:15 +0100 | <merijn> | If you run with "+RTS -sstderr" what's the max residency it reports? |
| 2022-02-28 13:44:24 +0100 | <dminuoso> | carbolymer: It just seems notoriously unsafe for no good reason. :-) |
| 2022-02-28 13:44:32 +0100 | <dminuoso> | QSem or TSem are great alterantives |
| 2022-02-28 13:44:43 +0100 | <carbolymer> | merijn: https://bpa.st/QEFQ |
| 2022-02-28 13:44:57 +0100 | <carbolymer> | dminuoso: I agree ;-] |
| 2022-02-28 13:45:12 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:ee1e:2dd0:4c63:2ad) (Ping timeout: 250 seconds) |
| 2022-02-28 13:45:24 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-28 13:45:54 +0100 | ph88^ | (~ph88@2a02:8109:9e00:71d0:696b:f808:8753:ceba) |
| 2022-02-28 13:46:07 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:b6d3:a455:a8d2:4188) |
| 2022-02-28 13:46:13 +0100 | ph88^ | (~ph88@2a02:8109:9e00:71d0:696b:f808:8753:ceba) (Read error: Connection reset by peer) |
| 2022-02-28 13:46:18 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2022-02-28 13:47:26 +0100 | dsrt^ | (~dsrt@50-202-219-146-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-02-28 13:48:16 +0100 | <merijn> | carbolymer: ok, so that report 900MB max residency, so the 2GB is probably from GC |
| 2022-02-28 13:48:37 +0100 | <merijn> | Since the copy&compact collector uses 2xmax life data in space |
| 2022-02-28 13:49:08 +0100 | <merijn> | carbolymer: oh, hold on |
| 2022-02-28 13:49:12 +0100 | <carbolymer> | merijn: maybe, but the memory usage still grows during the execution of the program |
| 2022-02-28 13:49:20 +0100 | <merijn> | "Productivity 35.4% of total user" |
| 2022-02-28 13:49:26 +0100 | <merijn> | That's *atrocious* |
| 2022-02-28 13:49:46 +0100 | <carbolymer> | yeah, but all that program does is spawn a thread and sleep, 500000 times |
| 2022-02-28 13:49:56 +0100 | <merijn> | Then that's even worse |
| 2022-02-28 13:49:57 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-28 13:50:01 +0100 | <merijn> | Can I take a blind guess? |
| 2022-02-28 13:50:23 +0100 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2022-02-28 13:50:23 +0100 | <merijn> | Are you using the threaded backend and -N (i.e. parallelism equal to cores) |
| 2022-02-28 13:50:28 +0100 | <merijn> | ? |
| 2022-02-28 13:50:33 +0100 | <carbolymer> | yes |
| 2022-02-28 13:50:54 +0100 | <merijn> | And GHC 8.10 or something, probably? |
| 2022-02-28 13:51:16 +0100 | <merijn> | The threaded backend still uses parallel GC by default, which has atrocious performance |
| 2022-02-28 13:51:25 +0100 | <merijn> | Disable parallel GC and productivity should skyrocket |
| 2022-02-28 13:52:12 +0100 | <merijn> | Try rerunning with "+RTS -qg: |
| 2022-02-28 13:52:28 +0100 | <carbolymer> | yeah 8.10, latest LTS |
| 2022-02-28 13:52:28 +0100 | <merijn> | Well, "+RTS -qg -sstderr" |
| 2022-02-28 13:52:36 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 240 seconds) |
| 2022-02-28 13:52:37 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 240 seconds) |
| 2022-02-28 13:52:40 +0100 | <merijn> | And see what the productivity is then |
| 2022-02-28 13:53:22 +0100 | <carbolymer> | k, lemme try, and remove my hand-written concurrency primitives to prevent being laughet at further ;-] |
| 2022-02-28 13:53:52 +0100 | <merijn> | carbolymer: Productivity is "time not spend doing GC / total time", so 35% productivity means your program spends 65% of its time running GC |
| 2022-02-28 13:54:11 +0100 | <merijn> | Which it also reports above 233s of GC time out of 361s total runtime |
| 2022-02-28 13:58:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-02-28 13:58:27 +0100 | sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2022-02-28 13:58:37 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 14:01:32 +0100 | <carbolymer> | merijn: 94%, nice, didn't help with total memory usage though |
| 2022-02-28 14:01:57 +0100 | <carbolymer> | merijn: sequential gc is faster at the cost of longer pause times, do I remember it correctly? |
| 2022-02-28 14:02:42 +0100 | <geekosaur> | depeds on the ghc version; parallel gc got a lot of improvements in 9.2.1 |
| 2022-02-28 14:02:58 +0100 | <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) |
| 2022-02-28 14:03:39 +0100 | <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 |
| 2022-02-28 14:04:01 +0100 | <merijn> | carbolymer: "It Depends" |
| 2022-02-28 14:04:29 +0100 | <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 |
| 2022-02-28 14:04:52 +0100 | <merijn> | In practice, the extra locking/synchronisation often makes it slower for the average program |
| 2022-02-28 14:05:26 +0100 | <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 |
| 2022-02-28 14:06:00 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 14:07:05 +0100 | <carbolymer> | merijn: in my case it was around 20G, so it was unreasonable |
| 2022-02-28 14:07:23 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 14:09:02 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 2022-02-28 14:09:39 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds) |
| 2022-02-28 14:10:41 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-28 14:10:43 +0100 | <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 |
| 2022-02-28 14:10:49 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-02-28 14:11:09 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-28 14:11:13 +0100 | <carbolymer> | merijn: but the heap only explained 5MB out of 2GB |
| 2022-02-28 14:11:15 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-02-28 14:11:30 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-28 14:11:38 +0100 | <carbolymer> | merijn: I've used weak refs, and memory usage peaked at 20MB |
| 2022-02-28 14:11:49 +0100 | <carbolymer> | so holding of ThreadId was the issue |
| 2022-02-28 14:11:51 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 268 seconds) |
| 2022-02-28 14:12:06 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-02-28 14:12:33 +0100 | hueso_ | (~root@user/hueso) |
| 2022-02-28 14:12:54 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2022-02-28 14:15:37 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
| 2022-02-28 14:15:58 +0100 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 250 seconds) |
| 2022-02-28 14:16:07 +0100 | komikat | (~komikat@27.57.144.183) |
| 2022-02-28 14:20:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-02-28 14:22:28 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-02-28 14:22:47 +0100 | razetime | (~quassel@117.254.35.156) (Ping timeout: 256 seconds) |
| 2022-02-28 14:23:06 +0100 | razetime | (~quassel@117.254.35.156) |
| 2022-02-28 14:24:06 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 14:25:12 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 14:26:47 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 14:32:11 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-28 14:40:37 +0100 | <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. |
| 2022-02-28 14:44:35 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 14:44:37 +0100 | thevishy | (~Nishant@2405:201:f005:c007:7c10:43e8:a548:3fb5) (Ping timeout: 240 seconds) |
| 2022-02-28 14:45:08 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-28 14:45:12 +0100 | <merijn> | dminuoso: So...Ryan's talk at that C++ conference? :p |
| 2022-02-28 14:45:14 +0100 | thevishy | (~Nishant@2405:201:f005:c007:594f:51cf:fa81:524d) |
| 2022-02-28 14:45:39 +0100 | <dminuoso> | merijn: Mmm, what talk is that? |
| 2022-02-28 14:45:51 +0100 | <merijn> | https://www.youtube.com/watch?v=lC5UWG5N8oY |
| 2022-02-28 14:45:56 +0100 | <merijn> | The 2nd half |
| 2022-02-28 14:46:07 +0100 | <merijn> | first half is some haskell for C++ people intro |
| 2022-02-28 14:46:13 +0100 | <merijn> | It's an interesting keynote |
| 2022-02-28 14:46:36 +0100 | <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 |
| 2022-02-28 14:47:27 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 14:48:37 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-28 14:50:03 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-28 14:51:42 +0100 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
| 2022-02-28 14:51:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 14:53:00 +0100 | jespada | (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 2022-02-28 15:00:05 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
| 2022-02-28 15:00:30 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-02-28 15:01:15 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-28 15:03:42 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 15:03:58 +0100 | Guest52 | (~Guest52@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 15:05:36 +0100 | komikat | (~komikat@27.57.144.183) |
| 2022-02-28 15:06:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds) |
| 2022-02-28 15:06:17 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 15:09:49 +0100 | <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 |
| 2022-02-28 15:10:19 +0100 | nsyd | (~nsyd@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 15:11:12 +0100 | <merijn> | bahamas: lists can be nice for that too |
| 2022-02-28 15:11:53 +0100 | <merijn> | bahamas: Also: Parsec? |
| 2022-02-28 15:13:19 +0100 | boletales | (~boletales@p98076-ipoefx.ipoe.ocn.ne.jp) |
| 2022-02-28 15:14:55 +0100 | <bahamas> | merijn: I find lists a bit hard to grok when used in monadic context |
| 2022-02-28 15:15:12 +0100 | <bahamas> | I'll lookup parsec examples |
| 2022-02-28 15:15:24 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:b6d3:a455:a8d2:4188) (Ping timeout: 240 seconds) |
| 2022-02-28 15:16:13 +0100 | <geekosaur> | monadic lists are pretty mind-bending, yes. but they also definitely show the possibilities |
| 2022-02-28 15:16:19 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:dc3c:7e7f:c1d0:9383) |
| 2022-02-28 15:16:46 +0100 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-02-28 15:17:11 +0100 | <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 |
| 2022-02-28 15:17:37 +0100 | <geekosaur> | not that it'snecessarily IO, but it *feels* to me more IO-like |
| 2022-02-28 15:18:17 +0100 | <lechner> | Hi, when does 'ghc-pkg field' return multiple lines, please? |
| 2022-02-28 15:19:11 +0100 | AlexNoo_ | (~AlexNoo@178.34.163.8) |
| 2022-02-28 15:19:13 +0100 | jespada | (~jespada@185.69.145.16) |
| 2022-02-28 15:19:17 +0100 | <geekosaur> | something like "description" which can be multiple lines in the package |
| 2022-02-28 15:19:18 +0100 | <lechner> | 'ghc-pkg --global field' to be exact |
| 2022-02-28 15:20:57 +0100 | <geekosaur> | https://paste.tomsmeding.com/4ejhLo5Z |
| 2022-02-28 15:21:21 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 15:21:24 +0100 | AlexZenon | (~alzenon@94.233.240.108) (Ping timeout: 240 seconds) |
| 2022-02-28 15:22:01 +0100 | Alex_test | (~al_test@94.233.240.108) (Ping timeout: 256 seconds) |
| 2022-02-28 15:22:37 +0100 | AlexNoo | (~AlexNoo@94.233.240.108) (Ping timeout: 240 seconds) |
| 2022-02-28 15:22:49 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-28 15:24:45 +0100 | <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 |
| 2022-02-28 15:25:07 +0100 | nsyd | (~nsyd@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 15:25:07 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-28 15:25:48 +0100 | <lechner> | can it also return multiple fields, for example if more than one version ois available? |
| 2022-02-28 15:26:40 +0100 | Alex_test | (~al_test@178.34.163.8) |
| 2022-02-28 15:26:42 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) |
| 2022-02-28 15:26:54 +0100 | AlexZenon | (~alzenon@178.34.163.8) |
| 2022-02-28 15:26:54 +0100 | <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 |
| 2022-02-28 15:26:58 +0100 | <geekosaur> | *went |
| 2022-02-28 15:27:23 +0100 | InternetCitizen | (~fuzzypixe@ensi-libre-service-019.ensimag.fr) |
| 2022-02-28 15:27:42 +0100 | <lechner> | can it it return multiple fields, though? |
| 2022-02-28 15:27:52 +0100 | <geekosaur> | and specifically why both cabal v2+ and stack hide packages unless specifically exposed in stack.yaml / cabal file |
| 2022-02-28 15:28:02 +0100 | <geekosaur> | no, each field is unique |
| 2022-02-28 15:28:13 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 240 seconds) |
| 2022-02-28 15:28:44 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-28 15:28:46 +0100 | <geekosaur> | even if you have multiple stanzas in a cabal file: executables aren't registered ina package db, and neither are internal libraries |
| 2022-02-28 15:30:12 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-28 15:30:40 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 15:30:58 +0100 | <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 |
| 2022-02-28 15:31:00 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Ping timeout: 240 seconds) |
| 2022-02-28 15:31:05 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-28 15:31:07 +0100 | <lechner> | head -n 1 |
| 2022-02-28 15:31:33 +0100 | AlexNoo_ | AlexNoo |
| 2022-02-28 15:31:47 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 15:32:21 +0100 | InternetCitizen | (~fuzzypixe@ensi-libre-service-019.ensimag.fr) (Ping timeout: 272 seconds) |
| 2022-02-28 15:32:55 +0100 | <geekosaur> | not clear. and may be buggy |
| 2022-02-28 15:32:56 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:642a:7bc9:d2b2:1218) |
| 2022-02-28 15:33:04 +0100 | <lechner> | i am fixing |
| 2022-02-28 15:33:29 +0100 | <geekosaur> | the case where there are multiple internal libraies would I think lead to multiple hs-libraries, which might span multiple lines |
| 2022-02-28 15:33:42 +0100 | <geekosaur> | just as an example which I spotted in the script |
| 2022-02-28 15:33:54 +0100 | waleee | (~waleee@h-178-174-193-77.NA.cust.bahnhof.se) |
| 2022-02-28 15:34:25 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 15:34:44 +0100 | <geekosaur> | er, to be clear, not multiple hs-libraries fields, but more than one library listed in the hs-libraries field |
| 2022-02-28 15:35:21 +0100 | <geekosaur> | that's still pretty rare so probably nobody would have noticed yet |
| 2022-02-28 15:35:30 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
| 2022-02-28 15:36:17 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 15:36:25 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb4d-184.dhcp.inet.fi) |
| 2022-02-28 15:36:27 +0100 | <lechner> | i am more concerned about the field library-dirs the script acnticipates multiple values even after truncating via 'head' |
| 2022-02-28 15:36:38 +0100 | <lechner> | sorry poor speller |
| 2022-02-28 15:37:05 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 15:37:59 +0100 | <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 |
| 2022-02-28 15:38:33 +0100 | <lechner> | i tried to test locally but only ever get one line |
| 2022-02-28 15:39:13 +0100 | <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? |
| 2022-02-28 15:39:36 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:642a:7bc9:d2b2:1218) (Ping timeout: 250 seconds) |
| 2022-02-28 15:40:02 +0100 | <geekosaur> | having played a bit with both cabal files andpackage db entries, it'snot an assumption I would trust |
| 2022-02-28 15:40:17 +0100 | <lechner> | that info mey be enough. debian's tooling only looks at the global db |
| 2022-02-28 15:40:41 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-02-28 15:41:01 +0100 | <geekosaur> | with that limited list, it's *probably* safe |
| 2022-02-28 15:41:05 +0100 | <lechner> | what is the meaning of library-dirs please? |
| 2022-02-28 15:41:18 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 15:41:27 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-28 15:41:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-28 15:41:40 +0100 | <geekosaur> | entries in that become -L options during linking |
| 2022-02-28 15:41:53 +0100 | <tomsmeding> | geekosaur: wasn't me, was someone else |
| 2022-02-28 15:42:06 +0100 | <geekosaur> | oh, sorry |
| 2022-02-28 15:42:36 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 15:42:36 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 15:42:45 +0100 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-02-28 15:43:08 +0100 | ph88 | (~ph88@2a02:8109:9e00:71d0:6dce:352d:13f7:bf5c) |
| 2022-02-28 15:44:01 +0100 | agumonke` | (~user@88.163.231.79) |
| 2022-02-28 15:44:34 +0100 | <tomsmeding> | geekosaur: was dsal https://ircbrowse.tomsmeding.com/day/lchaskell/2021/11/26?id=292436#trid292436 |
| 2022-02-28 15:44:47 +0100 | <tomsmeding> | but I think they threw away their dump |
| 2022-02-28 15:46:12 +0100 | <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 |
| 2022-02-28 15:46:29 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-28 15:46:32 +0100 | <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? |
| 2022-02-28 15:46:43 +0100 | <geekosaur> | may still be used as an-L option, largely because of macos |
| 2022-02-28 15:46:44 +0100 | <turlando> | (thinking of it mostly for binary formats) |
| 2022-02-28 15:47:11 +0100 | <geekosaur> | there are a couple, yes |
| 2022-02-28 15:47:21 +0100 | <geekosaur> | I forget the proper name for it |
| 2022-02-28 15:48:45 +0100 | <lechner> | geekosaur tomsmeding: thanks! |
| 2022-02-28 15:51:16 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 15:51:19 +0100 | <geekosaur> | apparently that is the term. but it gets no hits on hackage, whereas I recall something like 3 such packages on hackage |
| 2022-02-28 15:51:40 +0100 | <geekosaur> | roundtripping is the other common term used |
| 2022-02-28 15:52:24 +0100 | <turlando> | Thanks, I didn't know about roundtripping, will google harder |
| 2022-02-28 15:53:02 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-28 15:54:25 +0100 | <tomsmeding> | there was a thread on haskell-cafe a while back started by safinaskar asking about bidirectional parsing libraries |
| 2022-02-28 15:54:48 +0100 | <tomsmeding> | https://mail.haskell.org/pipermail/haskell-cafe/2021-January/133275.html |
| 2022-02-28 15:54:55 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-28 15:55:29 +0100 | agumonke` | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-02-28 15:55:57 +0100 | <dminuoso> | merijn: Ill have to take a look at it. The talk is a bit long to do it now, perhaps later today |
| 2022-02-28 15:56:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 15:56:24 +0100 | <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 |
| 2022-02-28 15:56:27 +0100 | <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. |
| 2022-02-28 15:56:49 +0100 | <dminuoso> | So instead, I use modifyIORef in phase 1, and then after phase 1 I unsafePerformIO my way out of this |
| 2022-02-28 15:56:58 +0100 | <dminuoso> | It will probably bite me back sooner or later *shrugs* |
| 2022-02-28 15:57:29 +0100 | <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 |
| 2022-02-28 15:58:23 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-02-28 15:58:47 +0100 | <turlando> | Thanks tomsmeding, that's interesting |
| 2022-02-28 15:58:56 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-02-28 15:59:31 +0100 | <turlando> | janus: right now my primary concern is just to avoid writing a lot of code actually (lol) |
| 2022-02-28 15:59:32 +0100 | <dminuoso> | And now Im questioning my sanity for writing `__unsafeIORef :: Getter (IO a) a` |
| 2022-02-28 16:00:02 +0100 | <janus> | turlando: well look at the autodocodec examples, imho they cut your code size in half compared to pure aeson |
| 2022-02-28 16:00:21 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 245 seconds) |
| 2022-02-28 16:01:01 +0100 | <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 |
| 2022-02-28 16:01:43 +0100 | <janus> | at least it is for our internal H-E-B library that does the same thing... |
| 2022-02-28 16:01:50 +0100 | <turlando> | janus: will definitely check it, my primary requirements is playing nice with binary data (so ByteString I guess?) |
| 2022-02-28 16:02:32 +0100 | <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 |
| 2022-02-28 16:03:20 +0100 | <turlando> | Yep, thank you a lot again, gonna rest a bit and read the examples later |
| 2022-02-28 16:07:55 +0100 | shapr` | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-28 16:09:53 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-02-28 16:13:45 +0100 | Psybur | (~Psybur@mobile-166-170-32-247.mycingular.net) |
| 2022-02-28 16:14:27 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 16:16:32 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-02-28 16:16:35 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-02-28 16:17:33 +0100 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) (Quit: leaving) |
| 2022-02-28 16:19:26 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 16:20:33 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
| 2022-02-28 16:20:42 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 16:22:20 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-28 16:23:39 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-02-28 16:27:10 +0100 | agumonke` | (~user@88.163.231.79) |
| 2022-02-28 16:28:50 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-28 16:29:06 +0100 | Vajb | (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
| 2022-02-28 16:29:47 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 16:30:13 +0100 | yauhsien_ | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 16:35:33 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-28 16:36:30 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-02-28 16:38:36 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-28 16:41:36 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-28 16:41:59 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 16:44:44 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-02-28 16:47:11 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-28 16:47:51 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2022-02-28 16:47:54 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 16:51:20 +0100 | Vajb | (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
| 2022-02-28 16:51:45 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-28 16:52:04 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 16:53:17 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-02-28 16:55:05 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-28 16:55:36 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 16:55:47 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 256 seconds) |
| 2022-02-28 16:58:19 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:00:15 +0100 | cherryblossom[m] | (~cherryblo@2001:470:69fc:105::b789) (Quit: You have been kicked for being idle) |
| 2022-02-28 17:04:01 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 17:04:07 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:05:15 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-28 17:09:10 +0100 | razetime | (~quassel@117.254.35.156) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-02-28 17:09:27 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
| 2022-02-28 17:11:09 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 17:13:16 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 245 seconds) |
| 2022-02-28 17:13:20 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:13:51 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b437:a10d:f085:84a8) (Quit: WeeChat 2.8) |
| 2022-02-28 17:14:13 +0100 | shailangsa | (~shailangs@host86-185-102-18.range86-185.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-02-28 17:14:48 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 17:15:26 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 2022-02-28 17:16:51 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 268 seconds) |
| 2022-02-28 17:17:35 +0100 | feliix42 | (~felix@gibbs.uberspace.de) |
| 2022-02-28 17:19:04 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-28 17:19:19 +0100 | feliix42_ | (~felix@gibbs.uberspace.de) (Ping timeout: 268 seconds) |
| 2022-02-28 17:20:20 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:21:17 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2022-02-28 17:21:37 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-28 17:23:47 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-02-28 17:23:47 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) |
| 2022-02-28 17:25:54 +0100 | Techcable | (~Techcable@168.235.93.147) |
| 2022-02-28 17:26:08 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 17:26:10 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:28:07 +0100 | joo-_ | (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) |
| 2022-02-28 17:28:07 +0100 | joo-_ | (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-02-28 17:28:07 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-02-28 17:28:41 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-02-28 17:28:50 +0100 | thevishy | (~Nishant@2405:201:f005:c007:594f:51cf:fa81:524d) (Quit: Leaving) |
| 2022-02-28 17:31:09 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-02-28 17:33:18 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 17:33:36 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-28 17:34:36 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-28 17:35:05 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-28 17:35:25 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:35:28 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-02-28 17:36:02 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-28 17:37:07 +0100 | justAstache | (~justache@user/justache) (Ping timeout: 272 seconds) |
| 2022-02-28 17:37:08 +0100 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host) |
| 2022-02-28 17:37:08 +0100 | zfnmxt | (~zfnmxtzfn@user/zfnmxt) |
| 2022-02-28 17:39:25 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-28 17:40:32 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-28 17:40:37 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 17:40:39 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:41:33 +0100 | justAstache | (~justache@user/justache) |
| 2022-02-28 17:41:44 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-02-28 17:41:50 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-02-28 17:44:01 +0100 | komikat | (~komikat@27.57.144.183) |
| 2022-02-28 17:44:06 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2022-02-28 17:44:15 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-28 17:44:32 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-28 17:46:35 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-28 17:46:36 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-02-28 17:47:17 +0100 | danso | (~danso@danso.ca) () |
| 2022-02-28 17:51:10 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 17:51:34 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 17:51:53 +0100 | AlexZenon | (~alzenon@178.34.163.8) (Ping timeout: 256 seconds) |
| 2022-02-28 17:51:53 +0100 | Alex_test | (~al_test@178.34.163.8) (Ping timeout: 256 seconds) |
| 2022-02-28 17:53:30 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:53:41 +0100 | shailangsa_ | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) |
| 2022-02-28 17:55:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-28 17:55:58 +0100 | AlexZenon | (~alzenon@178.34.163.8) |
| 2022-02-28 17:55:59 +0100 | Alex_test | (~al_test@178.34.163.8) |
| 2022-02-28 17:56:36 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-28 17:56:58 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 17:59:12 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 17:59:29 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 18:01:07 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-28 18:04:04 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 18:04:25 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 18:06:05 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 18:07:27 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 18:11:27 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 18:12:30 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-28 18:12:33 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 18:15:02 +0100 | agumonke` | (~user@88.163.231.79) (Read error: Connection reset by peer) |
| 2022-02-28 18:15:56 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-28 18:16:29 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 18:17:21 +0100 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-02-28 18:18:03 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Read error: Connection reset by peer) |
| 2022-02-28 18:18:43 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-28 18:18:46 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) |
| 2022-02-28 18:24:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 18:26:19 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) () |
| 2022-02-28 18:28:02 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 18:28:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-28 18:31:42 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 18:32:30 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:7bc1:a04c:2ba6:98e5) |
| 2022-02-28 18:32:37 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-28 18:33:21 +0100 | nsyd | (~psy@2600:380:532a:677e:e080:33ec:6e91:3fb3) (Quit: IM OUT) |
| 2022-02-28 18:38:35 +0100 | shapr` | shapr |
| 2022-02-28 18:39:09 +0100 | emf | (~emf@2620:10d:c090:400::5:d31) |
| 2022-02-28 18:43:36 +0100 | emf | (~emf@2620:10d:c090:400::5:d31) (Client Quit) |
| 2022-02-28 18:45:45 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-02-28 18:47:37 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-28 18:49:12 +0100 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) |
| 2022-02-28 18:49:49 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 240 seconds) |
| 2022-02-28 18:49:54 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-28 18:51:04 +0100 | ph88 | (~ph88@2a02:8109:9e00:71d0:6dce:352d:13f7:bf5c) (Quit: Leaving) |
| 2022-02-28 18:51:10 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-28 18:51:15 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-28 18:51:24 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-02-28 18:52:52 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-02-28 18:53:09 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
| 2022-02-28 18:54:11 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-02-28 18:56:49 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 2022-02-28 18:57:46 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 18:57:49 +0100 | alp | (~alp@user/alp) (Ping timeout: 250 seconds) |
| 2022-02-28 18:58:40 +0100 | mbuf | (~Shakthi@122.174.215.136) (Quit: Leaving) |
| 2022-02-28 18:58:52 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-02-28 19:02:23 +0100 | yuvi | (~uv125@192.54.96.185) |
| 2022-02-28 19:02:26 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 245 seconds) |
| 2022-02-28 19:02:33 +0100 | yuvi | (~uv125@192.54.96.185) (Client Quit) |
| 2022-02-28 19:02:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Read error: Connection reset by peer) |
| 2022-02-28 19:03:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 19:03:17 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:06:42 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 19:07:24 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds) |
| 2022-02-28 19:07:26 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2022-02-28 19:07:44 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-02-28 19:07:49 +0100 | Guest52 | (~Guest52@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 19:08:07 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 2022-02-28 19:08:09 +0100 | econo | (uid147250@user/econo) |
| 2022-02-28 19:08:24 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-02-28 19:08:33 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-02-28 19:08:49 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:13:32 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 2022-02-28 19:14:20 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:19:03 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 250 seconds) |
| 2022-02-28 19:19:16 +0100 | analognoise | (~analognoi@185.229.59.133) |
| 2022-02-28 19:19:51 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:20:24 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-28 19:21:09 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-02-28 19:24:32 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 2022-02-28 19:25:20 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:26:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-02-28 19:26:41 +0100 | olle | (~olle@i5E866D89.versanet.de) (Ping timeout: 272 seconds) |
| 2022-02-28 19:29:55 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 2022-02-28 19:30:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 19:30:52 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:34:43 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-02-28 19:35:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 19:35:24 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 2022-02-28 19:36:10 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-02-28 19:36:23 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:39:06 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2022-02-28 19:40:43 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 19:40:46 +0100 | Topsi | (~Tobias@dyndsl-091-249-083-198.ewe-ip-backbone.de) |
| 2022-02-28 19:41:15 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 2022-02-28 19:41:53 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:42:05 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 19:44:13 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-28 19:46:41 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
| 2022-02-28 19:47:25 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 19:47:34 +0100 | deadmarshal | (~deadmarsh@95.38.113.215) |
| 2022-02-28 19:47:51 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2022-02-28 19:49:29 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 19:49:37 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-02-28 19:51:57 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 2022-02-28 19:52:02 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-02-28 19:53:55 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-28 19:54:23 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-28 19:55:41 +0100 | stef204 | (~stef204@user/stef204) |
| 2022-02-28 19:58:27 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-28 19:59:09 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2022-02-28 19:59:47 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-02-28 20:00:12 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-02-28 20:00:17 +0100 | deadmarshal | (~deadmarsh@95.38.113.215) (Ping timeout: 240 seconds) |
| 2022-02-28 20:04:11 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 20:06:27 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-28 20:06:52 +0100 | emf | (~emf@2620:10d:c090:400::5:b0af) |
| 2022-02-28 20:09:09 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-28 20:10:26 +0100 | fendor_ | (~fendor@77.119.204.89.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-02-28 20:10:42 +0100 | jespada | (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 2022-02-28 20:11:26 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 20:11:27 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 20:11:47 +0100 | <hololeap> | anyone know of a library that can _remove_ ansi control/color codes? |
| 2022-02-28 20:13:35 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-02-28 20:14:11 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 272 seconds) |
| 2022-02-28 20:14:49 +0100 | <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 |
| 2022-02-28 20:16:06 +0100 | <geekosaur> | there are a few others, notably \e].*\a for status lines and such |
| 2022-02-28 20:17:06 +0100 | <geekosaur> | (\e is escape, \a is ctrl+g) |
| 2022-02-28 20:17:18 +0100 | <tomsmeding> | if I'm not mistaken, the format is \e[^\x04-\x7e]*[\x04-\x7e] |
| 2022-02-28 20:17:32 +0100 | <tomsmeding> | judging from some code I wrote long ago |
| 2022-02-28 20:17:49 +0100 | <tomsmeding> | um, correction, \e\[[^\x04-\x7e]*[\x04-\x7e] |
| 2022-02-28 20:18:09 +0100 | <tomsmeding> | um, correction, \e\[[^\x40-\x7e]*[\x40-\x7e] |
| 2022-02-28 20:18:14 +0100 | <tomsmeding> | apparently I'm not really awake anymore |
| 2022-02-28 20:18:34 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-02-28 20:18:37 +0100 | <geekosaur> | was gonna say there |
| 2022-02-28 20:18:45 +0100 | <tomsmeding> | "that's a pretty wide range"? |
| 2022-02-28 20:18:58 +0100 | <tomsmeding> | in particular note that digits are <0x40 |
| 2022-02-28 20:19:03 +0100 | <sm> | https://hackage.haskell.org/package/hledger-lib-1.24.1/docs/Hledger-Utils-String.html#v:stripAnsi, hololeap |
| 2022-02-28 20:19:41 +0100 | <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 |
| 2022-02-28 20:19:54 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-28 20:20:15 +0100 | <tomsmeding> | sm: doesn't catch \e[?1049h, which is 'tput smcup' (alternate screen) |
| 2022-02-28 20:20:56 +0100 | <sm> | noted, thanks |
| 2022-02-28 20:22:51 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-28 20:23:21 +0100 | <geekosaur> | looks like ansi doesn't bless the single-byte CSI anyway |
| 2022-02-28 20:25:11 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2022-02-28 20:25:25 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-02-28 20:25:57 +0100 | <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] |
| 2022-02-28 20:26:20 +0100 | <tomsmeding> | (note the byte notation they use: n/m for n*16+m) |
| 2022-02-28 20:26:34 +0100 | <tomsmeding> | (hexadecimal notation is clearly an improvement) |
| 2022-02-28 20:29:08 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-02-28 20:30:01 +0100 | <geekosaur> | yeh, I found a DEC reference that did the same thing |
| 2022-02-28 20:30:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-02-28 20:31:28 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-28 20:32:12 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-28 20:35:10 +0100 | haveo | (~haveo@sl35.iuwt.fr) |
| 2022-02-28 20:35:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 20:35:48 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 20:35:58 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2022-02-28 20:37:47 +0100 | haveo | (~haveo@sl35.iuwt.fr) (Client Quit) |
| 2022-02-28 20:37:57 +0100 | haveo | (~haveo@sl35.iuwt.fr) |
| 2022-02-28 20:39:48 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-02-28 20:40:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-02-28 20:44:18 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-02-28 20:45:38 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 20:46:03 +0100 | Topsi | (~Tobias@dyndsl-091-249-083-198.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-02-28 20:46:11 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
| 2022-02-28 20:46:19 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Remote host closed the connection) |
| 2022-02-28 20:49:01 +0100 | cjb | (~cjb@user/cjb) |
| 2022-02-28 20:49:37 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-28 20:50:11 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-02-28 20:50:13 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-02-28 20:50:56 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-28 20:51:19 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 2022-02-28 20:51:33 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-02-28 20:52:28 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-02-28 20:53:41 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-02-28 20:54:20 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-02-28 20:54:25 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-28 20:54:55 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2022-02-28 20:55:27 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 21:00:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 21:01:59 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-02-28 21:02:41 +0100 | stef204 | (~stef204@user/stef204) |
| 2022-02-28 21:02:43 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-28 21:03:17 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-28 21:05:25 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-28 21:05:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 21:05:55 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 21:09:57 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-02-28 21:10:13 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 21:10:17 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-02-28 21:10:35 +0100 | briandaed | (~root@109.95.142.93.r.toneticgroup.pl) |
| 2022-02-28 21:16:03 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 21:17:42 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-28 21:20:41 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-02-28 21:24:58 +0100 | AlexZenon_2 | (~alzenon@178.34.163.8) |
| 2022-02-28 21:26:39 +0100 | AlexZenon | (~alzenon@178.34.163.8) (Ping timeout: 256 seconds) |
| 2022-02-28 21:27:28 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
| 2022-02-28 21:27:33 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-28 21:28:10 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 21:31:49 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
| 2022-02-28 21:33:14 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 2022-02-28 21:33:25 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-02-28 21:36:06 +0100 | deadmarshal | (~deadmarsh@95.38.229.146) |
| 2022-02-28 21:37:04 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 21:38:33 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:9356:9f08:f922:e54b) (Remote host closed the connection) |
| 2022-02-28 21:38:52 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-28 21:39:42 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-28 21:40:50 +0100 | deadmarshal | (~deadmarsh@95.38.229.146) (Ping timeout: 260 seconds) |
| 2022-02-28 21:42:22 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-02-28 21:47:59 +0100 | AlexZenon_2 | AlexZenon |
| 2022-02-28 21:50:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 21:50:10 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 21:50:30 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-28 21:50:32 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb4d-184.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2022-02-28 21:53:43 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 21:54:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-02-28 21:55:31 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-02-28 21:56:20 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-02-28 21:56:47 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-02-28 21:57:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 21:57:37 +0100 | sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
| 2022-02-28 21:58:35 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-02-28 22:00:46 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-02-28 22:01:13 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
| 2022-02-28 22:04:31 +0100 | raym | (~raym@user/raym) (Read error: Connection reset by peer) |
| 2022-02-28 22:06:02 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 260 seconds) |
| 2022-02-28 22:06:04 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 22:06:10 +0100 | pavonia | (~user@user/siracusa) |
| 2022-02-28 22:06:30 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-02-28 22:07:29 +0100 | jespada | (~jespada@185.69.145.16) |
| 2022-02-28 22:09:01 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-28 22:09:41 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-02-28 22:10:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 22:10:35 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 22:10:48 +0100 | raym | (~raym@user/raym) |
| 2022-02-28 22:12:33 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-28 22:14:55 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-28 22:14:58 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-28 22:15:42 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 22:16:19 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 22:18:53 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 22:19:17 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-28 22:20:08 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:7bc1:a04c:2ba6:98e5) (Quit: bye) |
| 2022-02-28 22:20:29 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 22:20:58 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-02-28 22:22:13 +0100 | emad | (~emad@102.45.236.212) |
| 2022-02-28 22:24:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-02-28 22:24:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-28 22:24:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Client Quit) |
| 2022-02-28 22:25:06 +0100 | emad | (~emad@102.45.236.212) (Client Quit) |
| 2022-02-28 22:25:19 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-28 22:26:09 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 22:26:22 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2022-02-28 22:28:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 22:30:41 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 22:31:24 +0100 | briandaed | (~root@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-02-28 22:32:03 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 22:33:01 +0100 | kuribas | (~user@ptr-25vy0i7j6j7p9e7j9ij.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-02-28 22:33:33 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-02-28 22:34:17 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-02-28 22:34:35 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-02-28 22:34:56 +0100 | lumberjackok | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-02-28 22:37:59 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-28 22:38:00 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 22:40:29 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
| 2022-02-28 22:40:56 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 22:42:53 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-28 22:42:58 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
| 2022-02-28 22:43:35 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-28 22:44:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 22:44:19 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-02-28 22:44:42 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-28 22:46:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-02-28 22:46:40 +0100 | jespada | (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 2022-02-28 22:46:52 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-28 22:46:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-28 22:47:15 +0100 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 2022-02-28 22:48:04 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 272 seconds) |
| 2022-02-28 22:48:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 22:48:52 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 22:48:55 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 22:49:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 22:51:34 +0100 | lumberjackok | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-28 22:51:58 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-02-28 22:53:38 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-28 22:54:13 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 22:54:15 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 22:54:25 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-02-28 23:01:20 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 23:02:16 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-02-28 23:03:34 +0100 | jespada | (~jespada@185.69.145.16) |
| 2022-02-28 23:03:53 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-28 23:05:44 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 23:07:37 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-02-28 23:09:08 +0100 | tdcly^ | (~tdcly@12.163.216.98) |
| 2022-02-28 23:09:24 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-28 23:09:42 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-28 23:10:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 23:10:08 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 23:11:14 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-02-28 23:14:10 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2022-02-28 23:14:36 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-02-28 23:14:41 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-02-28 23:14:53 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 23:15:18 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-28 23:16:37 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-28 23:18:56 +0100 | ensyde | (~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) |
| 2022-02-28 23:19:57 +0100 | ensyde | (~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) (Client Quit) |
| 2022-02-28 23:20:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 23:20:45 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-28 23:21:04 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-28 23:23:05 +0100 | ensyde | (~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) |
| 2022-02-28 23:23:24 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-28 23:25:16 +0100 | lumberjackok | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-02-28 23:25:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 23:27:13 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 23:27:28 +0100 | jespada | (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
| 2022-02-28 23:27:39 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-02-28 23:30:17 +0100 | <monochrom> | Interesting, Dijkstra noticed that associativity is equivalent to stating that left sections and right sections commute, i.e., (x *) . (* y) = (* y) . (x *) |
| 2022-02-28 23:30:43 +0100 | <monochrom> | https://www.cs.utexas.edu/users/EWD/ewd11xx/EWD1142.PDF or https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1142.html |
| 2022-02-28 23:32:36 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 23:36:50 +0100 | wroathe | (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) |
| 2022-02-28 23:36:50 +0100 | wroathe | (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-02-28 23:36:50 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-28 23:37:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 23:37:37 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 23:37:58 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:dc3c:7e7f:c1d0:9383) (Ping timeout: 260 seconds) |
| 2022-02-28 23:38:17 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 23:38:34 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:42ed:edff:b0c7:1532) |
| 2022-02-28 23:40:17 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 23:40:33 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 23:41:14 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-28 23:41:51 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 23:41:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-02-28 23:42:33 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-02-28 23:44:40 +0100 | michalz | (~michalz@185.246.204.90) (Remote host closed the connection) |
| 2022-02-28 23:47:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 23:48:11 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-28 23:49:35 +0100 | <lechner> | Hi, how do I locate this line on my Debian 11 sythem, please? libraries/Cabal/Cabal/Distribution/Simple/BuildTarget.hs:245 |
| 2022-02-28 23:49:42 +0100 | <lechner> | system |
| 2022-02-28 23:50:22 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-02-28 23:51:13 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-28 23:51:14 +0100 | <geekosaur> | uh |
| 2022-02-28 23:51:26 +0100 | <geekosaur> | are you building the Cabal library from source? |
| 2022-02-28 23:51:32 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 2022-02-28 23:51:52 +0100 | <lechner> | no, i am fixing the debhelpel build system |
| 2022-02-28 23:51:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-02-28 23:51:57 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:42ed:edff:b0c7:1532) (Ping timeout: 240 seconds) |
| 2022-02-28 23:51:58 +0100 | <lechner> | debhelper |
| 2022-02-28 23:52:21 +0100 | <geekosaur> | you won't have that unless building Cabal from source. what pointed you to that line? |
| 2022-02-28 23:52:22 +0100 | <lechner> | it uses a Setup.hs with Distribution.Simple |
| 2022-02-28 23:52:45 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:497a:5e58:ec47:2e84) |
| 2022-02-28 23:53:07 +0100 | <lechner> | this error http://paste.debian.net/1232573/ |
| 2022-02-28 23:53:28 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-02-28 23:53:44 +0100 | <lechner> | the buil system works but my invocation (or cwd) is wrong |
| 2022-02-28 23:53:44 +0100 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 252 seconds) |
| 2022-02-28 23:55:01 +0100 | <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/ |
| 2022-02-28 23:57:15 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-02-28 23:57:51 +0100 | <geekosaur> | my poking says line 245 is a `die'` due to an unrecognized build target? |
| 2022-02-28 23:57:54 +0100 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-02-28 23:59:26 +0100 | <lechner> | yeah |
| 2022-02-28 23:59:46 +0100 | <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 |
