| 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) |