Newest at the top
| 2026-02-23 14:05:38 +0100 | <kaol> | I hate it when the text generation box compliments me. "Absolutely brilliant leap to make" yeah right. |
| 2026-02-23 14:05:31 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-02-23 14:04:18 +0100 | <kaol> | I just asked Gemini to explain EBMs and after staring at some code I asked that isn't this a comonad and it spouted an instance for it then. I haven't tried any of it yet. |
| 2026-02-23 14:02:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-23 13:58:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-02-23 13:56:26 +0100 | erty | (~user@user/aeroplane) (Ping timeout: 256 seconds) |
| 2026-02-23 13:50:15 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-02-23 13:49:49 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-02-23 13:46:21 +0100 | <int-e> | or maybe it's just category theorists trying to attach themselves to an ongoing hype |
| 2026-02-23 13:45:20 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-23 13:45:20 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-23 13:45:20 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-23 13:40:39 +0100 | <kaol> | It's funny to see that the next big thing in AI is apparently comonads. |
| 2026-02-23 13:37:35 +0100 | <Milan_Vanca> | One user comments that all packages are in hackage only. But who knows. You probably need to look at sources or intercept requests to see where they go. |
| 2026-02-23 13:36:25 +0100 | <Milan_Vanca> | gentauro: https://www.reddit.com/r/haskell/comments/5d27c2/whats_the_difference_between_stackage_and_hackage/ |
| 2026-02-23 13:32:54 +0100 | myxos | (~myxos@174-18-58-141.tcso.qwest.net) myxokephale |
| 2026-02-23 13:32:30 +0100 | myxos | (~myxos@174-18-58-141.tcso.qwest.net) (Remote host closed the connection) |
| 2026-02-23 13:32:16 +0100 | <gentauro> | or at least, that's what I'm hopping for :) |
| 2026-02-23 13:31:59 +0100 | <gentauro> | Milan_Vanca: could be :) |
| 2026-02-23 13:24:57 +0100 | <Milan_Vanca> | gentauro: Isn't it just metadata? with some proxy to hackage? |
| 2026-02-23 13:20:18 +0100 | <gentauro> | How does `Stackage` get packages? Do they just replicate those from `Hackage`? |
| 2026-02-23 13:20:13 +0100 | oppili | (~oppili@user/nerdypepper) nerdy |
| 2026-02-23 13:20:13 +0100 | oppili | (~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net) (Changing host) |
| 2026-02-23 13:20:13 +0100 | oppili | (~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net) |
| 2026-02-23 13:19:57 +0100 | oppili | (~oppili@user/nerdypepper) (Server closed connection) |
| 2026-02-23 13:12:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2026-02-23 13:12:18 +0100 | shawwwn | (uid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2026-02-23 13:12:06 +0100 | shawwwn | (uid6132@id-6132.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-23 13:11:37 +0100 | mal1 | (~mal@ns2.wyrd.be) lieven |
| 2026-02-23 13:11:17 +0100 | lieven | (~mal@ns2.wyrd.be) (Server closed connection) |
| 2026-02-23 13:08:19 +0100 | <Square2> | missing one 3, but good enough |
| 2026-02-23 13:08:04 +0100 | <Square2> | It can't be coincidence this course got number it got https://web.cs.dal.ca/~nzeh/Teaching/3137/haskell/ |
| 2026-02-23 13:07:50 +0100 | <Milan_Vanca> | Hmmm... looks like newtype is only option. |
| 2026-02-23 13:06:03 +0100 | dyniec | (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2026-02-23 13:03:52 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) fun-safe-math |
| 2026-02-23 13:01:49 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) () |
| 2026-02-23 12:55:32 +0100 | <int-e> | The package does provide the right `fromString` at least. But the IsString instance doesn't use it. That is kind of sad. |
| 2026-02-23 12:54:38 +0100 | <int-e> | Sorry. |
| 2026-02-23 12:54:35 +0100 | <int-e> | Oh I guess not, since it's *not* a newtype wrapper. |
| 2026-02-23 12:53:23 +0100 | <int-e> | Milan_Vanca: maybe you'd be happier with https://hackage.haskell.org/package/utf8-string-1.0.2/docs/Data-ByteString-UTF8.html then |
| 2026-02-23 12:52:54 +0100 | aku | (aku@65.108.245.241) eagleflo |
| 2026-02-23 12:52:46 +0100 | aku | (aku@65.108.245.241) (Server closed connection) |
| 2026-02-23 12:50:56 +0100 | <Milan_Vanca> | Well but I would argue that ByteString has incorrect implementation. |
| 2026-02-23 12:49:55 +0100 | <Milan_Vanca> | Ok make sense.. I am going to check if that instance is an orphan. |
| 2026-02-23 12:49:35 +0100 | <newmind> | which kind of makes sense, the instances should be mostly canonical, with only one real implementation that's part of the type (or class), not something you get to choose |
| 2026-02-23 12:47:54 +0100 | <Leary> | No, instances have this funny property that they're automatically imported and re-exported by every module they touch. If the instance isn't an orphan you're cooked. |
| 2026-02-23 12:47:40 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) |
| 2026-02-23 12:47:26 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) (Server closed connection) |
| 2026-02-23 12:46:17 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2026-02-23 12:46:06 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Server closed connection) |