2026/03/04

2026-03-04 00:00:48 +0000 <chromoblob> > generalCategory '☉'
2026-03-04 00:00:49 +0000 <lambdabot> OtherSymbol
2026-03-04 00:00:55 +0000 <EvanR> but then I guess chinese would be stuck without variables
2026-03-04 00:01:13 +0000 <int-e> > generalCategory 'ꙮ'
2026-03-04 00:01:14 +0000 <lambdabot> OtherLetter
2026-03-04 00:01:17 +0000 <geekosaur> it's kinda stuck without constructors
2026-03-04 00:01:23 +0000 <EvanR> it's fine because obviously variables like x y and z
2026-03-04 00:01:27 +0000 <chromoblob> > let x ☉ y = -(x * y) in 2 ☉ 3
2026-03-04 00:01:28 +0000 <lambdabot> -6
2026-03-04 00:01:33 +0000 <EvanR> are supposed to look like xD
2026-03-04 00:01:35 +0000 <chromoblob> cool...
2026-03-04 00:01:57 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2026-03-04 00:02:19 +0000 <EvanR> whoever heard of a variable not latin or greek
2026-03-04 00:02:28 +0000 <EvanR> ok there was the soviet programming language
2026-03-04 00:02:47 +0000 <chromoblob> i'm still waiting for the syntax "a `(b `c` d)` e"...
2026-03-04 00:02:50 +0000 <yin> . o O ( APL )
2026-03-04 00:03:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 00:03:52 +0000 <int-e> > let (ο,o,о) = (1,2,3) in ο + o + о + ο
2026-03-04 00:03:53 +0000 <lambdabot> 7
2026-03-04 00:04:10 +0000 <chromoblob> lol
2026-03-04 00:04:15 +0000 <yin> what
2026-03-04 00:04:22 +0000 <chromoblob> different o's
2026-03-04 00:04:35 +0000 <yin> scared me for a moment
2026-03-04 00:04:45 +0000 <chromoblob> heh
2026-03-04 00:04:52 +0000 <geekosaur> > generalCategory '𝐱'
2026-03-04 00:04:53 +0000 <lambdabot> LowercaseLetter
2026-03-04 00:05:50 +0000 <geekosaur> chromoblob: not gonna happen, nightmare to parse those nested backticks and in general backticked expressions
2026-03-04 00:06:05 +0000 <geekosaur> if they'd chosen a different closing character it would have been easier
2026-03-04 00:06:17 +0000 <geekosaur> consider string parsing
2026-03-04 00:06:26 +0000 <yin> i wish `f` was just 'f or even `f would be fine
2026-03-04 00:06:42 +0000 <geekosaur> plan 9 user? 😛
2026-03-04 00:07:37 +0000 <yin> whitespace as application would be great too
2026-03-04 00:08:05 +0000 <int-e> x ◖infix◗ y
2026-03-04 00:08:05 +0000 <chromoblob> why would it be a nightmare?
2026-03-04 00:08:46 +0000 <EvanR> imagine if strings could be nested without escaping the "
2026-03-04 00:08:54 +0000 <EvanR> lol
2026-03-04 00:08:56 +0000 <geekosaur> go look at why the Bourne shell's backrticks were replaced with `$()`
2026-03-04 00:09:08 +0000 <geekosaur> because those _did_ nest
2026-03-04 00:09:16 +0000 <geekosaur> (well, with escapes)
2026-03-04 00:09:46 +0000 <EvanR> "abc "def" ghi"
2026-03-04 00:09:48 +0000 <yin> x `w `f` z` y
2026-03-04 00:09:55 +0000 <geekosaur> even with escapes it was really hard to deal with; without, well, I'm sure you could get a lexer to handle it but $* help the reader
2026-03-04 00:10:25 +0000 <geekosaur> and do remember that code is written to be readable by humans, not the computer. if we cared about the computer reading it we'd still be keying programs in in hex
2026-03-04 00:11:04 +0000 <chromoblob> that's why i used parentheses
2026-03-04 00:11:21 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla
2026-03-04 00:11:39 +0000 <geekosaur> and in Haskell in particular, with its rather finely diced syntax… put soemthing in the wrong place by accident and the error messages would resemble C++ template errors ☺
2026-03-04 00:13:34 +0000 <yin> no way, you can nest ``?
2026-03-04 00:13:42 +0000 <geekosaur> no, this is if you could
2026-03-04 00:13:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 00:13:51 +0000 <geekosaur> also if it allowed general expressions
2026-03-04 00:14:48 +0000 <chromoblob> every backtick enters a backtick mode, in it either an id or an opening paren, latter enters a level and we're in non-backtick again; closing paren checks the level and exits into non-backtick on previous level
2026-03-04 00:15:02 +0000 <int-e> > let start c = c []; push z x c = c (x:z); add (x:y:z) c = c (x+y:z); end z = z in start push 1 push 2 push 3 add add end -- who needs infix operators anyway
2026-03-04 00:15:04 +0000 <lambdabot> [6]
2026-03-04 00:16:28 +0000 <yin> ah, you can leave whitespace between ``.....
2026-03-04 00:16:42 +0000 <yin> > succ ` fmap ` [0..1]
2026-03-04 00:16:43 +0000 <lambdabot> [1,2]
2026-03-04 00:17:00 +0000 <yin> > succ` fmap `[0..2]
2026-03-04 00:17:01 +0000 <lambdabot> [1,2,3]
2026-03-04 00:17:15 +0000 <yin> this is not good
2026-03-04 00:17:19 +0000 <EvanR> it's like * in C >:D
2026-03-04 00:18:11 +0000 <chromoblob> int-e: wow
2026-03-04 00:18:27 +0000 <int-e> @quote *
2026-03-04 00:18:27 +0000 <lambdabot> * says: | shapr remembers that hours of coding can save minutes of thinking
2026-03-04 00:18:37 +0000 <yin> int-e: yay continuations
2026-03-04 00:18:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 00:19:25 +0000 <int-e> yin: if you want to go mildly insane, work out the type of the `start` in there.
2026-03-04 00:19:37 +0000 <chromoblob> wow
2026-03-04 00:22:08 +0000 <chromoblob> %type ()
2026-03-04 00:22:39 +0000chromoblobtried
2026-03-04 00:23:12 +0000 <int-e> % :type () -- the space is required for yahb2; the : is for ghci
2026-03-04 00:23:12 +0000 <yahb2> () -- the space is required for yahb2; the : is for ghci :: ()
2026-03-04 00:23:46 +0000 <int-e> @type () -- or this for lambdabot
2026-03-04 00:23:47 +0000 <lambdabot> ()
2026-03-04 00:27:34 +0000 <EvanR> cool I got the type of start in the first try... at least the most general type xD
2026-03-04 00:29:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 00:32:00 +0000 <chromoblob> i briefly thought that 'start's type would be modified by sibling definitions
2026-03-04 00:32:06 +0000 <yin> ([a] -> b) -> b ?
2026-03-04 00:32:36 +0000 <chromoblob> > let start c = c []; push z x c = c (x:z); add (x:y:z) c = c (x+y:z); end z = z in (start :: _) push 1 push 2 push 3 add add end
2026-03-04 00:32:37 +0000 <lambdabot> [6]
2026-03-04 00:32:40 +0000 <chromoblob> hmmm
2026-03-04 00:32:44 +0000 <int-e> yin: that's the easy part... but what's the type it's used at in the final expression?
2026-03-04 00:32:45 +0000 <EvanR> it was "modified" (specialized) for its use in start push 1 push 2 push 3 add add end
2026-03-04 00:33:17 +0000 <chromoblob> no it's not modification, it's a changed copy... :)
2026-03-04 00:33:36 +0000 <yin> is this an interesting exercise or will i just explore my patience?
2026-03-04 00:33:40 +0000 <EvanR> depends if you have monomorphism restriction!
2026-03-04 00:33:50 +0000nschoe(~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 252 seconds)
2026-03-04 00:33:52 +0000 <chromoblob> > let start c = c []; push z x c = c (x:z); add (x:y:z) c = c (x+y:z); end z = z in (start :: ()) push 1 push 2 push 3 add add end
2026-03-04 00:33:53 +0000 <lambdabot> Couldn't match expected type ‘()’
2026-03-04 00:33:53 +0000 <lambdabot> with actual type ‘([a0] -> t0) -> t0’
2026-03-04 00:33:53 +0000 <lambdabot> Probable cause: ‘start’ is applied to too few arguments
2026-03-04 00:34:08 +0000 <chromoblob> i'm silly...
2026-03-04 00:34:14 +0000 <EvanR> () is not a specialization of ([a] -> b) -> b
2026-03-04 00:34:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 00:34:39 +0000 <chromoblob> i hoped it would print the actual type in the error message lol
2026-03-04 00:35:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 00:36:40 +0000 <chromoblob> yin: i think a bit of both
2026-03-04 00:37:06 +0000 <chromoblob> i'm too impatient, though :)
2026-03-04 00:37:43 +0000 <int-e> % :t \f -> let start c = c []; push z x c = c (x:z); end z = z in (start `asTypeOf` f) push 1 end
2026-03-04 00:37:43 +0000 <yahb2> \f -> let start c = c []; push z x c = c (x:z); end z = z in (start `asTypeOf` f) push 1 end ; :: Num t => ; (([t] -> t -> ([t] -> [t]) -> [t]) -> t -> ([t] -> [t]) -> [t]) ; -> [t]
2026-03-04 00:38:14 +0000 <int-e> I guess there's that (the type for the full example won't fit inside an IRC message)
2026-03-04 00:38:57 +0000 <chromoblob> geekosaur: if we didn't care about computer reading programs, though, then it couldn't read them :ь
2026-03-04 00:40:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 00:41:38 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-03-04 00:41:49 +0000 <chromoblob> i mean, parse and execute
2026-03-04 00:41:51 +0000jtnuttall(~jeremy@user/jeremyn) (Ping timeout: 255 seconds)
2026-03-04 00:42:00 +0000nschoe(~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe
2026-03-04 00:43:46 +0000 <geekosaur> but of we cared that much, we wouldn't thropw parsing torture tests such as Haskell and Perl at them 😛
2026-03-04 00:44:25 +0000 <chromoblob> who said it's a torture?
2026-03-04 00:44:29 +0000 <chromoblob> it's a pleasure
2026-03-04 00:44:43 +0000 <chromoblob> only torture for parser writers ;)
2026-03-04 00:45:25 +0000 <yin> and parser readers
2026-03-04 00:46:25 +0000 <chromoblob> write once, read never :)
2026-03-04 00:47:09 +0000 <chromoblob> introducing a new memory type: writable and executable but not readable :p
2026-03-04 00:48:13 +0000 <yin> AI intensifies
2026-03-04 00:48:20 +0000 <chromoblob> oh: "once written, never read"
2026-03-04 00:48:55 +0000hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-03-04 00:49:56 +0000xff0x(~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 268 seconds)
2026-03-04 00:50:04 +0000tmu(~tmu@71.227.230.155) (Ping timeout: 265 seconds)
2026-03-04 00:50:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 00:51:27 +0000 <geekosaur> so, a warning message? 😛
2026-03-04 00:51:37 +0000 <geekosaur> (or far too many error messages…)
2026-03-04 00:52:30 +0000nschoe(~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 246 seconds)
2026-03-04 00:57:29 +0000 <Leary> > let start = \k -> k (); push s x = \k -> k (x, s); apply (f, (x, s)) = \k -> k (f x, s); end (x, ()) = x in start push 1 push 2 push (+) apply apply push 3 push (*) apply apply end
2026-03-04 00:57:30 +0000 <lambdabot> 9
2026-03-04 00:57:39 +0000 <Leary> It's much cooler with tuples than lists. :)
2026-03-04 00:57:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 00:59:22 +0000nschoe(~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe
2026-03-04 01:02:47 +0000 <yin> the little haskeller
2026-03-04 01:03:52 +0000 <EvanR> with nested tuples you can stash a variety of types on the "stack" ?
2026-03-04 01:06:01 +0000 <Leary> Yeah.
2026-03-04 01:06:34 +0000 <yin> :t ((), ((), ((), ())))
2026-03-04 01:06:34 +0000 <lambdabot> ((), ((), ((), ())))
2026-03-04 01:07:13 +0000 <yin> let x = (x,x) in x
2026-03-04 01:07:16 +0000 <yin> > let x = (x,x) in x
2026-03-04 01:07:17 +0000 <lambdabot> Couldn't match expected type ‘b1’ with actual type ‘(a1, b1)’
2026-03-04 01:07:18 +0000 <lambdabot> ‘b1’ is a rigid type variable bound by
2026-03-04 01:07:18 +0000 <lambdabot> the inferred type of x :: (a1, b1)
2026-03-04 01:07:36 +0000 <yin> shame
2026-03-04 01:08:17 +0000 <EvanR> did you try to make an infinite tuple with an infinite type
2026-03-04 01:08:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 01:09:08 +0000 <Leary> @let newtype T = MkT (T, T) deriving Show
2026-03-04 01:09:09 +0000 <lambdabot> Defined.
2026-03-04 01:09:17 +0000 <Leary> > let x = MkT (x, x) in x
2026-03-04 01:09:17 +0000 <EvanR> it used to actually report something about infinite types
2026-03-04 01:09:18 +0000 <lambdabot> MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (M...
2026-03-04 01:10:03 +0000 <EvanR> newtype to the rescue
2026-03-04 01:10:24 +0000 <yin> Leary: \o/
2026-03-04 01:13:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 01:15:44 +0000nschoe(~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds)
2026-03-04 01:19:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 01:19:58 +0000jtnuttall(~jeremy@user/jeremyn) jeremyn
2026-03-04 01:24:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 01:26:22 +0000nschoe(~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe
2026-03-04 01:29:24 +0000stackdroid18(~stackdroi@user/stackdroid) stackdroid
2026-03-04 01:32:18 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-03-04 01:33:20 +0000califax(~califax@user/califx) califx
2026-03-04 01:34:01 +0000tremon(~tremon@83.80.159.219) (Remote host closed the connection)
2026-03-04 01:34:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 01:38:39 +0000nschoe(~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds)
2026-03-04 01:38:50 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-03-04 01:39:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 01:40:22 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2026-03-04 01:41:31 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.)
2026-03-04 01:41:59 +0000Guest913(bnc4free@here.and.ready-to.party) (Changing host)
2026-03-04 01:41:59 +0000Guest913(bnc4free@user/jinsun) jinsun
2026-03-04 01:41:59 +0000Guest913jinsun
2026-03-04 01:45:00 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-03-04 01:50:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 01:55:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-04 01:55:43 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2026-03-04 01:58:10 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-03-04 02:01:31 +0000jtnuttall(~jeremy@user/jeremyn) (Ping timeout: 264 seconds)
2026-03-04 02:06:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 02:11:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 02:14:52 +0000aaronv(~aaron@2601:602:8d00:c320:fa05:ec22:dea5:5e61)
2026-03-04 02:20:48 +0000mange(~mange@user/mange) mange
2026-03-04 02:21:03 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-03-04 02:21:05 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 252 seconds)
2026-03-04 02:21:19 +0000califax(~califax@user/califx) califx
2026-03-04 02:22:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 02:27:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 02:30:30 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2026-03-04 02:32:36 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-03-04 02:36:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 02:43:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 02:45:38 +0000u0_a2162(~molidae@223.187.121.211) (Ping timeout: 248 seconds)
2026-03-04 02:46:59 +0000aaronv(~aaron@2601:602:8d00:c320:fa05:ec22:dea5:5e61) (Ping timeout: 245 seconds)
2026-03-04 02:47:47 +0000j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2026-03-04 02:50:56 +0000j1n37(~j1n37@user/j1n37) j1n37
2026-03-04 02:50:59 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se)
2026-03-04 02:51:54 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2026-03-04 02:53:35 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-03-04 02:54:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 02:56:23 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-03-04 02:56:43 +0000califax(~califax@user/califx) califx
2026-03-04 02:59:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-04 03:01:03 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 265 seconds)
2026-03-04 03:10:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 03:15:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 03:26:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 03:31:07 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se)
2026-03-04 03:31:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 03:34:35 +0000stackdroid18(~stackdroi@user/stackdroid) ()
2026-03-04 03:42:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 03:47:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-04 03:57:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 04:02:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 04:13:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 04:14:29 +0000jtnuttall(~jeremy@user/jeremyn) jeremyn
2026-03-04 04:19:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-03-04 04:29:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 04:34:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 04:34:58 +0000nschoe(~nschoe@82-65-202-30.subs.proxad.net) nschoe
2026-03-04 04:45:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 04:47:03 +0000u0_a216(~molidae@2401:4900:628a:eda6:f04f:39fd:d52a:6874)
2026-03-04 04:50:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 04:53:07 +0000nschoe-(~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8)
2026-03-04 04:53:07 +0000nschoe(~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 264 seconds)
2026-03-04 04:56:27 +0000jmcantrell_jmcantrell
2026-03-04 05:01:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 05:06:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 05:09:07 +0000RMSBach(~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Ping timeout: 276 seconds)
2026-03-04 05:14:56 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 265 seconds)
2026-03-04 05:16:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 05:22:16 +0000mange(~mange@user/mange) (Ping timeout: 268 seconds)
2026-03-04 05:23:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 05:26:12 +0000rekahsoft(~rekahsoft@76.67.111.168) (Remote host closed the connection)
2026-03-04 05:29:23 +0000michalz(~michalz@185.246.207.217)
2026-03-04 05:34:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 05:39:29 +0000CallipygousPepe(~reuben@user/CallipygousPepe) CallipygousPepe
2026-03-04 05:39:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-04 05:40:35 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-03-04 05:42:42 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-03-04 05:45:10 +0000jtnuttall(~jeremy@user/jeremyn) (Remote host closed the connection)
2026-03-04 05:50:38 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-03-04 05:52:39 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-04 06:01:46 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-03-04 06:02:20 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 258 seconds)
2026-03-04 06:02:35 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-03-04 06:06:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 06:06:47 +0000 <ski> > run (push 1 . push 2 . push (+) . apply . apply . push 3 . push (*) . apply . apply)
2026-03-04 06:06:48 +0000 <lambdabot> 9
2026-03-04 06:06:54 +0000 <ski> > run (push 1 . push 2 . dup . rot . plus . times)
2026-03-04 06:06:55 +0000 <lambdabot> 5
2026-03-04 06:11:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-04 06:11:50 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds)
2026-03-04 06:15:18 +0000cawfee(root@2401:c080:3800:3460::babe) (Ping timeout: 268 seconds)
2026-03-04 06:19:58 +0000cawfee(root@2401:c080:3800:3460::babe) qjqqyy
2026-03-04 06:21:36 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-03-04 06:22:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 06:22:19 +0000Pozyomka(~pyon@user/pyon) (Ping timeout: 268 seconds)
2026-03-04 06:22:21 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-03-04 06:24:19 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-03-04 06:24:22 +0000tusko(~uwu@user/tusko) tusko
2026-03-04 06:24:44 +0000tusko(~uwu@user/tusko) (Client Quit)
2026-03-04 06:25:39 +0000rainbyte(~rainbyte@186.22.19.220) (Remote host closed the connection)
2026-03-04 06:26:04 +0000rainbyte(~rainbyte@186.22.19.220) rainbyte
2026-03-04 06:26:32 +0000RMSBach(~RMSBach@24.210.9.182) RMSBach
2026-03-04 06:26:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-04 06:27:15 +0000tusko(~uwu@user/tusko) tusko
2026-03-04 06:28:38 +0000tusko(~uwu@user/tusko) (Client Quit)
2026-03-04 06:32:35 +0000tusko(~uwu@user/tusko) tusko
2026-03-04 06:45:12 +0000 <jackdk> > :t run
2026-03-04 06:45:13 +0000 <lambdabot> <hint>:1:1: error: parse error on input `:'
2026-03-04 06:45:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 06:46:04 +0000 <mauke> :t run
2026-03-04 06:46:05 +0000 <lambdabot> ((a -> a) -> t) -> t
2026-03-04 06:47:03 +0000 <mauke> :t run (\f -> length (f "hi"))
2026-03-04 06:47:04 +0000 <lambdabot> Int
2026-03-04 06:50:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 06:54:15 +0000aaronv(~aaron@2601:602:8d00:c320:b014:9655:9aad:3580)
2026-03-04 06:54:19 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-04 06:55:06 +0000YuutaW(~YuutaW@infornography.yta.moe) (Ping timeout: 246 seconds)
2026-03-04 07:01:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 07:03:59 +0000hakutaku(~textual@user/hakutaku) hakutaku
2026-03-04 07:05:22 +0000housemate(~housemate@202.7.248.67) housemate
2026-03-04 07:05:35 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-03-04 07:06:15 +0000aaron_(~aaron@2601:602:8d00:c320:7c06:d2ed:3ab8:dc4f)
2026-03-04 07:06:16 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-03-04 07:08:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 07:09:45 +0000aaronv(~aaron@2601:602:8d00:c320:b014:9655:9aad:3580) (Ping timeout: 245 seconds)
2026-03-04 07:13:05 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-03-04 07:19:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 07:22:03 +0000aaron_(~aaron@2601:602:8d00:c320:7c06:d2ed:3ab8:dc4f) (Ping timeout: 246 seconds)
2026-03-04 07:23:04 +0000CallipygousPepe(~reuben@user/CallipygousPepe) (Quit: Konversation terminated!)
2026-03-04 07:24:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-04 07:28:28 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-03-04 07:35:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 07:39:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 07:45:20 +0000u0_a216(~molidae@2401:4900:628a:eda6:f04f:39fd:d52a:6874) (Ping timeout: 268 seconds)
2026-03-04 07:47:34 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-03-04 07:50:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 07:52:13 +0000chele(~chele@user/chele) chele
2026-03-04 07:52:26 +0000tromp(~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28)
2026-03-04 07:53:34 +0000housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-03-04 07:55:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 08:00:14 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-03-04 08:03:13 +0000DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-04 08:03:27 +0000YuutaW(~YuutaW@infornography.yta.moe) YuutaW
2026-03-04 08:03:50 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-04 08:05:28 +0000DetourNe-DetourNetworkUK
2026-03-04 08:06:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 08:09:01 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-03-04 08:11:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 08:13:09 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
2026-03-04 08:20:11 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-03-04 08:22:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 08:23:20 +0000housemate(~housemate@202.7.248.67) housemate
2026-03-04 08:23:58 +0000housemate(~housemate@202.7.248.67) (Remote host closed the connection)
2026-03-04 08:27:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-04 08:28:40 +0000hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-03-04 08:29:45 +0000housemate(~housemate@202.7.248.67) housemate
2026-03-04 08:30:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 08:32:20 +0000califax(~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-04 08:32:22 +0000califax_(~califax@user/califx) califx
2026-03-04 08:33:38 +0000califax_califax
2026-03-04 08:36:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-03-04 08:43:18 +0000mange(~mange@user/mange) mange
2026-03-04 08:43:20 +0000emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-03-04 08:44:39 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2026-03-04 08:48:10 +0000housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-03-04 08:48:11 +0000oskarw(~user@user/oskarw) oskarw
2026-03-04 08:48:13 +0000poscat(~poscat@user/poscat) poscat
2026-03-04 08:50:10 +0000msa(msa@msa.planetofnix.com) (Ping timeout: 256 seconds)
2026-03-04 08:56:07 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2026-03-04 08:59:38 +0000Square2(~Square4@user/square) Square
2026-03-04 09:15:19 +0000merijn(~merijn@77.242.116.146) merijn
2026-03-04 09:15:38 +0000fp(~Thunderbi@130.233.70.80) fp
2026-03-04 09:17:24 +0000Enrico63(~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63
2026-03-04 09:27:14 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 248 seconds)
2026-03-04 09:28:30 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-03-04 09:40:38 +0000hakutaku(~textual@user/hakutaku) hakutaku
2026-03-04 09:44:04 +0000tromp(~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) (Ping timeout: 276 seconds)
2026-03-04 09:57:10 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-03-04 10:00:42 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-03-04 10:01:01 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-04 10:03:49 +0000__monty__(~toonn@user/toonn) toonn
2026-03-04 10:08:18 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-03-04 10:11:43 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2026-03-04 10:12:30 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
2026-03-04 10:25:16 +0000acidjnk(~acidjnk@p200300d6e700e5235d8093dfb8de160d.dip0.t-ipconnect.de) acidjnk
2026-03-04 10:26:47 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-03-04 10:27:10 +0000divlamir(~divlamir@user/divlamir) divlamir
2026-03-04 10:34:34 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-03-04 10:37:07 +0000madresch(~Thunderbi@user/madresch) madresch
2026-03-04 10:37:30 +0000housemate_(~housemate@202.7.248.67) housemate
2026-03-04 10:45:26 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2026-03-04 10:46:45 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-03-04 10:47:03 +0000simpleshun(~simpleshu@user/SimpleShun) SimpleShun
2026-03-04 10:47:20 +0000u0_a216(~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874)
2026-03-04 10:50:24 +0000misterfish(~misterfis@84.53.85.146) (Quit: Lost terminal)
2026-03-04 11:01:27 +0000acidjnk_new(~acidjnk@p200300d6e700e5173857d47938b5e6dc.dip0.t-ipconnect.de) acidjnk
2026-03-04 11:02:09 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-03-04 11:02:53 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-03-04 11:05:05 +0000acidjnk(~acidjnk@p200300d6e700e5235d8093dfb8de160d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2026-03-04 11:06:40 +0000housemate_(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-03-04 11:07:34 +0000xff0x(~xff0x@ai084147.d.east.v6connect.net)
2026-03-04 11:09:35 +0000housemate(~housemate@202.7.248.67) housemate
2026-03-04 11:10:46 +0000jreicher(~joelr@user/jreicher) (Quit: brb)
2026-03-04 11:12:16 +0000jreicher(~joelr@user/jreicher) jreicher
2026-03-04 11:15:26 +0000jreicher(~joelr@user/jreicher) (Remote host closed the connection)
2026-03-04 11:16:17 +0000jreicher(~joelr@user/jreicher) jreicher
2026-03-04 11:17:15 +0000ZLima12(~zlima12@user/meow/ZLima12) (Ping timeout: 246 seconds)
2026-03-04 11:17:51 +0000ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2026-03-04 11:20:44 +0000danza(~danza@user/danza) danza
2026-03-04 11:21:18 +0000Pozyomka(~pyon@user/pyon) pyon
2026-03-04 11:23:29 +0000simpleshun(~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1)
2026-03-04 11:32:14 +0000u0_a216(~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) (Ping timeout: 256 seconds)
2026-03-04 11:35:56 +0000Enrico63(~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed)
2026-03-04 11:36:18 +0000housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-03-04 11:39:22 +0000krei-se(~krei-se@p200300f1cfff3e88000000000000c8c6.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2026-03-04 11:43:16 +0000krei-se(~krei-se@p5dea1d59.dip0.t-ipconnect.de) krei-se
2026-03-04 11:47:47 +0000danza(~danza@user/danza) (Remote host closed the connection)
2026-03-04 11:56:33 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 12:00:16 +0000simpleshun(~simpleshu@user/SimpleShun) SimpleShun
2026-03-04 12:00:19 +0000madresch(~Thunderbi@user/madresch) (Ping timeout: 264 seconds)
2026-03-04 12:02:26 +0000madresch(~Thunderbi@user/madresch) madresch
2026-03-04 12:10:15 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 12:10:22 +0000philopso11(~caecilius@91.210.109.173)
2026-03-04 12:10:37 +0000philopso11(~caecilius@91.210.109.173) (Remote host closed the connection)
2026-03-04 12:13:47 +0000tusko(~uwu@user/tusko) (Remote host closed the connection)
2026-03-04 12:14:45 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2026-03-04 12:15:00 +0000madresch(~Thunderbi@user/madresch) (Ping timeout: 246 seconds)
2026-03-04 12:15:20 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 12:19:00 +0000tusko(~uwu@user/tusko) tusko
2026-03-04 12:20:57 +0000simpleshun(~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1)
2026-03-04 12:21:24 +0000simpleshun(~simpleshu@user/SimpleShun) SimpleShun
2026-03-04 12:22:02 +0000hakutaku(~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com)
2026-03-04 12:28:31 +0000u0_a216(~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874)
2026-03-04 12:30:51 +0000simpleshun(~simpleshu@user/SimpleShun) (Ping timeout: 268 seconds)
2026-03-04 12:32:35 +0000mange(~mange@user/mange) (Quit: Zzz...)
2026-03-04 12:34:05 +0000simpleshun(~simpleshu@user/SimpleShun) SimpleShun
2026-03-04 12:34:24 +0000simpleshun(~simpleshu@user/SimpleShun) (Client Quit)
2026-03-04 12:34:36 +0000u0_a216(~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) (Ping timeout: 246 seconds)
2026-03-04 12:34:42 +0000simpleshun(~simpleshu@user/SimpleShun) SimpleShun
2026-03-04 12:37:12 +0000simpleshun(~simpleshu@user/SimpleShun) (Client Quit)
2026-03-04 12:37:48 +0000hakutaku(~textual@user/hakutaku) hakutaku
2026-03-04 12:39:06 +0000madresch(~Thunderbi@user/madresch) madresch
2026-03-04 12:44:46 +0000madresch(~Thunderbi@user/madresch) (Read error: Connection reset by peer)
2026-03-04 12:44:48 +0000madresch1(~Thunderbi@user/madresch) madresch
2026-03-04 12:47:05 +0000madresch1madresch
2026-03-04 12:47:15 +0000simpleshun(~simpleshu@user/SimpleShun) SimpleShun
2026-03-04 12:47:48 +0000flu(~user@2001:67c:2564:a309:a50e:1293:f51d:4938)
2026-03-04 12:47:55 +0000 <flu> hello
2026-03-04 12:49:57 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-03-04 12:54:44 +0000flu(~user@2001:67c:2564:a309:a50e:1293:f51d:4938) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2026-03-04 13:05:27 +0000Enrico63(~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63
2026-03-04 13:10:32 +0000philopsos1(~caecilius@user/philopsos) (Ping timeout: 265 seconds)
2026-03-04 13:11:15 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 13:15:58 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2026-03-04 13:19:55 +0000simpleshun(~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1)
2026-03-04 13:22:32 +0000u0_a216(~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874)
2026-03-04 13:27:17 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
2026-03-04 13:32:56 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-03-04 13:39:34 +0000img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-04 13:40:49 +0000img(~img@user/img) img
2026-03-04 13:49:44 +0000img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-04 13:50:57 +0000img(~img@user/img) img
2026-03-04 13:57:24 +0000rekahsoft(~rekahsoft@76.67.111.168) rekahsoft
2026-03-04 14:11:47 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 14:11:54 +0000philopso11(~caecilius@107.175.39.130)
2026-03-04 14:16:19 +0000hakutaku(~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com)
2026-03-04 14:18:33 +0000fp(~Thunderbi@130.233.70.80) (Ping timeout: 246 seconds)
2026-03-04 14:24:30 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2026-03-04 14:25:30 +0000fp(~Thunderbi@wireless-86-50-141-207.open.aalto.fi) fp
2026-03-04 14:37:08 +0000Fischmie-Fischmiep
2026-03-04 14:39:52 +0000weary-traveler(~user@user/user363627) user363627
2026-03-04 14:41:41 +0000u0_a216(~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) (Ping timeout: 272 seconds)
2026-03-04 14:45:40 +0000 <yin> hi
2026-03-04 14:48:11 +0000 <Athas> Hi.
2026-03-04 14:54:19 +0000philopso11(~caecilius@107.175.39.130) (Remote host closed the connection)
2026-03-04 14:54:27 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 14:55:31 +0000Digit(~user@user/digit) (Ping timeout: 264 seconds)
2026-03-04 14:55:40 +0000Digitteknohippie(~user@user/digit) Digit
2026-03-04 15:07:36 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 15:07:44 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 15:10:52 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 15:12:44 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 15:19:34 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 15:19:40 +0000philopso11(~caecilius@107.175.39.130)
2026-03-04 15:20:28 +0000philopso11(~caecilius@107.175.39.130) (Remote host closed the connection)
2026-03-04 15:24:39 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 15:25:27 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 15:26:47 +0000tremon(~tremon@83.80.159.219) tremon
2026-03-04 15:29:45 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 15:32:59 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 15:34:38 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 15:42:59 +0000fp(~Thunderbi@wireless-86-50-141-207.open.aalto.fi) (Ping timeout: 252 seconds)
2026-03-04 15:43:20 +0000v0id_7(~v0id_7@user/v0id-7:62772) v0id_7
2026-03-04 15:49:49 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-03-04 15:51:31 +0000Enrico63(~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed)
2026-03-04 15:54:54 +0000u0_a216(~molidae@2401:4900:627e:8cc0:f04f:39fd:d52a:6874)
2026-03-04 15:55:37 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-03-04 16:00:33 +0000paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection)
2026-03-04 16:03:05 +0000madresch(~Thunderbi@user/madresch) (Ping timeout: 245 seconds)
2026-03-04 16:08:57 +0000pounce(8a023a9e4a@user/cute/pounce) (Remote host closed the connection)
2026-03-04 16:09:05 +0000pounce(8a023a9e4a@user/cute/pounce) pounce
2026-03-04 16:11:49 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-03-04 16:12:05 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-03-04 16:26:24 +0000prdak(~Thunderbi@user/prdak) prdak
2026-03-04 16:31:04 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-03-04 16:34:11 +0000kilolympus3(~kilolympu@vmi1102682.contaboserver.net) kilolympus
2026-03-04 16:35:28 +0000kilolympus(~kilolympu@vmi1102682.contaboserver.net) (Ping timeout: 265 seconds)
2026-03-04 16:35:28 +0000kilolympus3kilolympus
2026-03-04 16:41:15 +0000rainbyte_(~rainbyte@186.22.19.220) rainbyte
2026-03-04 16:42:19 +0000rainbyte(~rainbyte@186.22.19.220) (Ping timeout: 264 seconds)
2026-03-04 16:44:34 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 16:44:42 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 16:55:07 +0000pr1sm(~pr1sm@24.91.163.31)
2026-03-04 16:55:42 +0000tccq(~tccq@2604:a00:50:1b7:ef89:6719:b6af:6c9e) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in)
2026-03-04 16:57:16 +0000troydm(~troydm@user/troydm) troydm
2026-03-04 16:59:12 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 246 seconds)
2026-03-04 17:06:37 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-03-04 17:07:13 +0000DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-04 17:07:25 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-04 17:08:25 +0000rainbyte_(~rainbyte@186.22.19.220) (Quit: rainbyte_)
2026-03-04 17:09:29 +0000DetourNe-DetourNetworkUK
2026-03-04 17:11:38 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-04 17:13:29 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 17:13:32 +0000philopso11(~caecilius@107.175.39.130)
2026-03-04 17:19:43 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-03-04 17:19:54 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-03-04 17:20:13 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-04 17:21:14 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 17:21:14 +0000philopso11(~caecilius@107.175.39.130) (Remote host closed the connection)
2026-03-04 17:22:30 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla
2026-03-04 17:22:42 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 17:24:19 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2026-03-04 17:26:14 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 17:31:12 +0000root(~root@user/tccq) tccq
2026-03-04 17:31:36 +0000rootGuest3502
2026-03-04 17:35:03 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 17:35:07 +0000Guest3502(~root@user/tccq) (Client Quit)
2026-03-04 17:35:11 +0000philopso11(~caecilius@107.175.39.130)
2026-03-04 17:35:44 +0000oskarw(~user@user/oskarw) (Ping timeout: 252 seconds)
2026-03-04 17:37:42 +0000oskarw(~user@user/oskarw) oskarw
2026-03-04 17:37:57 +0000root(~root@user/tccq) tccq
2026-03-04 17:38:21 +0000rootGuest923
2026-03-04 17:39:23 +0000Guest923(~root@user/tccq) (Client Quit)
2026-03-04 17:40:00 +0000philopso11(~caecilius@107.175.39.130) (Remote host closed the connection)
2026-03-04 17:40:16 +0000philopsos1(~caecilius@user/philopsos) philopsos
2026-03-04 17:41:04 +0000kuribas(~user@2a02:1808:e9:a3ac:2ee:39a6:c306:2099) kuribas
2026-03-04 17:41:58 +0000philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-04 17:42:09 +0000root(~root@user/tccq) tccq
2026-03-04 17:42:23 +0000root(~root@user/tccq) (Client Quit)
2026-03-04 17:45:00 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-04 17:48:05 +0000mud(~mud@user/kadoban) (Ping timeout: 245 seconds)
2026-03-04 17:50:56 +0000mud(~mud@user/kadoban) kadoban
2026-03-04 17:53:27 +0000euphores(~SASL_euph@user/euphores) euphores
2026-03-04 17:55:48 +0000root(~tmu@user/tccq) tccq
2026-03-04 17:55:55 +0000root(~tmu@user/tccq) (Client Quit)
2026-03-04 17:57:03 +0000tmu(~tmu@user/tccq) tccq
2026-03-04 17:57:30 +0000tmu(~tmu@user/tccq) (Client Quit)
2026-03-04 17:57:41 +0000mud(~mud@user/kadoban) (Ping timeout: 268 seconds)
2026-03-04 17:59:26 +0000tccq(~tccq@user/tccq) tccq
2026-03-04 18:01:30 +0000mud(~mud@user/kadoban) kadoban
2026-03-04 18:01:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 18:04:29 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2026-03-04 18:05:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer)
2026-03-04 18:06:19 +0000kuribas(~user@2a02:1808:e9:a3ac:2ee:39a6:c306:2099) (Ping timeout: 268 seconds)
2026-03-04 18:06:55 +0000merijn(~merijn@77.242.116.146) merijn
2026-03-04 18:09:38 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-03-04 18:09:39 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-03-04 18:09:51 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-03-04 18:10:43 +0000pr1sm(~pr1sm@24.91.163.31) (Remote host closed the connection)
2026-03-04 18:12:56 +0000 <yin> i got lists and list functions \o/ https://gitlab.com/jrvieira1/fun/-/blob/main/eval.hs
2026-03-04 18:13:25 +0000 <haskellbridge> <shapr> Hi
2026-03-04 18:13:43 +0000 <haskellbridge> <shapr> What's the appeal of just saying hi?
2026-03-04 18:13:45 +0000tccq(~tccq@user/tccq) (Quit: connection reset by purr)
2026-03-04 18:14:09 +0000 <EvanR> so nohello people can harass you
2026-03-04 18:14:11 +0000 <int-e> ups and downs, his and 'los
2026-03-04 18:14:38 +0000 <geekosaur> "is anyone around?"
2026-03-04 18:14:47 +0000 <geekosaur> granting that that's a variant of "ask to ask"
2026-03-04 18:15:03 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2026-03-04 18:15:07 +0000 <EvanR> can anyone answer a question
2026-03-04 18:15:12 +0000 <geekosaur> (and, notably, many of us check scrollback or etc. and can answer later)
2026-03-04 18:15:25 +0000 <int-e> EvanR: yes! that'll be $0.42
2026-03-04 18:15:47 +0000 <yin> shapr: it's a human thing. comparable to pinging servers just to know they're there
2026-03-04 18:15:48 +0000 <EvanR> you get three questions and that was one of them
2026-03-04 18:16:05 +0000 <int-e> EvanR: don't change the deal, you only asked for one
2026-03-04 18:17:18 +0000tccq(~tccq@user/tccq) tccq
2026-03-04 18:19:44 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2026-03-04 18:21:55 +0000 <haskellbridge> <shapr> ok, fair enough
2026-03-04 18:24:51 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-03-04 18:29:06 +0000target_i(~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds)
2026-03-04 18:29:41 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp)
2026-03-04 18:29:57 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2026-03-04 18:30:11 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-03-04 18:30:44 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-03-04 18:31:04 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit)
2026-03-04 18:31:27 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-03-04 18:32:34 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit)
2026-03-04 18:32:52 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-03-04 18:33:29 +0000u0_a216(~molidae@2401:4900:627e:8cc0:f04f:39fd:d52a:6874) (Ping timeout: 252 seconds)
2026-03-04 18:35:29 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit)
2026-03-04 18:36:11 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2026-03-04 18:36:40 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit)
2026-03-04 18:37:23 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-03-04 18:41:25 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds)
2026-03-04 18:45:43 +0000 <[exa]> evening o/
2026-03-04 18:46:06 +0000msa(msa@msa.planetofnix.com)
2026-03-04 18:51:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 18:57:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-04 19:02:16 +0000stackdroid18(~stackdroi@user/stackdroid) stackdroid
2026-03-04 19:03:37 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2026-03-04 19:07:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 19:12:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-04 19:14:20 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2026-03-04 19:21:22 +0000prdak(~Thunderbi@user/prdak) prdak
2026-03-04 19:23:20 +0000dolio(~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-04 19:23:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 19:25:35 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2026-03-04 19:28:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-04 19:28:34 +0000 <chromoblob> shapr: it's particularly useful for people who are shy and not used to IRC, who haven't yet developed comfortable habits of ways of interaction on IRC
2026-03-04 19:29:15 +0000dolio(~dolio@130.44.140.168) dolio
2026-03-04 19:38:47 +0000prdak(~Thunderbi@user/prdak) prdak
2026-03-04 19:39:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 19:43:29 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
2026-03-04 19:43:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 19:48:31 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-03-04 19:48:50 +0000 <Rembane> Good morning folks!
2026-03-04 19:48:55 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2026-03-04 19:50:41 +0000 <int-e> chromoblob: except that replying to those messages gets tiring after the first few dozen times so often there won't be a reply
2026-03-04 19:51:27 +0000Lord_of_Life_Lord_of_Life
2026-03-04 19:54:37 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-03-04 19:54:47 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Remote host closed the connection)
2026-03-04 19:54:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 19:55:05 +0000DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-04 19:55:12 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-04 19:55:35 +0000 <aka_dude> > let binOp f = push f . apply . apply
2026-03-04 19:55:36 +0000 <lambdabot> not an expression: ‘let binOp f = push f . apply . apply’
2026-03-04 19:55:46 +0000 <aka_dude> > :let binOp f = push f . apply . apply
2026-03-04 19:55:47 +0000 <lambdabot> <hint>:1:1: error: parse error on input `:'
2026-03-04 19:56:08 +0000DigitteknohippieDigit
2026-03-04 19:56:08 +0000 <aka_dude> :let binOp f = push f . apply . apply
2026-03-04 19:56:17 +0000 <aka_dude> uh huh
2026-03-04 19:56:43 +0000 <aka_dude> run (push 1 . push 2 . binOp (+) . push 3 . binOp (*))
2026-03-04 19:56:56 +0000 <Clint> what are you trying to do?
2026-03-04 19:56:58 +0000 <aka_dude> 🙄
2026-03-04 19:57:01 +0000 <aka_dude> > run (push 1 . push 2 . binOp (+) . push 3 . binOp (*))
2026-03-04 19:57:02 +0000 <lambdabot> Variable not in scope: run :: (a2 -> c0) -> tVariable not in scope: push :: ...
2026-03-04 19:57:24 +0000DetourNe-DetourNetworkUK
2026-03-04 19:57:24 +0000 <aka_dude> Trying to play with the bot... Is the GHCi session not shared?
2026-03-04 19:57:50 +0000 <geekosaur> it's shared. but it's not ghci
2026-03-04 19:58:06 +0000 <geekosaur> if you want an actual ghci, see yahb2 (% prefix)
2026-03-04 19:58:31 +0000 <geekosaur> and the way you'd define run in lambdabot is with @let
2026-03-04 19:58:54 +0000 <monochrom> Also, push apply etc are not built-in. Someone has to define them first.
2026-03-04 19:59:03 +0000 <c_wraith> But do note that anyone can clear things defined with @let at any time.
2026-03-04 19:59:14 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-03-04 19:59:27 +0000 <aka_dude> Of course, it's shared after all
2026-03-04 19:59:33 +0000 <geekosaur> someone defined them yesterday
2026-03-04 19:59:41 +0000 <mauke> % :edit
2026-03-04 19:59:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 19:59:44 +0000 <geekosaur> which probably means they got @undefine-d overnight
2026-03-04 19:59:54 +0000 <aka_dude> Ah
2026-03-04 19:59:54 +0000 <chromoblob> they were "defined" inside a let ... in
2026-03-04 20:00:12 +0000 <geekosaur> oh, whoops
2026-03-04 20:00:20 +0000 <geekosaur> % 1
2026-03-04 20:00:20 +0000 <yahb2> 1
2026-03-04 20:00:31 +0000 <geekosaur> apparently :edit got spiked ☺
2026-03-04 20:00:50 +0000 <monochrom> Eventually you will realize that running your own ghci on your own computer is the most robust. Every convenient lightweight tool becomes a fragile toy.
2026-03-04 20:00:53 +0000 <geekosaur> (probably EDITOR=/bin/true or something)
2026-03-04 20:01:16 +0000 <aka_dude> % :show bindings
2026-03-04 20:01:16 +0000 <yahb2> type Nat :: * ; data Nat = ... ; type Xワ :: * ; data Xワ = ... ; it :: Num a => a = _ ; instance [safe] Ord Nat ; instance [safe] Eq Nat ; instance [safe] Show Nat ; instance [safe] Num Nat
2026-03-04 20:01:35 +0000 <aka_dude> Ahaha wow
2026-03-04 20:01:57 +0000 <aka_dude> :info Xワ
2026-03-04 20:02:05 +0000 <aka_dude> % :info Xワ
2026-03-04 20:02:05 +0000 <yahb2> type Xワ :: * ; data Xワ = Xワ ; -- Defined at <interactive>:21:1
2026-03-04 20:02:16 +0000 <mauke> % :cd ..
2026-03-04 20:02:46 +0000 <monochrom> cf. the tragedy of the commons
2026-03-04 20:02:46 +0000 <aka_dude> A Clingon speaker must have defined these, I see
2026-03-04 20:03:12 +0000 <EvanR> haskell is best written in the original klingon
2026-03-04 20:04:49 +0000 <Rembane> Something like this I reckon: https://aphyr.com/posts/342-typing-the-technical-interview
2026-03-04 20:07:52 +0000 <monochrom> push apply etc were using CPS to emulate a stack.
2026-03-04 20:08:02 +0000 <geekosaur> that was left over from someone experimenting with hiragana symbols and discovering that, being caseless, they can't be used as constructor or type names
2026-03-04 20:09:15 +0000 <ncf> katakana
2026-03-04 20:10:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 20:10:35 +0000 <aka_dude> % :t id.id
2026-03-04 20:10:35 +0000 <yahb2> id.id :: c -> c
2026-03-04 20:11:56 +0000 <mauke> :t id `id` id
2026-03-04 20:11:57 +0000 <lambdabot> a -> a
2026-03-04 20:12:09 +0000 <monochrom> @quote monochrom 17
2026-03-04 20:12:09 +0000 <lambdabot> monochrom says: I am 17-ary, going on 18-ary, I can take curry of you
2026-03-04 20:12:32 +0000 <EvanR> :t ego
2026-03-04 20:12:33 +0000 <lambdabot> t
2026-03-04 20:15:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 20:17:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 20:20:08 +0000xnyhps(~xnyhps@s.xnyhps.nl) (Ping timeout: 268 seconds)
2026-03-04 20:22:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-04 20:28:00 +0000fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 264 seconds)
2026-03-04 20:28:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 20:29:04 +0000fn_lumi(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2026-03-04 20:30:01 +0000ouilemur(~jgmerritt@user/ouilemur) (Ping timeout: 272 seconds)
2026-03-04 20:31:49 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2026-03-04 20:32:58 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-03-04 20:33:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 20:36:06 +0000 <monochrom> > ego 5
2026-03-04 20:36:14 +0000 <lambdabot> *Exception: <<timeout>>
2026-03-04 20:36:18 +0000 <monochrom> :)
2026-03-04 20:36:59 +0000 <int-e> @undef
2026-03-04 20:36:59 +0000 <lambdabot> Undefined.
2026-03-04 20:37:01 +0000 <int-e> :t ego
2026-03-04 20:37:02 +0000 <lambdabot> error: [GHC-88464] Variable not in scope: ego
2026-03-04 20:37:06 +0000 <monochrom> :(
2026-03-04 20:38:20 +0000 <monochrom> On the bright side, "@define x=0" is auto-corrected to "@undefine" so it is like the data structure that supports only delete. >:)
2026-03-04 20:42:56 +0000pavonia(~user@user/siracusa) siracusa
2026-03-04 20:44:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 20:45:19 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
2026-03-04 20:49:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 20:53:33 +0000xnyhps(~xnyhps@s.xnyhps.nl)
2026-03-04 20:55:54 +0000mange(~mange@user/mange) mange
2026-03-04 20:58:36 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds)
2026-03-04 20:59:10 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-04 20:59:35 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-04 21:00:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 21:05:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 21:10:04 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-03-04 21:15:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 21:18:09 +0000weary-traveler(~user@user/user363627) user363627
2026-03-04 21:18:18 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-04 21:18:32 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-04 21:20:38 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-03-04 21:20:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 21:27:20 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-03-04 21:35:42 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-04 21:36:00 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-04 21:39:08 +0000gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2026-03-04 21:42:15 +0000ec(~ec@gateway/tor-sasl/ec) ec
2026-03-04 21:44:25 +0000gabiruh(~gabiruh@191.252.222.55) gabiruh
2026-03-04 21:46:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 21:52:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-04 21:52:37 +0000ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2026-03-04 21:53:01 +0000ec(~ec@gateway/tor-sasl/ec) ec
2026-03-04 21:53:21 +0000oskarw(~user@user/oskarw) (Remote host closed the connection)
2026-03-04 21:54:39 +0000Square2(~Square4@user/square) (Read error: Connection reset by peer)
2026-03-04 22:01:18 +0000lol__(~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f)
2026-03-04 22:01:22 +0000lol_(~lol@96.78.87.197) (Read error: Connection reset by peer)
2026-03-04 22:02:06 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-03-04 22:02:16 +0000lol_(~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f)
2026-03-04 22:02:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 22:03:09 +0000Square(~Square@user/square) Square
2026-03-04 22:04:20 +0000jcarpenter2(~lol@2603:3016:1e01:b980:6cb2:460b:b3bd:1dce) (Ping timeout: 245 seconds)
2026-03-04 22:05:01 +0000jcarpenter2(~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f)
2026-03-04 22:05:48 +0000lol__(~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 246 seconds)
2026-03-04 22:09:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 22:14:51 +0000madresch(~Thunderbi@user/madresch) madresch
2026-03-04 22:16:42 +0000edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 265 seconds)
2026-03-04 22:17:05 +0000Square(~Square@user/square) (Remote host closed the connection)
2026-03-04 22:20:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 22:24:05 +0000m1dnight_(~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 268 seconds)
2026-03-04 22:25:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 22:26:02 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-04 22:26:19 +0000m1dnight_(~m1dnight@141.134.26.23) m1dnight
2026-03-04 22:30:57 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2026-03-04 22:32:45 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-04 22:36:40 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-04 22:36:52 +0000merijn(~merijn@62.45.136.136) merijn
2026-03-04 22:37:00 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-04 22:37:11 +0000Square(~Square@user/square) Square
2026-03-04 22:37:46 +0000vito_(uid1962@id-1962.uxbridge.irccloud.com)
2026-03-04 22:37:55 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-03-04 22:41:11 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 244 seconds)
2026-03-04 22:44:02 +0000Square2(~Square@user/square) Square
2026-03-04 22:44:49 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2026-03-04 22:45:55 +0000Square(~Square@user/square) (Ping timeout: 264 seconds)
2026-03-04 22:46:40 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-04 22:52:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 22:53:28 +0000michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2026-03-04 22:54:18 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds)
2026-03-04 22:54:21 +0000Googulator13(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-04 22:54:42 +0000Googulator46(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-04 22:57:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 23:00:13 +0000 <newmind> i have to say, big refactoring is actually quite fun in haskell... it's a joy when you're actually brave enough to do bigger structural changes and still not completely break your code
2026-03-04 23:03:39 +0000 <fgarcia> with the language, that is one thing i like. maintaining something long term has been nice.
2026-03-04 23:04:30 +0000 <newmind> its also nice while you're still figuring out the interface/structure, since you're less likely to settle with something that's not quite right
2026-03-04 23:06:13 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2026-03-04 23:06:13 +0000 <gentauro> How do you specify in a .cabal file a specific GHC version to build. This is from a Haskell Stack yaml file: `resolver: ghc-7.10.2`.
2026-03-04 23:08:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 23:10:19 +0000 <geekosaur> you don't, since you can't force someone installing from e.g. hackage to install particular ghc versions
2026-03-04 23:10:27 +0000 <geekosaur> cabal.project can control it
2026-03-04 23:11:03 +0000arandombit(~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312)
2026-03-04 23:11:03 +0000arandombit(~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host)
2026-03-04 23:11:03 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-03-04 23:11:17 +0000 <geekosaur> (stack, via snapshot/resolver, can control this, but it's because that installs ghc and specific versions of packages)
2026-03-04 23:12:01 +0000 <gentauro> geekosaur: oh snap
2026-03-04 23:12:01 +0000 <geekosaur> also, that resolver might not do what you intend: it installs only ghc bootlibs. you almost always want a full LTS or nightly version instead
2026-03-04 23:12:38 +0000 <gentauro> so I'm building a package that works for 9.10.3, but since hackage builds with 9.8.4 it breaks
2026-03-04 23:12:45 +0000 <gentauro> that's not very nice :-\
2026-03-04 23:12:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 23:13:23 +0000vanishingideal(~vanishing@user/vanishingideal) (Read error: Connection reset by peer)
2026-03-04 23:13:29 +0000 <geekosaur> you have even less control over that: hackage will not install additional compilers on demand to support individual packages
2026-03-04 23:13:35 +0000 <geekosaur> or libraries
2026-03-04 23:14:08 +0000 <gentauro> geekosaur: hmmmm
2026-03-04 23:14:22 +0000 <gentauro> so I need to aim at the ghc version installed on Hackage?
2026-03-04 23:14:58 +0000 <geekosaur> only if you care about its build report
2026-03-04 23:15:18 +0000 <geekosaur> you can build locally and upload documentation, hackage has instructions
2026-03-04 23:15:56 +0000 <geekosaur> you can document what ghc versions are accepted (see `compiler:`) and that will be displayed on the package page
2026-03-04 23:18:19 +0000v0id_7(~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks)
2026-03-04 23:19:34 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-04 23:20:28 +0000 <geekosaur> if you want to be really pedantic you can check impl(ghc < 9.10) and set `buildable: False` so installers with too old compilers get better error messages
2026-03-04 23:21:51 +0000 <geekosaur> (instead of compiler errors getting vomited up at them)
2026-03-04 23:23:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 23:27:34 +0000 <geekosaur> years ago there was a matrix builder on hackage, but it broke and nobody's been able to figure out hvr's code to fix it
2026-03-04 23:28:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-04 23:29:35 +0000 <gentauro> geekosaur: I'm trying to build for 9.8.4
2026-03-04 23:29:38 +0000 <gentauro> hope that helps
2026-03-04 23:30:41 +0000 <geekosaur> isn't that a different kind of problem? you'll have to check the 9.10 release notes and see if you're tripping over an incompatibility or new feature
2026-03-04 23:31:25 +0000j0lol(~j0lol@132.145.17.236) (Ping timeout: 245 seconds)
2026-03-04 23:34:29 +0000j0lol(~j0lol@132.145.17.236) j0lol
2026-03-04 23:37:42 +0000msa(msa@msa.planetofnix.com) (Ping timeout: 268 seconds)
2026-03-04 23:38:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 23:40:24 +0000 <gentauro> geekosaur: yeah, if I "make changes" to build for 9.8.4, then 9.10.4 no longer builds
2026-03-04 23:40:31 +0000 <gentauro> kind of `meh`
2026-03-04 23:41:43 +0000gentauroI will look again at it tmorrow. To tired to care
2026-03-04 23:45:42 +0000msa(msa@msa.planetofnix.com)
2026-03-04 23:45:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 23:46:50 +0000 <geekosaur> worst case you'll need to enable CPP and conditionalize code on __GLASGGW_HASKELL__ (https://downloads.haskell.org/ghc/latest/docs/users_guide/phases.html#standard-cpp-macros)
2026-03-04 23:48:27 +0000 <geekosaur> (dammit I typed that three times and still got it wrong)
2026-03-04 23:51:56 +0000mange(~mange@user/mange) (Ping timeout: 252 seconds)
2026-03-04 23:53:00 +0000Square2(~Square@user/square) (Ping timeout: 244 seconds)
2026-03-04 23:56:06 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-04 23:56:43 +0000foul_owl(~kerry@94.156.149.94) (Ping timeout: 264 seconds)
2026-03-04 23:56:44 +0000mange(~mange@user/mange) mange
2026-03-04 23:57:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 23:57:19 +0000arandombit(~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) arandombit
2026-03-04 23:57:19 +0000arandombit(~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host)
2026-03-04 23:57:19 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-03-04 23:58:31 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2026-03-04 23:59:30 +0000 <gentauro> geekosaur: it actually build and now it's green on both `build` and `documentation` on Hackage
2026-03-04 23:59:43 +0000 <gentauro> I guess people trying to build with 0.10.3 gonna get recked?
2026-03-04 23:59:51 +0000 <gentauro> anyway, heading to bed