Newest at the top
| 2025-06-14 19:26:16 +0200 | <segfaultfizzbuzz> | but in the real world practice of programming, often you have higher arity, which feels like it conflicts with these kinds of identities,... |
| 2025-06-14 19:26:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:25:54 +0200 | <humasect> | ? |
| 2025-06-14 19:25:54 +0200 | <humasect> | prolog + DGC |
| 2025-06-14 19:25:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:25:39 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-06-14 19:25:35 +0200 | <segfaultfizzbuzz> | i was thinking about algebraic identities and the possibility that it might be useful to have a programming language which emphasizes declaring these identities (such as associativity, commutativity, etc) |
| 2025-06-14 19:24:54 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-14 19:24:35 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) segfaultfizzbuzz |
| 2025-06-14 19:24:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-06-14 19:23:12 +0200 | <humasect> | hm ghcup just gets stuck |
| 2025-06-14 19:22:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:22:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:17:58 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-14 19:15:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:14:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:13:13 +0200 | acidjnk | (~acidjnk@p200300d6e70b6648710c04c5f76896ce.dip0.t-ipconnect.de) acidjnk |
| 2025-06-14 19:12:17 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-06-14 19:11:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4b8:ab64:447c:a2d0) |
| 2025-06-14 19:08:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:08:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:07:29 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-14 19:06:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4b8:ab64:447c:a2d0) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-14 19:04:51 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-14 19:04:45 +0200 | <haskellbridge> | <sm> you could tell the Haskell Wasm matrix room |
| 2025-06-14 19:01:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:00:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 18:59:03 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-14 18:57:57 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-14 18:53:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 18:53:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 18:49:24 +0200 | <[exa]> | :D |
| 2025-06-14 18:49:22 +0200 | <[exa]> | ah well, okay |
| 2025-06-14 18:49:01 +0200 | acidjnk | (~acidjnk@p200300d6e70b6648710c04c5f76896ce.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-06-14 18:47:31 +0200 | ridcully | (~ridcully@p508accb3.dip0.t-ipconnect.de) ridcully |
| 2025-06-14 18:46:56 +0200 | <haskellbridge> | <maerwald> Ah yeah, Cheng forked llvm |
| 2025-06-14 18:46:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-14 18:45:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 18:45:47 +0200 | <[exa]> | maerwald: I hoped there'd just be a special build of ghc which does it, but apparently even for installing that ghc build from ghcup I need some other bootstrap that does something that's hard to guess from the docs |
| 2025-06-14 18:45:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 18:42:23 +0200 | sprotte24 | (~sprotte24@p200300d16f0f1700508e244503bb36b0.dip0.t-ipconnect.de) |
| 2025-06-14 18:42:21 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-06-14 18:38:42 +0200 | <haskellbridge> | <maerwald> What's complicated? |
| 2025-06-14 18:37:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 18:37:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 18:32:54 +0200 | ridcully | (~ridcully@p57b52372.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.3) |
| 2025-06-14 18:31:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 18:31:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 18:27:10 +0200 | bertrand | (~bertrand@86.120.128.164) (Leaving) |
| 2025-06-14 18:25:37 +0200 | ridcully | (~ridcully@p57b52372.dip0.t-ipconnect.de) ridcully |