Newest at the top
| 2026-02-24 13:02:13 +0100 | gentauro | merijn and tomsmeding perhaps that talk will provide "some" endorsment for Hackage? xD |
| 2026-02-24 12:58:10 +0100 | gentauro | for Spanish speaking peeps -> https://www.youtube.com/watch?v=iU5dfVRREUo&t=7806s (02:10:06 - 03:11:59) |
| 2026-02-24 12:55:50 +0100 | gentauro | I actually live coded an implementation for a Spanish audience (HackMadrid / HaskellMAD). Nobody understood anything xD |
| 2026-02-24 12:54:58 +0100 | <gentauro> | it's a pretty good one !!! |
| 2026-02-24 12:54:53 +0100 | <gentauro> | tomsmeding: have you road the functional pearl from Alejandro Russo on how to use `lattices` to secure apps? |
| 2026-02-24 12:52:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-24 12:47:32 +0100 | xdminsy | (~xdminsy@112.10.231.192) (Quit: Konversation terminated!) |
| 2026-02-24 12:40:22 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-24 12:38:45 +0100 | wickedjargon | (~user@2605:8d80:5430:ec04:8f71:3db2:1c1a:13ef) wickedjargon |
| 2026-02-24 12:36:53 +0100 | wickedjargon | (~user@2605:8d80:5430:ec04:8f71:3db2:1c1a:13ef) (Remote host closed the connection) |
| 2026-02-24 12:34:05 +0100 | fp | (~Thunderbi@130.233.70.214) fp |
| 2026-02-24 12:26:37 +0100 | wickedjargon | (~user@2605:8d80:5430:ec04:8f71:3db2:1c1a:13ef) wickedjargon |
| 2026-02-24 12:19:40 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-24 12:19:33 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-02-24 12:17:52 +0100 | xdminsy | (~xdminsy@112.10.231.192) xdminsy |
| 2026-02-24 12:17:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-24 12:17:21 +0100 | xdminsy | (~xdminsy@112.10.231.192) (Client Quit) |
| 2026-02-24 12:17:08 +0100 | xdminsy | (~xdminsy@112.10.231.192) xdminsy |
| 2026-02-24 12:16:47 +0100 | xdminsy | (~xdminsy@112.10.231.192) (Client Quit) |
| 2026-02-24 12:14:06 +0100 | xdminsy | (~xdminsy@112.10.231.192) xdminsy |
| 2026-02-24 12:14:03 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) (Ping timeout: 268 seconds) |
| 2026-02-24 12:12:42 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-24 12:10:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-24 12:07:22 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.8.1) |
| 2026-02-24 11:59:31 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 276 seconds) |
| 2026-02-24 11:57:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-24 11:53:35 +0100 | Enrico63 | (~Enrico63@host-79-19-156-232.retail.telecomitalia.it) Enrico63 |
| 2026-02-24 11:49:08 +0100 | mange | (~mange@user/mange) mange |
| 2026-02-24 11:32:21 +0100 | hsw | (~hsw@106.104.102.45) hsw |
| 2026-02-24 11:31:37 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-02-24 11:31:16 +0100 | hsw | (~hsw@106.104.102.45) (Remote host closed the connection) |
| 2026-02-24 11:29:22 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2026-02-24 11:27:05 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-24 11:26:50 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-24 11:23:43 +0100 | <Leary> | Re the extended argument, it's really about typeclasses with laws being used to implement operations that /don't require/ those laws and are useful in their absence; the typeclass method merely being a default choice. |
| 2026-02-24 11:21:57 +0100 | <Leary> | Even in such a case, `Arg` should be handrolled in the guts of containers, not exposed from base. |
| 2026-02-24 11:20:56 +0100 | int-e | ponders extending this argument to saying that type classes are useles; people could just pass around the right operations explicitly. :-P |
| 2026-02-24 11:20:38 +0100 | morj_away | (~morj@user/morj) (Client Quit) |
| 2026-02-24 11:18:20 +0100 | <int-e> | (So it's not just programmer laziness.) |
| 2026-02-24 11:17:10 +0100 | <int-e> | `fooBy` is awful when you have data structures with invariants (consider an implementation of containers that implements Data.Map using Data.Set with `Arg k v` elements) |
| 2026-02-24 11:16:37 +0100 | morj | (~morj@user/morj) (Ping timeout: 272 seconds) |
| 2026-02-24 11:16:01 +0100 | morj_away | (~morj@user/morj) morj |
| 2026-02-24 11:13:29 +0100 | xdminsy | (~xdminsy@112.10.231.192) (Quit: Konversation terminated!) |
| 2026-02-24 11:13:02 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-24 11:11:52 +0100 | <Leary> | At least, not useful enough to justify its existence. |
| 2026-02-24 11:11:25 +0100 | <Leary> | It's occasionally pragmatic to break the law, yes. `Arg` actually wouldn't be useful if people always remembered to write `fooBy` instead of just `foo :: Ord a => ...`. |
| 2026-02-24 11:08:35 +0100 | morj | (~morj@user/morj) morj |
| 2026-02-24 11:08:16 +0100 | <__monty__> | Leary: But things like Arg exist and they exist because they are useful, I assume. |
| 2026-02-24 11:08:00 +0100 | xdminsy | (~xdminsy@112.10.231.192) xdminsy |
| 2026-02-24 11:02:35 +0100 | tomsmeding | has a meeting -> afk |