2025/02/12

Newest at the top

2025-02-12 02:49:46 +0100 <geekosaur> pass
2025-02-12 02:48:22 +0100 <haskellbridge> <zungi (it/its)> zungi: test
2025-02-12 02:46:53 +0100piele(~piele@eiseth.creativeserver.net) piele
2025-02-12 02:46:24 +0100piele(~piele@eiseth.creativeserver.net) (Ping timeout: 252 seconds)
2025-02-12 02:44:54 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 260 seconds)
2025-02-12 02:44:02 +0100ystael(~ystael@user/ystael) (Quit: Lost terminal)
2025-02-12 02:40:21 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net)
2025-02-12 02:40:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-12 02:38:29 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-02-12 02:35:56 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-12 02:35:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-12 02:32:59 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-02-12 02:31:19 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-02-12 02:28:33 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-02-12 02:26:58 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-12 02:24:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-02-12 02:22:37 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-12 02:20:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-12 02:18:07 +0100 <monochrom> I actually forgot whether Rust has anything like our Read.
2025-02-12 02:16:45 +0100Googulator(~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu)
2025-02-12 02:16:31 +0100Googulator(~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) (Quit: Client closed)
2025-02-12 02:15:59 +0100 <monochrom> more precisely, debugging messages for devs.
2025-02-12 02:15:31 +0100 <zungi> Thank you, monochrom.
2025-02-12 02:15:31 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-02-12 02:15:26 +0100kittiesCatty
2025-02-12 02:15:01 +0100 <monochrom> OK OK. One type class is for end-users, the other is for debugging messages.
2025-02-12 02:14:52 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-02-12 02:14:25 +0100 <zungi> Hey, Haskell has two typeclasses, too; Haskell has Read and Show. zo'o sai
2025-02-12 02:13:54 +0100 <monochrom> Yes. It has two such type classes instead of one. :)
2025-02-12 02:13:35 +0100sprotte24(~sprotte24@p200300d16f05dc00448362a75cf21d07.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-02-12 02:13:31 +0100 <zungi> monochrom: Can you summarize the Rust situation?
2025-02-12 02:13:05 +0100 <monochrom> More precisely, learned from our quarrels. :)
2025-02-12 02:12:10 +0100 <monochrom> About Show. Rust learned from us and have two such type classes instead of one.
2025-02-12 02:11:09 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-02-12 02:09:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-12 02:05:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-12 02:04:27 +0100califax_califax
2025-02-12 02:04:24 +0100califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-02-12 02:03:15 +0100califax_(~califax@user/califx) califx
2025-02-12 02:02:51 +0100acidjnk_new3(~acidjnk@p200300d6e7283f949088022741b454a0.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-02-12 01:56:36 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-02-12 01:54:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-02-12 01:49:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-12 01:48:45 +0100attk(~attk@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection)
2025-02-12 01:48:37 +0100 <Leary> kaol: If your ghc is recent enough, you have "multi-repl"; you can list multiple components or just do `cabal repl all`. For older GHC and ghciwatch, which don't support it, there's a nice way to write your cabal file such that you have a `dev` component that effectively combines the others without interfering with them: https://gist.github.com/LSLeary/6551f1dc3e25fe0d0d629b4ddb385359
2025-02-12 01:45:02 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-02-12 01:39:17 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-12 01:38:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-12 01:34:52 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-12 01:31:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn