2025/01/14

2025-01-14 00:01:08 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-14 00:01:28 +0100ph88(~ph88@2a02:8109:9e26:c800:77c0:5b4e:4973:375e) (Read error: Connection reset by peer)
2025-01-14 00:03:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-14 00:05:35 +0100alecs(~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 276 seconds)
2025-01-14 00:06:34 +0100Square(~Square@user/square) Square
2025-01-14 00:10:00 +0100Square2(~Square4@user/square) (Ping timeout: 265 seconds)
2025-01-14 00:13:06 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-01-14 00:14:35 +0100mange(~user@user/mange) mange
2025-01-14 00:14:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 00:16:03 +0100acidjnk_new(~acidjnk@p200300d6e7283f35081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk
2025-01-14 00:19:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-14 00:24:52 +0100 <haskellbridge> <Bowuigi> I find interesting the way you propose filter to be implemented, but no clue about the rest of the talk. A blog would help yeah
2025-01-14 00:25:48 +0100euleritian(~euleritia@dynamic-176-006-133-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-14 00:26:31 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-14 00:30:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 00:34:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-14 00:38:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-14 00:45:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 00:50:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-14 00:51:31 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2025-01-14 00:51:46 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-14 01:00:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 01:07:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-14 01:18:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 01:23:07 +0100rini(~rini@user/rini) (Ping timeout: 252 seconds)
2025-01-14 01:23:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-14 01:24:29 +0100sprotte24(~sprotte24@p200300d16f245c002d65884199a66258.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-14 01:31:17 +0100acidjnk_new(~acidjnk@p200300d6e7283f35081469c6fc5c461d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-01-14 01:33:58 +0100rini(~rini@user/rini) rini
2025-01-14 01:39:00 +0100swistak(~swistak@185.21.216.141) (Ping timeout: 252 seconds)
2025-01-14 01:42:11 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) Jeanne-Kamikaze
2025-01-14 01:42:27 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) (Remote host closed the connection)
2025-01-14 01:42:52 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) Jeanne-Kamikaze
2025-01-14 01:45:07 +0100swistak(~swistak@185.21.216.141)
2025-01-14 01:49:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 01:50:25 +0100xff0x(~xff0x@2405:6580:b080:900:39df:db2a:91b7:da54) (Ping timeout: 248 seconds)
2025-01-14 01:52:13 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-01-14 01:52:29 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-14 01:54:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-14 01:55:12 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-01-14 01:55:38 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-14 01:55:47 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-01-14 01:56:06 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-14 02:04:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 02:05:46 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2025-01-14 02:06:34 +0100stiell(~stiell@gateway/tor-sasl/stiell) stiell
2025-01-14 02:08:46 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-01-14 02:09:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-14 02:13:29 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-01-14 02:20:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 02:23:31 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-01-14 02:24:30 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-14 02:24:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-14 02:29:11 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-01-14 02:35:22 +0100otto_s(~user@p5de2fe2f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-14 02:35:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 02:37:02 +0100otto_s(~user@p4ff272c8.dip0.t-ipconnect.de)
2025-01-14 02:40:39 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2025-01-14 02:42:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-14 02:48:03 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-14 02:51:54 +0100JamesMowery4395(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-01-14 02:53:33 +0100JamesMowery439(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 244 seconds)
2025-01-14 02:53:33 +0100JamesMowery4395JamesMowery439
2025-01-14 02:53:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 02:58:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-14 03:00:09 +0100ryanbooker(uid4340@id-4340.hampstead.irccloud.com) ryanbooker
2025-01-14 03:01:29 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-14 03:09:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 03:13:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-14 03:22:18 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-01-14 03:23:55 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) (Quit: Leaving)
2025-01-14 03:24:13 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-14 03:24:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-14 03:29:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-14 03:29:57 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-01-14 03:30:18 +0100potatoespotatoes(~quassel@130.44.147.204)
2025-01-14 03:30:28 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-01-14 03:33:18 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds)
2025-01-14 03:37:34 +0100dmwit(~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) dmwit
2025-01-14 03:39:09 +0100 <dmwit> I have foo.c. I'd like cabal to be in charge of creating foo.so and making foo.so available, perhaps through the Paths_mypackagename mechanism. Can I convince it to do that somehow? (Directly linking with foo.o or foo.a isn't enough, as I am going to fork a separate program that wants this .so to be available.)
2025-01-14 03:41:39 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-01-14 03:42:01 +0100weary-traveler(~user@user/user363627) user363627
2025-01-14 03:43:15 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-14 03:45:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn