Newest at the top
| 2026-03-07 19:12:58 +0100 | CallipygousPepe | (~reuben@user/CallipygousPepe) (Quit: Konversation terminated!) |
| 2026-03-07 19:12:42 +0100 | <monochrom> | 15k lines of "f 1 2 3 = 4" is likely compiled to exhaustive search over 15k cases. |
| 2026-03-07 19:11:10 +0100 | <haskellbridge> | <zb> (this would be charset conversion tables, which i guess i would want to somehow compile into the module for efficiency. the specific module would define only the one 15k equations function) |
| 2026-03-07 19:10:49 +0100 | <EvanR> | the einstein equation for GR expands to like... a lot of equations |
| 2026-03-07 19:10:32 +0100 | <EvanR> | worked for einstein |
| 2026-03-07 19:06:21 +0100 | <monochrom> | Just for auditability you should find a better way, i.e., a way that leads to code easy to check. |
| 2026-03-07 19:04:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-07 19:03:29 +0100 | <haskellbridge> | <zb> but it would prably be better to take an other approach? |
| 2026-03-07 19:03:27 +0100 | <monochrom> | https://xkcd.com/303/ applies >:) |
| 2026-03-07 19:03:01 +0100 | <monochrom> | (oh and how long you can wait :) ) |
| 2026-03-07 19:02:49 +0100 | <monochrom> | I think there is no preset limit apart from what GHC and your computer can handle. |
| 2026-03-07 19:01:09 +0100 | <haskellbridge> | <zb> how many equations can i use to define a single function in haskell? is 15k too much? :P (they would be something like f :: Word8 -> Word8 -> Word8 -> Char) |
| 2026-03-07 18:59:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 18:56:34 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 18:56:02 +0100 | AlexNoo | (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 18:52:21 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.243) |
| 2026-03-07 18:52:18 +0100 | AlexNoo__ | (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 18:51:57 +0100 | hellwolf | (~user@a38e-19d1-a5f7-21b5-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-03-07 18:51:46 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 18:51:38 +0100 | AlexNoo | (~AlexNoo@178.34.150.243) |
| 2026-03-07 18:50:42 +0100 | AlexNoo | (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 18:49:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 18:48:31 +0100 | Digit | (~user@user/digit) Digit |
| 2026-03-07 18:47:52 +0100 | AlexNoo__ | (~AlexNoo@178.34.150.243) |
| 2026-03-07 18:47:08 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.243) |
| 2026-03-07 18:46:35 +0100 | hellwolf | (~user@4884-83b1-dc5a-ca70-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 2026-03-07 18:46:23 +0100 | AlexNoo | (~AlexNoo@178.34.150.243) |
| 2026-03-07 18:44:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 18:40:44 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-07 18:33:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 18:28:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 18:21:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-07 18:20:39 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-07 18:17:42 +0100 | img | (~img@user/img) img |
| 2026-03-07 18:16:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 18:16:26 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-07 18:07:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-07 18:06:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-07 18:01:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 17:55:23 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-07 17:52:57 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-07 17:51:00 +0100 | atejandev | (~ajdev@user/atejandev) (Quit: Konversation terminated!) |
| 2026-03-07 17:50:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-07 17:50:33 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-07 17:49:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-07 17:49:09 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-07 17:45:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 17:35:36 +0100 | madresch | (~Thunderbi@user/madresch) (Read error: Connection reset by peer) |
| 2026-03-07 17:34:22 +0100 | atejandev | (~ajdev@user/atejandev) atejandev |
| 2026-03-07 17:34:12 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |