2024-07-05 00:04:59 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
2024-07-05 00:08:33 +0200 | malte | (~malte@mal.tc) (Read error: Connection reset by peer) |
2024-07-05 00:13:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-07-05 00:17:27 +0200 | euleritian | (~euleritia@dynamic-176-002-133-146.176.2.pool.telefonica.de) |
2024-07-05 00:18:57 +0200 | malte | (~malte@mal.tc) |
2024-07-05 00:20:55 +0200 | destituion | (~destituio@2a02:2121:6cb:fbc3:2f81:ee37:cafd:a2e0) (Ping timeout: 256 seconds) |
2024-07-05 00:27:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-07-05 00:28:52 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Remote host closed the connection) |
2024-07-05 00:41:48 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
2024-07-05 00:42:37 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-07-05 00:47:58 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-07-05 01:10:06 +0200 | tomku|two | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-05 01:12:08 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-07-05 01:27:19 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds) |
2024-07-05 01:43:49 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Quit: Konversation terminated!) |
2024-07-05 01:44:14 +0200 | xdminsy | (~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 +0200 | xff0x | (~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 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-07-05 02:14:49 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
2024-07-05 02:16:19 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5277:df26:6b07:8b52) |
2024-07-05 02:21:01 +0200 | pyooque | (~puke@user/puke) |
2024-07-05 02:21:01 +0200 | puke | (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
2024-07-05 02:21:01 +0200 | pyooque | puke |
2024-07-05 02:22:15 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2024-07-05 02:23:30 +0200 | puke | (~puke@user/puke) |
2024-07-05 02:24:43 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2024-07-05 02:26:00 +0200 | puke | (~puke@user/puke) |
2024-07-05 02:30:56 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-07-05 02:31:20 +0200 | califax | (~califax@user/califx) |
2024-07-05 02:33:27 +0200 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2024-07-05 02:34:45 +0200 | dysthesis | (~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 +0200 | malte | (~malte@mal.tc) |
2024-07-05 03:01:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-07-05 03:13:07 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-05 03:14:22 +0200 | tomku|two | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-07-05 03:15:14 +0200 | AlexNoo_ | (~AlexNoo@178.34.160.84) |
2024-07-05 03:15:46 +0200 | AlexZenon | (~alzenon@178.34.160.84) (Ping timeout: 268 seconds) |
2024-07-05 03:16:57 +0200 | AlexNoo | (~AlexNoo@178.34.160.84) (Ping timeout: 255 seconds) |
2024-07-05 03:22:13 +0200 | AlexZenon | (~alzenon@178.34.160.84) |
2024-07-05 03:43:47 +0200 | joeyadams | (~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 +0200 | xff0x | (~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 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
2024-07-05 04:38:51 +0200 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 255 seconds) |
2024-07-05 04:40:28 +0200 | td_ | (~td@i53870914.versanet.de) |
2024-07-05 04:51:37 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Remote host closed the connection) |
2024-07-05 04:51:50 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-05 04:59:21 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
2024-07-05 05:02:33 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 256 seconds) |
2024-07-05 05:05:17 +0200 | khumba | (~khumba@user/khumba) () |
2024-07-05 05:07:54 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-07-05 05:15:41 +0200 | aforemny_ | (~aforemny@i59F516DC.versanet.de) |
2024-07-05 05:16:38 +0200 | aforemny | (~aforemny@i59F516FF.versanet.de) (Ping timeout: 256 seconds) |
2024-07-05 05:36:29 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 240 seconds) |
2024-07-05 05:38:45 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-05 05:43:12 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-07-05 05:43:59 +0200 | tomku | (~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 +0200 | dunj3 | (~dunj3@kingdread.de) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
2024-07-05 06:13:30 +0200 | dunj3 | (~dunj3@kingdread.de) |
2024-07-05 06:14:36 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
2024-07-05 06:18:55 +0200 | euleritian | (~euleritia@dynamic-176-002-133-146.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-05 06:19:13 +0200 | euleritian | (~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 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
2024-07-05 06:40:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-07-05 06:56:23 +0200 | michalz | (~michalz@185.246.207.200) |
2024-07-05 06:58:41 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-07-05 07:02:46 +0200 | dfg | (~dfg@user/dfg) (Remote host closed the connection) |
2024-07-05 07:03:36 +0200 | dfg | (~dfg@dfg.rocks) |
2024-07-05 07:03:37 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
2024-07-05 07:03:37 +0200 | dfg | (~dfg@user/dfg) |
2024-07-05 07:04:56 +0200 | dfg | (~dfg@user/dfg) (Remote host closed the connection) |
2024-07-05 07:05:11 +0200 | dfg | (~dfg@user/dfg) |
2024-07-05 07:15:24 +0200 | rosco | (~rosco@175.136.155.137) |
2024-07-05 07:27:56 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-07-05 07:30:17 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-07-05 07:31:21 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: Yup, exiting...) |
2024-07-05 07:44:08 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-07-05 07:44:51 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb277d28f4d2e7a5b949.dip0.t-ipconnect.de) |