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