2025/10/14

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 +0200inline(~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 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-14 23:19:11 +0200craunts79533538(~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 +0200michalz(~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 +0200merijn(~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 +0200tromp(~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 +0200V(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 23:09:10 +0200V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)