Newest at the top
| 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 |
| 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:27:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-02 02:24:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-02 02:23:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e502cdc9d306f6c67f69.dip0.t-ipconnect.de) |
| 2026-05-02 02:20:58 +0000 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2026-05-02 02:19:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 02:17:34 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2026-05-02 02:14:04 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 245 seconds) |
| 2026-05-02 02:11:01 +0000 | jmcantrell_ | jmcantrell |
| 2026-05-02 02:09:38 +0000 | <LdyIQ> | do algebraic data types in haskell fundamentally model combinatorics? |
| 2026-05-02 02:08:39 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-02 02:08:28 +0000 | pipgirl | (~textual@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-05-02 02:08:22 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-02 02:02:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-02 02:01:09 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2026-05-02 02:00:02 +0000 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.7.2) |
| 2026-05-02 01:43:30 +0000 | Guest8083 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-02 01:42:27 +0000 | pyook | puke |
| 2026-05-02 01:42:27 +0000 | puke | Guest8083 |
| 2026-05-02 01:42:27 +0000 | pyook | (~puke@user/puke) puke |
| 2026-05-02 01:17:16 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-05-02 01:16:52 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-02 01:12:08 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-02 01:04:22 +0000 | ystael | (~ystael@user/ystael) ystael |