| 2025-05-01 00:02:28 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-01 00:06:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 00:08:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-01 00:11:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-01 00:12:30 +0000 | xff0x | (~xff0x@2409:251:9040:2c00:f1e:5139:9ecc:7a91) |
| 2025-05-01 00:15:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-01 00:18:09 +0000 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.1) |
| 2025-05-01 00:18:18 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-01 00:20:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 00:21:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 00:23:44 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:fd4f:6f82:8c99:9340) (Read error: Connection reset by peer) |
| 2025-05-01 00:28:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-01 00:37:27 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 00:38:09 +0000 | otto_s | (~user@p5b044771.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-01 00:39:46 +0000 | otto_s | (~user@p4ff271c5.dip0.t-ipconnect.de) |
| 2025-05-01 00:39:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 00:41:02 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-05-01 00:41:06 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Remote host closed the connection) |
| 2025-05-01 00:41:26 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-01 00:45:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-01 00:48:10 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-01 00:52:19 +0000 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2025-05-01 00:55:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 00:55:43 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2025-05-01 00:56:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-01 01:01:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-01 01:04:48 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-01 01:07:23 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-05-01 01:11:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 01:16:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-01 01:27:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 01:28:38 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 01:30:59 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-05-01 01:32:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 01:34:26 +0000 | mange | (~user@user/mange) mange |
| 2025-05-01 01:34:36 +0000 | Square3 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2025-05-01 01:42:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 01:45:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-01 01:46:46 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 01:47:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-01 01:54:12 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-05-01 01:55:49 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 2025-05-01 01:56:12 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-01 01:58:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 02:04:33 +0000 | roconnor_ | (~roconnor@rocq/roconnor) roconnor |
| 2025-05-01 02:05:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-01 02:06:00 +0000 | roconnor_ | (~roconnor@rocq/roconnor) (Client Quit) |
| 2025-05-01 02:09:44 +0000 | xff0x | (~xff0x@2409:251:9040:2c00:f1e:5139:9ecc:7a91) (Quit: xff0x) |
| 2025-05-01 02:13:14 +0000 | roconnor | (~quassel@rocq/roconnor) () |
| 2025-05-01 02:13:33 +0000 | roconnor | (~quassel@rocq/roconnor) roconnor |
| 2025-05-01 02:16:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 02:18:29 +0000 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 248 seconds) |
| 2025-05-01 02:20:28 +0000 | td_ | (~td@i53870904.versanet.de) td_ |
| 2025-05-01 02:21:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-01 02:28:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-01 02:30:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 02:32:29 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 02:34:30 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-05-01 02:37:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 02:39:13 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-01 02:43:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-01 02:46:31 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 02:47:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-01 02:49:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 02:53:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-01 02:58:53 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-01 03:03:31 +0000 | la1n2 | (~la1n@45.129.78.70) |
| 2025-05-01 03:04:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 03:05:52 +0000 | la1n | (~la1n@176.59.57.19) (Ping timeout: 252 seconds) |
| 2025-05-01 03:08:06 +0000 | la1n23 | (~la1n@176.59.57.19) |
| 2025-05-01 03:09:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 03:10:56 +0000 | la1n2 | (~la1n@45.129.78.70) (Ping timeout: 272 seconds) |
| 2025-05-01 03:13:32 +0000 | la1n2 | (~la1n@45.129.78.70) |
| 2025-05-01 03:16:46 +0000 | la1n23 | (~la1n@176.59.57.19) (Ping timeout: 276 seconds) |
| 2025-05-01 03:20:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 03:24:19 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-05-01 03:25:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 03:35:09 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-01 03:35:25 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-01 03:36:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 03:41:06 +0000 | la1n23 | (~la1n@176.59.57.19) |
| 2025-05-01 03:41:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-01 03:43:35 +0000 | la1n2 | (~la1n@45.129.78.70) (Ping timeout: 260 seconds) |
| 2025-05-01 03:45:53 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-05-01 03:46:55 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-05-01 03:49:13 +0000 | fraznel | (~fuag1@c-76-28-152-212.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2025-05-01 03:50:36 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-01 03:51:05 +0000 | <sm> | @where+ haskell-map https://joyful.com/Haskell+map |
| 2025-05-01 03:51:05 +0000 | <lambdabot> | Good to know. |
| 2025-05-01 03:52:00 +0000 | aforemny | (~aforemny@i59F4C605.versanet.de) aforemny |
| 2025-05-01 03:52:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 03:53:15 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc4:be00:20c6:b182:aba6:5a10) (Ping timeout: 276 seconds) |
| 2025-05-01 03:57:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-01 04:07:18 +0000 | <JuanDaugherty> | joyful lookin good; fp-complete otoh seems to have gone all coin all the time |
| 2025-05-01 04:07:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 04:12:58 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 2025-05-01 04:14:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 04:20:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 04:26:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 04:27:42 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-01 04:28:40 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-01 04:31:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-01 04:31:52 +0000 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2025-05-01 04:32:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 04:34:58 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-05-01 04:35:16 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2025-05-01 04:36:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-01 04:46:19 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-01 04:47:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 04:49:08 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 2025-05-01 04:52:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 04:52:20 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-05-01 04:57:43 +0000 | <haskellbridge> | <sm> thanks JuanDaugherty. Yes I see a rename to FP Block.. haskell learning content seems still intact |
| 2025-05-01 04:58:45 +0000 | <haskellbridge> | <sm> for now |
| 2025-05-01 04:59:20 +0000 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 268 seconds) |
| 2025-05-01 05:03:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 05:04:22 +0000 | euphores1 | (~SASL_euph@37.214.58.222) (Quit: Leaving.) |
| 2025-05-01 05:08:27 +0000 | <JuanDaugherty> | i pity a capitalistici |
| 2025-05-01 05:08:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 05:11:04 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-01 05:15:02 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-01 05:18:11 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 05:19:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 05:19:23 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-05-01 05:20:34 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-01 05:23:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-05-01 05:23:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-01 05:25:16 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-01 05:25:23 +0000 | Pixi` | Pixi |
| 2025-05-01 05:25:55 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-01 05:31:04 +0000 | jjnkn | (~jjnkn@45.12.27.63) |
| 2025-05-01 05:32:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 05:34:24 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-01 05:38:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 05:38:46 +0000 | <haskellbridge> | <Liamzee> it seems to echo the cultural values of key FP Complete personnel |
| 2025-05-01 05:39:01 +0000 | <haskellbridge> | <Liamzee> that said, yes, Crypto is an anarcho-capitalist attack on central banking |
| 2025-05-01 05:39:51 +0000 | sayurc | (~sayurc@169.150.203.34) (Read error: Connection reset by peer) |
| 2025-05-01 05:39:56 +0000 | sayurc_ | (~sayurc@169.150.203.34) sayurc |
| 2025-05-01 05:40:19 +0000 | Guest95 | (~Guest95@46.120.100.231) |
| 2025-05-01 05:40:34 +0000 | Guest95 | (~Guest95@46.120.100.231) (Client Quit) |
| 2025-05-01 05:40:45 +0000 | <mauke> | "crypto" is cryptography, cryptocurrency is a scam |
| 2025-05-01 05:41:24 +0000 | <haskellbridge> | <Liamzee> technically worse than a scam depending on your politics, fiat is a confidence scheme + legal / state power forcing you to recognize it as legit |
| 2025-05-01 05:41:39 +0000 | <haskellbridge> | <Liamzee> cryptocurrency + confidence scheme + ??? forcing you to recognize it as legit |
| 2025-05-01 05:41:43 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-05-01 05:41:47 +0000 | <haskellbridge> | <Liamzee> erm, cryptocurrency = confidence scheme + |
| 2025-05-01 05:43:09 +0000 | <mauke> | cryptocurrency is fiat |
| 2025-05-01 05:48:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 05:56:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-01 06:00:14 +0000 | okra | (~okra@194.114.136.26) |
| 2025-05-01 06:01:49 +0000 | <haskellbridge> | <Liamzee> of the cryptocurrency companies |
| 2025-05-01 06:01:58 +0000 | <haskellbridge> | <Liamzee> except the transaction time is long |
| 2025-05-01 06:02:06 +0000 | <haskellbridge> | <Liamzee> i also consider gold a confidence scheme |
| 2025-05-01 06:02:21 +0000 | <haskellbridge> | <Liamzee> except with "ooh shiny" and corrosion resistence |
| 2025-05-01 06:02:25 +0000 | <haskellbridge> | <Liamzee> *resistance |
| 2025-05-01 06:05:30 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-05-01 06:05:30 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2025-05-01 06:05:38 +0000 | <haskellbridge> | <hellwolf> is Haskell a scheme? |
| 2025-05-01 06:05:40 +0000 | ridcully_ | (~ridcully@pd951f029.dip0.t-ipconnect.de) ridcully |
| 2025-05-01 06:06:38 +0000 | <haskellbridge> | <hellwolf> (off topic heavy... trying to bring the H word back) |
| 2025-05-01 06:06:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 06:07:22 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 2025-05-01 06:07:22 +0000 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 252 seconds) |
| 2025-05-01 06:07:22 +0000 | ridcully | (~ridcully@pd951f029.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-01 06:07:44 +0000 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2025-05-01 06:08:06 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 252 seconds) |
| 2025-05-01 06:08:23 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2025-05-01 06:08:27 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-05-01 06:09:19 +0000 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2025-05-01 06:09:56 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-05-01 06:09:56 +0000 | CalimeroTeknik | (~calimero@user/calimeroteknik) (Ping timeout: 252 seconds) |
| 2025-05-01 06:10:18 +0000 | bw | (sid2730@user/betawaffle) (Ping timeout: 252 seconds) |
| 2025-05-01 06:11:09 +0000 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-05-01 06:11:26 +0000 | bw | (sid2730@user/betawaffle) betawaffle |
| 2025-05-01 06:11:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-01 06:12:44 +0000 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-05-01 06:13:18 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-05-01 06:14:13 +0000 | CalimeroTeknik | (~calimero@ctkarch.org) |
| 2025-05-01 06:21:02 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-05-01 06:22:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 06:25:23 +0000 | <haskellbridge> | <Bowuigi> A Scheme as in the standardised lang family? No, it doesn't follow the standard at all |
| 2025-05-01 06:27:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 06:31:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-01 06:31:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-05-01 06:34:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 06:37:27 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-05-01 06:38:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 06:47:55 +0000 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) |
| 2025-05-01 06:49:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 06:54:38 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-01 06:54:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-01 06:59:37 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-05-01 07:00:03 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-01 07:01:42 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-01 07:03:39 +0000 | sayurc_ | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-05-01 07:06:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f7654cd17dc22dc88eb.dip0.t-ipconnect.de) acidjnk |
| 2025-05-01 07:10:40 +0000 | <haskellbridge> | <hellwolf> Embarrassingly, I did not know about "Extra-Constraints Wildcard", named wildcats (part of ghc2021!), and Inferred variables syntax {m}... |
| 2025-05-01 07:10:42 +0000 | <haskellbridge> | The extra constraints wildcard seems super powerful: I hate to list all the conversations sometimes, I wonder if it simplifies my code. |
| 2025-05-01 07:10:57 +0000 | Digitteknohippie | (~user@69.47.7.51.dyn.plus.net) |
| 2025-05-01 07:11:53 +0000 | Digit | (~user@69.47.7.51.dyn.plus.net) (Ping timeout: 252 seconds) |
| 2025-05-01 07:15:39 +0000 | <tomsmeding> | hellwolf: what "extra constraints wildcard" are you talking about? I've never heard of such a thing |
| 2025-05-01 07:16:25 +0000 | <haskellbridge> | <hellwolf> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/partial_type_signatures.html#extra-constra… |
| 2025-05-01 07:16:36 +0000 | <tomsmeding> | TIL |
| 2025-05-01 07:16:50 +0000 | <haskellbridge> | <hellwolf> check this out. i was surprised too. i should really RTFM |
| 2025-05-01 07:16:52 +0000 | <tomsmeding> | _please_ do not use that for public API. :) |
| 2025-05-01 07:16:52 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-01 07:17:23 +0000 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-05-01 07:17:28 +0000 | <haskellbridge> | <hellwolf> :p i thought so too. what's your reason? |
| 2025-05-01 07:17:57 +0000 | <tomsmeding> | even if haddock infers what the actual constraint list is (don't know if it does), sometimes it's helpful for a reader to look at the source |
| 2025-05-01 07:18:12 +0000 | <tomsmeding> | stuff like this is _very_ unhelpful when trying to understand what's going on |
| 2025-05-01 07:18:52 +0000 | <tomsmeding> | I guess s/constraint list/type/, i.e. don't use PartialTypeSignatures in public API |
| 2025-05-01 07:18:55 +0000 | <haskellbridge> | <hellwolf> Indeed, but i do have internal code that repeats for no good reason (i think) |
| 2025-05-01 07:19:07 +0000 | <tomsmeding> | an option could be a type synonym |
| 2025-05-01 07:19:22 +0000 | <tomsmeding> | but depends on how uniform the constraints actually are |
| 2025-05-01 07:19:34 +0000 | <tomsmeding> | in any case, this is an opinion, so take it as one :p |
| 2025-05-01 07:20:27 +0000 | <haskellbridge> | <hellwolf> i would use partial type signature inside function where someone i use (:: A a b) for documentation purposes when the mini type tetris game being non-trivial |
| 2025-05-01 07:20:53 +0000 | <haskellbridge> | <hellwolf> *sometimes |
| 2025-05-01 07:21:12 +0000 | tomsmeding | is failing to parse that sentence properly |
| 2025-05-01 07:21:47 +0000 | <tomsmeding> | you're saying that you put a full type signature on the top-level function but use PTSs inside local where- or let-bound functions? |
| 2025-05-01 07:21:58 +0000 | <tomsmeding> | to fix inference issues? |
| 2025-05-01 07:22:11 +0000 | <tomsmeding> | if so, that sounds perfectly fine to me |
| 2025-05-01 07:22:16 +0000 | <haskellbridge> | <hellwolf> let x = f y :: T a _ |
| 2025-05-01 07:22:23 +0000 | <tomsmeding> | right |
| 2025-05-01 07:22:38 +0000 | <tomsmeding> | sometimes such things can be replaced with type applications to e.g. `f` here |
| 2025-05-01 07:22:45 +0000 | <haskellbridge> | <hellwolf> yeah, there are cases where i don't care about the specific type var |
| 2025-05-01 07:22:54 +0000 | <tomsmeding> | but far from always, and certainly the result is not always easier to read |
| 2025-05-01 07:22:57 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-05-01 07:23:24 +0000 | <haskellbridge> | <hellwolf> i use interchangeably, sometimes one style reads better than another |
| 2025-05-01 07:23:42 +0000 | <tomsmeding> | but I've seen cases where these kinds of situations can be made more readable by putting some well-chosen type variable orderings on a few functions (with explicit `forall`), resulting in the majority of the ambiguous situations being resolvable by a single type application |
| 2025-05-01 07:24:06 +0000 | <haskellbridge> | <hellwolf> "timtowdi", but in Haskell |
| 2025-05-01 07:24:24 +0000 | <tomsmeding> | there are way too many ways to do it |
| 2025-05-01 07:24:42 +0000 | <tomsmeding> | haskell is not a turing tarpit :p |
| 2025-05-01 07:24:50 +0000 | <haskellbridge> | <hellwolf> yea, i have seen that. it's a mini type tetris game |
| 2025-05-01 07:25:03 +0000 | <haskellbridge> | <hellwolf> the fun that Haskell gives |
| 2025-05-01 07:25:08 +0000 | <tomsmeding> | it's great! |
| 2025-05-01 07:25:52 +0000 | <tomsmeding> | somehow puzzling with all the ways you can do something to find the nicest one in haskell is not too bad, and doing the same in C++ (which is just as much of a kitchen sink) makes you want to tear your hair out |
| 2025-05-01 07:26:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-01 07:26:39 +0000 | <tomsmeding> | perhaps it gets even better in a dependently-typed language; even less arbitrary restrictions |
| 2025-05-01 07:26:44 +0000 | <tomsmeding> | s/less/fewer/ |
| 2025-05-01 07:27:00 +0000 | <haskellbridge> | <hellwolf> having the proper type inference foundation helps |
| 2025-05-01 07:27:06 +0000 | <tomsmeding> | it does |
| 2025-05-01 07:27:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-01 07:28:59 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-01 07:29:11 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2025-05-01 07:30:54 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-01 07:31:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-01 07:33:49 +0000 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) (Quit: leaving) |
| 2025-05-01 07:40:56 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-01 07:45:52 +0000 | xff0x | (~xff0x@2409:251:9040:2c00:60ef:2712:38d8:542e) |
| 2025-05-01 07:46:30 +0000 | Digitteknohippie | Digit |
| 2025-05-01 07:47:09 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-01 07:47:52 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-01 07:48:17 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-01 07:50:02 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-01 07:58:43 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-01 08:03:03 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-01 08:08:36 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-01 08:19:01 +0000 | FragByte | (~christian@user/fragbyte) (Ping timeout: 276 seconds) |
| 2025-05-01 08:20:10 +0000 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-05-01 08:25:20 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-05-01 08:26:14 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-01 08:32:21 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-05-01 08:35:23 +0000 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) |
| 2025-05-01 08:43:23 +0000 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-01 08:43:40 +0000 | euleritian | (~euleritia@77.23.248.47) |
| 2025-05-01 08:45:41 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-01 08:51:18 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-01 08:56:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-01 08:58:19 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-01 09:08:23 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-01 09:13:48 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-01 09:14:06 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-01 09:20:14 +0000 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 252 seconds) |
| 2025-05-01 09:24:43 +0000 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) |
| 2025-05-01 09:27:40 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 09:27:49 +0000 | xff0x | (~xff0x@2409:251:9040:2c00:60ef:2712:38d8:542e) (Ping timeout: 248 seconds) |
| 2025-05-01 09:28:17 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-05-01 09:29:27 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-01 09:32:54 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 09:34:04 +0000 | infinity0 | (~infinity0@pwned.gg) (Client Quit) |
| 2025-05-01 09:34:34 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 09:35:03 +0000 | infinity0 | (~infinity0@pwned.gg) (Client Quit) |
| 2025-05-01 09:36:05 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 09:36:31 +0000 | lol_ | (~lol@2603:3016:1e01:b960:3123:2ba5:494b:dfbe) |
| 2025-05-01 09:36:46 +0000 | infinity0 | (~infinity0@pwned.gg) (Client Quit) |
| 2025-05-01 09:37:20 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 09:37:26 +0000 | infinity0 | (~infinity0@pwned.gg) (Client Quit) |
| 2025-05-01 09:38:31 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 09:40:24 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b960:c8e6:63b3:6b9f:3e52) (Ping timeout: 260 seconds) |
| 2025-05-01 09:49:04 +0000 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.5.1) |
| 2025-05-01 09:49:34 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 10:05:05 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-05-01 10:14:02 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 10:14:04 +0000 | infinity0 | (~infinity0@pwned.gg) (Client Quit) |
| 2025-05-01 10:14:40 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 10:14:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-01 10:17:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 10:21:39 +0000 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.5.1) |
| 2025-05-01 10:22:08 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 10:23:04 +0000 | infinity0 | (~infinity0@pwned.gg) (Client Quit) |
| 2025-05-01 10:24:10 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 10:24:42 +0000 | infinity0 | (~infinity0@pwned.gg) (Client Quit) |
| 2025-05-01 10:27:31 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 10:28:00 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
| 2025-05-01 10:41:24 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-01 10:48:06 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-05-01 10:52:43 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-01 10:52:58 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-01 10:53:04 +0000 | jjnkn | (~jjnkn@45.12.27.63) (Ping timeout: 276 seconds) |
| 2025-05-01 11:01:47 +0000 | jespada | (~jespada@r190-133-55-103.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-01 11:09:11 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-01 11:16:02 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-01 11:25:51 +0000 | CalimeroTeknik | (~calimero@ctkarch.org) (Changing host) |
| 2025-05-01 11:25:51 +0000 | CalimeroTeknik | (~calimero@user/calimeroteknik) CalimeroTeknik |
| 2025-05-01 11:26:27 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-01 11:34:58 +0000 | xff0x | (~xff0x@2409:251:9040:2c00:5e55:d47f:a0ce:2852) |
| 2025-05-01 12:02:13 +0000 | volsand | (~volsand@2804:1b1:1080:da6:192e:6849:5950:90dd) |
| 2025-05-01 12:03:38 +0000 | volsand | (~volsand@2804:1b1:1080:da6:192e:6849:5950:90dd) (Remote host closed the connection) |
| 2025-05-01 12:03:53 +0000 | volsand | (~volsand@2804:1b1:1080:da6:192e:6849:5950:90dd) |
| 2025-05-01 12:09:32 +0000 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-01 12:09:39 +0000 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
| 2025-05-01 12:10:05 +0000 | jespada | (~jespada@r190-133-55-103.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-01 12:11:24 +0000 | jespada | (~jespada@r190-133-55-103.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-01 12:17:37 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 12:17:50 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-01 12:18:48 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-01 12:27:58 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2025-05-01 12:28:59 +0000 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.4.3) |
| 2025-05-01 12:36:01 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-05-01 12:36:58 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-01 12:38:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-01 12:39:53 +0000 | haritz | (~hrtz@152.37.68.178) |
| 2025-05-01 12:39:53 +0000 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-05-01 12:39:53 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-01 12:44:46 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-01 13:24:21 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-01 13:39:21 +0000 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-01 13:39:40 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 13:41:39 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-01 13:45:32 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 13:45:42 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-01 13:53:16 +0000 | jespada_ | (~jespada@r179-25-202-180.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-01 13:54:13 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-05-01 13:54:59 +0000 | jespada | (~jespada@r190-133-55-103.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-05-01 13:55:01 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-01 13:59:57 +0000 | drewr | (~drew@user/drewr) drewr |
| 2025-05-01 14:02:51 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-05-01 14:05:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-05-01 14:08:19 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-01 14:08:54 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 14:10:07 +0000 | okra | (~okra@194.114.136.26) (Quit: Client closed) |
| 2025-05-01 14:13:29 +0000 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-05-01 14:26:23 +0000 | dhil | (~dhil@5.151.29.141) (Ping timeout: 252 seconds) |
| 2025-05-01 14:27:50 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 14:28:14 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-01 14:32:10 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-01 14:34:35 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-05-01 14:39:43 +0000 | dhil | (~dhil@openvpn-125-1069.inf.ed.ac.uk) dhil |
| 2025-05-01 14:46:26 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-05-01 14:52:38 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.5.1) |
| 2025-05-01 15:03:10 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds) |
| 2025-05-01 15:08:12 +0000 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-05-01 15:08:51 +0000 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 2025-05-01 15:15:45 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-01 15:16:03 +0000 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) |
| 2025-05-01 15:16:04 +0000 | Square3 | (~Square@user/square) Square |
| 2025-05-01 15:19:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 15:27:27 +0000 | adamCS | (~adamCS@70.19.85.77) (Read error: Connection reset by peer) |
| 2025-05-01 15:31:24 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-01 15:33:33 +0000 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-01 15:33:51 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 15:38:34 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-01 15:39:59 +0000 | xff0x | (~xff0x@2409:251:9040:2c00:5e55:d47f:a0ce:2852) (Ping timeout: 245 seconds) |
| 2025-05-01 15:42:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-01 15:46:49 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-01 15:47:13 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 15:48:10 +0000 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 252 seconds) |
| 2025-05-01 15:51:58 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-01 15:52:46 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 15:57:04 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-01 16:04:01 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-05-01 16:07:24 +0000 | nacation | (~m-3l4s76@user/nacation) (Read error: Connection reset by peer) |
| 2025-05-01 16:08:27 +0000 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-01 16:12:40 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f7654cd17dc22dc88eb.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-01 16:13:03 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-01 16:16:10 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-01 16:16:17 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-01 16:16:18 +0000 | ljdarj1 | ljdarj |
| 2025-05-01 16:18:47 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-05-01 16:20:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 16:27:59 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-01 16:29:21 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-01 16:32:22 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-01 16:32:31 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 16:53:55 +0000 | sprotte24 | (~sprotte24@p200300d16f04420079bd62a2defad9dd.dip0.t-ipconnect.de) |
| 2025-05-01 17:00:52 +0000 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-05-01 17:08:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-01 17:10:53 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-05-01 17:11:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 17:13:15 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f7654cd17dc22dc88eb.dip0.t-ipconnect.de) |
| 2025-05-01 17:16:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-01 17:18:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-01 17:22:11 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-01 17:22:54 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 17:27:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 17:32:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-01 17:32:39 +0000 | jespada_ | (~jespada@r179-25-202-180.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-01 17:33:56 +0000 | jespada | (~jespada@r179-25-202-180.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-01 17:34:04 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-01 17:34:20 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 17:40:29 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-01 17:42:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 17:43:22 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-01 17:43:37 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-01 17:45:21 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-01 17:49:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-01 18:00:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 18:04:33 +0000 | ridcully_ | ridcully |
| 2025-05-01 18:06:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-01 18:07:22 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-05-01 18:16:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 18:18:58 +0000 | michalz | (~michalz@185.246.207.205) |
| 2025-05-01 18:20:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-01 18:23:39 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-01 18:24:49 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 260 seconds) |
| 2025-05-01 18:24:51 +0000 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 244 seconds) |
| 2025-05-01 18:25:47 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-01 18:26:46 +0000 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-01 18:31:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 18:31:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 18:33:20 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2025-05-01 18:36:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 18:47:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 18:52:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-01 18:52:39 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-01 19:00:02 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-01 19:00:42 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-01 19:03:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-01 19:03:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 19:03:36 +0000 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 244 seconds) |
| 2025-05-01 19:04:01 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-01 19:08:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f7654cd17dc22dc88eb.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-01 19:08:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-01 19:13:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f767dcf0a605c28f3a7.dip0.t-ipconnect.de) acidjnk |
| 2025-05-01 19:17:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 19:18:00 +0000 | myme | (~myme@2a01:799:d5e:5f00:de67:3465:9a6a:d0b8) (Ping timeout: 252 seconds) |
| 2025-05-01 19:18:45 +0000 | myme | (~myme@2a01:799:d5e:5f00:5054:783f:d768:b894) myme |
| 2025-05-01 19:21:25 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-05-01 19:24:10 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 19:24:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-01 19:27:44 +0000 | sprotte24 | (~sprotte24@p200300d16f04420079bd62a2defad9dd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-01 19:35:08 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-01 19:35:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 19:35:51 +0000 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) |
| 2025-05-01 19:36:20 +0000 | <dutchie> | surely there is a better way to write this: https://paste.tomsmeding.com/zzpDyNYM |
| 2025-05-01 19:36:29 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-01 19:37:35 +0000 | <dutchie> | I can't figure out how to handle threading the Nothing/AppM monad through each other |
| 2025-05-01 19:37:37 +0000 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-01 19:37:54 +0000 | euleritian | (~euleritia@77.23.248.47) |
| 2025-05-01 19:39:30 +0000 | <EvanR> | wibble takes a Bar not a Maybe |
| 2025-05-01 19:40:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 19:40:32 +0000 | <mauke> | is there a MaybeT? |
| 2025-05-01 19:41:33 +0000 | <dutchie> | I guess I should have called it mbaz rather than mfoo |
| 2025-05-01 19:42:28 +0000 | <dutchie> | it feels like morally i should have a monad instance for AppM (Maybe a) |
| 2025-05-01 19:42:40 +0000 | <mauke> | yes, that's MaybeT AppM a |
| 2025-05-01 19:43:17 +0000 | <dutchie> | wibble/wobble come from 3rd party libs though so unless I can just wrap them that's not helpful |
| 2025-05-01 19:43:21 +0000 | <tomsmeding> | @unmtl MaybeT AppM a |
| 2025-05-01 19:43:21 +0000 | <lambdabot> | AppM (Maybe a) |
| 2025-05-01 19:43:28 +0000 | <dutchie> | hm |
| 2025-05-01 19:43:50 +0000 | <tomsmeding> | :t MaybeT |
| 2025-05-01 19:43:51 +0000 | <lambdabot> | error: |
| 2025-05-01 19:43:51 +0000 | <lambdabot> | • Data constructor not in scope: MaybeT |
| 2025-05-01 19:43:51 +0000 | <lambdabot> | • Perhaps you meant variable ‘maybe’ (imported from Data.Maybe) |
| 2025-05-01 19:44:11 +0000 | <tomsmeding> | :t Control.Monad.Trans.Maybe.MaybeT |
| 2025-05-01 19:44:11 +0000 | <lambdabot> | m (Maybe a) -> Control.Monad.Trans.Maybe.MaybeT m a |
| 2025-05-01 19:44:26 +0000 | <mauke> | wibble = MaybeT . ThirdParty.wibble |
| 2025-05-01 19:44:33 +0000 | <tomsmeding> | just applying the MaybeT constructor is usually all wrapping that's required |
| 2025-05-01 19:45:02 +0000 | <tomsmeding> | (not quite always; there are more utility functions in Control.Monad.Trans.Maybe) |
| 2025-05-01 19:46:54 +0000 | <dutchie> | right, yeah, I think I can put it together there |
| 2025-05-01 19:47:04 +0000 | <dutchie> | now the annoying part is the non-monadic Map.lookup, heh |
| 2025-05-01 19:47:50 +0000 | <tomsmeding> | :t Control.Monad.Trans.Class.lift |
| 2025-05-01 19:47:51 +0000 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2025-05-01 19:48:44 +0000 | <mauke> | that looks like the wrong shape |
| 2025-05-01 19:48:56 +0000 | <tomsmeding> | oh, you're right |
| 2025-05-01 19:49:04 +0000 | <mauke> | MaybeT . pure |
| 2025-05-01 19:49:35 +0000 | <tomsmeding> | (if you want Nothing to be an error) |
| 2025-05-01 19:50:21 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-01 19:50:39 +0000 | <EvanR> | :t MaybeT . pure |
| 2025-05-01 19:50:40 +0000 | <lambdabot> | error: |
| 2025-05-01 19:50:40 +0000 | <lambdabot> | • Data constructor not in scope: MaybeT :: f0 a -> c |
| 2025-05-01 19:50:40 +0000 | <lambdabot> | • Perhaps you meant variable ‘maybe’ (imported from Data.Maybe) |
| 2025-05-01 19:50:47 +0000 | <EvanR> | lambdabooooooooooooooooot |
| 2025-05-01 19:51:06 +0000 | <tomsmeding> | @import Control.Monad.Trans.Maybe |
| 2025-05-01 19:51:06 +0000 | <lambdabot> | Unknown command, try @list |
| 2025-05-01 19:51:09 +0000 | <tomsmeding> | @let import Control.Monad.Trans.Maybe |
| 2025-05-01 19:51:10 +0000 | <lambdabot> | Defined. |
| 2025-05-01 19:51:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 19:52:27 +0000 | <EvanR> | :t MaybeT . pure |
| 2025-05-01 19:52:28 +0000 | <lambdabot> | Applicative m => Maybe a -> MaybeT m a |
| 2025-05-01 19:52:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-01 19:52:31 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 19:54:16 +0000 | <dutchie> | nice, https://paste.tomsmeding.com/lYtaNeCf typechecks |
| 2025-05-01 19:55:02 +0000 | traxex | (traxex@user/traxex) traxex |
| 2025-05-01 19:56:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-01 20:01:14 +0000 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 245 seconds) |
| 2025-05-01 20:02:02 +0000 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) |
| 2025-05-01 20:05:52 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-05-01 20:05:58 +0000 | <sim590> | I can pass this option to cabal: --c2hs-options="-C -std=gnu18" and it works well. I can see it because it fixes an issue I'm having with c2hs. But, now I'm trying to add that to my cabal file and I looked it up here: https://cabal.readthedocs.io/en/latest/config.html#program-options, so I should be able to do this: https://paste.debian.net/1372741/, but it doesn't work. The flag is not passed. |
| 2025-05-01 20:06:00 +0000 | <sim590> | What am I doing wrong? |
| 2025-05-01 20:06:51 +0000 | <tomsmeding> | sim590: see the first Warning |
| 2025-05-01 20:07:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 20:07:01 +0000 | <tomsmeding> | (and the second one) |
| 2025-05-01 20:07:30 +0000 | <sim590> | The first warning? |
| 2025-05-01 20:07:55 +0000 | <tomsmeding> | on the docs page that you linked, right below the table of programs |
| 2025-05-01 20:08:07 +0000 | <tomsmeding> | "It is important to not confuse these options with the ones listed in the build info section. ..." |
| 2025-05-01 20:08:57 +0000 | <tomsmeding> | oh, I don't see c2hs in that list |
| 2025-05-01 20:09:13 +0000 | <sim590> | It's in the table? |
| 2025-05-01 20:09:16 +0000 | <sim590> | I see it. |
| 2025-05-01 20:09:18 +0000 | <int-e> | sim590: that should work in ~/.cabal/config (or whatever the location is), but not in .cabal files, which has a different field name for this |
| 2025-05-01 20:09:30 +0000 | <sim590> | ahhhh OK |
| 2025-05-01 20:09:34 +0000 | <int-e> | https://cabal.readthedocs.io/en/latest/cabal-package-description-file.html#pkg-field-hsc2hs-options |
| 2025-05-01 20:09:38 +0000 | <sim590> | I thought it was foor .cabal file. |
| 2025-05-01 20:09:49 +0000 | <tomsmeding> | int-e: is hsc2hs the same as c2hs? |
| 2025-05-01 20:09:58 +0000 | <int-e> | uh |
| 2025-05-01 20:10:03 +0000 | <sim590> | tomsmeding: No, they are different I think. |
| 2025-05-01 20:10:05 +0000 | <int-e> | it's not |
| 2025-05-01 20:10:13 +0000 | <tomsmeding> | because I saw that one and skipped it because the question was about c2hs |
| 2025-05-01 20:10:28 +0000 | <int-e> | hmm maybe .cabal files don't have a setting for this then |
| 2025-05-01 20:11:08 +0000 | <int-e> | Sorry, I searched for "c2hs" and I forgot that hsc2hs is its own thing. |
| 2025-05-01 20:11:26 +0000 | <sim590> | int-e: is there an equivalent t the ~/.cabal/config file per project? I want that config to be effective for my repo. |
| 2025-05-01 20:12:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-01 20:12:04 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-05-01 20:12:13 +0000 | <tomsmeding> | sim590: have you tried just putting `c2hs-options: ...` in your .cabal file (not cabal.project)? It's not listed in the docs, but maybe they skipped it |
| 2025-05-01 20:13:51 +0000 | <sim590> | tomsmeding: yeah and it doesn't wrk. Let me upload what I tried: https://paste.debian.net/1372745/. |
| 2025-05-01 20:15:26 +0000 | <sim590> | But this `cabal v2-build --c2hs-options="-C -std=gnu18"` works on the command line. |
| 2025-05-01 20:15:44 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-01 20:16:04 +0000 | <tomsmeding> | sim590: have you tried putting `package opendht-hs\n\tc2hs-options: -C -std=gnu18` in cabal.project? |
| 2025-05-01 20:16:21 +0000 | <tomsmeding> | (substituting a newline for \n and indentation for \t, naturally) |
| 2025-05-01 20:17:42 +0000 | sprotte24 | (~sprotte24@p200300d16f04420079bd62a2defad9dd.dip0.t-ipconnect.de) |
| 2025-05-01 20:17:45 +0000 | <tomsmeding> | sim590: I see 'program-options' in the cabal documentation, not 'program-default-options'. Have you tried 'program-options' instead? |
| 2025-05-01 20:20:25 +0000 | <sim590> | so, i just tried `program-options` and it doesn't work. But, your other suggestion with a `cabal.project.local` file and the line `packages .` and then `package opendht-hs` with the config under that section did the trick! |
| 2025-05-01 20:21:08 +0000 | <tomsmeding> | it's often the case that `cabal build` options correspond to keys under a `package` clause in cabal.project |
| 2025-05-01 20:22:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 20:22:26 +0000 | <tomsmeding> | sim590: given the nature of the option that you're passing to c2hs, it feels likely to me that this is not just a workaround for a bug, but actually required for setting the C language standard for parsing whatever C code you're working with |
| 2025-05-01 20:22:34 +0000 | <tomsmeding> | so I'm not sure putting it in cabal.project.LOCAL is really the best choice |
| 2025-05-01 20:22:36 +0000 | <int-e> | if this works anywhere locally it'll be in cabal.project and/or cabal.project.local (and if it works in the latter but not in the former that becomes messy because the file tends to be regenerated by `cabal configure` and the like) |
| 2025-05-01 20:22:41 +0000 | <tomsmeding> | surely other people will need it too! |
| 2025-05-01 20:22:43 +0000 | <sim590> | OK. I'll remember that! I thought it was sensible to go straight into the .cabal file, but I guess that's not how it's made. |
| 2025-05-01 20:22:55 +0000 | <tomsmeding> | it was |
| 2025-05-01 20:23:09 +0000 | <tomsmeding> | I'm not sure why it can't go in the .cabal file, since it sounds like everyone will need this option. :) |
| 2025-05-01 20:23:53 +0000 | <sim590> | So, the exact issue I'm working with is over here: https://github.com/haskell/c2hs/issues/300#issuecomment-2845352330 |
| 2025-05-01 20:24:01 +0000 | <int-e> | Well regardless of why, the support in .cabal files is not there. |
| 2025-05-01 20:24:46 +0000 | <tomsmeding> | _what_ |
| 2025-05-01 20:25:23 +0000 | <sim590> | I'm not too sure about the consequences of using `.local`? |
| 2025-05-01 20:25:40 +0000 | <sim590> | It's just something I did for another project and it worked, so I assumed I needed that. |
| 2025-05-01 20:25:43 +0000 | <tomsmeding> | "enhance diagnostics to clarify type errors ... involving bool" sounds completely unrelated |
| 2025-05-01 20:25:43 +0000 | <int-e> | sim590: the main downside I see is that the config will be overwritten all the time |
| 2025-05-01 20:25:57 +0000 | <sim590> | When? |
| 2025-05-01 20:26:06 +0000 | <int-e> | oh and you don't want to commit it to repos because it contains local paths |
| 2025-05-01 20:26:15 +0000 | <tomsmeding> | sim590: cabal.project.local is intended to be the configuration on your local machine that you don't commit to version control; cabal.project is the one that you _do_ commit |
| 2025-05-01 20:26:20 +0000 | <int-e> | AFAIA `cabal configure` puts paths there |
| 2025-05-01 20:27:02 +0000 | <int-e> | Unless I'm mixing something up? |
| 2025-05-01 20:27:10 +0000 | <tomsmeding> | (and more broadly, cabal.project is configuration for building this project from the source repository, whereas users who depend on your package via hackage will only see the .cabal file) |
| 2025-05-01 20:27:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 20:27:25 +0000 | tomsmeding | never uses `cabal configure` |
| 2025-05-01 20:27:36 +0000 | <sim590> | The weird thing is that if I use `cabal.project` instead of `cabal.project.local`, I get this `Warning: There are no packages or optional-packages in the project`. |
| 2025-05-01 20:27:56 +0000 | <tomsmeding> | sim590: yes, that's because if you have a cabal.project, then cabal expects you to have a `packages:` clause in that file |
| 2025-05-01 20:28:01 +0000 | <tomsmeding> | in your case, it's just `packages: .` |
| 2025-05-01 20:28:17 +0000 | <sim590> | I have that though . |
| 2025-05-01 20:28:33 +0000 | <sim590> | So it also says: `Warning: /home/simon/prog/opendht-hs/cabal.project: Unrecognized section` |
| 2025-05-01 20:28:38 +0000 | <sim590> | `'pacakges' on line 1` |
| 2025-05-01 20:28:42 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-01 20:28:44 +0000 | <mauke> | pacak |
| 2025-05-01 20:28:45 +0000 | <tomsmeding> | pacakges != packages |
| 2025-05-01 20:28:51 +0000 | <sim590> | lol |
| 2025-05-01 20:28:53 +0000 | <int-e> | lol |
| 2025-05-01 20:28:56 +0000 | <sim590> | oops |
| 2025-05-01 20:29:06 +0000 | <tomsmeding> | sometimes the tools are right |
| 2025-05-01 20:29:25 +0000 | <mauke> | they just just edit-distance the thing |
| 2025-05-01 20:29:30 +0000 | <mauke> | I mean, it's obvious what you meant |
| 2025-05-01 20:29:32 +0000 | <sim590> | Alright, I fixed that, but I still get `There is no <pkgname>.cabal package file or cabal.project file.`. |
| 2025-05-01 20:29:47 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-05-01 20:29:50 +0000 | <tomsmeding> | that sounds like you're running cabal in the wrong directory? |
| 2025-05-01 20:30:16 +0000 | dhil | (~dhil@openvpn-125-1069.inf.ed.ac.uk) (Ping timeout: 276 seconds) |
| 2025-05-01 20:30:17 +0000 | <tomsmeding> | the `.` is a path to a directory, relative to the cabal.project file, where cabal expects to find a .cabal file |
| 2025-05-01 20:30:27 +0000 | <sim590> | While `I'm not though.. The `opendht-hs.cabal` and the `project.cabal` files are both in the current directory. |
| 2025-05-01 20:31:01 +0000 | <tomsmeding> | cabal.project, not project.cabal |
| 2025-05-01 20:31:18 +0000 | <sim590> | `ls .` yields `cabal.project CHANGELOG.md dht.data dht.data_port.txt dhtrunner-commit.msg dist-newstyle docker LICENSE opendht-hs.cabal README.md src todo.txt`. |
| 2025-05-01 20:31:22 +0000 | <tomsmeding> | oh |
| 2025-05-01 20:31:46 +0000 | <tomsmeding> | and `cabal build` gives `There is no <pkgname>.cabal package file or cabal.project file.`? |
| 2025-05-01 20:31:52 +0000 | <sim590> | Yeah |
| 2025-05-01 20:31:54 +0000 | <tomsmeding> | wat |
| 2025-05-01 20:32:08 +0000 | <sim590> | And if I just change the name to `cabal.project.local`, then it works.. |
| 2025-05-01 20:32:21 +0000 | <sim590> | Soo I build with `v2-build`. |
| 2025-05-01 20:32:25 +0000 | <sim590> | Always |
| 2025-05-01 20:32:28 +0000 | <tomsmeding> | what is your cabal version? |
| 2025-05-01 20:32:35 +0000 | <sim590> | 3.0 |
| 2025-05-01 20:32:36 +0000 | <EvanR> | shouldn't have named your file `cabal.project |
| 2025-05-01 20:32:46 +0000 | <tomsmeding> | sim590: that is ancient, please upgrade now |
| 2025-05-01 20:32:57 +0000 | <tomsmeding> | 3.12.1.0 is recommended, 3.14.2.0 is latest |
| 2025-05-01 20:33:21 +0000 | <sim590> | tomsmeding: sorry. I thought you meant the version of the file. |
| 2025-05-01 20:33:29 +0000 | <tomsmeding> | ah |
| 2025-05-01 20:33:30 +0000 | <sim590> | The version of the cabal binary is 3.12.1.0 |
| 2025-05-01 20:33:34 +0000 | <tomsmeding> | okay good |
| 2025-05-01 20:33:41 +0000 | <tomsmeding> | post the contents of your cabal.project file? |
| 2025-05-01 20:33:54 +0000 | <sim590> | https://paste.debian.net/1372746/ |
| 2025-05-01 20:34:09 +0000 | <tomsmeding> | sim590: missing the `:` after `packages` |
| 2025-05-01 20:34:16 +0000 | <geekosaur> | no colon on the packages line? |
| 2025-05-01 20:34:20 +0000 | <tomsmeding> | too slow |
| 2025-05-01 20:34:33 +0000 | <geekosaur> | as usual |
| 2025-05-01 20:34:41 +0000 | <sim590> | Damn |
| 2025-05-01 20:34:42 +0000 | <EvanR> | step up your game |
| 2025-05-01 20:34:58 +0000 | <sim590> | Aight. It's funny that just renaming it to `cabal.project.local` works though ? |
| 2025-05-01 20:35:03 +0000 | <tomsmeding> | in general, in cabal.project* files, clauses which directly take arguments have a `:`, and headings which contain further keys with values have no `:` |
| 2025-05-01 20:35:25 +0000 | <tomsmeding> | sim590: if there's no cabal.project (and a cabal.project.local is not a cabal.project), then the `packages:` line is not required |
| 2025-05-01 20:35:38 +0000 | <tomsmeding> | what cabal parses your `packages .` line to instead in that case, no clue |
| 2025-05-01 20:35:51 +0000 | <geekosaur> | btw that error is detected better in 3.14 |
| 2025-05-01 20:36:00 +0000 | <sim590> | tomsmeding: I see. |
| 2025-05-01 20:36:12 +0000 | <geekosaur> | it's treated as a stanza which is unused |
| 2025-05-01 20:36:21 +0000 | <tomsmeding> | but an unknown stanza, surely? |
| 2025-05-01 20:36:38 +0000 | <tomsmeding> | I'd expect an error on encountering an unknown stanza |
| 2025-05-01 20:36:40 +0000 | <geekosaur> | yes, which it ignores in older cabal. 3.14 does better |
| 2025-05-01 20:37:09 +0000 | <tomsmeding> | who decided ignoring unknown stanzas was a good idea :p |
| 2025-05-01 20:37:27 +0000 | <geekosaur> | (the downside being that now there's an extra place that needs to be updated if new stanzas are added) |
| 2025-05-01 20:37:35 +0000 | <tomsmeding> | (but thanks to whomever fixed it for 3.14 :) ) |
| 2025-05-01 20:38:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 20:39:03 +0000 | <sim590> | Thanks very much to everyone helping debugging this. I hope to get to know these files better in the future. I know the `.cabal` file better, but it seems like when I get on the documentation website, I always assume the options are for `.cabal` files, but I guess now I have to look better to know if they are for other files. |
| 2025-05-01 20:39:32 +0000 | <geekosaur> | anyway the project file parser is known to be half-assed; the change to check for known stanzas are an interim fix, there's a new parser in development that might make 3.16 |
| 2025-05-01 20:39:35 +0000 | <tomsmeding> | sim590: in the Cabal user guide, the .cabal file is 'cabal reference' section 1, and the cabal.project file is section 2 ;) |
| 2025-05-01 20:39:45 +0000 | <tomsmeding> | yay |
| 2025-05-01 20:40:01 +0000 | <geekosaur> | *is an |
| 2025-05-01 20:42:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-01 20:43:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 20:44:22 +0000 | <sim590> | tomsmeding: aight, I see! :D I'll try to remember that mapping xD |
| 2025-05-01 20:44:42 +0000 | <tomsmeding> | (there are chapter headings in the left column) |
| 2025-05-01 20:46:57 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-05-01 20:48:36 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-01 20:53:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 20:57:03 +0000 | <sim590> | tomsmeding: So I think that your suggestion of using a `program-options` section might have worked, if I used it inside `cabal.project` file, but I tried it only inside `opeendht-hs.cabal`. I just saw in the section headings that you were talking about that this option was for `cabal.project`. Just to clear things up about this miunderstanding due to my lack of knowledge of these files. |
| 2025-05-01 20:57:20 +0000 | <tomsmeding> | ah :) |
| 2025-05-01 20:58:57 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-01 21:00:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-01 21:05:53 +0000 | jespada | (~jespada@r179-25-202-180.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-01 21:05:54 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-01 21:06:07 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-01 21:06:39 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-05-01 21:11:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 21:12:30 +0000 | fun-safe-math | (~fun-safe-@97-120-59-205.ptld.qwest.net) fun-safe-math |
| 2025-05-01 21:16:33 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-01 21:17:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-01 21:18:55 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-01 21:21:46 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-05-01 21:26:53 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-01 21:27:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-01 21:27:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 21:28:47 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-01 21:30:16 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-01 21:32:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 21:35:41 +0000 | fun-safe-math | (~fun-safe-@97-120-59-205.ptld.qwest.net) () |
| 2025-05-01 21:36:26 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-01 21:36:40 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-01 21:37:21 +0000 | fun-safe-math | (~fun-safe-@97-120-59-205.ptld.qwest.net) fun-safe-math |
| 2025-05-01 21:43:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 21:47:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 21:49:26 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-01 21:58:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 22:01:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 22:04:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-01 22:05:34 +0000 | sprotte24 | (~sprotte24@p200300d16f04420079bd62a2defad9dd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-01 22:14:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 22:15:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-01 22:15:30 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-01 22:19:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-05-01 22:19:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 22:19:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 22:22:43 +0000 | euleritian | (~euleritia@77.23.248.47) (Read error: Connection reset by peer) |
| 2025-05-01 22:23:33 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 22:26:24 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-05-01 22:26:37 +0000 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) (Remote host closed the connection) |
| 2025-05-01 22:30:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 22:30:50 +0000 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) manwithluck |
| 2025-05-01 22:37:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-01 22:47:24 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-01 22:47:48 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 22:47:48 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-01 22:48:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 22:49:50 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-01 22:50:41 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 22:53:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 23:01:34 +0000 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-01 23:04:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 23:08:52 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f767dcf0a605c28f3a7.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-01 23:09:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 23:12:33 +0000 | xff0x | (~xff0x@2409:251:9040:2c00:1c47:7f78:37e8:e2a1) |
| 2025-05-01 23:14:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-01 23:16:27 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-01 23:20:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 23:25:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-01 23:29:08 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-01 23:35:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 23:38:36 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-05-01 23:41:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-01 23:41:35 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-05-01 23:42:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 23:45:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-01 23:47:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-01 23:47:26 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-01 23:49:37 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-01 23:50:13 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-01 23:50:13 +0000 | ljdarj1 | ljdarj |
| 2025-05-01 23:56:51 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-05-01 23:57:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 23:58:43 +0000 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.4.3) |
| 2025-05-01 23:59:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |