Newest at the top
2025-10-14 23:37:23 +0200 | <yahb2> | <no output> |
2025-10-14 23:37:23 +0200 | <int-e> | % :set -XMonoLocalBinds |
2025-10-14 23:37:13 +0200 | <yahb2> | 42 |
2025-10-14 23:37:13 +0200 | <tomsmeding> | % 42 |
2025-10-14 23:37:09 +0200 | <tomsmeding> | looking at the logs I don't see anythiung particularly odd, but I dunno |
2025-10-14 23:37:04 +0200 | <yahb2> | <no output> |
2025-10-14 23:37:03 +0200 | <int-e> | % :m -Yahb2Defs |
2025-10-14 23:36:42 +0200 | <tomsmeding> | I wouldn't be surprised if you can unload that thing thoroughly enough that printing is just broken |
2025-10-14 23:36:25 +0200 | <tomsmeding> | yahb2 does `:set -interactive-print=Yahb2Defs.limitedPrint` where that thing is from a loaded module |
2025-10-14 23:35:03 +0200 | <int-e> | Oh. Yeah I should've tried that before making wild assumptions about how yahb2 is somehow very different now |
2025-10-14 23:33:20 +0200 | inline | (~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) (Read error: Connection reset by peer) |
2025-10-14 23:32:55 +0200 | <tomsmeding> | ok good |
2025-10-14 23:32:52 +0200 | <yahb2> | <no output> |
2025-10-14 23:32:52 +0200 | <tomsmeding> | % :set -XMonoLocalBinds |
2025-10-14 23:32:48 +0200 | <yahb2> | 1 |
2025-10-14 23:32:48 +0200 | <tomsmeding> | % 1 |
2025-10-14 23:32:45 +0200 | <yahb2> | <bye> |
2025-10-14 23:32:45 +0200 | <tomsmeding> | % :q |
2025-10-14 23:32:42 +0200 | <tomsmeding> | wait what |
2025-10-14 23:23:48 +0200 | <monochrom> | Perhaps :seti works better. |
2025-10-14 23:22:35 +0200 | <monochrom> | I use Integers except for degrees of polynomials. (My polynomials are lists. Then I use length for degree.) |
2025-10-14 23:19:37 +0200 | <lambdabot> | 3 |
2025-10-14 23:19:36 +0200 | <int-e> | > 467443687 * 39463029637 :: Int |
2025-10-14 23:19:27 +0200 | <int-e> | whatever |
2025-10-14 23:19:18 +0200 | <yahb2> | <interactive>:1:1: error: [GHC-76037] ; Not in scope: ‘Yahb2Defs.limitedPrint’ |
2025-10-14 23:19:18 +0200 | <int-e> | % :set -XMonoLocalBinds |
2025-10-14 23:19:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-10-14 23:19:11 +0200 | craunts79533538 | (~craunts@136.158.7.194) |
2025-10-14 23:19:02 +0200 | <int-e> | ...that won't even work, will it |
2025-10-14 23:18:50 +0200 | <lambdabot> | Defined. |
2025-10-14 23:18:49 +0200 | <int-e> | @let {-# LANGUAGE MonoLocalBinds #-} |
2025-10-14 23:18:18 +0200 | <lambdabot> | Int -> [a] -> [a] |
2025-10-14 23:18:17 +0200 | <int-e> | :t take |
2025-10-14 23:18:06 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
2025-10-14 23:17:47 +0200 | <lambdabot> | ([],18446744073709551619) |
2025-10-14 23:17:45 +0200 | <int-e> | > let n = 467443687 * 39463029637 in (take n [], n) |
2025-10-14 23:16:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-14 23:16:25 +0200 | <monochrom> | IKR! What if Int has only one bit! |
2025-10-14 23:16:16 +0200 | <EvanR> | at the worst possible moment |
2025-10-14 23:16:00 +0200 | <EvanR> | this is haskell so it's liable to end up being not prime after all |
2025-10-14 23:15:45 +0200 | <EvanR> | if you don't have the proof that 3 is prime |
2025-10-14 23:14:58 +0200 | <monochrom> | (So in Haskell I am really coding up finite rings, then let recip x be a runtime error if x has no recip.) |
2025-10-14 23:14:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-14 23:13:36 +0200 | <monochrom> | (If not for a few partial functions that I really opinioniate that they should stay partial, I would be using Lean. Reason: I am coding up finite fields with mod prime, I am not going to prove that 3 is a prime! Or that x^2+1 is irreducible!) |
2025-10-14 23:12:43 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) V |
2025-10-14 23:11:53 +0200 | <monochrom> | Whereas now I'm detouring into Haskell singletons and dependent types. I see now that nothing is inferrable. |
2025-10-14 23:10:55 +0200 | <monochrom> | I guess it is not inferrable. Sorry I was studying math for a week, I thought everything were inferrable! |
2025-10-14 23:10:15 +0200 | <monochrom> | As opposed to auto-infer. :) |
2025-10-14 23:09:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 23:09:10 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |