2025/11/21

2025-11-21 00:02:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-21 00:06:14 +0100xff0x(~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e) (Ping timeout: 260 seconds)
2025-11-21 00:07:57 +0100williu5(~williu5@user/williu5) (Quit: WeeChat 4.7.1)
2025-11-21 00:09:39 +0100Pixi`Pixi
2025-11-21 00:10:19 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-21 00:13:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 00:17:00 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-21 00:18:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-21 00:19:29 +0100xff0x(~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e)
2025-11-21 00:20:18 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)
2025-11-21 00:20:47 +0100Googulator2(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-21 00:20:47 +0100Googulator87(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-21 00:24:26 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-21 00:28:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 00:30:44 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-21 00:33:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-21 00:37:39 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-21 00:42:45 +0100vardhan(~vardhan@122.172.85.147)
2025-11-21 00:44:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 00:49:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-21 00:53:23 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-21 00:54:48 +0100haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2025-11-21 00:55:52 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-11-21 00:57:12 +0100haskellbridge(~hackager@96.28.224.214) hackager
2025-11-21 00:57:12 +0100ChanServ+v haskellbridge
2025-11-21 01:02:40 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds)
2025-11-21 01:03:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 01:08:28 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-21 01:08:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-21 01:12:21 +0100 <Square2> hackage package search seems OOS. Cloudflare?
2025-11-21 01:15:54 +0100karenw(~karenw@user/karenw) karenw
2025-11-21 01:17:25 +0100karenw(~karenw@user/karenw) (Client Quit)
2025-11-21 01:17:37 +0100karenw(~karenw@user/karenw) karenw
2025-11-21 01:19:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 01:20:42 +0100Googulator52(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-21 01:20:47 +0100Googulator87(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-21 01:22:00 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 245 seconds)
2025-11-21 01:24:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-21 01:25:58 +0100williu5(~williu5@user/williu5) williu5
2025-11-21 01:27:29 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-21 01:30:20 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-11-21 01:34:19 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 265 seconds)
2025-11-21 01:34:23 +0100ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-11-21 01:34:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 01:39:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-21 01:45:05 +0100xff0x(~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e) (Ping timeout: 264 seconds)
2025-11-21 01:48:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 01:52:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-21 02:03:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 02:06:51 +0100omidmash6(~omidmash@user/omidmash) omidmash
2025-11-21 02:08:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-21 02:08:41 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 244 seconds)
2025-11-21 02:08:41 +0100omidmash6omidmash
2025-11-21 02:13:07 +0100vetkat(~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish)
2025-11-21 02:15:52 +0100bggd(~bgg@2a01:e0a:819:1510:3835:521f:ca74:58be)
2025-11-21 02:18:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 02:22:41 +0100ert485(~ert485@207.195.86.11)
2025-11-21 02:22:48 +0100vetkat(~vetkat@user/vetkat) vetkat
2025-11-21 02:23:21 +0100ert485(~ert485@207.195.86.11) (Quit: Client closed)
2025-11-21 02:23:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-21 02:23:58 +0100mange(~mange@user/mange) mange
2025-11-21 02:24:51 +0100ert485(~ert485@207.195.86.11)
2025-11-21 02:27:13 +0100synchrom1(~john@2406:5a00:2412:2c00:394c:fa0b:5fac:c256) (Read error: Connection reset by peer)
2025-11-21 02:28:35 +0100synchromesh(~john@2406:5a00:2412:2c00:58f6:2167:890b:2ed2) synchromesh
2025-11-21 02:28:46 +0100acidjnk(~acidjnk@p200300d6e71719764cede409c055dd1e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-11-21 02:28:54 +0100trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-21 02:29:06 +0100trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-11-21 02:30:01 +0100ert485(~ert485@207.195.86.11) (Quit: Client closed)
2025-11-21 02:32:11 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-11-21 02:34:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 02:34:34 +0100ert485(~ert485@207.195.86.11)
2025-11-21 02:34:59 +0100ert485(~ert485@207.195.86.11) (Client Quit)
2025-11-21 02:35:21 +0100AlexNoo_(~AlexNoo@94.233.240.123)
2025-11-21 02:37:04 +0100AlexZenon(~alzenon@178.34.162.20) (Ping timeout: 256 seconds)
2025-11-21 02:38:51 +0100AlexNoo(~AlexNoo@178.34.162.20) (Ping timeout: 250 seconds)
2025-11-21 02:40:18 +0100peterbecich(~Thunderbi@172.222.148.214) (Quit: peterbecich)
2025-11-21 02:40:23 +0100aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-11-21 02:41:14 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-21 02:41:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-21 02:41:44 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 240 seconds)
2025-11-21 02:42:56 +0100ubert1(~Thunderbi@178.165.175.248.wireless.dyn.drei.com) (Quit: ubert1)
2025-11-21 02:43:12 +0100ert485(~ert485@207.195.86.11)
2025-11-21 02:43:24 +0100ert485(~ert485@207.195.86.11) (Client Quit)
2025-11-21 02:43:26 +0100califax(~califax@user/califx) califx
2025-11-21 02:49:14 +0100 <chromoblob> [exa]: sorry, what? what's "act"?
2025-11-21 02:52:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 02:55:01 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-11-21 02:56:55 +0100AlexZenon(~alzenon@94.233.240.123)
2025-11-21 02:57:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-21 02:57:55 +0100mange(~mange@user/mange) (Ping timeout: 264 seconds)
2025-11-21 03:02:52 +0100trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-21 03:03:05 +0100trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-11-21 03:06:03 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-21 03:06:26 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-21 03:07:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 03:08:25 +0100marlino(~marlino@96-8-193-95.block0.gvtc.com)
2025-11-21 03:12:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-21 03:13:19 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-21 03:20:43 +0100Googulator87(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-21 03:20:51 +0100Googulator52(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-21 03:23:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 03:26:02 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-21 03:27:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-21 03:29:44 +0100down200(~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in)
2025-11-21 03:32:11 +0100connrs(~connrs@user/connrs) (Read error: Connection reset by peer)
2025-11-21 03:32:23 +0100connrs(~connrs@user/connrs) connrs
2025-11-21 03:38:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-21 03:39:03 +0100 <sam113101> I'm not happy with the performance of haskell
2025-11-21 03:39:37 +0100 <sam113101> make code takes 30s to run will it takes 2s in most other languages
2025-11-21 03:40:17 +0100 <jreicher> How do you know the language is the problem and not your code?
2025-11-21 03:40:48 +0100 <monochrom> I'll just say I never had that problem, so I can't reproduce it.
2025-11-21 03:41:13 +0100 <monochrom> If it's 4 seconds vs 2 seconds, I had that usually, sure. Not 30 vs 2.
2025-11-21 03:41:30 +0100 <sam113101> I think I reproduced the same algorithm faithfully across the multiple languages
2025-11-21 03:41:40 +0100 <sam113101> but it might still be me indeed
2025-11-21 03:41:42 +0100 <fgarcia> this is after it has been compiled? :O
2025-11-21 03:42:48 +0100 <EvanR> it could very well be the case you translate an imperative algorithm to haskell using some bespoke monad and it slows down
2025-11-21 03:43:08 +0100 <EvanR> but if you translated haskell algorithms to C it would also slow down
2025-11-21 03:43:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-21 03:43:37 +0100 <fgarcia> and i think for haskell, correctness is the first thing that is implemented. speed is a bit of a bonus. for languages, assembly or C++ would probably be faster as i think they advertise execution speed
2025-11-21 03:43:43 +0100 <EvanR> it's programming language relativistic time dilation
2025-11-21 03:44:09 +0100 <monochrom> @quote monochrom einstein
2025-11-21 03:44:10 +0100 <lambdabot> monochrom says: einstein's theory implies that haskell cannot be faster than c