2024/07/05

Newest at the top

2024-07-05 04:33:38 +0200dysthesis(~dysthesis@user/dysthesis) (Ping timeout: 260 seconds)
2024-07-05 04:32:45 +0200 <monochrom> OK so GHC is a large model for a small language, sosad
2024-07-05 04:32:02 +0200 <monochrom> Oh I'm joking on (small/large language) not (small/large model) :)
2024-07-05 04:31:10 +0200 <haskellbridge> <vaibhavsagar> so it should maybe be the other way round
2024-07-05 04:30:58 +0200 <haskellbridge> <vaibhavsagar> my WASM blob includes a full installation of g++
2024-07-05 04:29:58 +0200 <monochrom> Hot take: Haskell compiler : small language model :: C++ compiler :: large language model
2024-07-05 04:29:42 +0200 <haskellbridge> <vaibhavsagar> LLMda
2024-07-05 04:29:21 +0200 <haskellbridge> <vaibhavsagar> that's a stunningly good idea
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: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:27:56 +0200 <monochrom> hahaha
2024-07-05 04:27:45 +0200 <geekosaur> so you can kill the other half of maerwald's phone? 😈
2024-07-05 04:27:18 +0200 <monochrom> ohai... heh
2024-07-05 04:26:53 +0200 <haskellbridge> <vaibhavsagar> we really should do something about that
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:16:49 +0200xff0x(~xff0x@2405:6580:b080:900:5277:df26:6b07:8b52) (Ping timeout: 268 seconds)
2024-07-05 04:07:09 +0200 <jackdk> yeah ok
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:01 +0200 <geekosaur> usually you just declare the field to be strict, I think
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 03:43:47 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:ef2:fbb7:f346:1550) (Quit: Leaving)
2024-07-05 03:22:13 +0200AlexZenon(~alzenon@178.34.160.84)
2024-07-05 03:16:57 +0200AlexNoo(~AlexNoo@178.34.160.84) (Ping timeout: 255 seconds)
2024-07-05 03:15:46 +0200AlexZenon(~alzenon@178.34.160.84) (Ping timeout: 268 seconds)
2024-07-05 03:15:14 +0200AlexNoo_(~AlexNoo@178.34.160.84)
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:13:07 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-05 03:01:51 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-05 02:43:54 +0200malte(~malte@mal.tc)
2024-07-05 02:34:45 +0200 <dmj`> lain`: you'd think the compiler would have that by now
2024-07-05 02:34:45 +0200dysthesis(~dysthesis@user/dysthesis)
2024-07-05 02:33:27 +0200malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2024-07-05 02:31:20 +0200califax(~califax@user/califx)
2024-07-05 02:30:56 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-05 02:26:00 +0200puke(~puke@user/puke)
2024-07-05 02:24:43 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-07-05 02:23:30 +0200puke(~puke@user/puke)
2024-07-05 02:22:15 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-07-05 02:21:01 +0200pyooquepuke
2024-07-05 02:21:01 +0200puke(~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services)))
2024-07-05 02:21:01 +0200pyooque(~puke@user/puke)
2024-07-05 02:16:19 +0200xff0x(~xff0x@2405:6580:b080:900:5277:df26:6b07:8b52)
2024-07-05 02:14:49 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
2024-07-05 02:11:02 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-05 02:05:47 +0200 <EvanR> celebrating america day?
2024-07-05 02:02:54 +0200 <lambdabot> monochrom says: All pointless debates can be settled by going polymorphic.
2024-07-05 02:02:54 +0200 <monochrom> @quote monochrom debate
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 01:54:57 +0200xff0x(~xff0x@2405:6580:b080:900:5277:df26:6b07:8b52) (Ping timeout: 272 seconds)
2024-07-05 01:50:34 +0200 <jackdk> I get by with HasField constraints from generic-lens