| 2026-05-02 00:00:10 +0000 | koraynilay | (~koraynila@user/koraynilay) koraynilay |
| 2026-05-02 00:00:26 +0000 | vetkat | (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2026-05-02 00:00:43 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:d5eb:812b:99c3:2aef) |
| 2026-05-02 00:00:43 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:d5eb:812b:99c3:2aef) (Changing host) |
| 2026-05-02 00:00:43 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-02 00:00:56 +0000 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2026-05-02 00:04:25 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-05-02 00:09:31 +0000 | koraynil1 | (~koraynila@user/koraynilay) koraynilay |
| 2026-05-02 00:10:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 00:14:07 +0000 | koraynilay | (~koraynila@user/koraynilay) (Quit: WeeChat 4.9.0) |
| 2026-05-02 00:14:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-02 00:18:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 00:23:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-02 00:23:48 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-02 00:24:05 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-02 00:28:00 +0000 | straybits | (~straybits@d205-206-131-33.abhsia.telus.net) |
| 2026-05-02 00:28:00 +0000 | straybits | (~straybits@d205-206-131-33.abhsia.telus.net) (Changing host) |
| 2026-05-02 00:28:00 +0000 | straybits | (~straybits@user/straybits) straybits |
| 2026-05-02 00:30:38 +0000 | koraynil1 | koraynilay |
| 2026-05-02 00:33:46 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e502fcdfc9aba4dec970.dip0.t-ipconnect.de) |
| 2026-05-02 00:35:03 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e502fcdfc9aba4dec970.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2026-05-02 00:35:20 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e50266a6dc0fb4f32b33.dip0.t-ipconnect.de) |
| 2026-05-02 00:36:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e502a809cbb305ffb279.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-05-02 00:36:58 +0000 | acidjnk | (~acidjnk@p200300d6e700e502a809cbb305ffb279.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-05-02 00:39:19 +0000 | bkani_ | (~bkani@user/bkani) (Ping timeout: 264 seconds) |
| 2026-05-02 00:46:04 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e50266a6dc0fb4f32b33.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-05-02 00:46:38 +0000 | _\_ | (~o@user/offon) (Quit: ___) |
| 2026-05-02 00:47:05 +0000 | _\_ | (~o@user/offon) offon |
| 2026-05-02 00:53:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 00:54:30 +0000 | LdyIQ | (~SaintGena@user/SaintGenavieve) SaintGenavieve |
| 2026-05-02 01:01:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-02 01:02:50 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-02 01:03:07 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-02 01:04:22 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-05-02 01:12:08 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-02 01:16:52 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-02 01:17:16 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-05-02 01:42:27 +0000 | pyook | (~puke@user/puke) puke |
| 2026-05-02 01:42:27 +0000 | puke | Guest8083 |
| 2026-05-02 01:42:27 +0000 | pyook | puke |
| 2026-05-02 01:43:30 +0000 | Guest8083 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-02 02:00:02 +0000 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.7.2) |
| 2026-05-02 02:01:09 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2026-05-02 02:02:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-02 02:08:22 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-02 02:08:28 +0000 | pipgirl | (~textual@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-05-02 02:08:39 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-02 02:09:38 +0000 | <LdyIQ> | do algebraic data types in haskell fundamentally model combinatorics? |
| 2026-05-02 02:11:01 +0000 | jmcantrell_ | jmcantrell |
| 2026-05-02 02:14:04 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 245 seconds) |
| 2026-05-02 02:17:34 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2026-05-02 02:19:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 02:20:58 +0000 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2026-05-02 02:23:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e502cdc9d306f6c67f69.dip0.t-ipconnect.de) |
| 2026-05-02 02:24:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-02 02:27:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-02 02:33:39 +0000 | pipgirl | (~textual@c-76-152-12-168.hsd1.ma.comcast.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-05-02 02:33:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 02:36:34 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-05-02 02:38:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-02 02:40:23 +0000 | layline_ | layline-away |
| 2026-05-02 02:41:42 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-02 02:45:16 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-02 02:48:29 +0000 | Katarushisu66 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 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:50:46 +0000 | Katarushisu66 | Katarushisu6 |
| 2026-05-02 02:55:35 +0000 | potatoes | (~AdminUser@user/potatoes) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-05-02 03:04:28 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-02 03:08:52 +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:25:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 03:31:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-02 03:34:22 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: Fuck udev, fuck logind, fuck everything!!!) |
| 2026-05-02 03:37:25 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-02 03:39:15 +0000 | Pozyomka | (~pyon@user/pyon) (Client Quit) |
| 2026-05-02 03:39:20 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-02 03:42:45 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-05-02 04:05:45 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-02 04:20:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds) |
| 2026-05-02 04:22:45 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 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:26:44 +0000 | acidjnk | (~acidjnk@p200300d6e700e502cdc9d306f6c67f69.dip0.t-ipconnect.de) acidjnk |
| 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:34:46 +0000 | monochrom | (~trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2026-05-02 04:38:32 +0000 | monochrom | (~trebla@216.138.220.146) monochrom |
| 2026-05-02 04:39:24 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-02 04:48:55 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 264 seconds) |
| 2026-05-02 04:51:36 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-05-02 04:56:23 +0000 | s00pcan | (~s00pcan@24.73.63.94) (Remote host closed the connection) |
| 2026-05-02 04:56:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 04:56:45 +0000 | <LdyIQ> | monochrom, huh? free structures model combinatorics all the time |
| 2026-05-02 04:56:55 +0000 | <LdyIQ> | that's like the basis for a lot of algebraic geometry |
| 2026-05-02 04:58:06 +0000 | <EvanR> | monads for nothing and theorems for free |
| 2026-05-02 05:00:52 +0000 | <LdyIQ> | also permutations are super basic that's just a permutation group |
| 2026-05-02 05:01:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-02 05:10:38 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2026-05-02 05:13:11 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-02 05:19:32 +0000 | alhazrod | (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 2026-05-02 05:21:48 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-05-02 05:23:29 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2026-05-02 05:25:30 +0000 | <gentauro> | % :t mconcat |
| 2026-05-02 05:25:30 +0000 | <yahb2> | Oops, something went wrong |
| 2026-05-02 05:25:39 +0000 | <gentauro> | % :i mconcat |
| 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:54 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 246 seconds) |
| 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:31:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 05:35:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-02 05:37:54 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-02 05:38:35 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-05-02 05:38:55 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Client Quit) |
| 2026-05-02 05:40:00 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-02 05:46:57 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-02 05:47:17 +0000 | <mesaoptimizer> | is scotty the current recommended web server for serving a backend? |
| 2026-05-02 05:47:35 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-05-02 05:47:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 05:52:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-02 05:52:48 +0000 | <mesaoptimizer> | oh, waaaaaaaaaai and servant exist |