2024/07/05

2024-07-05 00:04:59 +0200TactfulCitrus(~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047)
2024-07-05 00:08:33 +0200malte(~malte@mal.tc) (Read error: Connection reset by peer)
2024-07-05 00:13:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-07-05 00:17:27 +0200euleritian(~euleritia@dynamic-176-002-133-146.176.2.pool.telefonica.de)
2024-07-05 00:18:57 +0200malte(~malte@mal.tc)
2024-07-05 00:20:55 +0200destituion(~destituio@2a02:2121:6cb:fbc3:2f81:ee37:cafd:a2e0) (Ping timeout: 256 seconds)
2024-07-05 00:27:32 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-05 00:28:52 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Remote host closed the connection)
2024-07-05 00:41:48 +0200tdmarrrrrrrrrrra(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds)
2024-07-05 00:42:37 +0200tdmarrrrrrrrrrra(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-07-05 00:47:58 +0200tdmarrrrrrrrrrra(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-07-05 01:10:06 +0200tomku|two(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-05 01:12:08 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds)
2024-07-05 01:27:19 +0200oo_miguel(~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds)
2024-07-05 01:43:49 +0200xdminsy(~xdminsy@117.147.70.231) (Quit: Konversation terminated!)
2024-07-05 01:44:14 +0200xdminsy(~xdminsy@117.147.70.231)
2024-07-05 01:45:10 +0200 <lain`> what row polymorphism library are people using? there's like 20 and most of them seem unmaintained
2024-07-05 01:50:34 +0200 <jackdk> I get by with HasField constraints from generic-lens
2024-07-05 01:54:57 +0200xff0x(~xff0x@2405:6580:b080:900:5277:df26:6b07:8b52) (Ping timeout: 272 seconds)
2024-07-05 02:02:49 +0200 <monochrom> I'm drunk so I think we need row polymorphism over those 20 row polymorphism libraries!
2024-07-05 02:02:54 +0200 <monochrom> @quote monochrom debate
2024-07-05 02:02:54 +0200 <lambdabot> monochrom says: All pointless debates can be settled by going polymorphic.
2024-07-05 02:05:47 +0200 <EvanR> celebrating america day?
2024-07-05 02:11:02 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-05 02:14:49 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
2024-07-05 02:16:19 +0200xff0x(~xff0x@2405:6580:b080:900:5277:df26:6b07:8b52)
2024-07-05 02:21:01 +0200pyooque(~puke@user/puke)
2024-07-05 02:21:01 +0200puke(~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services)))
2024-07-05 02:21:01 +0200pyooquepuke
2024-07-05 02:22:15 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-07-05 02:23:30 +0200puke(~puke@user/puke)
2024-07-05 02:24:43 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-07-05 02:26:00 +0200puke(~puke@user/puke)
2024-07-05 02:30:56 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-05 02:31:20 +0200califax(~califax@user/califx)
2024-07-05 02:33:27 +0200malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2024-07-05 02:34:45 +0200dysthesis(~dysthesis@user/dysthesis)
2024-07-05 02:34:45 +0200 <dmj`> lain`: you'd think the compiler would have that by now
2024-07-05 02:43:54 +0200malte(~malte@mal.tc)
2024-07-05 03:01:51 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-05 03:13:07 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-05 03:14:22 +0200tomku|two(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-05 03:15:14 +0200AlexNoo_(~AlexNoo@178.34.160.84)
2024-07-05 03:15:46 +0200AlexZenon(~alzenon@178.34.160.84) (Ping timeout: 268 seconds)
2024-07-05 03:16:57 +0200AlexNoo(~AlexNoo@178.34.160.84) (Ping timeout: 255 seconds)
2024-07-05 03:22:13 +0200AlexZenon(~alzenon@178.34.160.84)
2024-07-05 03:43:47 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:ef2:fbb7:f346:1550) (Quit: Leaving)
2024-07-05 04:05:53 +0200 <jackdk> I have a record that contains a very large field, and code that tries to overwrite that field with an empty value (so I can keep the record around without a massive space leak), but nothing yet forces the thunk which does the update. Are there any common idioms for forcing a record field? At this stage there are no bang patterns in play
2024-07-05 04:07:01 +0200 <geekosaur> usually you just declare the field to be strict, I think
2024-07-05 04:07:06 +0200 <jackdk> I suppose I could do `let record' = record { field = mempty } in seq (field record') record'` but maybe there's something better?
2024-07-05 04:07:09 +0200 <jackdk> yeah ok
2024-07-05 04:16:49 +0200xff0x(~xff0x@2405:6580:b080:900:5277:df26:6b07:8b52) (Ping timeout: 268 seconds)
2024-07-05 04:25:21 +0200 <monochrom> https://vaibhavsagar.com/blog/2024/07/03/ghci-in-the-browser/ haha "as long as ... you are willing to download ~700MB of WASM."
2024-07-05 04:26:53 +0200 <haskellbridge> <vaibhavsagar> we really should do something about that
2024-07-05 04:27:18 +0200 <monochrom> ohai... heh
2024-07-05 04:27:45 +0200 <geekosaur> so you can kill the other half of maerwald's phone? 😈
2024-07-05 04:27:56 +0200 <monochrom> hahaha
2024-07-05 04:28:50 +0200 <haskellbridge> <vaibhavsagar> tbf I don't think that had anything to with the size of the WASM bundle
2024-07-05 04:28:59 +0200 <jackdk> vaibhavsagar: just tell them it's an LLM and they'll happily download binary blobs of arbitrary size
2024-07-05 04:29:21 +0200 <haskellbridge> <vaibhavsagar> that's a stunningly good idea
2024-07-05 04:29:42 +0200 <haskellbridge> <vaibhavsagar> LLMda
2024-07-05 04:29:58 +0200 <monochrom> Hot take: Haskell compiler : small language model :: C++ compiler :: large language model
2024-07-05 04:30:58 +0200 <haskellbridge> <vaibhavsagar> my WASM blob includes a full installation of g++
2024-07-05 04:31:10 +0200 <haskellbridge> <vaibhavsagar> so it should maybe be the other way round
2024-07-05 04:32:02 +0200 <monochrom> Oh I'm joking on (small/large language) not (small/large model) :)
2024-07-05 04:32:45 +0200 <monochrom> OK so GHC is a large model for a small language, sosad
2024-07-05 04:33:38 +0200dysthesis(~dysthesis@user/dysthesis) (Ping timeout: 260 seconds)
2024-07-05 04:38:51 +0200td_(~td@i5387093F.versanet.de) (Ping timeout: 255 seconds)
2024-07-05 04:40:28 +0200td_(~td@i53870914.versanet.de)
2024-07-05 04:51:37 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Remote host closed the connection)
2024-07-05 04:51:50 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-05 04:59:21 +0200Sgeo_(~Sgeo@user/sgeo)
2024-07-05 05:02:33 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 256 seconds)
2024-07-05 05:05:17 +0200khumba(~khumba@user/khumba) ()
2024-07-05 05:07:54 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-05 05:15:41 +0200aforemny_(~aforemny@i59F516DC.versanet.de)
2024-07-05 05:16:38 +0200aforemny(~aforemny@i59F516FF.versanet.de) (Ping timeout: 256 seconds)
2024-07-05 05:36:29 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 240 seconds)
2024-07-05 05:38:45 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-05 05:43:12 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-05 05:43:59 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-05 05:46:36 +0200 <haskellbridge> <aaron> jackdk: Why do you need to force the field? Don't you just need to force record'?
2024-07-05 05:47:43 +0200 <jackdk> aaron: it's a record update of a record update, so AIUI I'd need to force the outer field so the inner update happens promptly
2024-07-05 05:52:42 +0200 <haskellbridge> <aaron> Oh, as in updating a nested record?
2024-07-05 06:00:25 +0200 <haskellbridge> <aaron> jackdk: for forcing a field I guess you can do let !field = x in record { field }
2024-07-05 06:00:52 +0200 <jackdk> Sounds good, thanks
2024-07-05 06:07:56 +0200 <EvanR> force field
2024-07-05 06:10:17 +0200 <haskellbridge> <aaron> -XForceField
2024-07-05 06:12:51 +0200dunj3(~dunj3@kingdread.de) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2024-07-05 06:13:30 +0200dunj3(~dunj3@kingdread.de)
2024-07-05 06:14:36 +0200Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-07-05 06:18:55 +0200euleritian(~euleritia@dynamic-176-002-133-146.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-05 06:19:13 +0200euleritian(~euleritia@77.22.252.56)
2024-07-05 06:23:40 +0200 <haskellbridge> <aaron> jackdk: also if you use lenses you can do "set fieldLens $! value"
2024-07-05 06:24:19 +0200 <jackdk> that would still need the outer record to be forced via `seq` or something, right?
2024-07-05 06:27:47 +0200 <haskellbridge> <aaron> er, fieldLens would have to be the lens for the nested record, not the field within it
2024-07-05 06:28:50 +0200 <haskellbridge> <aaron> wonder if there's a combinator for making a lens strict
2024-07-05 06:40:35 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2024-07-05 06:40:57 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-07-05 06:56:23 +0200michalz(~michalz@185.246.207.200)
2024-07-05 06:58:41 +0200aaronv(~aaronv@user/aaronv)
2024-07-05 07:02:46 +0200dfg(~dfg@user/dfg) (Remote host closed the connection)
2024-07-05 07:03:36 +0200dfg(~dfg@dfg.rocks)
2024-07-05 07:03:37 +0200dfg(~dfg@dfg.rocks) (Changing host)
2024-07-05 07:03:37 +0200dfg(~dfg@user/dfg)
2024-07-05 07:04:56 +0200dfg(~dfg@user/dfg) (Remote host closed the connection)
2024-07-05 07:05:11 +0200dfg(~dfg@user/dfg)
2024-07-05 07:15:24 +0200rosco(~rosco@175.136.155.137)
2024-07-05 07:27:56 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-07-05 07:30:17 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-05 07:31:21 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: Yup, exiting...)
2024-07-05 07:44:08 +0200euphores(~SASL_euph@user/euphores)
2024-07-05 07:44:51 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb277d28f4d2e7a5b949.dip0.t-ipconnect.de)
2024-07-05 07:45:38 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-07-05 07:45:54 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-07-05 07:50:08 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-05 07:52:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-05 07:54:09 +0200FragByte(~christian@user/fragbyte) (Ping timeout: 255 seconds)
2024-07-05 08:01:21 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Remote host closed the connection)
2024-07-05 08:01:39 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-05 08:08:48 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-05 08:09:11 +0200califax(~califax@user/califx)
2024-07-05 08:16:39 +0200Guest44(~Guest54@122.115.224.163)
2024-07-05 08:22:38 +0200phma(~phma@2001:5b0:211f:df58:db5:77f1:4b7c:c21a) (Read error: Connection reset by peer)
2024-07-05 08:23:02 +0200aaronv(~aaronv@user/aaronv) (Remote host closed the connection)
2024-07-05 08:23:21 +0200aaronv(~aaronv@user/aaronv)
2024-07-05 08:23:52 +0200phma(phma@2001:5b0:210f:75d8:5712:dd76:7969:de0f)
2024-07-05 08:28:50 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving)
2024-07-05 08:40:51 +0200lortabac(~lortabac@78.211.149.172)
2024-07-05 08:45:44 +0200lortabac(~lortabac@78.211.149.172) (Ping timeout: 256 seconds)
2024-07-05 08:47:08 +0200lortabac(~lortabac@78.210.203.177)
2024-07-05 08:53:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-05 08:53:24 +0200Yumemi(~Yumemi@2001:bc8:47a0:1b14::1) (Quit: .)
2024-07-05 08:53:49 +0200Yumemi(~Yumemi@2001:bc8:47a0:1b14::1)
2024-07-05 08:55:42 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-05 09:03:48 +0200Guest44(~Guest54@122.115.224.163) (Ping timeout: 250 seconds)
2024-07-05 09:07:05 +0200gmg(~user@user/gehmehgeh)
2024-07-05 09:34:18 +0200codaraxis__(~codaraxis@user/codaraxis)
2024-07-05 09:35:04 +0200visilii(~visilii@213.24.125.33) (Quit: ZNC - https://znc.in)
2024-07-05 09:35:23 +0200visilii(~visilii@213.24.125.33)
2024-07-05 09:38:06 +0200codaraxis___(~codaraxis@user/codaraxis) (Ping timeout: 255 seconds)
2024-07-05 09:40:35 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 260 seconds)
2024-07-05 09:40:36 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-05 09:42:21 +0200misterfish(~misterfis@094190207253.static.ipv4.heldenvannu.net)
2024-07-05 09:58:19 +0200lortabac(~lortabac@78.210.203.177) (Quit: WeeChat 4.2.2)
2024-07-05 09:59:54 +0200aaronv(~aaronv@user/aaronv)
2024-07-05 10:05:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-05 10:05:37 +0200aaronv(~aaronv@user/aaronv) (Quit: Leaving)
2024-07-05 10:16:31 +0200chele(~chele@user/chele)
2024-07-05 10:18:18 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2024-07-05 10:27:24 +0200lortabac(~lortabac@78.210.203.177)
2024-07-05 10:32:53 +0200danse-nr3(~danse-nr3@151.47.146.33)
2024-07-05 10:40:13 +0200 <c_wraith> over an arbitrary data type?
2024-07-05 10:41:25 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-05 10:43:52 +0200cfricke(~cfricke@user/cfricke)
2024-07-05 10:48:40 +0200danse-nr3(~danse-nr3@151.47.146.33) (Ping timeout: 246 seconds)
2024-07-05 10:49:41 +0200misterfish(~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 240 seconds)
2024-07-05 10:55:56 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-07-05 10:56:35 +0200misterfish(~misterfis@094190207253.static.ipv4.heldenvannu.net)
2024-07-05 10:57:05 +0200danse-nr3(~danse-nr3@151.47.146.33)
2024-07-05 11:03:43 +0200 <c_wraith> Turns out you can write one, within certain limitations. nevermind me being like 5 hours late.
2024-07-05 11:03:44 +0200__monty__(~toonn@user/toonn)
2024-07-05 11:14:26 +0200 <albet70> there's a list [1..99], get the summary of items from right to left below N, when N is 200, its [98,99], except scanr and traverse, is there other good way?
2024-07-05 11:15:03 +0200qqq(~qqq@92.43.167.61)
2024-07-05 11:16:20 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f)
2024-07-05 11:16:20 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Client Quit)
2024-07-05 11:19:14 +0200qqq(~qqq@92.43.167.61) (Client Quit)
2024-07-05 11:21:50 +0200 <ncf> wut
2024-07-05 11:22:09 +0200sawilagar(~sawilagar@user/sawilagar)
2024-07-05 11:22:15 +0200qqe(~qqq@92.43.167.61)
2024-07-05 11:27:32 +0200 <[exa]> albet70: walk the "diagonal" of the matrix of all sums (that gives you roughly O(n) alg)
2024-07-05 11:27:52 +0200driib3(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-07-05 11:28:26 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-07-05 11:28:27 +0200 <[exa]> albet70: funnily, https://en.wikipedia.org/wiki/3SUM
2024-07-05 11:32:40 +0200qqe(~qqq@92.43.167.61) (Quit: leaving)
2024-07-05 11:33:07 +0200qqe(~qqq@92.43.167.61)
2024-07-05 11:34:22 +0200flounders_(~flounders@24.246.176.178) (Quit: WeeChat 4.1.2)
2024-07-05 11:34:25 +0200qqe(~qqq@92.43.167.61) (Client Quit)
2024-07-05 11:34:43 +0200qqe(~qqq@92.43.167.61)
2024-07-05 11:40:42 +0200mikess(~mikess@user/mikess) (Ping timeout: 252 seconds)
2024-07-05 11:44:08 +0200bliminse(~bliminse@user/bliminse)
2024-07-05 11:57:47 +0200mzg(mzg@abusers.hu) (Remote host closed the connection)
2024-07-05 11:59:03 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-07-05 12:01:28 +0200lortabac(~lortabac@78.210.203.177) (Quit: WeeChat 4.2.2)
2024-07-05 12:09:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-05 12:13:36 +0200mzg(~mzg@abusers.hu)
2024-07-05 12:16:47 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-07-05 12:18:29 +0200mzg(~mzg@abusers.hu) (Ping timeout: 240 seconds)
2024-07-05 12:23:46 +0200mzg(mzg@abusers.hu)
2024-07-05 12:24:34 +0200misterfish(~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 264 seconds)
2024-07-05 12:24:40 +0200vpan(~vpan@212.117.1.172)
2024-07-05 12:28:11 +0200ubert(~Thunderbi@p200300ecdf008f4b372e113240d6a5e8.dip0.t-ipconnect.de)
2024-07-05 12:31:06 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2024-07-05 12:33:27 +0200Fijxu(~Fijxu@user/fijxu)
2024-07-05 12:54:15 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds)
2024-07-05 13:13:31 +0200lortabac(~lortabac@78.210.203.177)
2024-07-05 13:22:10 +0200danse-nr3(~danse-nr3@151.47.146.33) (Ping timeout: 264 seconds)
2024-07-05 13:23:40 +0200wlhn(~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi)
2024-07-05 13:26:38 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-05 13:40:32 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2024-07-05 13:59:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-05 14:03:15 +0200misterfish(~misterfis@84.53.85.146)
2024-07-05 14:05:11 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 268 seconds)
2024-07-05 14:06:12 +0200euleritian(~euleritia@dynamic-176-002-131-122.176.2.pool.telefonica.de)
2024-07-05 14:08:13 +0200euleritian(~euleritia@dynamic-176-002-131-122.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-05 14:08:39 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-05 14:10:18 +0200noumenon(~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94)
2024-07-05 14:23:33 +0200meooow_(~meooow@2400:6180:100:d0::ad9:e001) (Quit: q)
2024-07-05 14:23:48 +0200meooow(~meooow@165.232.184.169)
2024-07-05 14:24:46 +0200Square(~Square@user/square)
2024-07-05 14:29:59 +0200danse-nr3(~danse-nr3@151.47.162.188)