| 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) |