| 2026-03-04 00:01:00 +0100 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 245 seconds) |
| 2026-03-04 00:01:53 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-04 00:04:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-04 00:04:48 +0100 | kilolympus6 | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-03-04 00:04:59 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Read error: Connection reset by peer) |
| 2026-03-04 00:04:59 +0100 | kilolympus6 | kilolympus |
| 2026-03-04 00:08:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 00:10:59 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-03-04 00:11:16 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-03-04 00:11:16 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-03-04 00:11:16 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-03-04 00:11:53 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-04 00:13:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 00:15:53 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-04 00:19:45 +0100 | <yin> | int-e: nice. you're extracting values from a pair with `c :: (Word -> Word) -> Word` right? that's equivalent to my `pre` |
| 2026-03-04 00:20:47 +0100 | <int-e> | yin: that's where it came from |
| 2026-03-04 00:22:07 +0100 | <yin> | did you derive it? it took me a long time to understand your version (it also took me a long time to understand mine) |
| 2026-03-04 00:22:52 +0100 | <int-e> | I've seen the lambda term before. I'm quite familiar with some of the themes around Church numerals. |
| 2026-03-04 00:23:35 +0100 | mange | (~mange@user/mange) (Quit: Bye!) |
| 2026-03-04 00:24:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 00:24:35 +0100 | <int-e> | I think the best I've ever come up with myself was pred = \n f x -> n (\c a b -> c b (f b)) (\a b -> a) x x |
| 2026-03-04 00:24:40 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-03-04 00:24:43 +0100 | <yin> | is this technically cps? it feels like cps |
| 2026-03-04 00:25:41 +0100 | <int-e> | There are definitely continuations here. (That's why I like calling the argument 'c'. Though I messed up above; \c -> 0 should've been \f -> 0; it is a continuation but the argument isn't) |
| 2026-03-04 00:28:34 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-04 00:29:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 00:31:21 +0100 | <yin> | this is great |
| 2026-03-04 00:39:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 00:41:48 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-04 00:44:04 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2026-03-04 00:46:19 +0100 | <monochrom> | I prefer "k" to "c". :) |
| 2026-03-04 00:46:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 00:47:48 +0100 | <int-e> | Hi monokhrom |
| 2026-03-04 00:47:55 +0100 | <monochrom> | haha |
| 2026-03-04 00:50:34 +0100 | <yin> | > take 10 $ ($ id) <$> iterate (\c f -> f (c succ)) (const 0) |
| 2026-03-04 00:50:36 +0100 | <lambdabot> | [0,0,1,2,3,4,5,6,7,8] |
| 2026-03-04 00:50:45 +0100 | <monochrom> | kontinuashun https://lambdacats.github.io/delimited/ |
| 2026-03-04 00:51:21 +0100 | <EvanR> | yin, at the very least, define the missing operations with an error message denoting who to blame |
| 2026-03-04 00:51:32 +0100 | <EvanR> | is ワ lowercase or uppercase for the purposes of haskell? |
| 2026-03-04 00:51:53 +0100 | <chromoblob> | monochrom: neat |
| 2026-03-04 00:51:55 +0100 | <int-e> | > isLower 'ワ' |
| 2026-03-04 00:51:56 +0100 | <lambdabot> | False |
| 2026-03-04 00:52:03 +0100 | <yin> | EvanR: I mostly blame the Num typeclass itself |
| 2026-03-04 00:52:04 +0100 | <EvanR> | it's pretty big so seems like a constructor |
| 2026-03-04 00:52:04 +0100 | <int-e> | > isUpper 'ワ' |
| 2026-03-04 00:52:05 +0100 | <lambdabot> | False |
| 2026-03-04 00:52:14 +0100 | <chromoblob> | ... |
| 2026-03-04 00:52:21 +0100 | <int-e> | > let ワ = 1 in ワ |
| 2026-03-04 00:52:22 +0100 | <lambdabot> | 1 |
| 2026-03-04 00:52:31 +0100 | <int-e> | EvanR: I guess this makes it "lower case" |
| 2026-03-04 00:52:59 +0100 | <int-e> | I hope it isn't anything offensive ;) |
| 2026-03-04 00:53:16 +0100 | <int-e> | wah! |
| 2026-03-04 00:53:19 +0100 | int-e | runs |
| 2026-03-04 00:53:29 +0100 | <chromoblob> | > (not . isUpper) 'ワ' -- here, fixed :p |
| 2026-03-04 00:53:31 +0100 | <lambdabot> | True |
| 2026-03-04 00:54:04 +0100 | <int-e> | % data ワ = ワ |
| 2026-03-04 00:54:04 +0100 | <yahb2> | <interactive>:19:10: error: [GHC-25742] Not a data constructor: ‘ワ’ |
| 2026-03-04 00:54:25 +0100 | <int-e> | % data Xワ = Xワ |
| 2026-03-04 00:54:25 +0100 | <yahb2> | <no output> |
| 2026-03-04 00:54:31 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2026-03-04 00:54:34 +0100 | <int-e> | (that looks so wrong) |
| 2026-03-04 00:54:39 +0100 | <chromoblob> | % data ワ = Wa |
| 2026-03-04 00:54:39 +0100 | <yahb2> | <interactive>:23:6: error: [GHC-47568] ; Malformed head of type or class declaration: ワ |
| 2026-03-04 00:54:56 +0100 | <EvanR> | so it's like, yes upper is required for constructors |
| 2026-03-04 00:55:04 +0100 | <EvanR> | lower is not required for variables |
| 2026-03-04 00:55:35 +0100 | <EvanR> | the plot thickens |
| 2026-03-04 00:55:52 +0100 | <geekosaur> | yes and always has been. one of the annoyances with Haskell given scripts that lack the distinction (kanji, katakana, hangul, Arabic, Hebrew, etc.) |
| 2026-03-04 00:56:11 +0100 | <geekosaur> | initial upper for constructors, lower (or neutral) for variables |
| 2026-03-04 00:56:30 +0100 | <geekosaur> | ":" is treated as an "uppercase" symbol character |
| 2026-03-04 00:56:48 +0100 | <yin> | > generalCategory 'ワ' |
| 2026-03-04 00:56:49 +0100 | <lambdabot> | OtherLetter |
| 2026-03-04 00:57:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 00:59:17 +0100 | <int-e> | EvanR: The Haskell 2010 report assumes a dichotomy with language like, for example, "Names for variables and type variables are identifiers beginning with lowercase letters or underscore; the other four kinds of names are identifiers beginning with uppercase letters." So this is technically a GHC extension? Hehe. |
| 2026-03-04 00:59:31 +0100 | <EvanR> | if you write out some computer text containing latin, green, chinese, arabic, and hebrew, some of these scripts will appear "big" and some "small"... that's how it should've been divided between types, ctors and variables xD |
| 2026-03-04 00:59:37 +0100 | <EvanR> | s/green/greek/ |
| 2026-03-04 00:59:44 +0100 | <geekosaur> | > generalCategory 'ש' |
| 2026-03-04 00:59:45 +0100 | <lambdabot> | OtherLetter |
| 2026-03-04 01:00:48 +0100 | <chromoblob> | > generalCategory '☉' |
| 2026-03-04 01:00:49 +0100 | <lambdabot> | OtherSymbol |
| 2026-03-04 01:00:55 +0100 | <EvanR> | but then I guess chinese would be stuck without variables |
| 2026-03-04 01:01:13 +0100 | <int-e> | > generalCategory 'ꙮ' |
| 2026-03-04 01:01:14 +0100 | <lambdabot> | OtherLetter |
| 2026-03-04 01:01:17 +0100 | <geekosaur> | it's kinda stuck without constructors |
| 2026-03-04 01:01:23 +0100 | <EvanR> | it's fine because obviously variables like x y and z |
| 2026-03-04 01:01:27 +0100 | <chromoblob> | > let x ☉ y = -(x * y) in 2 ☉ 3 |
| 2026-03-04 01:01:28 +0100 | <lambdabot> | -6 |
| 2026-03-04 01:01:33 +0100 | <EvanR> | are supposed to look like xD |
| 2026-03-04 01:01:35 +0100 | <chromoblob> | cool... |
| 2026-03-04 01:01:57 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-04 01:02:19 +0100 | <EvanR> | whoever heard of a variable not latin or greek |
| 2026-03-04 01:02:28 +0100 | <EvanR> | ok there was the soviet programming language |
| 2026-03-04 01:02:47 +0100 | <chromoblob> | i'm still waiting for the syntax "a `(b `c` d)` e"... |
| 2026-03-04 01:02:50 +0100 | <yin> | . o O ( APL ) |
| 2026-03-04 01:03:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 01:03:52 +0100 | <int-e> | > let (ο,o,о) = (1,2,3) in ο + o + о + ο |
| 2026-03-04 01:03:53 +0100 | <lambdabot> | 7 |
| 2026-03-04 01:04:10 +0100 | <chromoblob> | lol |
| 2026-03-04 01:04:15 +0100 | <yin> | what |
| 2026-03-04 01:04:22 +0100 | <chromoblob> | different o's |
| 2026-03-04 01:04:35 +0100 | <yin> | scared me for a moment |
| 2026-03-04 01:04:45 +0100 | <chromoblob> | heh |
| 2026-03-04 01:04:52 +0100 | <geekosaur> | > generalCategory '𝐱' |
| 2026-03-04 01:04:53 +0100 | <lambdabot> | LowercaseLetter |
| 2026-03-04 01:05:50 +0100 | <geekosaur> | chromoblob: not gonna happen, nightmare to parse those nested backticks and in general backticked expressions |
| 2026-03-04 01:06:05 +0100 | <geekosaur> | if they'd chosen a different closing character it would have been easier |
| 2026-03-04 01:06:17 +0100 | <geekosaur> | consider string parsing |
| 2026-03-04 01:06:26 +0100 | <yin> | i wish `f` was just 'f or even `f would be fine |
| 2026-03-04 01:06:42 +0100 | <geekosaur> | plan 9 user? 😛 |
| 2026-03-04 01:07:37 +0100 | <yin> | whitespace as application would be great too |
| 2026-03-04 01:08:05 +0100 | <int-e> | x ◖infix◗ y |
| 2026-03-04 01:08:05 +0100 | <chromoblob> | why would it be a nightmare? |
| 2026-03-04 01:08:46 +0100 | <EvanR> | imagine if strings could be nested without escaping the " |
| 2026-03-04 01:08:54 +0100 | <EvanR> | lol |
| 2026-03-04 01:08:56 +0100 | <geekosaur> | go look at why the Bourne shell's backrticks were replaced with `$()` |
| 2026-03-04 01:09:08 +0100 | <geekosaur> | because those _did_ nest |
| 2026-03-04 01:09:16 +0100 | <geekosaur> | (well, with escapes) |
| 2026-03-04 01:09:46 +0100 | <EvanR> | "abc "def" ghi" |
| 2026-03-04 01:09:48 +0100 | <yin> | x `w `f` z` y |
| 2026-03-04 01:09:55 +0100 | <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 01:10:25 +0100 | <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 01:11:04 +0100 | <chromoblob> | that's why i used parentheses |
| 2026-03-04 01:11:21 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-03-04 01:11:39 +0100 | <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 01:13:34 +0100 | <yin> | no way, you can nest ``? |
| 2026-03-04 01:13:42 +0100 | <geekosaur> | no, this is if you could |
| 2026-03-04 01:13:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 01:13:51 +0100 | <geekosaur> | also if it allowed general expressions |
| 2026-03-04 01:14:48 +0100 | <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 01:15:02 +0100 | <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 01:15:04 +0100 | <lambdabot> | [6] |
| 2026-03-04 01:16:28 +0100 | <yin> | ah, you can leave whitespace between ``..... |
| 2026-03-04 01:16:42 +0100 | <yin> | > succ ` fmap ` [0..1] |
| 2026-03-04 01:16:43 +0100 | <lambdabot> | [1,2] |
| 2026-03-04 01:17:00 +0100 | <yin> | > succ` fmap `[0..2] |
| 2026-03-04 01:17:01 +0100 | <lambdabot> | [1,2,3] |
| 2026-03-04 01:17:15 +0100 | <yin> | this is not good |
| 2026-03-04 01:17:19 +0100 | <EvanR> | it's like * in C >:D |
| 2026-03-04 01:18:11 +0100 | <chromoblob> | int-e: wow |
| 2026-03-04 01:18:27 +0100 | <int-e> | @quote * |
| 2026-03-04 01:18:27 +0100 | <lambdabot> | * says: | shapr remembers that hours of coding can save minutes of thinking |
| 2026-03-04 01:18:37 +0100 | <yin> | int-e: yay continuations |
| 2026-03-04 01:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 01:19:25 +0100 | <int-e> | yin: if you want to go mildly insane, work out the type of the `start` in there. |
| 2026-03-04 01:19:37 +0100 | <chromoblob> | wow |
| 2026-03-04 01:22:08 +0100 | <chromoblob> | %type () |
| 2026-03-04 01:22:39 +0100 | chromoblob | tried |
| 2026-03-04 01:23:12 +0100 | <int-e> | % :type () -- the space is required for yahb2; the : is for ghci |
| 2026-03-04 01:23:12 +0100 | <yahb2> | () -- the space is required for yahb2; the : is for ghci :: () |
| 2026-03-04 01:23:46 +0100 | <int-e> | @type () -- or this for lambdabot |
| 2026-03-04 01:23:47 +0100 | <lambdabot> | () |
| 2026-03-04 01:27:34 +0100 | <EvanR> | cool I got the type of start in the first try... at least the most general type xD |
| 2026-03-04 01:29:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 01:32:00 +0100 | <chromoblob> | i briefly thought that 'start's type would be modified by sibling definitions |
| 2026-03-04 01:32:06 +0100 | <yin> | ([a] -> b) -> b ? |
| 2026-03-04 01:32:36 +0100 | <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 01:32:37 +0100 | <lambdabot> | [6] |
| 2026-03-04 01:32:40 +0100 | <chromoblob> | hmmm |
| 2026-03-04 01:32:44 +0100 | <int-e> | yin: that's the easy part... but what's the type it's used at in the final expression? |
| 2026-03-04 01:32:45 +0100 | <EvanR> | it was "modified" (specialized) for its use in start push 1 push 2 push 3 add add end |
| 2026-03-04 01:33:17 +0100 | <chromoblob> | no it's not modification, it's a changed copy... :) |
| 2026-03-04 01:33:36 +0100 | <yin> | is this an interesting exercise or will i just explore my patience? |
| 2026-03-04 01:33:40 +0100 | <EvanR> | depends if you have monomorphism restriction! |
| 2026-03-04 01:33:50 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 252 seconds) |
| 2026-03-04 01:33:52 +0100 | <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 01:33:53 +0100 | <lambdabot> | Couldn't match expected type ‘()’ |
| 2026-03-04 01:33:53 +0100 | <lambdabot> | with actual type ‘([a0] -> t0) -> t0’ |
| 2026-03-04 01:33:53 +0100 | <lambdabot> | Probable cause: ‘start’ is applied to too few arguments |
| 2026-03-04 01:34:08 +0100 | <chromoblob> | i'm silly... |
| 2026-03-04 01:34:14 +0100 | <EvanR> | () is not a specialization of ([a] -> b) -> b |
| 2026-03-04 01:34:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 01:34:39 +0100 | <chromoblob> | i hoped it would print the actual type in the error message lol |
| 2026-03-04 01:35:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 01:36:40 +0100 | <chromoblob> | yin: i think a bit of both |
| 2026-03-04 01:37:06 +0100 | <chromoblob> | i'm too impatient, though :) |
| 2026-03-04 01:37:43 +0100 | <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 01:37:43 +0100 | <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 01:38:14 +0100 | <int-e> | I guess there's that (the type for the full example won't fit inside an IRC message) |
| 2026-03-04 01:38:57 +0100 | <chromoblob> | geekosaur: if we didn't care about computer reading programs, though, then it couldn't read them :ь |
| 2026-03-04 01:40:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 01:41:38 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-03-04 01:41:49 +0100 | <chromoblob> | i mean, parse and execute |
| 2026-03-04 01:41:51 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 255 seconds) |
| 2026-03-04 01:42:00 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe |
| 2026-03-04 01:43:46 +0100 | <geekosaur> | but of we cared that much, we wouldn't thropw parsing torture tests such as Haskell and Perl at them 😛 |
| 2026-03-04 01:44:25 +0100 | <chromoblob> | who said it's a torture? |
| 2026-03-04 01:44:29 +0100 | <chromoblob> | it's a pleasure |
| 2026-03-04 01:44:43 +0100 | <chromoblob> | only torture for parser writers ;) |
| 2026-03-04 01:45:25 +0100 | <yin> | and parser readers |
| 2026-03-04 01:46:25 +0100 | <chromoblob> | write once, read never :) |
| 2026-03-04 01:47:09 +0100 | <chromoblob> | introducing a new memory type: writable and executable but not readable :p |
| 2026-03-04 01:48:13 +0100 | <yin> | AI intensifies |
| 2026-03-04 01:48:20 +0100 | <chromoblob> | oh: "once written, never read" |
| 2026-03-04 01:48:55 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-03-04 01:49:56 +0100 | xff0x | (~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 2026-03-04 01:50:04 +0100 | tmu | (~tmu@71.227.230.155) (Ping timeout: 265 seconds) |
| 2026-03-04 01:50:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 01:51:27 +0100 | <geekosaur> | so, a warning message? 😛 |
| 2026-03-04 01:51:37 +0100 | <geekosaur> | (or far too many error messages…) |
| 2026-03-04 01:52:30 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 246 seconds) |
| 2026-03-04 01:57:29 +0100 | <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 01:57:30 +0100 | <lambdabot> | 9 |
| 2026-03-04 01:57:39 +0100 | <Leary> | It's much cooler with tuples than lists. :) |
| 2026-03-04 01:57:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 01:59:22 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe |
| 2026-03-04 02:02:47 +0100 | <yin> | the little haskeller |
| 2026-03-04 02:03:52 +0100 | <EvanR> | with nested tuples you can stash a variety of types on the "stack" ? |
| 2026-03-04 02:06:01 +0100 | <Leary> | Yeah. |
| 2026-03-04 02:06:34 +0100 | <yin> | :t ((), ((), ((), ()))) |
| 2026-03-04 02:06:34 +0100 | <lambdabot> | ((), ((), ((), ()))) |
| 2026-03-04 02:07:13 +0100 | <yin> | let x = (x,x) in x |
| 2026-03-04 02:07:16 +0100 | <yin> | > let x = (x,x) in x |
| 2026-03-04 02:07:17 +0100 | <lambdabot> | Couldn't match expected type ‘b1’ with actual type ‘(a1, b1)’ |
| 2026-03-04 02:07:18 +0100 | <lambdabot> | ‘b1’ is a rigid type variable bound by |
| 2026-03-04 02:07:18 +0100 | <lambdabot> | the inferred type of x :: (a1, b1) |
| 2026-03-04 02:07:36 +0100 | <yin> | shame |
| 2026-03-04 02:08:17 +0100 | <EvanR> | did you try to make an infinite tuple with an infinite type |
| 2026-03-04 02:08:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:09:08 +0100 | <Leary> | @let newtype T = MkT (T, T) deriving Show |
| 2026-03-04 02:09:09 +0100 | <lambdabot> | Defined. |
| 2026-03-04 02:09:17 +0100 | <Leary> | > let x = MkT (x, x) in x |
| 2026-03-04 02:09:17 +0100 | <EvanR> | it used to actually report something about infinite types |
| 2026-03-04 02:09:18 +0100 | <lambdabot> | MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (M... |
| 2026-03-04 02:10:03 +0100 | <EvanR> | newtype to the rescue |
| 2026-03-04 02:10:24 +0100 | <yin> | Leary: \o/ |
| 2026-03-04 02:13:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:15:44 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds) |
| 2026-03-04 02:19:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:19:58 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-04 02:24:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:26:22 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe |
| 2026-03-04 02:29:24 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-04 02:32:18 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-04 02:33:20 +0100 | califax | (~califax@user/califx) califx |
| 2026-03-04 02:34:01 +0100 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-04 02:34:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:38:39 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds) |
| 2026-03-04 02:38:50 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-04 02:39:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:40:22 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-04 02:41:31 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-04 02:41:59 +0100 | Guest913 | (bnc4free@here.and.ready-to.party) (Changing host) |
| 2026-03-04 02:41:59 +0100 | Guest913 | (bnc4free@user/jinsun) jinsun |
| 2026-03-04 02:41:59 +0100 | Guest913 | jinsun |
| 2026-03-04 02:45:00 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-03-04 02:50:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:55:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-04 02:55:43 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-04 02:58:10 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-03-04 03:01:31 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 264 seconds) |
| 2026-03-04 03:06:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 03:11:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 03:14:52 +0100 | aaronv | (~aaron@2601:602:8d00:c320:fa05:ec22:dea5:5e61) |
| 2026-03-04 03:20:48 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-04 03:21:03 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-04 03:21:05 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2026-03-04 03:21:19 +0100 | califax | (~califax@user/califx) califx |
| 2026-03-04 03:22:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 03:27:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 03:30:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-03-04 03:32:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-04 03:36:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 03:43:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 03:45:38 +0100 | u0_a2162 | (~molidae@223.187.121.211) (Ping timeout: 248 seconds) |
| 2026-03-04 03:46:59 +0100 | aaronv | (~aaron@2601:602:8d00:c320:fa05:ec22:dea5:5e61) (Ping timeout: 245 seconds) |
| 2026-03-04 03:47:47 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-04 03:50:56 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-03-04 03:50:59 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2026-03-04 03:51:54 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2026-03-04 03:53:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-04 03:54:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 03:56:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-04 03:56:43 +0100 | califax | (~califax@user/califx) califx |
| 2026-03-04 03:59:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-04 04:01:03 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 265 seconds) |
| 2026-03-04 04:10:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 04:15:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 04:26:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 04:31:07 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2026-03-04 04:31:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 04:34:35 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) () |
| 2026-03-04 04:42:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 04:47:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-04 04:57:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 05:02:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 05:13:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 05:14:29 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-04 05:19:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-04 05:29:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 05:34:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 05:34:58 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2026-03-04 05:45:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 05:47:03 +0100 | u0_a216 | (~molidae@2401:4900:628a:eda6:f04f:39fd:d52a:6874) |
| 2026-03-04 05:50:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 05:53:07 +0100 | nschoe- | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) |
| 2026-03-04 05:53:07 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 264 seconds) |
| 2026-03-04 05:56:27 +0100 | jmcantrell_ | jmcantrell |
| 2026-03-04 06:01:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 06:06:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 06:09:07 +0100 | RMSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Ping timeout: 276 seconds) |
| 2026-03-04 06:14:56 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2026-03-04 06:16:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 06:22:16 +0100 | mange | (~mange@user/mange) (Ping timeout: 268 seconds) |
| 2026-03-04 06:23:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 06:26:12 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-03-04 06:29:23 +0100 | michalz | (~michalz@185.246.207.217) |
| 2026-03-04 06:34:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 06:39:29 +0100 | CallipygousPepe | (~reuben@user/CallipygousPepe) CallipygousPepe |
| 2026-03-04 06:39:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-04 06:40:35 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-04 06:42:42 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-04 06:45:10 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Remote host closed the connection) |
| 2026-03-04 06:50:38 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-04 06:52:39 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-04 07:01:46 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-04 07:02:20 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2026-03-04 07:02:35 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-04 07:06:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 07:06:47 +0100 | <ski> | > run (push 1 . push 2 . push (+) . apply . apply . push 3 . push (*) . apply . apply) |
| 2026-03-04 07:06:48 +0100 | <lambdabot> | 9 |
| 2026-03-04 07:06:54 +0100 | <ski> | > run (push 1 . push 2 . dup . rot . plus . times) |
| 2026-03-04 07:06:55 +0100 | <lambdabot> | 5 |
| 2026-03-04 07:11:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-04 07:11:50 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-03-04 07:15:18 +0100 | cawfee | (root@2401:c080:3800:3460::babe) (Ping timeout: 268 seconds) |
| 2026-03-04 07:19:58 +0100 | cawfee | (root@2401:c080:3800:3460::babe) qjqqyy |
| 2026-03-04 07:21:36 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-04 07:22:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 07:22:19 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 2026-03-04 07:22:21 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-04 07:24:19 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-04 07:24:22 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-04 07:24:44 +0100 | tusko | (~uwu@user/tusko) (Client Quit) |
| 2026-03-04 07:25:39 +0100 | rainbyte | (~rainbyte@186.22.19.220) (Remote host closed the connection) |
| 2026-03-04 07:26:04 +0100 | rainbyte | (~rainbyte@186.22.19.220) rainbyte |
| 2026-03-04 07:26:32 +0100 | RMSBach | (~RMSBach@24.210.9.182) RMSBach |
| 2026-03-04 07:26:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-04 07:27:15 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-04 07:28:38 +0100 | tusko | (~uwu@user/tusko) (Client Quit) |
| 2026-03-04 07:32:35 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-04 07:45:12 +0100 | <jackdk> | > :t run |
| 2026-03-04 07:45:13 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-03-04 07:45:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 07:46:04 +0100 | <mauke> | :t run |
| 2026-03-04 07:46:05 +0100 | <lambdabot> | ((a -> a) -> t) -> t |
| 2026-03-04 07:47:03 +0100 | <mauke> | :t run (\f -> length (f "hi")) |
| 2026-03-04 07:47:04 +0100 | <lambdabot> | Int |
| 2026-03-04 07:50:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 07:54:15 +0100 | aaronv | (~aaron@2601:602:8d00:c320:b014:9655:9aad:3580) |
| 2026-03-04 07:54:19 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-04 07:55:06 +0100 | YuutaW | (~YuutaW@infornography.yta.moe) (Ping timeout: 246 seconds) |
| 2026-03-04 08:01:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 08:03:59 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-03-04 08:05:22 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-04 08:05:35 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-04 08:06:15 +0100 | aaron_ | (~aaron@2601:602:8d00:c320:7c06:d2ed:3ab8:dc4f) |
| 2026-03-04 08:06:16 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-04 08:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 08:09:45 +0100 | aaronv | (~aaron@2601:602:8d00:c320:b014:9655:9aad:3580) (Ping timeout: 245 seconds) |
| 2026-03-04 08:13:05 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-03-04 08:19:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 08:22:03 +0100 | aaron_ | (~aaron@2601:602:8d00:c320:7c06:d2ed:3ab8:dc4f) (Ping timeout: 246 seconds) |
| 2026-03-04 08:23:04 +0100 | CallipygousPepe | (~reuben@user/CallipygousPepe) (Quit: Konversation terminated!) |
| 2026-03-04 08:24:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-04 08:28:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-04 08:35:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 08:39:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 08:45:20 +0100 | u0_a216 | (~molidae@2401:4900:628a:eda6:f04f:39fd:d52a:6874) (Ping timeout: 268 seconds) |
| 2026-03-04 08:47:34 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-04 08:50:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 08:52:13 +0100 | chele | (~chele@user/chele) chele |
| 2026-03-04 08:52:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) |
| 2026-03-04 08:53:34 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-03-04 08:55:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 09:00:14 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-03-04 09:03:13 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-04 09:03:27 +0100 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-03-04 09:03:50 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-04 09:05:28 +0100 | DetourNe- | DetourNetworkUK |
| 2026-03-04 09:06:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 09:09:01 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-04 09:11:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 09:13:09 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2026-03-04 09:20:11 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-04 09:22:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 09:23:20 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-04 09:23:58 +0100 | housemate | (~housemate@202.7.248.67) (Remote host closed the connection) |
| 2026-03-04 09:27:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-04 09:28:40 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-03-04 09:29:45 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-04 09:30:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 09:32:20 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-04 09:32:22 +0100 | califax_ | (~califax@user/califx) califx |
| 2026-03-04 09:33:38 +0100 | califax_ | califax |
| 2026-03-04 09:36:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-04 09:43:18 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-04 09:43:20 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-04 09:44:39 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-04 09:48:10 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-03-04 09:48:11 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-04 09:48:13 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-04 09:50:10 +0100 | msa | (msa@msa.planetofnix.com) (Ping timeout: 256 seconds) |
| 2026-03-04 09:56:07 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-03-04 09:59:38 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-03-04 10:15:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-04 10:15:38 +0100 | fp | (~Thunderbi@130.233.70.80) fp |
| 2026-03-04 10:17:24 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-04 10:27:14 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-03-04 10:28:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-04 10:40:38 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-03-04 10:44:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) (Ping timeout: 276 seconds) |
| 2026-03-04 10:57:10 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-03-04 11:00:42 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-04 11:01:01 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-04 11:03:49 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-04 11:08:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-04 11:11:43 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-03-04 11:12:30 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2026-03-04 11:25:16 +0100 | acidjnk | (~acidjnk@p200300d6e700e5235d8093dfb8de160d.dip0.t-ipconnect.de) acidjnk |
| 2026-03-04 11:26:47 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-04 11:27:10 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-04 11:34:34 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-04 11:37:07 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-04 11:37:30 +0100 | housemate_ | (~housemate@202.7.248.67) housemate |
| 2026-03-04 11:45:26 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2026-03-04 11:46:45 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-04 11:47:03 +0100 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-04 11:47:20 +0100 | u0_a216 | (~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) |
| 2026-03-04 11:50:24 +0100 | misterfish | (~misterfis@84.53.85.146) (Quit: Lost terminal) |
| 2026-03-04 12:01:27 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e5173857d47938b5e6dc.dip0.t-ipconnect.de) acidjnk |
| 2026-03-04 12:02:09 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-04 12:02:53 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-04 12:05:05 +0100 | acidjnk | (~acidjnk@p200300d6e700e5235d8093dfb8de160d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-03-04 12:06:40 +0100 | housemate_ | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-03-04 12:07:34 +0100 | xff0x | (~xff0x@ai084147.d.east.v6connect.net) |
| 2026-03-04 12:09:35 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-04 12:10:46 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-03-04 12:12:16 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-04 12:15:26 +0100 | jreicher | (~joelr@user/jreicher) (Remote host closed the connection) |
| 2026-03-04 12:16:17 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-04 12:17:15 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 246 seconds) |
| 2026-03-04 12:17:51 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-03-04 12:20:44 +0100 | danza | (~danza@user/danza) danza |
| 2026-03-04 12:21:18 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-03-04 12:23:29 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1) |
| 2026-03-04 12:32:14 +0100 | u0_a216 | (~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) (Ping timeout: 256 seconds) |
| 2026-03-04 12:35:56 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-04 12:36:18 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-03-04 12:39:22 +0100 | krei-se | (~krei-se@p200300f1cfff3e88000000000000c8c6.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-03-04 12:43:16 +0100 | krei-se | (~krei-se@p5dea1d59.dip0.t-ipconnect.de) krei-se |
| 2026-03-04 12:47:47 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-04 12:56:33 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 13:00:16 +0100 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-04 13:00:19 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 264 seconds) |
| 2026-03-04 13:02:26 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-04 13:10:15 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 13:10:22 +0100 | philopso11 | (~caecilius@91.210.109.173) |
| 2026-03-04 13:10:37 +0100 | philopso11 | (~caecilius@91.210.109.173) (Remote host closed the connection) |
| 2026-03-04 13:13:47 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-04 13:14:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-03-04 13:15:00 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 246 seconds) |
| 2026-03-04 13:15:20 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 13:19:00 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-04 13:20:57 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1) |
| 2026-03-04 13:21:24 +0100 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-04 13:22:02 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-03-04 13:28:31 +0100 | u0_a216 | (~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) |
| 2026-03-04 13:30:51 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Ping timeout: 268 seconds) |
| 2026-03-04 13:32:35 +0100 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2026-03-04 13:34:05 +0100 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-04 13:34:24 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Client Quit) |
| 2026-03-04 13:34:36 +0100 | u0_a216 | (~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) (Ping timeout: 246 seconds) |
| 2026-03-04 13:34:42 +0100 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-04 13:37:12 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Client Quit) |
| 2026-03-04 13:37:48 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-03-04 13:39:06 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-04 13:44:46 +0100 | madresch | (~Thunderbi@user/madresch) (Read error: Connection reset by peer) |
| 2026-03-04 13:44:48 +0100 | madresch1 | (~Thunderbi@user/madresch) madresch |
| 2026-03-04 13:47:05 +0100 | madresch1 | madresch |
| 2026-03-04 13:47:15 +0100 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-04 13:47:48 +0100 | flu | (~user@2001:67c:2564:a309:a50e:1293:f51d:4938) |
| 2026-03-04 13:47:55 +0100 | <flu> | hello |
| 2026-03-04 13:49:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-04 13:54:44 +0100 | flu | (~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 14:05:27 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-04 14:10:32 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 265 seconds) |
| 2026-03-04 14:11:15 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 14:15:58 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-03-04 14:19:55 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1) |
| 2026-03-04 14:22:32 +0100 | u0_a216 | (~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) |
| 2026-03-04 14:27:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-03-04 14:32:56 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-04 14:39:34 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-04 14:40:49 +0100 | img | (~img@user/img) img |
| 2026-03-04 14:49:44 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-04 14:50:57 +0100 | img | (~img@user/img) img |
| 2026-03-04 14:57:24 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-03-04 15:11:47 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 15:11:54 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-04 15:16:19 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-03-04 15:18:33 +0100 | fp | (~Thunderbi@130.233.70.80) (Ping timeout: 246 seconds) |
| 2026-03-04 15:24:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2026-03-04 15:25:30 +0100 | fp | (~Thunderbi@wireless-86-50-141-207.open.aalto.fi) fp |
| 2026-03-04 15:37:08 +0100 | Fischmie- | Fischmiep |
| 2026-03-04 15:39:52 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-04 15:41:41 +0100 | u0_a216 | (~molidae@2401:4900:4dd4:3987:f04f:39fd:d52a:6874) (Ping timeout: 272 seconds) |
| 2026-03-04 15:45:40 +0100 | <yin> | hi |
| 2026-03-04 15:48:11 +0100 | <Athas> | Hi. |
| 2026-03-04 15:54:19 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-04 15:54:27 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 15:55:31 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-04 15:55:40 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-04 16:07:36 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 16:07:44 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 16:10:52 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 16:12:44 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 16:19:34 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 16:19:40 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-04 16:20:28 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-04 16:24:39 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 16:25:27 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 16:26:47 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-04 16:29:45 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 16:32:59 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 16:34:38 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 16:42:59 +0100 | fp | (~Thunderbi@wireless-86-50-141-207.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2026-03-04 16:43:20 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) v0id_7 |
| 2026-03-04 16:49:49 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-04 16:51:31 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-04 16:54:54 +0100 | u0_a216 | (~molidae@2401:4900:627e:8cc0:f04f:39fd:d52a:6874) |
| 2026-03-04 16:55:37 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-04 17:00:33 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2026-03-04 17:03:05 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 2026-03-04 17:08:57 +0100 | pounce | (8a023a9e4a@user/cute/pounce) (Remote host closed the connection) |
| 2026-03-04 17:09:05 +0100 | pounce | (8a023a9e4a@user/cute/pounce) pounce |
| 2026-03-04 17:11:49 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-04 17:12:05 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-04 17:26:24 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-04 17:31:04 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-04 17:34:11 +0100 | kilolympus3 | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-03-04 17:35:28 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Ping timeout: 265 seconds) |
| 2026-03-04 17:35:28 +0100 | kilolympus3 | kilolympus |
| 2026-03-04 17:41:15 +0100 | rainbyte_ | (~rainbyte@186.22.19.220) rainbyte |
| 2026-03-04 17:42:19 +0100 | rainbyte | (~rainbyte@186.22.19.220) (Ping timeout: 264 seconds) |
| 2026-03-04 17:44:34 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 17:44:42 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 17:55:07 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2026-03-04 17:55:42 +0100 | tccq | (~tccq@2604:a00:50:1b7:ef89:6719:b6af:6c9e) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 2026-03-04 17:57:16 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2026-03-04 17:59:12 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 246 seconds) |
| 2026-03-04 18:06:37 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-03-04 18:07:13 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-04 18:07:25 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-04 18:08:25 +0100 | rainbyte_ | (~rainbyte@186.22.19.220) (Quit: rainbyte_) |
| 2026-03-04 18:09:29 +0100 | DetourNe- | DetourNetworkUK |
| 2026-03-04 18:11:38 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-04 18:13:29 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 18:13:32 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-04 18:19:43 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-04 18:19:54 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-04 18:20:13 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-04 18:21:14 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 18:21:14 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-04 18:22:30 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-03-04 18:22:42 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 18:24:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-03-04 18:26:14 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 18:31:12 +0100 | root | (~root@user/tccq) tccq |
| 2026-03-04 18:31:36 +0100 | root | Guest3502 |
| 2026-03-04 18:35:03 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 18:35:07 +0100 | Guest3502 | (~root@user/tccq) (Client Quit) |
| 2026-03-04 18:35:11 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-04 18:35:44 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 252 seconds) |
| 2026-03-04 18:37:42 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-04 18:37:57 +0100 | root | (~root@user/tccq) tccq |
| 2026-03-04 18:38:21 +0100 | root | Guest923 |
| 2026-03-04 18:39:23 +0100 | Guest923 | (~root@user/tccq) (Client Quit) |
| 2026-03-04 18:40:00 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-04 18:40:16 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-04 18:41:04 +0100 | kuribas | (~user@2a02:1808:e9:a3ac:2ee:39a6:c306:2099) kuribas |
| 2026-03-04 18:41:58 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-04 18:42:09 +0100 | root | (~root@user/tccq) tccq |
| 2026-03-04 18:42:23 +0100 | root | (~root@user/tccq) (Client Quit) |
| 2026-03-04 18:45:00 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-04 18:48:05 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 245 seconds) |
| 2026-03-04 18:50:56 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2026-03-04 18:53:27 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-04 18:55:48 +0100 | root | (~tmu@user/tccq) tccq |
| 2026-03-04 18:55:55 +0100 | root | (~tmu@user/tccq) (Client Quit) |
| 2026-03-04 18:57:03 +0100 | tmu | (~tmu@user/tccq) tccq |
| 2026-03-04 18:57:30 +0100 | tmu | (~tmu@user/tccq) (Client Quit) |
| 2026-03-04 18:57:41 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 2026-03-04 18:59:26 +0100 | tccq | (~tccq@user/tccq) tccq |
| 2026-03-04 19:01:30 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2026-03-04 19:01:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 19:04:29 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-04 19:05:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2026-03-04 19:06:19 +0100 | kuribas | (~user@2a02:1808:e9:a3ac:2ee:39a6:c306:2099) (Ping timeout: 268 seconds) |
| 2026-03-04 19:06:55 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-04 19:09:38 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-04 19:09:39 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-04 19:09:51 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-04 19:10:43 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2026-03-04 19:12:56 +0100 | <yin> | i got lists and list functions \o/ https://gitlab.com/jrvieira1/fun/-/blob/main/eval.hs |
| 2026-03-04 19:13:25 +0100 | <haskellbridge> | <shapr> Hi |
| 2026-03-04 19:13:43 +0100 | <haskellbridge> | <shapr> What's the appeal of just saying hi? |
| 2026-03-04 19:13:45 +0100 | tccq | (~tccq@user/tccq) (Quit: connection reset by purr) |
| 2026-03-04 19:14:09 +0100 | <EvanR> | so nohello people can harass you |
| 2026-03-04 19:14:11 +0100 | <int-e> | ups and downs, his and 'los |
| 2026-03-04 19:14:38 +0100 | <geekosaur> | "is anyone around?" |
| 2026-03-04 19:14:47 +0100 | <geekosaur> | granting that that's a variant of "ask to ask" |
| 2026-03-04 19:15:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-03-04 19:15:07 +0100 | <EvanR> | can anyone answer a question |
| 2026-03-04 19:15:12 +0100 | <geekosaur> | (and, notably, many of us check scrollback or etc. and can answer later) |
| 2026-03-04 19:15:25 +0100 | <int-e> | EvanR: yes! that'll be $0.42 |
| 2026-03-04 19:15:47 +0100 | <yin> | shapr: it's a human thing. comparable to pinging servers just to know they're there |
| 2026-03-04 19:15:48 +0100 | <EvanR> | you get three questions and that was one of them |
| 2026-03-04 19:16:05 +0100 | <int-e> | EvanR: don't change the deal, you only asked for one |
| 2026-03-04 19:17:18 +0100 | tccq | (~tccq@user/tccq) tccq |
| 2026-03-04 19:19:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-03-04 19:21:55 +0100 | <haskellbridge> | <shapr> ok, fair enough |
| 2026-03-04 19:24:51 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-04 19:29:06 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds) |
| 2026-03-04 19:29:41 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 2026-03-04 19:29:57 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2026-03-04 19:30:11 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-04 19:30:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-04 19:31:04 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
| 2026-03-04 19:31:27 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-04 19:32:34 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 2026-03-04 19:32:52 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-04 19:33:29 +0100 | u0_a216 | (~molidae@2401:4900:627e:8cc0:f04f:39fd:d52a:6874) (Ping timeout: 252 seconds) |
| 2026-03-04 19:35:29 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 2026-03-04 19:36:11 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2026-03-04 19:36:40 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
| 2026-03-04 19:37:23 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-04 19:41:25 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-03-04 19:45:43 +0100 | <[exa]> | evening o/ |
| 2026-03-04 19:46:06 +0100 | msa | (msa@msa.planetofnix.com) |
| 2026-03-04 19:51:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 19:57:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-04 20:02:16 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-04 20:03:37 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2026-03-04 20:07:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 20:12:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-04 20:14:20 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2026-03-04 20:21:22 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-04 20:23:20 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-04 20:23:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 20:25:35 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-03-04 20:28:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-04 20:28:34 +0100 | <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 20:29:15 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-03-04 20:38:47 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-04 20:39:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 20:43:29 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-03-04 20:43:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 20:48:31 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-04 20:48:50 +0100 | <Rembane> | Good morning folks! |
| 2026-03-04 20:48:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-03-04 20:50:41 +0100 | <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 20:51:27 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-04 20:54:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-04 20:54:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2026-03-04 20:54:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 20:55:05 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-04 20:55:12 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-04 20:55:35 +0100 | <aka_dude> | > let binOp f = push f . apply . apply |
| 2026-03-04 20:55:36 +0100 | <lambdabot> | not an expression: ‘let binOp f = push f . apply . apply’ |
| 2026-03-04 20:55:46 +0100 | <aka_dude> | > :let binOp f = push f . apply . apply |
| 2026-03-04 20:55:47 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-03-04 20:56:08 +0100 | Digitteknohippie | Digit |
| 2026-03-04 20:56:08 +0100 | <aka_dude> | :let binOp f = push f . apply . apply |
| 2026-03-04 20:56:17 +0100 | <aka_dude> | uh huh |
| 2026-03-04 20:56:43 +0100 | <aka_dude> | run (push 1 . push 2 . binOp (+) . push 3 . binOp (*)) |
| 2026-03-04 20:56:56 +0100 | <Clint> | what are you trying to do? |
| 2026-03-04 20:56:58 +0100 | <aka_dude> | 🙄 |
| 2026-03-04 20:57:01 +0100 | <aka_dude> | > run (push 1 . push 2 . binOp (+) . push 3 . binOp (*)) |
| 2026-03-04 20:57:02 +0100 | <lambdabot> | Variable not in scope: run :: (a2 -> c0) -> tVariable not in scope: push :: ... |
| 2026-03-04 20:57:24 +0100 | DetourNe- | DetourNetworkUK |
| 2026-03-04 20:57:24 +0100 | <aka_dude> | Trying to play with the bot... Is the GHCi session not shared? |
| 2026-03-04 20:57:50 +0100 | <geekosaur> | it's shared. but it's not ghci |
| 2026-03-04 20:58:06 +0100 | <geekosaur> | if you want an actual ghci, see yahb2 (% prefix) |
| 2026-03-04 20:58:31 +0100 | <geekosaur> | and the way you'd define run in lambdabot is with @let |
| 2026-03-04 20:58:54 +0100 | <monochrom> | Also, push apply etc are not built-in. Someone has to define them first. |
| 2026-03-04 20:59:03 +0100 | <c_wraith> | But do note that anyone can clear things defined with @let at any time. |
| 2026-03-04 20:59:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-04 20:59:27 +0100 | <aka_dude> | Of course, it's shared after all |
| 2026-03-04 20:59:33 +0100 | <geekosaur> | someone defined them yesterday |
| 2026-03-04 20:59:41 +0100 | <mauke> | % :edit |
| 2026-03-04 20:59:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 20:59:44 +0100 | <geekosaur> | which probably means they got @undefine-d overnight |
| 2026-03-04 20:59:54 +0100 | <aka_dude> | Ah |
| 2026-03-04 20:59:54 +0100 | <chromoblob> | they were "defined" inside a let ... in |
| 2026-03-04 21:00:12 +0100 | <geekosaur> | oh, whoops |
| 2026-03-04 21:00:20 +0100 | <geekosaur> | % 1 |
| 2026-03-04 21:00:20 +0100 | <yahb2> | 1 |
| 2026-03-04 21:00:31 +0100 | <geekosaur> | apparently :edit got spiked ☺ |
| 2026-03-04 21:00:50 +0100 | <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 21:00:53 +0100 | <geekosaur> | (probably EDITOR=/bin/true or something) |
| 2026-03-04 21:01:16 +0100 | <aka_dude> | % :show bindings |
| 2026-03-04 21:01:16 +0100 | <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 21:01:35 +0100 | <aka_dude> | Ahaha wow |
| 2026-03-04 21:01:57 +0100 | <aka_dude> | :info Xワ |
| 2026-03-04 21:02:05 +0100 | <aka_dude> | % :info Xワ |
| 2026-03-04 21:02:05 +0100 | <yahb2> | type Xワ :: * ; data Xワ = Xワ ; -- Defined at <interactive>:21:1 |
| 2026-03-04 21:02:16 +0100 | <mauke> | % :cd .. |
| 2026-03-04 21:02:46 +0100 | <monochrom> | cf. the tragedy of the commons |
| 2026-03-04 21:02:46 +0100 | <aka_dude> | A Clingon speaker must have defined these, I see |
| 2026-03-04 21:03:12 +0100 | <EvanR> | haskell is best written in the original klingon |
| 2026-03-04 21:04:49 +0100 | <Rembane> | Something like this I reckon: https://aphyr.com/posts/342-typing-the-technical-interview |
| 2026-03-04 21:07:52 +0100 | <monochrom> | push apply etc were using CPS to emulate a stack. |
| 2026-03-04 21:08:02 +0100 | <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 21:09:15 +0100 | <ncf> | katakana |
| 2026-03-04 21:10:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:10:35 +0100 | <aka_dude> | % :t id.id |
| 2026-03-04 21:10:35 +0100 | <yahb2> | id.id :: c -> c |
| 2026-03-04 21:11:56 +0100 | <mauke> | :t id `id` id |
| 2026-03-04 21:11:57 +0100 | <lambdabot> | a -> a |
| 2026-03-04 21:12:09 +0100 | <monochrom> | @quote monochrom 17 |
| 2026-03-04 21:12:09 +0100 | <lambdabot> | monochrom says: I am 17-ary, going on 18-ary, I can take curry of you |
| 2026-03-04 21:12:32 +0100 | <EvanR> | :t ego |
| 2026-03-04 21:12:33 +0100 | <lambdabot> | t |
| 2026-03-04 21:15:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 21:17:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:20:08 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) (Ping timeout: 268 seconds) |
| 2026-03-04 21:22:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-04 21:28:00 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 264 seconds) |
| 2026-03-04 21:28:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:29:04 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2026-03-04 21:30:01 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 272 seconds) |
| 2026-03-04 21:31:49 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-03-04 21:32:58 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-04 21:33:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 21:36:06 +0100 | <monochrom> | > ego 5 |
| 2026-03-04 21:36:14 +0100 | <lambdabot> | *Exception: <<timeout>> |
| 2026-03-04 21:36:18 +0100 | <monochrom> | :) |
| 2026-03-04 21:36:59 +0100 | <int-e> | @undef |
| 2026-03-04 21:36:59 +0100 | <lambdabot> | Undefined. |
| 2026-03-04 21:37:01 +0100 | <int-e> | :t ego |
| 2026-03-04 21:37:02 +0100 | <lambdabot> | error: [GHC-88464] Variable not in scope: ego |
| 2026-03-04 21:37:06 +0100 | <monochrom> | :( |
| 2026-03-04 21:38:20 +0100 | <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 21:42:56 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-04 21:44:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:45:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-03-04 21:49:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 21:53:33 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) |
| 2026-03-04 21:55:54 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-04 21:58:36 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds) |
| 2026-03-04 21:59:10 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-04 21:59:35 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-04 22:00:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 22:05:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 22:10:04 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |