Newest at the top
| 2026-05-02 05:31:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 05:26:32 +0000 | <gentauro> | janus: if I already defined a Monoid, I can use this instead of `fold` if I just want to perform the binary op the types placed in a list |
| 2026-05-02 05:25:54 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 246 seconds) |
| 2026-05-02 05:25:39 +0000 | <yahb2> | type Monoid :: * -> Constraint ; class Semigroup a => Monoid a where ; ... ; mconcat :: [a] -> a ; -- Defined in ‘GHC.Internal.Base’ |
| 2026-05-02 05:25:39 +0000 | <gentauro> | % :i mconcat |
| 2026-05-02 05:25:30 +0000 | <yahb2> | Oops, something went wrong |
| 2026-05-02 05:25:30 +0000 | <gentauro> | % :t mconcat |
| 2026-05-02 05:23:29 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2026-05-02 05:21:48 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-05-02 05:19:32 +0000 | alhazrod | (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 2026-05-02 05:13:11 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-02 05:10:38 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2026-05-02 05:01:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-02 05:00:52 +0000 | <LdyIQ> | also permutations are super basic that's just a permutation group |
| 2026-05-02 04:58:06 +0000 | <EvanR> | monads for nothing and theorems for free |
| 2026-05-02 04:56:55 +0000 | <LdyIQ> | that's like the basis for a lot of algebraic geometry |
| 2026-05-02 04:56:45 +0000 | <LdyIQ> | monochrom, huh? free structures model combinatorics all the time |
| 2026-05-02 04:56:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 04:56:23 +0000 | s00pcan | (~s00pcan@24.73.63.94) (Remote host closed the connection) |
| 2026-05-02 04:51:36 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-05-02 04:48:55 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 264 seconds) |
| 2026-05-02 04:39:24 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-02 04:38:32 +0000 | monochrom | (~trebla@216.138.220.146) monochrom |
| 2026-05-02 04:34:46 +0000 | monochrom | (~trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2026-05-02 04:33:21 +0000 | <monochrom> | If you have heard of "free" and know what it means, then algebraic data types model free structures in combinatorics, e.g., sequences and trees. However, "clearly", they don't model non-free, quotiented-out structures such as combinations and permutations. |
| 2026-05-02 04:26:44 +0000 | acidjnk | (~acidjnk@p200300d6e700e502cdc9d306f6c67f69.dip0.t-ipconnect.de) acidjnk |
| 2026-05-02 04:25:07 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-02 04:22:45 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-02 04:20:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds) |
| 2026-05-02 04:05:45 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-02 03:42:45 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-05-02 03:39:20 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-02 03:39:15 +0000 | Pozyomka | (~pyon@user/pyon) (Client Quit) |
| 2026-05-02 03:37:25 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-02 03:34:22 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: Fuck udev, fuck logind, fuck everything!!!) |
| 2026-05-02 03:31:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-02 03:25:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 03:13:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-02 03:08:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 03:04:28 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-02 02:55:35 +0000 | potatoes | (~AdminUser@user/potatoes) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-05-02 02:50:46 +0000 | Katarushisu66 | Katarushisu6 |
| 2026-05-02 02:50:45 +0000 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2026-05-02 02:48:29 +0000 | Katarushisu66 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2026-05-02 02:45:16 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-02 02:41:42 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-02 02:40:23 +0000 | layline_ | layline-away |
| 2026-05-02 02:38:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-02 02:36:34 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-05-02 02:33:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |