Newest at the top
| 2025-05-07 00:47:55 +0200 | <monochrom> | What is crypto bro? |
| 2025-05-07 00:46:45 +0200 | hellwolf | feel self-deprecating about being in the crypto again. |
| 2025-05-07 00:46:24 +0200 | <hellwolf> | there is a crypto bro project called monad. but don't look it up, it might ruin your day. |
| 2025-05-07 00:46:05 +0200 | <hellwolf> | (though monad is supposed to be an ugly fish) |
| 2025-05-07 00:45:43 +0200 | <hellwolf> | does it looks like a monad, and quarks like a monad? |
| 2025-05-07 00:45:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-07 00:43:59 +0200 | <EvanR> | IO as an example monad might not be wise, at some point someone questioned if it was even a monad xD |
| 2025-05-07 00:43:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-07 00:43:22 +0200 | hellwolf | looking at the mirror, but feeling content that it's all {-# LANGUAGE ... #-} to blame. |
| 2025-05-07 00:42:31 +0200 | <hellwolf> | https://x.com/deusaquilus/status/1919866616331800614 shots fired at monad; why do people keep coming up with syntax just to hide things? |
| 2025-05-07 00:42:28 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-07 00:42:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-05-07 00:40:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 00:36:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-07 00:29:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-07 00:25:37 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-07 00:24:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 00:24:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) |
| 2025-05-07 00:22:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-07 00:20:54 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-05-07 00:20:40 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-05-07 00:20:35 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Read error: Connection reset by peer) |
| 2025-05-07 00:16:31 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-05-07 00:13:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-07 00:11:04 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-05-07 00:10:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-07 00:08:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 23:59:10 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-06 23:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-06 23:52:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 23:48:43 +0200 | MariaRira39 | (~MariaRira@host-79-43-27-181.retail.telecomitalia.it) (Client Quit) |
| 2025-05-06 23:46:39 +0200 | MariaRira39 | (~MariaRira@host-79-43-27-181.retail.telecomitalia.it) |
| 2025-05-06 23:42:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-06 23:41:58 +0200 | a_fantom | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-05-06 23:40:40 +0200 | fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-05-06 23:38:30 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-05-06 23:37:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-06 23:37:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 23:28:50 +0200 | <monochrom> | "that escalated quickly" >:) |
| 2025-05-06 23:28:41 +0200 | <hellwolf> | But related to the quest, but not the same problem. I made something type-check, but not sure what I am doing completely. maybe I shoudl to go to bed too |
| 2025-05-06 23:28:24 +0200 | <hellwolf> | fwiw, I used IO just to make it clear it was a monad; but it's actually a State or just a m. |
| 2025-05-06 23:27:53 +0200 | <hellwolf> | wow, you guys are fast. |
| 2025-05-06 23:26:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-06 23:24:34 +0200 | tomsmeding | is off to bed, that's enough |
| 2025-05-06 23:24:24 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) |
| 2025-05-06 23:23:37 +0200 | <monochrom> | Was just talking with a friend who teaches computability and NP-completeness, so let me close with "cannot reduce >>= to <*>" for extra confusion! |
| 2025-05-06 23:23:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-06 23:22:25 +0200 | <tomsmeding> | "cannot implement >>= using <*>" is clearer, IMO |
| 2025-05-06 23:22:06 +0200 | <tomsmeding> | stupid dualities |
| 2025-05-06 23:22:00 +0200 | <tomsmeding> | cannot convert <*> to >>=, and cannot convert users of >>= to users of <*> |