| 2025-04-23 00:01:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 00:02:01 +0000 | jle` | (~jle`@2603:8001:3b00:11:3c94:fae0:e5ab:1351) jle` |
| 2025-04-23 00:07:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 00:17:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 00:21:15 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-23 00:21:44 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-23 00:22:07 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-23 00:24:32 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-04-23 00:25:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-23 00:25:11 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-23 00:29:37 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:116f:7547:e97e:51d0) (Quit: Leaving) |
| 2025-04-23 00:31:27 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-23 00:33:14 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-23 00:33:56 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-04-23 00:34:44 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f31f097d80b541a7919.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-23 00:35:19 +0000 | img | (~img@user/img) img |
| 2025-04-23 00:35:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 00:35:55 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-23 00:37:25 +0000 | califax | (~califax@user/califx) califx |
| 2025-04-23 00:37:54 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-23 00:38:18 +0000 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-23 00:40:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-23 00:42:45 +0000 | roqueando | (~roqueando@179-125-157-72.dynamic.desktop.com.br) |
| 2025-04-23 00:42:55 +0000 | roqueando | (~roqueando@179-125-157-72.dynamic.desktop.com.br) (Client Quit) |
| 2025-04-23 00:46:24 +0000 | otto_s | (~user@p5b044854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-23 00:48:04 +0000 | otto_s | (~user@p4ff2790f.dip0.t-ipconnect.de) |
| 2025-04-23 00:50:25 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2025-04-23 00:51:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 00:53:49 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-04-23 00:55:49 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-04-23 00:57:22 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-04-23 00:58:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-23 01:06:47 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-04-23 01:09:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 01:14:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-23 01:19:14 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 268 seconds) |
| 2025-04-23 01:20:09 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-23 01:20:53 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-04-23 01:23:31 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-23 01:24:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 01:30:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-23 01:39:19 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 2025-04-23 01:40:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 01:45:07 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-23 01:45:20 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-04-23 01:45:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 01:53:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-23 01:56:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 02:00:07 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-23 02:00:48 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-23 02:01:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 02:03:01 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-23 02:03:28 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-23 02:12:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 02:17:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-23 02:23:54 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Quit: myxos) |
| 2025-04-23 02:24:12 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-04-23 02:25:31 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Client Quit) |
| 2025-04-23 02:26:37 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-04-23 02:28:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 02:32:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 02:32:22 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 02:35:55 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Remote host closed the connection) |
| 2025-04-23 02:35:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-23 02:37:15 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-04-23 02:46:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 02:50:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 02:51:46 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 02:52:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-23 03:01:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 03:06:17 +0000 | <monochrom> | Belated: IMO one should look at the ratio "how much the code optimizer achieves / how many human-hours thrown at code optimizer", it is OOP and C that failed miserably, and ML and Haskell that outperformed. |
| 2025-04-23 03:06:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 03:07:22 +0000 | <monochrom> | Like, miilions of dollars and millions of human-hours thrown at C optimization, and it's only 1.1x ideal assembly? That's miserable. |
| 2025-04-23 03:08:02 +0000 | <monochrom> | And merely 0.1% as much thrown at ML and Haskell, and that's already 2x C. |
| 2025-04-23 03:10:06 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-23 03:10:38 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-23 03:11:16 +0000 | tavare | (~tavare@150.129.88.189) |
| 2025-04-23 03:11:17 +0000 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-04-23 03:11:17 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-23 03:12:17 +0000 | Googulator8 | (~Googulato@217-197-178-143.pool.digikabel.hu) (Quit: Client closed) |
| 2025-04-23 03:12:38 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-23 03:13:02 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-23 03:13:31 +0000 | <monochrom> | Not to mention how much money Sun/Oracle and IBM threw at Java summed up and still merely on par with GHC which gets a much smaller budget. |
| 2025-04-23 03:13:57 +0000 | swistak | (~swistak@185.21.216.141) |
| 2025-04-23 03:13:57 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 2025-04-23 03:14:22 +0000 | swistak- | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2025-04-23 03:15:42 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-23 03:17:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 03:19:30 +0000 | kmein | (~weechat@user/kmein) (Ping timeout: 252 seconds) |
| 2025-04-23 03:21:40 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2025-04-23 03:22:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-23 03:23:48 +0000 | SoF7 | (~skius@user/skius) skius |
| 2025-04-23 03:25:22 +0000 | SoF | (~skius@user/skius) (Ping timeout: 252 seconds) |
| 2025-04-23 03:25:22 +0000 | SoF7 | SoF |
| 2025-04-23 03:31:06 +0000 | aforemny | (~aforemny@2001:9e8:6ce5:1f00:ffd3:1d85:d158:aa27) aforemny |
| 2025-04-23 03:31:23 +0000 | ThePenguin1 | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-04-23 03:31:29 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc3:f500:70bf:b6e8:268:3642) (Ping timeout: 260 seconds) |
| 2025-04-23 03:32:42 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 252 seconds) |
| 2025-04-23 03:32:42 +0000 | ThePenguin1 | ThePenguin |
| 2025-04-23 03:33:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 03:35:26 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-04-23 03:35:26 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 03:35:41 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-04-23 03:36:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 03:37:39 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-23 03:38:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-23 03:40:54 +0000 | michalz | (~michalz@185.246.207.203) |
| 2025-04-23 03:42:05 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 03:42:58 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-23 03:43:35 +0000 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 2025-04-23 03:43:44 +0000 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-04-23 03:45:08 +0000 | tjbc_ | (~tjbc@user/fliife) fliife |
| 2025-04-23 03:45:32 +0000 | tjbc | (~tjbc@user/fliife) (Ping timeout: 252 seconds) |
| 2025-04-23 03:46:22 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 2025-04-23 03:46:41 +0000 | _xor9 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-04-23 03:48:02 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-04-23 03:48:06 +0000 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-04-23 03:48:06 +0000 | _xor9 | _xor |
| 2025-04-23 03:49:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 03:51:16 +0000 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Ping timeout: 276 seconds) |
| 2025-04-23 03:51:35 +0000 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 2025-04-23 03:53:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 04:02:18 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 04:02:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 04:03:26 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 04:03:47 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 04:05:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 04:05:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 04:06:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 04:08:53 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 04:09:16 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 04:10:49 +0000 | samahri | (~halloy304@2001:569:76fd:b00:c916:45b:5a2a:d00) (Ping timeout: 252 seconds) |
| 2025-04-23 04:11:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 04:19:38 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-04-23 04:22:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 04:22:56 +0000 | <haskellbridge> | <Bowuigi> The world took the wrong direction and engineers tried to fix it (computers nowadays are magical and wonderful though) |
| 2025-04-23 04:23:49 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-04-23 04:27:35 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-04-23 04:27:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-23 04:28:32 +0000 | <haskellbridge> | <Bowuigi> Not trusting anyone seems to lead to the least painful development experience. Add good types because you don't trust developers, automated tests because you don't trust beta testers, CI because you don't trust people running tests, CD because you don't trust people building programs, proper interview cycles because you don't trust your client's opinion, models because you don't trust your memory, prototypes... |
| 2025-04-23 04:28:37 +0000 | <haskellbridge> | ... because you don't trust your client's desires, flexible software design methods because you don't trust your designs, code reviews because you don't trust your coworkers, etc |
| 2025-04-23 04:34:04 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 04:38:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 04:40:44 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-04-23 04:43:03 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 04:43:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-23 04:47:30 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-23 04:54:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 04:55:15 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 04:59:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-23 05:00:50 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-04-23 05:01:08 +0000 | adamCS_ | (~adamCS@pool-173-52-72-35.nycmny.fios.verizon.net) adamCS |
| 2025-04-23 05:02:07 +0000 | adamCS | (~adamCS@pool-173-52-72-35.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-04-23 05:02:08 +0000 | adamCS_ | adamCS |
| 2025-04-23 05:10:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 05:10:59 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-23 05:12:56 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 05:14:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-23 05:19:09 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-04-23 05:21:16 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 05:25:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 05:30:20 +0000 | mike1127 | (~mike1127@syn-075-142-052-000.res.spectrum.com) |
| 2025-04-23 05:30:35 +0000 | <mike1127> | I' |
| 2025-04-23 05:31:26 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 05:31:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-23 05:32:13 +0000 | <mike1127> | I'm writing code in the Error monad in which I throw errors that indicate implementation errors, sort of like failed asserts. I just realized that a lot of these would go away if I used List.NonEmpty. Is that usually a good idea? |
| 2025-04-23 05:35:56 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-23 05:40:24 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-04-23 05:41:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 05:43:30 +0000 | cptaffe | (~cptaffe@user/cptaffe) (Read error: Connection reset by peer) |
| 2025-04-23 05:44:13 +0000 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-04-23 05:46:57 +0000 | mike1127 | (~mike1127@syn-075-142-052-000.res.spectrum.com) (Quit: Client closed) |
| 2025-04-23 05:48:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 05:51:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-04-23 05:52:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-23 05:53:27 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 05:59:24 +0000 | <c_wraith> | If the ergonomics work out, it's a great idea |
| 2025-04-23 05:59:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 06:00:20 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2025-04-23 06:03:44 +0000 | jle` | (~jle`@2603:8001:3b00:11:3c94:fae0:e5ab:1351) (Quit: WeeChat 4.5.1) |
| 2025-04-23 06:04:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 06:05:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 06:08:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 06:08:19 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 06:09:27 +0000 | ephilalethes | (~noumenon@103.175.213.105) noumenon |
| 2025-04-23 06:10:33 +0000 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 244 seconds) |
| 2025-04-23 06:10:49 +0000 | euleritian | (~euleritia@dynamic-176-006-139-135.176.6.pool.telefonica.de) |
| 2025-04-23 06:12:41 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-23 06:12:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 06:13:03 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-04-23 06:13:51 +0000 | jle` | (~jle`@2603:8001:3b00:11:26f1:42f4:7093:ac0a) jle` |
| 2025-04-23 06:23:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 06:24:58 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 06:25:29 +0000 | ephilalethes | (~noumenon@103.175.213.105) (Read error: Connection reset by peer) |
| 2025-04-23 06:25:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-04-23 06:29:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-23 06:30:11 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-04-23 06:39:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 06:44:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-23 06:47:20 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
| 2025-04-23 06:47:40 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2025-04-23 06:55:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 06:56:21 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 07:00:00 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-23 07:00:03 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) acidjnk |
| 2025-04-23 07:00:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 07:00:55 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-23 07:02:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-04-23 07:02:33 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 07:08:13 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-04-23 07:08:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 07:13:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 07:15:59 +0000 | sord937_ | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-23 07:16:00 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-04-23 07:20:42 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-23 07:20:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-04-23 07:22:05 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-23 07:22:17 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 07:24:09 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-23 07:25:00 +0000 | <haskellbridge> | <Liamzee> @monochrom: I'm curious what GHC would look like if someone were to dump megabucks on it |
| 2025-04-23 07:25:47 +0000 | <haskellbridge> | <Liamzee> it's perfectly possible that GHC simply doesn't scale well for investment, so it's not an automatic given that GHC would be much better if it were awash in resources |
| 2025-04-23 07:26:01 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-04-23 07:27:06 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2025-04-23 07:28:08 +0000 | <haskellbridge> | <Liamzee> that said, I'm wondering if it's accurate to say that Haskell isn't a purely statically typed language |
| 2025-04-23 07:28:17 +0000 | <haskellbridge> | <Liamzee> Gradual typing is a hybrid between static and dynamic typing |
| 2025-04-23 07:29:24 +0000 | <haskellbridge> | <Liamzee> static typing with polymorphism, on the other hand, is implicitly also a hybrid, coming from the other direction |
| 2025-04-23 07:30:03 +0000 | <haskellbridge> | <Liamzee> the "aggressively polymorphic" nature of Haskell, with typeclasses, HKTs, and type inference suggest that this might be notable as something different from other statically typed languages |
| 2025-04-23 07:39:12 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 07:42:09 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-04-23 07:44:36 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-23 07:44:59 +0000 | adamCS | (~adamCS@pool-173-52-72-35.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-04-23 07:52:01 +0000 | <haskellbridge> | <hellwolf> The last time I asked people in the know, I estimate that the required investment to lift GHC to a new level from a usability perspective, is below a million dollars a year. |
| 2025-04-23 07:52:03 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/oewMBQhCudadRpqVeYQuNyAJ/Ci1gGUPGvb8 (3 lines) |
| 2025-04-23 07:53:22 +0000 | cstml | (~Thunderbi@user/cstml) cstml |
| 2025-04-23 07:53:39 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-23 07:56:58 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 07:59:15 +0000 | <int-e> | :t lift |
| 2025-04-23 07:59:16 +0000 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2025-04-23 07:59:27 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-23 08:02:15 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-04-23 08:03:38 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-23 08:09:22 +0000 | euleritian | (~euleritia@dynamic-176-006-139-135.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-23 08:09:43 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 08:12:47 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 08:15:11 +0000 | chele | (~chele@user/chele) chele |
| 2025-04-23 08:15:36 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-23 08:16:07 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-04-23 08:19:03 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-23 08:19:42 +0000 | euleritian | (~euleritia@dynamic-176-006-139-135.176.6.pool.telefonica.de) |
| 2025-04-23 08:20:21 +0000 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 2025-04-23 08:20:36 +0000 | bramh | (~bramh@user/bramh) bramh |
| 2025-04-23 08:21:54 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-23 08:25:01 +0000 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-04-23 08:25:10 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-23 08:27:59 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-23 08:33:26 +0000 | snow | (~root@srv599369.hstgr.cloud) |
| 2025-04-23 08:33:36 +0000 | <snow> | hey |
| 2025-04-23 08:35:26 +0000 | <haskellbridge> | <Liamzee> hellwolf: i was guessing you were with serokell? |
| 2025-04-23 08:42:39 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-23 08:42:46 +0000 | <haskellbridge> | <hellwolf> no |
| 2025-04-23 08:42:53 +0000 | <haskellbridge> | <hellwolf> I have nothing to do with them |
| 2025-04-23 08:55:11 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-04-23 08:56:13 +0000 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-04-23 08:58:09 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-04-23 08:59:45 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-04-23 09:00:30 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-04-23 09:00:30 +0000 | prdak1 | prdak |
| 2025-04-23 09:03:29 +0000 | snow | (~root@srv599369.hstgr.cloud) (Quit: My damn controlling terminal disappeared!) |
| 2025-04-23 09:04:42 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-23 09:08:34 +0000 | <haskellbridge> | <Liamzee> awww |
| 2025-04-23 09:08:37 +0000 | <haskellbridge> | <Liamzee> i like serokell |
| 2025-04-23 09:09:46 +0000 | <haskellbridge> | <Liamzee> superfluid |
| 2025-04-23 09:10:10 +0000 | <haskellbridge> | <Liamzee> at least it's a cool crypto-scam, i mean, if crypto winter really hits in, you could always move to CBDC |
| 2025-04-23 09:10:40 +0000 | <haskellbridge> | <Liamzee> the idea of money being transferred as continuous streams instead of quanta is interesting |
| 2025-04-23 09:11:19 +0000 | <haskellbridge> | <hellwolf> is it a scam to you? watch out |
| 2025-04-23 09:11:46 +0000 | <haskellbridge> | <Liamzee> why? |
| 2025-04-23 09:12:04 +0000 | <haskellbridge> | <Liamzee> startups are scams, 70% fail rate after 5 years, but some of them stop being scams |
| 2025-04-23 09:13:03 +0000 | <haskellbridge> | <hellwolf> okay. thanks for your opinion. I hope you will never be a scammer. |
| 2025-04-23 09:13:16 +0000 | <haskellbridge> | <Liamzee> i plan to become a scammer :3 |
| 2025-04-23 09:15:36 +0000 | <haskellbridge> | <hellwolf> just be a bit careful. words have emotional meanings; not everyone is ready to joke around 24/7 :p |
| 2025-04-23 09:15:48 +0000 | <haskellbridge> | <Liamzee> sorry :( |
| 2025-04-23 09:15:56 +0000 | <haskellbridge> | <Liamzee> i was going to apologize to you, i'm just morally fluid on business practices and so on |
| 2025-04-23 09:16:01 +0000 | <haskellbridge> | <Liamzee> the polite way to say it is "hustle" |
| 2025-04-23 09:16:06 +0000 | <haskellbridge> | <Liamzee> but i dislike hustle culture |
| 2025-04-23 09:16:52 +0000 | <haskellbridge> | <Liamzee> but yeah, i'm apologizing for hurt feelings and offending you, you've been kind to me |
| 2025-04-23 09:16:54 +0000 | <__monty__> | What CBDC incorporates the idea of continuous streams? And can we move the discussion to off-topic? |
| 2025-04-23 09:17:00 +0000 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-04-23 09:17:25 +0000 | califax | (~califax@user/califx) califx |
| 2025-04-23 09:20:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-23 09:23:35 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-23 09:26:07 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-04-23 09:30:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-23 09:32:06 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-23 09:32:37 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
| 2025-04-23 09:33:58 +0000 | <[exa]> | Liamzee: there's #haskell-scam for scam discussion |
| 2025-04-23 09:35:37 +0000 | <haskellbridge> | <Liamzee> That seems off-topic. Unfortunately, there isn't a true paradox: migrating to #haskell-scam for scam discussion renders #haskell-scam not a scam, and consequently it is also off-topic in #haskell-scam. |
| 2025-04-23 09:36:11 +0000 | <haskellbridge> | <Liamzee> The act of doing so, however, is discrete and thus impure, preventing a true superimposition of states. |
| 2025-04-23 09:36:26 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-23 09:37:05 +0000 | <haskellbridge> | <Liamzee> and yeah, lol |
| 2025-04-23 09:41:56 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-23 09:42:24 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-23 09:44:23 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-23 09:49:36 +0000 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-04-23 09:49:42 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-04-23 09:55:30 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-04-23 09:58:58 +0000 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:e72:a8c5:f639:9713) |
| 2025-04-23 10:00:25 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-04-23 10:06:07 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-23 10:09:48 +0000 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-04-23 10:11:04 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2025-04-23 10:13:34 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-23 10:14:08 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-23 10:15:06 +0000 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:e72:a8c5:f639:9713) (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-04-23 10:18:40 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-04-23 10:23:42 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-23 10:25:57 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-23 10:26:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-23 10:32:27 +0000 | euleritian | (~euleritia@dynamic-176-006-139-135.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-23 10:32:45 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 10:35:33 +0000 | dhil | (~dhil@5.151.29.141) (Ping timeout: 248 seconds) |
| 2025-04-23 10:40:35 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-04-23 10:40:35 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-04-23 10:40:35 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-23 10:49:09 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-23 10:49:12 +0000 | _xor3 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-04-23 10:49:21 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-04-23 10:49:23 +0000 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-04-23 10:49:23 +0000 | _xor3 | _xor |
| 2025-04-23 10:50:27 +0000 | img | (~img@user/img) img |
| 2025-04-23 10:52:10 +0000 | _xor1 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-04-23 10:53:48 +0000 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-04-23 10:53:48 +0000 | _xor1 | _xor |
| 2025-04-23 10:56:09 +0000 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) |
| 2025-04-23 10:57:11 +0000 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) (Client Quit) |
| 2025-04-23 10:58:01 +0000 | hidjgr | (~hidjgr@user/hidjgr) hidjgr |
| 2025-04-23 11:02:06 +0000 | jespada | (~jespada@r179-25-8-250.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-23 11:04:42 +0000 | kristianan | (~kristiana@2a01:799:1859:c100:da8a:afbe:855a:983) |
| 2025-04-23 11:06:38 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-23 11:14:20 +0000 | jespada | (~jespada@r179-25-8-250.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-04-23 11:16:58 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) |
| 2025-04-23 11:17:43 +0000 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-23 11:19:18 +0000 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-04-23 11:20:19 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-23 11:20:21 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-23 11:36:01 +0000 | divya | (divya@140.238.251.170) (Ping timeout: 276 seconds) |
| 2025-04-23 11:39:11 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2025-04-23 11:42:18 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-04-23 11:46:09 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-23 11:59:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-23 12:03:28 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-23 12:07:01 +0000 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) jco |
| 2025-04-23 12:09:47 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-23 12:12:33 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-23 12:14:12 +0000 | <jco> | Hey, I've got a pretty basic question about the Pipes library: I'm making a small Redis server (for fun). I have a "global" setting controlling whether I'm in a Redis transaction (MULTI). If a transaction is currently "active", all commands received by the server should be queued instead of running them. The only command that should be run when we're in a transaction is "EXEC", which finishes the transaction |
| 2025-04-23 12:14:18 +0000 | <jco> | and runs all the queued commands. I'm struggling a bit with how to model this in Pipes, i.e. how can I "fan out" to different pipes depending on both the global setting, and the stream element (command) itself? The following works for just the global setting, but will of course not work for the EXEC command (i.e. _no_ commands will actually run): https://paste.tomsmeding.com/zr5rBhs0 |
| 2025-04-23 12:15:09 +0000 | <jco> | Both `queueCommands` and `runCommands` in the above snippet are `Consumers`. |
| 2025-04-23 12:15:16 +0000 | raym | (~ray@user/raym) (Ping timeout: 272 seconds) |
| 2025-04-23 12:15:22 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-23 12:16:45 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-04-23 12:17:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-23 12:17:19 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 12:17:50 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-04-23 12:18:25 +0000 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-23 12:19:06 +0000 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-23 12:20:43 +0000 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 2025-04-23 12:21:31 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 276 seconds) |
| 2025-04-23 12:22:50 +0000 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-23 12:23:35 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-23 12:30:47 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-23 12:31:05 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-23 12:34:36 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-23 12:47:28 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-04-23 12:49:28 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 2025-04-23 12:57:07 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2025-04-23 12:58:02 +0000 | cstml | (~Thunderbi@user/cstml) (Quit: cstml) |
| 2025-04-23 12:59:17 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-04-23 13:08:12 +0000 | kristianan | (~kristiana@2a01:799:1859:c100:da8a:afbe:855a:983) (Quit: Client closed) |
| 2025-04-23 13:27:15 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-04-23 13:30:15 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-04-23 13:33:57 +0000 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-04-23 13:35:42 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2025-04-23 13:36:36 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-04-23 13:36:50 +0000 | euleritian | (~euleritia@dynamic-176-006-140-190.176.6.pool.telefonica.de) |
| 2025-04-23 13:41:05 +0000 | euleritian | (~euleritia@dynamic-176-006-140-190.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-04-23 13:41:05 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
| 2025-04-23 13:41:51 +0000 | euleritian | (~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) |
| 2025-04-23 13:42:15 +0000 | euleritian | (~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-23 13:42:32 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 13:42:37 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-23 13:49:54 +0000 | <haskellbridge> | <Liamzee> oh, my god |
| 2025-04-23 13:50:14 +0000 | <haskellbridge> | <Liamzee> actually, i won't mention it, but the new magical haskell... a combination of genius and ed wood |
| 2025-04-23 13:50:23 +0000 | <haskellbridge> | <Liamzee> okay so i did |
| 2025-04-23 13:50:57 +0000 | Guest49 | (~Guest49@astrolabe.plus.com) |
| 2025-04-23 13:52:36 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-04-23 13:53:24 +0000 | euleritian | (~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) |
| 2025-04-23 13:54:04 +0000 | Guest49 | (~Guest49@astrolabe.plus.com) (Client Quit) |
| 2025-04-23 14:01:01 +0000 | Guest49 | (~Guest49@astrolabe.plus.com) |
| 2025-04-23 14:11:06 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-23 14:17:01 +0000 | <[exa]> | jco: not sure if the pipes would be sufficient for this (not even if they'd be practical) |
| 2025-04-23 14:18:49 +0000 | <[exa]> | jco: for redis-style sharing of events you might want something more dynamic, e.g. piping your pipes to some Chans (TChan?) from the concurrent programming |
| 2025-04-23 14:21:33 +0000 | <[exa]> | certainly you will likely need some more advanced structure for the transaction processing. Is redis transaction a buffer (as in, only holding the commands until EXEC fires) or can it actually block other people because it reads stuff that it expects to be immutable by others until it's finished? |
| 2025-04-23 14:22:20 +0000 | <[exa]> | ah ok it's just a queue |
| 2025-04-23 14:22:59 +0000 | <[exa]> | then maybe a "stateful" pipe which absorbs the commands into a buffer until there's EXEC and then sends everything out at once could be worth it. |
| 2025-04-23 14:25:33 +0000 | <[exa]> | should be doable with `await` in a loop |
| 2025-04-23 14:27:55 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-04-23 14:46:36 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-23 14:52:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-04-23 14:54:06 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 14:56:34 +0000 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:a2e:6672:4696:8334) |
| 2025-04-23 15:00:47 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-04-23 15:00:56 +0000 | euleritian | (~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-23 15:01:18 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 15:02:09 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-23 15:04:45 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-23 15:05:57 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-04-23 15:05:58 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-23 15:09:20 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-23 15:14:41 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
| 2025-04-23 15:15:10 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-04-23 15:15:31 +0000 | euleritian | (~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) |
| 2025-04-23 15:19:00 +0000 | td_ | (~td@i5387092F.versanet.de) |
| 2025-04-23 15:21:44 +0000 | <haskellbridge> | <Liamzee> okay, finished magical haskell, it's just bad |
| 2025-04-23 15:21:45 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-04-23 15:32:54 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-04-23 15:33:35 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-23 15:42:36 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 15:42:36 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-04-23 15:43:10 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-23 15:44:05 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-23 15:47:51 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-23 16:01:22 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-04-23 16:08:58 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
| 2025-04-23 16:08:59 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 16:10:23 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-23 16:10:29 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Client Quit) |
| 2025-04-23 16:12:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 16:12:54 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-23 16:13:48 +0000 | kristianan | (~kristiana@2a01:799:1859:c100:da8a:afbe:855a:983) |
| 2025-04-23 16:13:59 +0000 | kristianan | (~kristiana@2a01:799:1859:c100:da8a:afbe:855a:983) (Client Quit) |
| 2025-04-23 16:15:43 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-23 16:20:46 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-23 16:22:54 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-04-23 16:26:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 16:27:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-04-23 16:28:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-23 16:30:22 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 16:31:49 +0000 | dhil | (~dhil@5.151.29.138) dhil |
| 2025-04-23 16:39:02 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-23 16:42:39 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-23 16:50:07 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-04-23 16:51:18 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 16:54:24 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 16:57:41 +0000 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:a2e:6672:4696:8334) (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-04-23 16:58:07 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-23 16:58:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-23 17:01:07 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 17:03:45 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-04-23 17:04:17 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-04-23 17:04:43 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 17:05:09 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-04-23 17:05:34 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 276 seconds) |
| 2025-04-23 17:08:07 +0000 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) (Quit: leaving) |
| 2025-04-23 17:08:32 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-23 17:10:23 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-23 17:13:40 +0000 | sord937_ | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937_) |
| 2025-04-23 17:13:42 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-04-23 17:15:47 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
| 2025-04-23 17:18:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-23 17:24:25 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-23 17:33:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 17:36:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 17:36:58 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-04-23 17:45:31 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-04-23 17:48:54 +0000 | emm | (~emm@user/edmeme) edmeme |
| 2025-04-23 17:52:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 17:57:01 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 17:57:30 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-23 17:59:13 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2025-04-23 17:59:45 +0000 | Square3 | (~Square@user/square) Square |
| 2025-04-23 18:03:02 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-04-23 18:03:10 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-04-23 18:04:33 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-04-23 18:07:09 +0000 | divya | (divya@140.238.251.170) divya |
| 2025-04-23 18:10:52 +0000 | eL_Bart0 | (eL_Bart02@dietunichtguten.org) (Quit: Restarting) |
| 2025-04-23 18:12:31 +0000 | euleritian | (~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-23 18:12:50 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 18:16:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-23 18:21:54 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-23 18:22:33 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-23 18:27:04 +0000 | <haskellbridge> | <Liamzee> accursedUnutterablePerformIO reported that digital ocean joined Haskell Foundation as a functor |
| 2025-04-23 18:27:27 +0000 | <haskellbridge> | <Liamzee> Digital Ocean is a major cloud service provider |
| 2025-04-23 18:29:29 +0000 | <monochrom> | What is a functor there? :) |
| 2025-04-23 18:29:38 +0000 | <tomsmeding> | they renamed it to "bronze" |
| 2025-04-23 18:30:07 +0000 | <monochrom> | If I donate a billion dollar, can I make them call me "a monad"? >:) |
| 2025-04-23 18:30:29 +0000 | <tomsmeding> | oh the website still has the FAM names |
| 2025-04-23 18:30:38 +0000 | <monochrom> | haha neato |
| 2025-04-23 18:30:46 +0000 | <tomsmeding> | the latest monthly update on discourse had bronze/silver/gold |
| 2025-04-23 18:30:51 +0000 | <tomsmeding> | monochrom: https://haskell.foundation/donations/ |
| 2025-04-23 18:30:52 +0000 | sprotte24 | (~sprotte24@p200300d16f32c2005ced4df4a507f443.dip0.t-ipconnect.de) |
| 2025-04-23 18:31:08 +0000 | <haskellbridge> | <Liamzee> honestly, are there any other three-tiered typeclasses? |
| 2025-04-23 18:31:48 +0000 | <haskellbridge> | <Liamzee> Stuff I can think of is mainly two-tiered, foldable traversable, semigroup monad |
| 2025-04-23 18:31:56 +0000 | <tomsmeding> | the metals terminology was first seen here https://discourse.haskell.org/t/haskell-foundation-q1-2025-update/11835 I think |
| 2025-04-23 18:32:06 +0000 | <mauke> | Num, Real, Integral |
| 2025-04-23 18:32:10 +0000 | <monochrom> | If we had Group, we would have Semigroup-Monoid-Group |
| 2025-04-23 18:32:22 +0000 | <tomsmeding> | mauke: Enum |
| 2025-04-23 18:32:40 +0000 | <int-e> | monochrom: at a billion dollars you might cause macroeconomic side effects |
| 2025-04-23 18:32:48 +0000 | <monochrom> | hahaha |
| 2025-04-23 18:33:35 +0000 | <tomsmeding> | monochrom: at the bottom of https://haskell.foundation/donations/ , the lists of sponsors are indeed called "monads", "applicatives" and "functors" |
| 2025-04-23 18:34:12 +0000 | <monochrom> | Equality-Iso-Lens from lens |
| 2025-04-23 18:34:20 +0000 | <haskellbridge> | <Liamzee> the sponsorship is weird |
| 2025-04-23 18:34:33 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-04-23 18:34:41 +0000 | <haskellbridge> | <Liamzee> on the q1 2025, like, it seems as though people dropped out? |
| 2025-04-23 18:34:51 +0000 | <haskellbridge> | <Liamzee> Mercury also went to Gold |
| 2025-04-23 18:34:51 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-23 18:35:03 +0000 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-23 18:38:47 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:c9c8:e2be:ff6d:9e09) |
| 2025-04-23 18:41:56 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-23 18:44:08 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-04-23 18:45:33 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-04-23 18:48:07 +0000 | <monochrom> | Hahahaha "Incoherent instances is on because it’s too tedious to check for the condition. I’m lazy." and "And the extensions are always on because it adds a lot of complexity to have them optional." from augustss on the Discourse about MicroHs. |
| 2025-04-23 18:51:13 +0000 | <mauke> | also, writing a static type checker is hard. can't we just add dynamic typing to haskell? |
| 2025-04-23 18:56:02 +0000 | <monochrom> | That's available as unsafeCoerce. >:) |
| 2025-04-23 18:58:23 +0000 | <tomsmeding> | I mean, isn't that reasonable given the intent of MicroHs? |
| 2025-04-23 18:58:34 +0000 | <monochrom> | OK OK, just joking, dynamic typing does not mean unsafeCoerce. |
| 2025-04-23 18:58:54 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 18:58:56 +0000 | <tomsmeding> | if you want a production-ready haskell compiler that is configurable and checks your work, there's a very good one called GHC :p |
| 2025-04-23 18:59:21 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 18:59:35 +0000 | <tomsmeding> | if I were as good as augustss at jamming out haskell compilers, I'd have done the same |
| 2025-04-23 19:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-23 19:00:44 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-23 19:05:20 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-23 19:05:51 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-23 19:06:23 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-23 19:12:29 +0000 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
| 2025-04-23 19:12:31 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-23 19:12:43 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-23 19:13:51 +0000 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-23 19:14:12 +0000 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
| 2025-04-23 19:14:26 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-04-23 19:14:29 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 19:14:45 +0000 | Guest49 | (~Guest49@astrolabe.plus.com) (Quit: Client closed) |
| 2025-04-23 19:15:17 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-23 19:15:44 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-23 19:15:53 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 19:16:13 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-23 19:16:13 +0000 | ljdarj1 | ljdarj |
| 2025-04-23 19:16:29 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 260 seconds) |
| 2025-04-23 19:19:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 19:19:53 +0000 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-23 19:23:07 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2025-04-23 19:23:07 +0000 | __jmcantrell__ | jmcantrell |
| 2025-04-23 19:23:15 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) acidjnk |
| 2025-04-23 19:23:16 +0000 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-04-23 19:23:35 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-23 19:27:06 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 19:27:52 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-23 19:28:14 +0000 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-23 19:28:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 19:29:07 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-23 19:32:56 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-23 19:33:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-23 19:37:16 +0000 | <haskellbridge> | <loonycyborg> monochrom: That's what Data.Dynamic is for |
| 2025-04-23 19:37:23 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-04-23 19:39:45 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-04-23 19:40:05 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-23 19:41:10 +0000 | EvanR | (~EvanR@user/evanr) (Client Quit) |
| 2025-04-23 19:41:37 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-23 19:42:51 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-04-23 19:42:51 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-04-23 19:42:51 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-23 19:44:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 19:44:33 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Error from remote client) |
| 2025-04-23 19:45:08 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-23 19:46:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-23 19:47:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-23 19:48:51 +0000 | haritzondo | (~hrtz@152.37.68.178) |
| 2025-04-23 19:49:56 +0000 | haritz | (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 2025-04-23 19:51:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-23 19:52:54 +0000 | comonad | (~comonad@p200300d0274ba5000a84624e077d746c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-04-23 19:54:47 +0000 | comonad | (~comonad@p200300d027346900083c4e4394d33068.dip0.t-ipconnect.de) |
| 2025-04-23 19:55:06 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-23 19:58:12 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-23 20:00:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 20:01:08 +0000 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-04-23 20:02:27 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 276 seconds) |
| 2025-04-23 20:03:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 20:04:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 20:05:44 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-23 20:06:04 +0000 | EvanR_ | EvanR |
| 2025-04-23 20:06:04 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 20:06:21 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-23 20:06:27 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-23 20:06:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 20:06:30 +0000 | emm | (~emm@user/edmeme) (Ping timeout: 268 seconds) |
| 2025-04-23 20:07:02 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 20:11:08 +0000 | dhil | (~dhil@5.151.29.138) (Ping timeout: 252 seconds) |
| 2025-04-23 20:11:40 +0000 | <hc> | c |
| 2025-04-23 20:15:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 20:20:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 20:23:07 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 20:27:26 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 20:31:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 20:35:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-23 20:37:28 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 276 seconds) |
| 2025-04-23 20:37:29 +0000 | ThePenguin0 | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-04-23 20:40:48 +0000 | comonad | (~comonad@p200300d027346900083c4e4394d33068.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-23 20:41:59 +0000 | comonad | (~comonad@p200300d02734750008696bda49ccf100.dip0.t-ipconnect.de) |
| 2025-04-23 20:47:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 20:47:10 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-04-23 20:52:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-23 20:58:48 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-04-23 20:58:48 +0000 | jmcantrell_ | jmcantrell |
| 2025-04-23 21:02:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 21:07:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-23 21:08:41 +0000 | son0p | (~ff@2800:e6:4001:f995:7f79:d961:a77:e30d) son0p |
| 2025-04-23 21:18:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 21:19:57 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-23 21:25:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 21:30:14 +0000 | emm | (~emm@user/edmeme) edmeme |
| 2025-04-23 21:32:15 +0000 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-23 21:35:05 +0000 | CalimeroTeknik | (~calimero@user/calimeroteknik) (Ping timeout: 244 seconds) |
| 2025-04-23 21:36:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 21:40:46 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-23 21:41:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 21:43:14 +0000 | CalimeroTeknik | (~calimero@ctkarch.org) |
| 2025-04-23 21:43:21 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-23 21:44:03 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-23 21:52:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 21:55:45 +0000 | Guest60 | (~Guest60@128.149.247.6) |
| 2025-04-23 21:57:15 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-23 21:57:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 21:57:58 +0000 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2025-04-23 21:59:30 +0000 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-23 22:01:16 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-23 22:01:57 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-23 22:02:54 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 245 seconds) |
| 2025-04-23 22:03:15 +0000 | img | (~img@user/img) img |
| 2025-04-23 22:08:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 22:08:40 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-04-23 22:10:04 +0000 | sam113102 | (~sam@modemcable232.166-202-24.mc.videotron.ca) sam113101 |
| 2025-04-23 22:10:44 +0000 | sam113101 | (~sam@modemcable232.166-202-24.mc.videotron.ca) (Ping timeout: 244 seconds) |
| 2025-04-23 22:10:48 +0000 | sam113102 | sam113101 |
| 2025-04-23 22:13:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-23 22:16:16 +0000 | sam113101 | (~sam@modemcable232.166-202-24.mc.videotron.ca) (Ping timeout: 276 seconds) |
| 2025-04-23 22:17:21 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-04-23 22:24:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 22:25:36 +0000 | emm | (~emm@user/edmeme) (Quit: WeeChat 4.6.1) |
| 2025-04-23 22:27:10 +0000 | <EvanR> | dhall configuration language looks pretty cool. I wonder if there is a way to write DOOM with it |
| 2025-04-23 22:28:13 +0000 | <Rembane> | I don't think there is due to no Turing for Dhall. |
| 2025-04-23 22:28:44 +0000 | <EvanR> | on nightmare mode, all play sessions will terminate |
| 2025-04-23 22:29:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-23 22:29:13 +0000 | <haskellbridge> | <Bowuigi> Dhall can't do much wrt IO, but if you generate source for another lang with it you can |
| 2025-04-23 22:30:57 +0000 | <haskellbridge> | <Bowuigi> If you force some conditions into the player you could fit it into totality, like always getting closer to the goal (using a fixed set of markers, distance wouldn't work) or a timer |
| 2025-04-23 22:31:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-23 22:31:59 +0000 | <haskellbridge> | <Bowuigi> Just a very very large timer would suffice, it can be larger than the longest playtime recorded, no problem |
| 2025-04-23 22:33:28 +0000 | <EvanR> | doom non-eternal |
| 2025-04-23 22:39:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 22:41:27 +0000 | comonad | coius |
| 2025-04-23 22:44:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-23 22:48:54 +0000 | Guest60 | (~Guest60@128.149.247.6) (Ping timeout: 240 seconds) |
| 2025-04-23 22:55:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 22:57:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 248 seconds) |
| 2025-04-23 23:00:10 +0000 | <haskellbridge> | <loonycyborg> what's the point of dhall if it doesn't even support optional indentation like Haskell? |
| 2025-04-23 23:02:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 23:06:05 +0000 | sprotte24 | (~sprotte24@p200300d16f32c2005ced4df4a507f443.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-23 23:08:12 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-23 23:08:58 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-04-23 23:09:12 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) |
| 2025-04-23 23:13:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 23:16:14 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-04-23 23:17:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-04-23 23:17:00 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-04-23 23:17:00 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-04-23 23:17:36 +0000 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-04-23 23:17:36 +0000 | califax_ | califax |
| 2025-04-23 23:18:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 23:18:47 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-23 23:18:48 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-23 23:19:57 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 2025-04-23 23:20:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 23:20:16 +0000 | <EvanR> | is optional indentation in haskell really optional really |
| 2025-04-23 23:20:52 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-23 23:21:24 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-23 23:23:25 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-04-23 23:23:31 +0000 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 265 seconds) |
| 2025-04-23 23:23:44 +0000 | <haskellbridge> | <loonycyborg> sure you can write it like C instead with explicit {;} |
| 2025-04-23 23:24:20 +0000 | <haskellbridge> | <loonycyborg> but that really feels like violation of DRY to me |
| 2025-04-23 23:26:02 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-04-23 23:27:25 +0000 | <EvanR> | "you can" but basically, you won't |
| 2025-04-23 23:27:37 +0000 | <EvanR> | I can't even tell people "you can" do that seriously |
| 2025-04-23 23:27:51 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-23 23:30:33 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-04-23 23:32:54 +0000 | <geekosaur> | what's not DRY about explicit braces? I mean, you avoid repeating the indentation! |
| 2025-04-23 23:43:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 23:46:41 +0000 | <monochrom> | Best of both worlds is obviously indentation and {;}. |
| 2025-04-23 23:48:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-23 23:49:16 +0000 | <monochrom> | Would you say that type annotations (except to resolve ambiguous instances) violate DRY because types are inferred so the term already has the same information so don't repeat it in types? |
| 2025-04-23 23:50:41 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-23 23:52:24 +0000 | coius | (~comonad@p200300d02734750008696bda49ccf100.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-23 23:53:31 +0000 | <EvanR> | I pretty much dropped DRY after writing haskell because so much cruft is removed you have the luxury of repeating stuff for emphasis |
| 2025-04-23 23:54:07 +0000 | <EvanR> | it is known that if you reduce a program to minimum size it looks like random noise |
| 2025-04-23 23:54:14 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 23:54:40 +0000 | <monochrom> | I agree. |
| 2025-04-23 23:54:46 +0000 | comonad | (~comonad@p54a035f0.dip0.t-ipconnect.de) |
| 2025-04-23 23:54:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 23:57:00 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-23 23:57:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-23 23:57:41 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-23 23:59:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-23 23:59:51 +0000 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.0) |