2023/07/03

2023-07-03 00:00:07 +0200 <chromoblob> how likely is that this patch will be accepted
2023-07-03 00:00:10 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-07-03 00:02:59 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-03 00:03:00 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-03 00:03:00 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-03 00:03:28 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-07-03 00:05:17 +0200phma(phma@2001:5b0:211f:cfc8:7811:e29d:8e4:daa2) (Read error: Connection reset by peer)
2023-07-03 00:10:14 +0200j4cc3b(~jeffreybe@2601:98a:4200:4515:bc01:8d38:6200:7aef) (Ping timeout: 246 seconds)
2023-07-03 00:13:13 +0200phma(phma@2001:5b0:211f:e0b8:9211:3daf:2aff:af1e)
2023-07-03 00:17:39 +0200dobblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-03 00:17:39 +0200dobblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-03 00:17:39 +0200dobblego(~dibblego@haskell/developer/dibblego)
2023-07-03 00:17:40 +0200dibblego(~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
2023-07-03 00:17:59 +0200dobblegodibblego
2023-07-03 00:27:38 +0200 <Inst> also, ramblings:
2023-07-03 00:27:48 +0200 <Inst> "We really need a common widget language that multiple GUI and web frameworks can use"
2023-07-03 00:28:09 +0200 <Inst> TBH, we sort of already have that, don't we? HTML to an extent
2023-07-03 00:30:17 +0200 <monochrom> We have that, and DOM, and Guile, and something from Windows, and something from Mac.
2023-07-03 00:30:41 +0200 <monochrom> Or rather, s/We have/There are/
2023-07-03 00:31:14 +0200acidjnk(~acidjnk@p200300d6e7072f17393f0c042d41b426.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-07-03 00:31:14 +0200dibblego(~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
2023-07-03 00:31:33 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-03 00:31:33 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-03 00:31:33 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-03 00:33:15 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-03 00:34:01 +0200michalz(~michalz@185.246.207.200) (Remote host closed the connection)
2023-07-03 00:38:40 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-07-03 00:44:10 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-03 00:44:10 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-03 00:44:10 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-03 00:48:25 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-07-03 00:53:35 +0200ld(~ld@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b)
2023-07-03 00:53:45 +0200ldazr4e1
2023-07-03 00:54:14 +0200acidjnk(~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de)
2023-07-03 00:55:24 +0200azr4e1(~ld@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Client Quit)
2023-07-03 00:56:43 +0200ld(~ld@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b)
2023-07-03 00:56:56 +0200ldazr4e1
2023-07-03 00:59:14 +0200azr4e1(~ld@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Client Quit)
2023-07-03 00:59:39 +0200azr4e1(~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b)
2023-07-03 01:01:48 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 01:06:20 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Read error: Connection reset by peer)
2023-07-03 01:06:54 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-07-03 01:07:20 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-03 01:07:41 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-07-03 01:11:08 +0200shiraeeshi(~shiraeesh@46.42.244.46) (Ping timeout: 246 seconds)
2023-07-03 01:12:11 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-07-03 01:13:21 +0200shiraeeshi(~shiraeesh@46.42.244.46)
2023-07-03 01:18:57 +0200smth-42(~smth-42@46.42.244.46)
2023-07-03 01:20:13 +0200smth-42(~smth-42@46.42.244.46) ()
2023-07-03 01:20:14 +0200acidjnk(~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-07-03 01:22:27 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-03 01:28:48 +0200 <EvanR> Inst, there's too many GUI libraries. Someone should make yet another one to unify them all. Best part, you can only use it from haskell
2023-07-03 01:33:45 +0200 <monochrom> There are too many humans...
2023-07-03 01:35:18 +0200smth-42(~smth-42@46.42.244.46)
2023-07-03 01:38:48 +0200 <smth-42> what do you think browsers should add to the standard dom implementation?
2023-07-03 01:39:34 +0200 <monochrom> Why is that relevant to this channel?
2023-07-03 01:39:48 +0200 <smth-42> something like immutable API for DOM, make working with immutable state easier
2023-07-03 01:39:51 +0200 <int-e> smth-42: they should add less
2023-07-03 01:39:55 +0200 <int-e> :P
2023-07-03 01:40:51 +0200mauke_(~mauke@user/mauke)
2023-07-03 01:41:04 +0200 <smth-42> it's relevant
2023-07-03 01:41:33 +0200 <smth-42> I assure you
2023-07-03 01:41:40 +0200dispater-(~dispater@81.78.253.214) (Remote host closed the connection)
2023-07-03 01:41:41 +0200orcus-(~orcus@81.78.253.214) (Remote host closed the connection)
2023-07-03 01:41:45 +0200 <smth-42> :P
2023-07-03 01:42:50 +0200mauke(~mauke@user/mauke) (Ping timeout: 260 seconds)
2023-07-03 01:42:50 +0200mauke_mauke
2023-07-03 01:43:34 +0200 <smth-42> right now we have such functionality implemented in libraries, but it would be easier to have the functionality built-in into the language
2023-07-03 01:44:31 +0200 <EvanR> GUI built into the language works great. Look at Java
2023-07-03 01:45:11 +0200 <monochrom> Every fad wants itself to be built into languages, yes.
2023-07-03 01:47:15 +0200 <smth-42> with browsers, we're in a situation when we have gui integrated into the language
2023-07-03 01:48:02 +0200 <EvanR> isnt that more language integrated into the gui xD
2023-07-03 01:48:04 +0200 <monochrom> Since browsers' "the language" is not Haskell, this is off-topic.
2023-07-03 01:48:05 +0200 <smth-42> but the api pushes you in the direction of mutability,
2023-07-03 01:48:34 +0200mmhat(~mmh@p200300f1c722e493ee086bfffe095315.dip0.t-ipconnect.de)
2023-07-03 01:49:19 +0200 <smth-42> ok, I got a little confused about what is integrated into what
2023-07-03 01:50:30 +0200 <smth-42> I'm talking about bringing functional programming into browsers, I think that's relevant
2023-07-03 01:52:29 +0200Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Ping timeout: 258 seconds)
2023-07-03 01:52:48 +0200Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-07-03 01:53:03 +0200 <smth-42> one the one hand, it's super hard for browsers to agree on a standard
2023-07-03 01:53:05 +0200 <EvanR> we have that, ghcjs
2023-07-03 01:53:43 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-07-03 01:53:45 +0200 <smth-42> but on the other hand, they moved to JS6 somehow
2023-07-03 01:54:32 +0200azr4e1(~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Ping timeout: 240 seconds)
2023-07-03 01:55:03 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net) (Client Quit)
2023-07-03 01:55:07 +0200 <smth-42> yes, but wouldn't it be nice to have immutable API to DOM built-in into the brwser?
2023-07-03 01:55:23 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-07-03 01:59:23 +0200 <probie> It's pretty easy for all browsers to agree on a standard these days, since at this point in time there's effectively only two - firefox and all the chromium based ones. You only need to get google and mozilla to agree
2023-07-03 01:59:36 +0200smth-42(~smth-42@46.42.244.46) (Ping timeout: 250 seconds)
2023-07-03 01:59:47 +0200 <monochrom> "only"
2023-07-03 02:00:43 +0200 <monochrom> We waited 40 years and "only" Apple and Microsoft still couldn't agree. And even when Gates bought some Apple stocks to help Jobs.
2023-07-03 02:01:27 +0200 <probie> but personally, I can't see the motivation to have an "immutable API to DOM". Browsers need fewer features, not more
2023-07-03 02:01:53 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-07-03 02:02:19 +0200 <probie> or just to split my "web browser" from my "web app engine", but that's a rant for another time and another channel
2023-07-03 02:02:21 +0200 <monochrom> Well, we can have "no mutable API to DOM". That's a good start on subtraction design. I think int-e would approve. :)
2023-07-03 02:02:39 +0200phma(phma@2001:5b0:211f:e0b8:9211:3daf:2aff:af1e) (Read error: Connection reset by peer)
2023-07-03 02:03:06 +0200 <monochrom> or more realistically, s/can/very hypothetically in a different universe could/
2023-07-03 02:03:09 +0200phma(~phma@host-67-44-208-102.hnremote.net)
2023-07-03 02:04:20 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net) (Quit: WeeChat 3.8)
2023-07-03 02:10:11 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-07-03 02:11:33 +0200 <chromoblob> why do you want agreement
2023-07-03 02:11:45 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net) (Client Quit)
2023-07-03 02:11:47 +0200 <chromoblob> make it heterogeneous
2023-07-03 02:11:55 +0200 <monochrom> The trait of all politicians.
2023-07-03 02:12:05 +0200 <monochrom> politicians and management types
2023-07-03 02:12:30 +0200 <chromoblob> you mean wanting agreement is the trait?
2023-07-03 02:12:54 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-07-03 02:13:14 +0200 <monochrom> and in Catch Me If You Can, the protagonist imposting as a medical doctor and keep asking around "do you concur?" :)
2023-07-03 02:14:26 +0200 <monochrom> Yes.
2023-07-03 02:15:32 +0200gurkenglas(~gurkengla@dynamic-046-114-181-031.46.114.pool.telefonica.de) (Ping timeout: 246 seconds)
2023-07-03 02:17:47 +0200 <monochrom> Don't you agree? :)
2023-07-03 02:17:55 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net) (Quit: WeeChat 3.8)
2023-07-03 02:25:15 +0200skidisagrees to agree
2023-07-03 02:29:21 +0200 <shiraeeshi> there's a place heterogeneity, and there's a place for homogeneity
2023-07-03 02:29:45 +0200 <shiraeeshi> libraries are a place for heterogeneity
2023-07-03 02:30:17 +0200 <shiraeeshi> and a standard library should agree with itself
2023-07-03 02:30:47 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 02:31:40 +0200pavonia(~user@user/siracusa)
2023-07-03 02:32:29 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-07-03 02:32:31 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-07-03 02:36:02 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds)
2023-07-03 02:39:56 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-07-03 02:44:35 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-07-03 02:54:42 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 260 seconds)
2023-07-03 03:04:20 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-07-03 03:04:44 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-07-03 03:05:19 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-03 03:11:22 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-03 03:14:35 +0200dmenz(~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) (Quit: Leaving)
2023-07-03 03:16:16 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2023-07-03 03:16:36 +0200EvanR(~EvanR@user/evanr)
2023-07-03 03:17:29 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-03 03:23:22 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd) (Remote host closed the connection)
2023-07-03 03:27:22 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2023-07-03 03:41:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown)
2023-07-03 03:43:42 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2023-07-03 03:44:47 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-03 03:47:32 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-03 03:49:20 +0200xff0x_(~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 246 seconds)
2023-07-03 03:50:16 +0200chromoblob(~user@37.113.180.121)
2023-07-03 03:50:52 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 03:51:40 +0200mmhat(~mmh@p200300f1c722e493ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.0)
2023-07-03 03:54:52 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 250 seconds)
2023-07-03 03:57:30 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-03 04:03:40 +0200merijn(~merijn@86.86.29.250)
2023-07-03 04:05:18 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-07-03 04:07:37 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net)
2023-07-03 04:08:12 +0200merijn(~merijn@86.86.29.250) (Ping timeout: 240 seconds)
2023-07-03 04:13:25 +0200zombieface_(~zombiefac@cpe-174-100-19-135.neo.res.rr.com)
2023-07-03 04:15:25 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-03 04:18:04 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-07-03 04:18:04 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-07-03 04:18:05 +0200finn_elijaFinnElija
2023-07-03 04:22:03 +0200aforemny(~aforemny@2001:9e8:6cea:a700:83cb:6a09:250d:e06)
2023-07-03 04:22:17 +0200aforemny_(~aforemny@2001:9e8:6ccc:3300:341b:150:2961:d57a) (Ping timeout: 245 seconds)
2023-07-03 04:22:23 +0200td_(~td@i5387090A.versanet.de) (Ping timeout: 246 seconds)
2023-07-03 04:23:52 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
2023-07-03 04:24:20 +0200td_(~td@i53870939.versanet.de)
2023-07-03 04:28:11 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Ping timeout: 246 seconds)
2023-07-03 04:30:33 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
2023-07-03 04:35:44 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection)
2023-07-03 04:37:23 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-07-03 04:47:50 +0200Sciencentistguy2(~sciencent@hacksoc/ordinary-member)
2023-07-03 04:48:28 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2023-07-03 04:48:29 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds)
2023-07-03 04:48:29 +0200Feuermagier_Feuermagier
2023-07-03 04:50:24 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 246 seconds)
2023-07-03 04:50:24 +0200Sciencentistguy2Sciencentistguy
2023-07-03 04:52:30 +0200shiraeeshi(~shiraeesh@46.42.244.46) (Ping timeout: 250 seconds)
2023-07-03 04:54:08 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-03 04:57:14 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 246 seconds)
2023-07-03 05:09:34 +0200txaas(~txaas@user/jarlg) (Ping timeout: 260 seconds)
2023-07-03 05:19:11 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2023-07-03 05:21:31 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2023-07-03 05:23:14 +0200end\(~end^@user/end/x-0094621) (Server closed connection)
2023-07-03 05:23:32 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2023-07-03 05:23:35 +0200end\(~end^@user/end/x-0094621)
2023-07-03 05:23:47 +0200shiraeeshi(~shiraeesh@46.42.244.46)
2023-07-03 05:25:37 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-03 05:27:58 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 05:28:31 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-07-03 05:32:38 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-03 05:33:17 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-03 05:35:02 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 05:35:18 +0200elkcl(~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 252 seconds)
2023-07-03 05:39:56 +0200elkcl(~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru)
2023-07-03 05:41:00 +0200phma(~phma@host-67-44-208-102.hnremote.net) (Read error: Connection reset by peer)
2023-07-03 05:41:26 +0200phma(phma@2001:5b0:211f:e0b8:9211:3daf:2aff:af1e)
2023-07-03 05:41:33 +0200smth-42(~smth-42@46.42.244.46)
2023-07-03 05:43:18 +0200it_(~quassel@v2202212189510211193.supersrv.de) (Server closed connection)
2023-07-03 05:43:34 +0200it_(~quassel@v2202212189510211193.supersrv.de)
2023-07-03 05:44:49 +0200 <glguy> maerwald: I think people would take versioning more seriously if it had tigher language integration
2023-07-03 05:52:00 +0200 <maerwald[m]> I think you can already use hie files today to inspect API, no?
2023-07-03 05:52:42 +0200 <glguy> I guess since the haddock comments are (can be?) saved in the interface files, then technically you can parse your way to them?
2023-07-03 05:52:58 +0200smth-42(~smth-42@46.42.244.46) (Ping timeout: 260 seconds)
2023-07-03 05:56:31 +0200 <maerwald[m]> Maybe just needs someone to pick up policeman
2023-07-03 05:56:46 +0200 <maerwald[m]> https://github.com/haskellfoundation/tech-proposals/pull/51#discussion_r1245182844
2023-07-03 05:56:53 +0200 <maerwald[m]> There was some critique
2023-07-03 05:58:17 +0200aforemny(~aforemny@2001:9e8:6cea:a700:83cb:6a09:250d:e06) (Ping timeout: 246 seconds)
2023-07-03 05:59:05 +0200aforemny(~aforemny@i59F516EC.versanet.de)
2023-07-03 06:00:16 +0200actioninja(~actioninj@user/actioninja) (Quit: see ya mane)
2023-07-03 06:00:42 +0200actioninja6(~actioninj@user/actioninja)
2023-07-03 06:06:40 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-03 06:10:35 +0200 <glguy> maerwald[m]: also, while reading through stuff on discourse I saw another thing you wrote mentioning yaml-streamly. since I'm hacking on a toml library I thought I'd see what you had there and I like how you parameterized your key-value serializer on a key ordering function and now I'm trying to decide how I want to incorporate something like that
2023-07-03 06:11:21 +0200 <glguy> I think I want the key-ordering to be per-type and not per pretty printing, so I'm even less sure how to incorporate that into my current design
2023-07-03 06:13:13 +0200notzmv(~zmv@user/notzmv)
2023-07-03 06:15:10 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-07-03 06:19:18 +0200cjay(cjay@nerdbox.nerd2nerd.org) (Server closed connection)
2023-07-03 06:19:27 +0200cjay(cjay@nerdbox.nerd2nerd.org)
2023-07-03 06:21:18 +0200trev(~trev@user/trev)
2023-07-03 06:28:18 +0200AWizzArd(~code@user/awizzard) (Server closed connection)
2023-07-03 06:28:31 +0200AWizzArd(~code@gehrels.uberspace.de)
2023-07-03 06:30:17 +0200foul_owl(~kerry@71.212.137.212)
2023-07-03 06:30:32 +0200iteratee(~kyle@162.218.222.207) (Read error: Connection reset by peer)
2023-07-03 06:30:49 +0200 <maerwald[m]> glguy: what do you mean with types?
2023-07-03 06:31:45 +0200iteratee(~kyle@162.218.222.207)
2023-07-03 06:32:43 +0200foul_owl(~kerry@71.212.137.212) (Client Quit)
2023-07-03 06:33:03 +0200 <maerwald[m]> The type of the value in the key-value pair?
2023-07-03 06:33:11 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 06:33:30 +0200 <glguy> I mean like each type that gets converted to a key-value mapping might want its own ordering
2023-07-03 06:33:54 +0200 <maerwald[m]> Ah, sounds like typeclasses, no?
2023-07-03 06:35:45 +0200 <glguy> Yes, but my current design uses a typeclass to go from application type to key-val mapping, and then my pretty printer goes from abstract toml values to concrete syntax, so the association to the orginal type is lost
2023-07-03 06:36:21 +0200 <glguy> I need to redo my abstraction so that the typeclass would have to go directly from application type to concrete syntax, or change my abstract toml values to have a key ordering to them
2023-07-03 06:37:14 +0200 <glguy> anyway, I'll figure *something* out, I just was mentioning that your code sent me into a puzzle :)
2023-07-03 06:37:46 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-03 06:38:29 +0200 <maerwald[m]> Not really my code, I just forked the library. I believe Snoyman wrote the initial version
2023-07-03 06:38:50 +0200foul_owl(~kerry@71.212.137.212)
2023-07-03 06:39:00 +0200 <maerwald[m]> His coding style is surprisingly close to mine though. I enjoy hacking on his stuff
2023-07-03 06:40:31 +0200 <maerwald[m]> Just our goals never align 😆
2023-07-03 06:41:34 +0200 <maerwald[m]> glguy: are you using a streaming library?
2023-07-03 06:48:58 +0200 <glguy> not yet. 1) I was figuring that most TOML files are in any kind of performance path 2) you can't validate a TOML file until you have the whole thing
2023-07-03 06:49:29 +0200 <glguy> Is streamly your favorite or is that just an inherited choice from the fork?
2023-07-03 06:50:32 +0200bilegeek(~bilegeek@2600:1008:b040:7c50:1302:10c:c8e3:2f97)
2023-07-03 07:08:58 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-07-03 07:10:33 +0200 <maerwald[m]> glguy: yeah, I think it has the most potential, but the API churn is depressing
2023-07-03 07:10:39 +0200 <maerwald[m]> Too many changes in every release
2023-07-03 07:12:19 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-03 07:14:49 +0200 <probie> That's large parts of the Haskell ecosystem in a nutshell
2023-07-03 07:15:22 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-07-03 07:15:43 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-03 07:18:44 +0200shiraeeshi(~shiraeesh@46.42.244.46) (Ping timeout: 240 seconds)
2023-07-03 07:20:07 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-07-03 07:20:22 +0200 <jackdk> This is why I stay with streaming - seems to be a sweet spot between simplicity/stability/being able to do things I need to do
2023-07-03 07:28:58 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-03 07:30:04 +0200 <maerwald[m]> I don't understand how it can be so hard to design an API and stick with it. Do people get new ideas every 2 months?
2023-07-03 07:32:51 +0200 <maerwald[m]> My guess is this is one of the bigger reasons why Haskell will stay behind rust and other languages. Not the lack of dependent types
2023-07-03 07:34:58 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 07:37:33 +0200 <jackdk> there's nothing wrong with having an experimental streaming library where people can tinker and rebuild the API to make it faster/better/whatever. I choose not to use it because for me the streaming lib is a means, not an end
2023-07-03 07:38:11 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-07-03 07:39:13 +0200 <probie> I wouldn't mind having separate API versions from package versions (that statement isn't restricted to just Haskell)
2023-07-03 07:42:13 +0200 <maerwald[m]> Breaking API is fine if you actually maintain multiple major versions in parallel
2023-07-03 07:42:20 +0200 <maerwald[m]> That's actually the point of PVP
2023-07-03 07:45:08 +0200 <monochrom> Over in Python land these things are not better, probably even worse. I have a friend who is a prof and supervises student projects and gets very dismayed that the code is incompatibility with the libraries just after 6 months.
2023-07-03 07:45:22 +0200 <probie> That requires maintaining several different versions. In the case where you can still provide the "old" API alongside the new API with the same internals, it'd be nice to only need to provide one package
2023-07-03 07:45:24 +0200 <monochrom> s/incompatibility/incompatible/
2023-07-03 07:45:39 +0200 <monochrom> So now you have to explain why Rust is behind Python. :)
2023-07-03 07:45:42 +0200 <jackdk> At least we have nix now
2023-07-03 07:45:47 +0200 <probie> I've got Go code I've written 5+ years ago that "just works"
2023-07-03 07:46:11 +0200 <maerwald[m]> Yes, good tooling can make things worse
2023-07-03 07:46:20 +0200 <maerwald[m]> Go had no good tooling for a long time
2023-07-03 07:46:36 +0200 <maerwald[m]> So people just went paranoid over breaking API
2023-07-03 07:46:51 +0200 <probie> It had great tooling, and then they ruined it by adding modules :p
2023-07-03 07:47:31 +0200 <maerwald[m]> jackdk: nix is harmful for security
2023-07-03 07:47:49 +0200 <monochrom> I am cynical and I attribute it to brute shear raw economics.
2023-07-03 07:48:50 +0200 <monochrom> Python has more instant gratification therefore attracts more people therefore stable libs or not there are more than enough people to fix things and there are more than enough people to move fast break often.
2023-07-03 07:49:08 +0200 <monochrom> Simply more minions to sustain churn.
2023-07-03 07:49:24 +0200 <arahael> maerwald[m]: I have to agree, I could not find much in the way of selinux and stuff. Too much magic, too - nix is like, one *massive* program.
2023-07-03 07:49:29 +0200 <monochrom> Rust and Haskell are less attractive therefore stable libs or not they stay behind.
2023-07-03 07:49:50 +0200 <probie> Jokes aside, between the standard library's backwards compatibility guarantee and `go vendor` it's easy to have source that you can reasonably expect to compile with later versions of the compiler
2023-07-03 07:51:09 +0200 <monochrom> OTOH IMO Haskell does not need to enter the popularity contest.
2023-07-03 07:51:18 +0200 <monochrom> Stay focused, do FP and do it well.
2023-07-03 07:51:41 +0200 <monochrom> Do not fantasize that attracting more people means more people adopt FP.
2023-07-03 07:52:13 +0200 <glguy> My experience with Go was that people vendored things which means stuff works after years because no updates occur
2023-07-03 07:52:16 +0200 <monochrom> No, it is the other way round. Attracting more people means Haskell has to suck up to their simpleton agendas such as giving up on FP.
2023-07-03 07:53:00 +0200 <monochrom> For example just look at record dot syntax.
2023-07-03 07:53:20 +0200michalz(~michalz@185.246.207.218)
2023-07-03 07:53:55 +0200 <probie> glguy: There's no need to update a finished product (just hope that there aren't security issues)
2023-07-03 07:54:36 +0200 <glguy> Yeah, the trick is just to have no bugs in your code or any dependency
2023-07-03 07:55:31 +0200 <monochrom> No, the trick is to accept that software is not finished product. :)
2023-07-03 07:56:08 +0200 <glguy> Once the check clears, what's left to do?
2023-07-03 07:56:10 +0200 <maerwald[m]> arahael: not just that... the idea of pinning dependencies and reproducible builds stands in conflict with practical software security, which demands always being as up to date as possible
2023-07-03 07:57:12 +0200 <arahael> maerwald[m]: That can be mitigated with a warning system, at least, there's certainly sufficient metadata in the system for that. They just... Don't...
2023-07-03 07:57:24 +0200 <monochrom> One should ask "who has time to maintain multiple versions?" and then it's shear raw economics again.
2023-07-03 07:57:37 +0200 <maerwald[m]> Yes, yeu can do it, but no one does ans the system doesn't nudge you to do it
2023-07-03 07:57:44 +0200shiraeeshi(~shiraeesh@46.42.244.46)
2023-07-03 07:58:34 +0200 <arahael> Which is unfortunate. A full 'security scan' after installing any application (and again every day) should be a minimum.
2023-07-03 07:58:48 +0200 <arahael> I couldn't even find out how to use selinux and the like in a nix system.
2023-07-03 07:59:44 +0200 <maerwald[m]> And an ecosystem constantly breaking API causes end users to pin dependencies more aggressively, which in turn harms security properties
2023-07-03 08:00:13 +0200 <arahael> Yeah.
2023-07-03 08:00:50 +0200 <arahael> Don't get me wrong, nix has some great points, but yeah, this is not one of them, and they don't seem to be taking significant steps to patching the security issues. Plus, I find nix *seriously complex*.
2023-07-03 08:02:01 +0200 <monochrom> Generally any name ending with "x" refers to complex things. Even when starting with "simple". complex, simplex, unix, nix. :)
2023-07-03 08:03:48 +0200 <arahael> That... Checks out.
2023-07-03 08:04:07 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-07-03 08:04:14 +0200 <probie> LaTeX?
2023-07-03 08:05:04 +0200 <monochrom> Mirror mirror on the wall, who is the most complex of them all? nix or latex? :)
2023-07-03 08:05:41 +0200 <monochrom> "Why not both?" :)
2023-07-03 08:06:58 +0200johnw(~johnw@69.62.207.57)
2023-07-03 08:08:35 +0200 <glguy> I think a different part of the problem is that it's so easy to pull in libraries in Haskell. My C projects depend on something like 0-2 other libraries with basically no transitions deps. Things in rust or Haskell will pull in over 100 without trying. That's a much greater surface area
2023-07-03 08:08:41 +0200 <maerwald[m]> Comparing LaTeX with nix is interesting
2023-07-03 08:08:49 +0200 <glguy> Transitive*
2023-07-03 08:09:16 +0200 <maerwald[m]> High expressivity and terrible ergonomics describes both.
2023-07-03 08:10:20 +0200 <maerwald[m]> Ergonomics is undervalued. But it decides how much energy developers invest in certain things and problems
2023-07-03 08:10:36 +0200 <maerwald[m]> Maintaining PVP bounds is unergonomic
2023-07-03 08:10:39 +0200 <maerwald[m]> So no one does
2023-07-03 08:10:58 +0200 <monochrom> This may just go back to: no tooling = no dependency issues :)
2023-07-03 08:13:33 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-07-03 08:15:34 +0200 <glguy> On the topic of the language helping with versioning, there are versioned symbols. I haven't knowingly used them in C enough to know how good it bad an idea that is to explore
2023-07-03 08:15:41 +0200 <maerwald[m]> Yes... bad ergonomics in some areas can have accidental good effects
2023-07-03 08:16:51 +0200 <glguy> But that seems relevant to enabling maintaining multiple versions of API without having to maintain multiple branches
2023-07-03 08:26:25 +0200asm(~alexander@user/asm) (Read error: Connection reset by peer)
2023-07-03 08:29:52 +0200bilegeek(~bilegeek@2600:1008:b040:7c50:1302:10c:c8e3:2f97) (Quit: Leaving)
2023-07-03 08:36:07 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-07-03 08:36:29 +0200califax(~califax@user/califx)
2023-07-03 08:38:30 +0200`2jt(~jtomas@90.162.208.36)
2023-07-03 08:40:11 +0200shiraeeshi(~shiraeesh@46.42.244.46) (Changing host)
2023-07-03 08:40:11 +0200shiraeeshi(~shiraeesh@user/shiraeeshi)
2023-07-03 08:48:10 +0200zombieface_(~zombiefac@cpe-174-100-19-135.neo.res.rr.com) (Quit: Leaving)
2023-07-03 08:53:29 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0)
2023-07-03 08:55:57 +0200acidjnk(~acidjnk@2003:d6:e707:2f22:393f:c04:2d41:b426)
2023-07-03 08:59:32 +0200mauke(~mauke@user/mauke) (Ping timeout: 240 seconds)
2023-07-03 09:06:19 +0200Inst_(~Inst@2601:6c4:4081:2fc0:ec2e:6384:903a:129d)
2023-07-03 09:06:48 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:543f:797f:131:6e30)
2023-07-03 09:07:48 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 09:09:35 +0200Inst(~Inst@2601:6c4:4081:2fc0:4ce0:dbb4:3e84:48a2) (Ping timeout: 246 seconds)
2023-07-03 09:12:49 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-03 09:13:26 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-07-03 09:13:31 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-03 09:14:09 +0200chromoblob(~user@37.113.180.121)
2023-07-03 09:18:08 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 250 seconds)
2023-07-03 09:19:42 +0200cfricke(~cfricke@user/cfricke)
2023-07-03 09:19:50 +0200tabemann_(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2023-07-03 09:20:31 +0200tabemann(~tabemann@2600:1700:7990:24e0:cd08:c5bb:9d2b:dbaa) (Ping timeout: 260 seconds)
2023-07-03 09:26:54 +0200gmg(~user@user/gehmehgeh)
2023-07-03 09:32:34 +0200Guest25(~Guest25@162.200.19.223)
2023-07-03 09:33:47 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-03 09:35:54 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-07-03 09:37:55 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-03 09:42:24 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 250 seconds)
2023-07-03 09:42:36 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 09:43:15 +0200m5zs7k(aquares@web10.mydevil.net)
2023-07-03 09:46:51 +0200CiaoSen(~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef)
2023-07-03 09:47:49 +0200pointlessslippe1(~pointless@212.82.82.3) (Read error: Connection reset by peer)
2023-07-03 09:51:15 +0200pointlessslippe1(~pointless@212.82.82.3)
2023-07-03 09:51:49 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2023-07-03 09:52:10 +0200pavonia(~user@user/siracusa)
2023-07-03 09:53:05 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-03 09:56:50 +0200pavonia(~user@user/siracusa) (Ping timeout: 246 seconds)
2023-07-03 09:58:20 +0200banner(~banner@114-129-185-30.ip4.superloop.au) (Ping timeout: 240 seconds)
2023-07-03 09:58:30 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-03 10:02:13 +0200Guest25(~Guest25@162.200.19.223) (Quit: Client closed)
2023-07-03 10:04:52 +0200jtomas(~jtomas@90.162.208.36)
2023-07-03 10:07:04 +0200`2jt(~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
2023-07-03 10:13:17 +0200pavonia(~user@user/siracusa)
2023-07-03 10:21:18 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-07-03 10:22:31 +0200shiraeeshi(~shiraeesh@user/shiraeeshi) (Read error: Connection reset by peer)
2023-07-03 10:26:40 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-07-03 10:27:50 +0200danse-nr3(~francesco@151.54.29.107)
2023-07-03 10:29:43 +0200notzmv(~zmv@user/notzmv)
2023-07-03 10:31:57 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-07-03 10:32:35 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Remote host closed the connection)
2023-07-03 10:35:13 +0200coot_(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-03 10:35:29 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 246 seconds)
2023-07-03 10:35:59 +0200coot_coot
2023-07-03 10:40:31 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel)
2023-07-03 10:41:22 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-07-03 10:42:01 +0200johnw(~johnw@69.62.207.57) (Quit: ZNC - http://znc.in)
2023-07-03 10:42:30 +0200johnw(~johnw@69.62.207.57)
2023-07-03 10:47:04 +0200Pickchea(~private@user/pickchea)
2023-07-03 10:59:41 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-03 11:01:42 +0200kenran(~user@user/kenran)
2023-07-03 11:01:46 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2023-07-03 11:03:06 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
2023-07-03 11:04:08 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-07-03 11:06:59 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-03 11:07:32 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Ping timeout: 246 seconds)
2023-07-03 11:08:00 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-07-03 11:16:54 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-03 11:17:30 +0200chromobl1b(~user@37.113.180.121)
2023-07-03 11:18:07 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 246 seconds)
2023-07-03 11:20:24 +0200chromobl1bchromoblob
2023-07-03 11:21:32 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-07-03 11:24:54 +0200jstolarek(~jstolarek@staticline-31-183-152-161.toya.net.pl)
2023-07-03 11:25:04 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-07-03 11:25:23 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2023-07-03 11:26:20 +0200gurkenglas(~gurkengla@dynamic-046-114-179-248.46.114.pool.telefonica.de)
2023-07-03 11:27:39 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-03 11:27:54 +0200Lord_of_Life_Lord_of_Life
2023-07-03 11:35:14 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection)
2023-07-03 11:35:51 +0200Midjak(~Midjak@82.66.147.146)
2023-07-03 11:36:30 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0)
2023-07-03 11:40:58 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net) (Quit: brb hopefully last time)
2023-07-03 11:45:33 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 11:46:02 +0200CiaoSen(~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds)
2023-07-03 11:46:29 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-07-03 11:51:30 +0200doyougnu(~doyougnu@45.46.170.68)
2023-07-03 11:54:16 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-07-03 11:55:44 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2023-07-03 11:56:01 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-03 12:03:50 +0200ft(~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving)
2023-07-03 12:04:04 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-07-03 12:07:15 +0200CiaoSen(~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef)
2023-07-03 12:20:23 +0200DDR(~DDR@2604:3d08:4c7f:8250:312d:687f:e754:8e86) (Ping timeout: 264 seconds)
2023-07-03 12:20:37 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds)
2023-07-03 12:27:33 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-03 12:27:50 +0200Pickchea(~private@user/pickchea)
2023-07-03 12:32:57 +0200DDR(~DDR@2604:3d08:4c7f:8250:fb86:6006:3945:ad7c)
2023-07-03 12:38:02 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-07-03 12:39:56 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-07-03 12:42:44 +0200doyougnu(~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-03 12:52:57 +0200doyougnu(~doyougnu@45.46.170.68)
2023-07-03 12:55:47 +0200acidjnk(~acidjnk@2003:d6:e707:2f22:393f:c04:2d41:b426) (Ping timeout: 264 seconds)
2023-07-03 13:01:52 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-03 13:02:04 +0200 <nyc> I'm hearing -ppr-debug may print uniques in the STG dumps in order to help correlate the STG with the ticky ticky profile.
2023-07-03 13:08:12 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-03 13:08:52 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 13:09:26 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-07-03 13:11:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-03 13:13:36 +0200xff0x_(~xff0x@ai086045.d.east.v6connect.net)
2023-07-03 13:16:23 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-03 13:22:31 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-03 13:23:32 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-03 13:25:31 +0200CiaoSen(~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds)
2023-07-03 13:26:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-03 13:26:36 +0200qqq(~qqq@92.43.167.61)
2023-07-03 13:28:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-03 13:29:03 +0200gurkenglas(~gurkengla@dynamic-046-114-179-248.46.114.pool.telefonica.de) (Quit: leaving)
2023-07-03 13:29:22 +0200gurkenglas(~gurkengla@dynamic-046-114-179-248.46.114.pool.telefonica.de)
2023-07-03 13:29:26 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 13:30:34 +0200qqq(~qqq@92.43.167.61) (Client Quit)
2023-07-03 13:31:12 +0200feliix42(~felix@gibbs.uberspace.de)
2023-07-03 13:31:53 +0200qqq(~qqq@92.43.167.61)
2023-07-03 13:43:57 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-07-03 13:46:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-03 13:53:59 +0200acidjnk(~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de)
2023-07-03 13:54:13 +0200qqq(~qqq@92.43.167.61) (Quit: leaving)
2023-07-03 13:55:27 +0200qqq(~qqq@92.43.167.61)
2023-07-03 13:56:31 +0200feliix42(~felix@gibbs.uberspace.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-03 13:58:04 +0200qqq(~qqq@92.43.167.61) (Client Quit)
2023-07-03 13:58:32 +0200qqq(~qqq@92.43.167.61)
2023-07-03 14:03:14 +0200Teacup(~teacup@user/teacup) (Server closed connection)
2023-07-03 14:03:25 +0200Teacup(~teacup@user/teacup)
2023-07-03 14:04:39 +0200qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2023-07-03 14:05:13 +0200qqq(~qqq@92.43.167.61)
2023-07-03 14:05:39 +0200Pickchea(~private@user/pickchea)
2023-07-03 14:07:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-03 14:08:51 +0200txaas(~txaas@user/jarlg)
2023-07-03 14:10:42 +0200CiaoSen(~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef)
2023-07-03 14:11:04 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-03 14:11:30 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 14:11:52 +0200 <dminuoso_> Why is GHC so repetitive with telling me that postgresql-simple is a member of a hidden package? https://gist.github.com/dminuoso/af001f9ab5482f9ed73292779891b018
2023-07-03 14:16:32 +0200 <merijn> dminuoso_: you have a billion different versions of it
2023-07-03 14:16:50 +0200 <merijn> dminuoso_: it just scans the store for matching packages, and reports each one
2023-07-03 14:17:17 +0200 <merijn> so if you store has a billion different versions, it reports each
2023-07-03 14:17:36 +0200 <dminuoso_> Ah indeed, good catch.
2023-07-03 14:17:49 +0200 <dminuoso_> I didnt even notice there was both 0.6.4 and 0.6.5 in that list.
2023-07-03 14:17:52 +0200 <dminuoso_> Thanks
2023-07-03 14:18:59 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds)
2023-07-03 14:19:29 +0200 <merijn> I'm guessing you haven't cleared the store in a while, while repeatedly upgrading transitive dependencies of postgres-simple
2023-07-03 14:26:04 +0200danse-nr3(~francesco@151.54.29.107) (Ping timeout: 246 seconds)
2023-07-03 14:27:28 +0200qqq(~qqq@92.43.167.61) (Quit: leaving)
2023-07-03 14:28:05 +0200qqq(~qqq@92.43.167.61)
2023-07-03 14:31:42 +0200qqq(~qqq@92.43.167.61) (Client Quit)
2023-07-03 14:40:55 +0200ub(~Thunderbi@p200300ecdf0b57ea084964e545e9929f.dip0.t-ipconnect.de)
2023-07-03 14:42:56 +0200ubert(~Thunderbi@p200300ecdf0b57ea084964e545e9929f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-07-03 14:42:57 +0200ububert
2023-07-03 14:43:38 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-03 14:44:38 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2023-07-03 14:46:48 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-07-03 14:53:51 +0200nick__(~nick@wsip-174-78-110-18.pn.at.cox.net)
2023-07-03 14:56:08 +0200rburkholder(~blurb@96.45.2.121) (Quit: Leaving)
2023-07-03 14:57:06 +0200rburkholder(~blurb@96.45.2.121)
2023-07-03 14:58:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-03 15:12:41 +0200nyc(~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Read error: Connection reset by peer)
2023-07-03 15:13:14 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-03 15:13:58 +0200nyc(~nyc@user/nyc)
2023-07-03 15:18:25 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-03 15:20:51 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-03 15:23:14 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-07-03 15:28:49 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-07-03 15:29:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-03 15:36:51 +0200titibandit(~titibandi@user/titibandit)
2023-07-03 15:47:06 +0200tremon(~tremon@83.80.159.219)
2023-07-03 15:48:56 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2023-07-03 15:53:42 +0200ystael(~ystael@user/ystael)
2023-07-03 15:55:02 +0200jstolarek(~jstolarek@staticline-31-183-152-161.toya.net.pl) (Ping timeout: 246 seconds)
2023-07-03 15:56:07 +0200puke(~puke@user/puke) (Quit: puke)
2023-07-03 15:58:23 +0200puke(~puke@user/puke)
2023-07-03 16:00:50 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 246 seconds)
2023-07-03 16:03:07 +0200ddellacosta(~ddellacos@146.70.185.10)
2023-07-03 16:04:30 +0200extor(~extor@ns3018124.ip-149-202-82.eu) (Ping timeout: 252 seconds)
2023-07-03 16:05:45 +0200danse-nr3(~francesco@151.54.29.107)
2023-07-03 16:09:13 +0200mmhat(~mmh@p200300f1c722e493ee086bfffe095315.dip0.t-ipconnect.de)
2023-07-03 16:12:35 +0200ddellacosta(~ddellacos@146.70.185.10) (Ping timeout: 264 seconds)
2023-07-03 16:15:33 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-03 16:16:48 +0200misterfish(~misterfis@87.215.131.102)
2023-07-03 16:18:15 +0200ub(~Thunderbi@p200300ecdf0b57e5fa440b01d0f4c15b.dip0.t-ipconnect.de)
2023-07-03 16:18:25 +0200ubert(~Thunderbi@p200300ecdf0b57ea084964e545e9929f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-07-03 16:18:25 +0200ububert
2023-07-03 16:20:10 +0200dfip^(~dfip@24.125.210.85) (Remote host closed the connection)
2023-07-03 16:27:00 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-07-03 16:30:56 +0200Pickchea(~private@user/pickchea) (Ping timeout: 246 seconds)
2023-07-03 16:34:57 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-07-03 16:36:05 +0200shiraeeshi(~shiraeesh@46.42.244.46)
2023-07-03 16:37:49 +0200shiraeeshi(~shiraeesh@46.42.244.46) (Client Quit)
2023-07-03 16:39:26 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-03 16:39:26 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-03 16:39:26 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-03 16:44:26 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-03 16:49:25 +0200dibblego(~dibblego@116.255.1.157)
2023-07-03 16:49:25 +0200dibblego(~dibblego@116.255.1.157) (Changing host)
2023-07-03 16:49:25 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-03 16:49:41 +0200j4cc3b(~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184)
2023-07-03 16:54:25 +0200tv(~tv@user/tv) (Ping timeout: 240 seconds)
2023-07-03 16:54:27 +0200ddellacosta(~ddellacos@143.244.47.76)
2023-07-03 16:55:27 +0200 <hackyhacker> Hello how do I use a function that returns Maybe in IO?
2023-07-03 16:55:28 +0200 <hackyhacker> https://paste.tomsmeding.com/qFPfjmtQ
2023-07-03 16:55:32 +0200 <hackyhacker> like why does this not work?
2023-07-03 16:56:40 +0200 <geekosaur> because `<-` there requires something in `IO`. use `let` instead
2023-07-03 16:56:45 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-03 16:57:11 +0200 <geekosaur> and I strongly suggest you learn how `do` notation desugars to `>>=`, so you will understand why `<-` will not work there
2023-07-03 16:57:27 +0200 <hackyhacker> oh ok
2023-07-03 16:57:28 +0200 <hackyhacker> tahnks
2023-07-03 16:57:48 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-03 16:58:00 +0200 <geekosaur> @where iotut
2023-07-03 16:58:00 +0200 <lambdabot> https://www.vex.net/~trebla/haskell/IO.xhtml
2023-07-03 17:00:37 +0200absence_(torgeihe@hildring.pvv.ntnu.no)
2023-07-03 17:00:38 +0200absence(torgeihe@hildring.pvv.ntnu.no) (Read error: Connection reset by peer)
2023-07-03 17:03:55 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-03 17:08:19 +0200tv(~tv@user/tv)
2023-07-03 17:15:00 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:543f:797f:131:6e30) (Quit: WeeChat 2.8)
2023-07-03 17:16:22 +0200 <hackyhacker> thank you for that resource
2023-07-03 17:18:58 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-03 17:19:14 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-07-03 17:20:41 +0200titibandit(~titibandi@user/titibandit)
2023-07-03 17:21:29 +0200mechap(~mechap@user/mechap)
2023-07-03 17:28:49 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-03 17:30:01 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-07-03 17:30:47 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 17:35:36 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-07-03 17:36:34 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 17:44:10 +0200danse-nr3(~francesco@151.54.29.107) (Ping timeout: 246 seconds)
2023-07-03 17:45:37 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-07-03 17:46:21 +0200__monty__(~toonn@user/toonn)
2023-07-03 17:49:18 +0200peutri(~peutri@bobo.desast.re) (Server closed connection)
2023-07-03 17:49:27 +0200peutri(~peutri@bobo.desast.re)
2023-07-03 17:49:55 +0200dispater-(~dispater@81.78.253.214)
2023-07-03 17:49:55 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-03 17:50:25 +0200orcus-(~orcus@81.78.253.214)
2023-07-03 17:50:46 +0200michalz(~michalz@185.246.207.218) (Remote host closed the connection)
2023-07-03 17:50:59 +0200CiaoSen(~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds)
2023-07-03 17:52:41 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-03 17:52:44 +0200mei(~mei@user/mei)
2023-07-03 17:55:56 +0200orcus-(~orcus@81.78.253.214) (Remote host closed the connection)
2023-07-03 17:55:57 +0200dispater-(~dispater@81.78.253.214) (Remote host closed the connection)
2023-07-03 17:58:23 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-07-03 17:59:01 +0200michalz(~michalz@185.246.207.221)
2023-07-03 18:01:18 +0200andjjj23(~irc@107.170.228.47) (Server closed connection)
2023-07-03 18:01:35 +0200andjjj23(~irc@107.170.228.47)
2023-07-03 18:03:46 +0200acidjnk(~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-07-03 18:04:59 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-07-03 18:06:58 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 18:07:34 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-07-03 18:08:56 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-07-03 18:09:01 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 246 seconds)
2023-07-03 18:09:38 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
2023-07-03 18:10:08 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-03 18:12:06 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2023-07-03 18:12:40 +0200euandreh(~Thunderbi@189.6.18.7)
2023-07-03 18:13:50 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Ping timeout: 246 seconds)
2023-07-03 18:16:02 +0200misterfish(~misterfis@87.215.131.98)
2023-07-03 18:21:08 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection)
2023-07-03 18:24:44 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-07-03 18:29:42 +0200misterfish(~misterfis@87.215.131.98) (Ping timeout: 252 seconds)
2023-07-03 18:31:30 +0200misterfish(~misterfis@87.215.131.102)
2023-07-03 18:31:53 +0200ub(~Thunderbi@p548c89d1.dip0.t-ipconnect.de)
2023-07-03 18:32:44 +0200ubert(~Thunderbi@p200300ecdf0b57e5fa440b01d0f4c15b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-07-03 18:32:44 +0200ububert
2023-07-03 18:35:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-03 18:36:10 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-07-03 18:40:24 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 18:41:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-03 18:42:10 +0200hiredman(~hiredman@frontier1.downey.family)
2023-07-03 18:45:29 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-03 18:56:46 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 19:01:38 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-07-03 19:02:06 +0200qqq(~qqq@92.43.167.61)
2023-07-03 19:04:58 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-03 19:05:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-03 19:08:33 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!)
2023-07-03 19:08:50 +0200remedan_(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-07-03 19:09:54 +0200acidjnk(~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de)
2023-07-03 19:13:17 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 19:15:12 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 19:19:56 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-03 19:19:56 +0200Benzi-Junior(~BenziJuni@88-149-64-112.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-03 19:20:23 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2023-07-03 19:24:37 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-07-03 19:26:29 +0200mauke(~mauke@user/mauke)
2023-07-03 19:26:32 +0200Benzi-Junior(~BenziJuni@dsl-149-64-112.hive.is)
2023-07-03 19:27:04 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-07-03 19:30:39 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-07-03 19:30:40 +0200hippoid(~hippoid@user/hippoid) (Quit: WeeChat 3.8)
2023-07-03 19:35:43 +0200ddellacosta(~ddellacos@143.244.47.76) (Quit: WeeChat 3.8)
2023-07-03 19:36:01 +0200ddellacosta(~ddellacos@143.244.47.76)
2023-07-03 19:37:00 +0200`2jt(~jtomas@90.162.208.36)
2023-07-03 19:38:14 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 250 seconds)
2023-07-03 19:39:19 +0200jtomas(~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
2023-07-03 19:41:04 +0200ddellacosta(~ddellacos@143.244.47.76) (Ping timeout: 246 seconds)
2023-07-03 19:41:25 +0200`2jt(~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
2023-07-03 19:41:38 +0200`2jt(~jtomas@90.162.208.36)
2023-07-03 19:43:41 +0200Cale(~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com)
2023-07-03 19:44:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-03 19:44:13 +0200ddellacosta(~ddellacos@146.70.185.100)
2023-07-03 19:47:58 +0200Inst__(~Inst@2601:6c4:4081:2fc0:2905:b11f:d5e9:44b9)
2023-07-03 19:48:02 +0200`2jt(~jtomas@90.162.208.36) (Remote host closed the connection)
2023-07-03 19:48:22 +0200`2jt(~jtomas@90.162.208.36)
2023-07-03 19:49:26 +0200alexherbo2(~alexherbo@2a02-8440-2241-2a71-e440-8cc8-e4c9-9c8f.rev.sfr.net)
2023-07-03 19:51:50 +0200Inst_(~Inst@2601:6c4:4081:2fc0:ec2e:6384:903a:129d) (Ping timeout: 246 seconds)
2023-07-03 19:55:43 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-07-03 19:55:59 +0200Inst_(~Inst@2601:6c4:4081:2fc0:984c:1807:2944:a356)
2023-07-03 19:57:45 +0200zwron29(~zwron@2408:8352:205:f2b0:7d16:c1dd:1a36:4fed)
2023-07-03 19:58:39 +0200gmg(~user@user/gehmehgeh)
2023-07-03 19:58:45 +0200 <zwron29> ho
2023-07-03 19:59:47 +0200Inst__(~Inst@2601:6c4:4081:2fc0:2905:b11f:d5e9:44b9) (Ping timeout: 245 seconds)
2023-07-03 20:01:35 +0200tabemann_(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds)
2023-07-03 20:02:07 +0200 <ski> lo
2023-07-03 20:02:20 +0200 <zwron29> >/
2023-07-03 20:05:31 +0200zwron29(~zwron@2408:8352:205:f2b0:7d16:c1dd:1a36:4fed) (Quit: Client closed)
2023-07-03 20:06:56 +0200Nate[m](~m52957mat@2001:470:69fc:105::1:591a)
2023-07-03 20:09:01 +0200extor(~extor@ns3018124.ip-149-202-82.eu)
2023-07-03 20:09:26 +0200azr4e1(~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b)
2023-07-03 20:10:01 +0200Rydwxz_(~rw@cpe-75-82-51-90.socal.res.rr.com)
2023-07-03 20:14:17 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-03 20:15:48 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-03 20:18:37 +0200zwron(~xk@110.53.241.151)
2023-07-03 20:18:44 +0200 <zwron> k
2023-07-03 20:21:12 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-03 20:21:19 +0200alexherbo2(~alexherbo@2a02-8440-2241-2a71-e440-8cc8-e4c9-9c8f.rev.sfr.net) (Remote host closed the connection)
2023-07-03 20:22:16 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
2023-07-03 20:22:25 +0200 <zwron> q
2023-07-03 20:22:31 +0200zwron(~xk@110.53.241.151) (Quit: leaving)
2023-07-03 20:28:20 +0200zwron(~zwron@2408:8352:205:f2b0:7d16:c1dd:1a36:4fed)
2023-07-03 20:29:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-03 20:30:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-03 20:33:18 +0200danse-nr3(~francesco@151.35.234.186)
2023-07-03 20:40:35 +0200nick1(~nick@wsip-174-78-110-18.pn.at.cox.net)
2023-07-03 20:40:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-03 20:43:01 +0200nick__(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 246 seconds)
2023-07-03 20:44:46 +0200nick1(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 246 seconds)
2023-07-03 20:46:01 +0200driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2023-07-03 20:46:43 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 20:49:01 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-03 20:51:08 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-07-03 20:52:38 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-03 20:52:49 +0200`2jt(~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
2023-07-03 20:55:49 +0200texasmynsted(~username@99.96.221.112)
2023-07-03 20:56:12 +0200texasmynsted(~username@99.96.221.112) (Client Quit)
2023-07-03 20:59:56 +0200phma(phma@2001:5b0:211f:e0b8:9211:3daf:2aff:af1e) (Read error: Connection reset by peer)
2023-07-03 21:00:26 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 21:01:07 +0200zwron56(~zwron@213.159.100.34.bc.googleusercontent.com)
2023-07-03 21:01:15 +0200alexherbo2(~alexherbo@80.105.204.77.rev.sfr.net)
2023-07-03 21:01:21 +0200zwron(~zwron@2408:8352:205:f2b0:7d16:c1dd:1a36:4fed) (Quit: Client closed)
2023-07-03 21:02:09 +0200`2jt(~jtomas@90.162.208.36)
2023-07-03 21:02:09 +0200zwron56(~zwron@213.159.100.34.bc.googleusercontent.com) (Client Quit)
2023-07-03 21:05:13 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-03 21:05:39 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2023-07-03 21:07:40 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-03 21:09:47 +0200texasmynsted(~username@99.96.221.112)
2023-07-03 21:09:58 +0200azr4e1(~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Ping timeout: 246 seconds)
2023-07-03 21:10:10 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-07-03 21:10:20 +0200dtman34(~dtman34@2601:447:d000:93c9:6f54:cf51:938d:ead5) (Ping timeout: 240 seconds)
2023-07-03 21:11:11 +0200caryhartline(~caryhartl@168.182.58.169)
2023-07-03 21:11:54 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
2023-07-03 21:15:01 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-03 21:22:32 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-07-03 21:23:21 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-07-03 21:23:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-03 21:23:47 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-03 21:26:15 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-03 21:27:56 +0200 <bontaq> ))
2023-07-03 21:31:30 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 21:32:16 +0200dtman34(~dtman34@c-76-156-89-180.hsd1.mn.comcast.net)
2023-07-03 21:32:37 +0200caryhartline(~caryhartl@168.182.58.169)
2023-07-03 21:32:39 +0200Pickchea(~private@user/pickchea)
2023-07-03 21:33:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-07-03 21:34:59 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-03 21:35:43 +0200 <Athas> So, what's the current state-of-the-art of building statically linked Haskell programs with Nix?
2023-07-03 21:35:47 +0200ShalokShalom(~ShalokSha@17-14-5.cgnat.fonira.net)
2023-07-03 21:35:56 +0200 <Athas> I currently have a setup that works reasonably well with a statically linked glibc, but I always wondered whether musl would be better. I never could figure out the necessary Nix magic.
2023-07-03 21:36:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-07-03 21:36:20 +0200ShalokShalom(~ShalokSha@17-14-5.cgnat.fonira.net) (Client Quit)
2023-07-03 21:36:29 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-03 21:39:07 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-07-03 21:39:16 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-03 21:40:21 +0200alexherbo2(~alexherbo@80.105.204.77.rev.sfr.net) (Remote host closed the connection)
2023-07-03 21:45:51 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-07-03 21:49:10 +0200danse-nr3(~francesco@151.35.234.186) (Ping timeout: 246 seconds)
2023-07-03 21:50:24 +0200ss4(~wootehfoo@user/wootehfoot)
2023-07-03 21:53:05 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds)
2023-07-03 21:56:02 +0200trev(~trev@user/trev) (Quit: trev)
2023-07-03 21:59:21 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-03 21:59:37 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-03 22:05:33 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-03 22:06:44 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-07-03 22:07:55 +0200nick1(~nick@2600:8807:9084:7800:f9c4:557:c1bd:d23d)
2023-07-03 22:08:32 +0200CAT_S(apic@brezn3.muc.ccc.de) (Quit: Lost terminal)
2023-07-03 22:08:40 +0200ft(~ft@p508db151.dip0.t-ipconnect.de)
2023-07-03 22:09:02 +0200pavonia(~user@user/siracusa)
2023-07-03 22:11:59 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2023-07-03 22:13:14 +0200nick1(~nick@2600:8807:9084:7800:f9c4:557:c1bd:d23d) (Ping timeout: 246 seconds)
2023-07-03 22:15:29 +0200ss4(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-07-03 22:19:41 +0200 <janus> how do you statically link glibc? i thought that was not possible due to DNS
2023-07-03 22:20:09 +0200 <probie> A statically linked glibc isn't as statically linked as you might hope. A call to something like `getaddrinfo` is going to make it try and dlopen a bunch of things
2023-07-03 22:21:45 +0200 <sm> we need a zig generator for ghc
2023-07-03 22:22:37 +0200 <geekosaur> right, you can "statically link" glibc but you have to provide the matching NSS and locale shared objects at runtime
2023-07-03 22:23:24 +0200 <geekosaur> and because their interfaces are not part of the public ABI you get zero promises if you give it ones from a different glibc
2023-07-03 22:25:24 +0200 <probie> geekosaur: and the matching glibc at run time, because those shared objects will want to dynamically link against libc.so.6
2023-07-03 22:25:42 +0200 <EvanR> statically link the linux kernel with your app
2023-07-03 22:26:46 +0200 <EvanR> and bundle it with vmware
2023-07-03 22:28:24 +0200 <juri_> or don't.
2023-07-03 22:31:52 +0200 <monochrom> Ship the whole computer, hardware plus software.
2023-07-03 22:32:05 +0200 <monochrom> Now that's what you call a finished product. >:)
2023-07-03 22:32:15 +0200 <[exa]> and power plant
2023-07-03 22:32:24 +0200 <darkling> Don't forget the pocket universe to ensure that the physics don't change under it. :)
2023-07-03 22:35:31 +0200 <EvanR> good call
2023-07-03 22:37:55 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-07-03 22:38:39 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-07-03 22:38:53 +0200 <tomsmeding> EvanR: I am currently working with software that, I kid you not, ships not only with libc.so and libc++.so, but also with a ld-linkx-x86-64.so -- i.e. a loader
2023-07-03 22:39:03 +0200 <tomsmeding> they want to keep it closed-source quite badly
2023-07-03 22:39:04 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-07-03 22:39:05 +0200`2jt(~jtomas@90.162.208.36) (Ping timeout: 260 seconds)
2023-07-03 22:39:22 +0200 <tomsmeding> *ld-linux-x86-64.so
2023-07-03 22:40:48 +0200 <monochrom> Like games on Windows shipping with their own DirectX :)
2023-07-03 22:41:32 +0200 <EvanR> donut steel our code!
2023-07-03 22:43:26 +0200 <tomsmeding> monochrom: kinda
2023-07-03 22:44:08 +0200Rydwxz_(~rw@cpe-75-82-51-90.socal.res.rr.com) (Quit: leaving)
2023-07-03 22:44:24 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-03 22:47:11 +0200hseg(~gesh@46.120.21.117)
2023-07-03 22:48:05 +0200hseg(~gesh@46.120.21.117) (Client Quit)
2023-07-03 22:50:18 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-03 22:50:32 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-03 22:50:50 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-03 22:53:34 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 260 seconds)
2023-07-03 22:55:29 +0200Lycurgus(~juan@user/Lycurgus)
2023-07-03 22:58:44 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds)
2023-07-03 23:01:06 +0200 <Athas> janus: you just do it. I don't need DNS.
2023-07-03 23:01:10 +0200 <Athas> It has worked fine.
2023-07-03 23:01:45 +0200 <Athas> But since everybody says it doesn't work, I suppose I should try something that supposedly does work.
2023-07-03 23:03:12 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-07-03 23:05:20 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-07-03 23:07:31 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-07-03 23:08:23 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-03 23:09:06 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 252 seconds)
2023-07-03 23:12:53 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2023-07-03 23:13:31 +0200extor(~extor@ns3018124.ip-149-202-82.eu) (Ping timeout: 246 seconds)
2023-07-03 23:14:31 +0200ShalokShalom(~ShalokSha@17-14-5.cgnat.fonira.net)
2023-07-03 23:17:01 +0200michalz(~michalz@185.246.207.197)
2023-07-03 23:17:17 +0200 <int-e> monochrom: "Ship the whole computer" - you've just described a smart phone, an electric (and modern non-electric) cars, some fridges, smart TVs... and that's just consumer products
2023-07-03 23:19:18 +0200noteness-(~noteness@user/noteness) (Server closed connection)
2023-07-03 23:19:33 +0200noteness_(~noteness@user/noteness)
2023-07-03 23:21:18 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
2023-07-03 23:21:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-03 23:24:17 +0200mmhat(~mmh@p200300f1c722e493ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.0)
2023-07-03 23:25:05 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-07-03 23:26:23 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2023-07-03 23:27:06 +0200sm[i](~smi]@plaintextaccounting/sm)
2023-07-03 23:28:34 +0200ddellacosta(~ddellacos@146.70.185.100) (Ping timeout: 246 seconds)
2023-07-03 23:28:49 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-03 23:29:56 +0200michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2023-07-03 23:32:19 +0200biberu(~biberu@user/biberu)
2023-07-03 23:37:19 +0200caryhartline(~caryhartl@168.182.58.169)
2023-07-03 23:39:01 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-03 23:41:19 +0200ShalokShalom(~ShalokSha@17-14-5.cgnat.fonira.net) (Quit: Client closed)
2023-07-03 23:43:15 +0200 <mtjm> I have a half-put-together library that provides optics for the time library, is this something that people would be interested in using?
2023-07-03 23:43:17 +0200 <mtjm> https://github.com/mutantmell/time-optics
2023-07-03 23:47:23 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
2023-07-03 23:51:06 +0200sm[i](~smi]@plaintextaccounting/sm) (Quit: Client closed)
2023-07-03 23:51:47 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-03 23:54:02 +0200ShalokShalom(~ShalokSha@17-14-5.cgnat.fonira.net)
2023-07-03 23:58:29 +0200ShalokShalom(~ShalokSha@17-14-5.cgnat.fonira.net) (Ping timeout: 246 seconds)