| 2023-11-22 00:00:37 +0000 | <zzz> | (\forall x. x -> \x -> x) -- :p |
| 2023-11-22 00:00:53 +0000 | <monochrom> | Wait, how do I read that? |
| 2023-11-22 00:01:00 +0000 | <ski> | `index' ? |
| 2023-11-22 00:01:04 +0000 | <monochrom> | Yeah. |
| 2023-11-22 00:01:52 +0000 | <monochrom> | OK I am beginning to see it. |
| 2023-11-22 00:02:04 +0000 | <ski> | there's a mechanical translation to existing Haskell |
| 2023-11-22 00:02:06 +0000 | <monochrom> | "Is this higher-order matching?" butterfly man meme :) |
| 2023-11-22 00:02:37 +0000 | <ski> | nah, it's just basic lambda patterns (and view patterns, and allowing definiendums in patterns ..) |
| 2023-11-22 00:03:11 +0000 | <ski> | to match on `\<expr> -> <pat>', you apply the function value to `<expr>' and match the result against `<pat>' |
| 2023-11-22 00:03:20 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-11-22 00:03:41 +0000 | <ski> | except, in the example above, `<pat>' is actually `<defd>' (definiendum) |
| 2023-11-22 00:04:30 +0000 | <ski> | index (Cons x xs) = f |
| 2023-11-22 00:04:31 +0000 | <ski> | where |
| 2023-11-22 00:04:36 +0000 | <ski> | f 0 = x |
| 2023-11-22 00:04:50 +0000 | <ski> | (index -> \n -> f (n + 1)) = xs |
| 2023-11-22 00:04:51 +0000 | <ski> | or |
| 2023-11-22 00:04:59 +0000 | <ski> | \n -> f (n + 1) = index xs |
| 2023-11-22 00:05:00 +0000 | <ski> | or |
| 2023-11-22 00:05:06 +0000 | <ski> | f (n + 1) = index xs n |
| 2023-11-22 00:07:01 +0000 | <ski> | @let tabulate :: Ix i => (i,i) -> (i -> e) -> Array i e; tabulate ix f = listArray [f i | i <- range ix] |
| 2023-11-22 00:07:02 +0000 | <lambdabot> | /sandbox/tmp/.L.hs:175:17: error: |
| 2023-11-22 00:07:02 +0000 | <lambdabot> | • Couldn't match expected type ‘Array i e’ |
| 2023-11-22 00:07:02 +0000 | <lambdabot> | with actual type ‘[e0] -> Array i0 e0’ |
| 2023-11-22 00:07:10 +0000 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-11-22 00:07:15 +0000 | <ski> | @let tabulate :: Ix i => (i,i) -> (i -> e) -> Array i e; tabulate ix f = listArray ix [f i | i <- range ix] |
| 2023-11-22 00:07:17 +0000 | <lambdabot> | Defined. |
| 2023-11-22 00:07:42 +0000 | <ski> | @let memoArray :: Ix i => (i -> e) -> (i -> e); memoArray f = (tabulate f !) |
| 2023-11-22 00:07:43 +0000 | <lambdabot> | /sandbox/tmp/.L.hs:177:16: error: |
| 2023-11-22 00:07:43 +0000 | <lambdabot> | Ambiguous occurrence ‘tabulate’ |
| 2023-11-22 00:07:43 +0000 | <lambdabot> | It could refer to |
| 2023-11-22 00:07:50 +0000 | <ski> | @let memoArray :: Ix i => (i -> e) -> (i -> e); memoArray f = (L.tabulate f !) |
| 2023-11-22 00:07:51 +0000 | <lambdabot> | /sandbox/tmp/.L.hs:177:16: error: |
| 2023-11-22 00:07:51 +0000 | <lambdabot> | • Couldn't match expected type ‘Array i e’ |
| 2023-11-22 00:07:51 +0000 | <lambdabot> | with actual type ‘(i0 -> e0) -> Array i0 e0’ |
| 2023-11-22 00:08:15 +0000 | <ski> | er, sorry, need ix |
| 2023-11-22 00:08:24 +0000 | <ski> | @let memoArray :: Ix i => (i,i) -> (i -> e) -> (i -> e); memoArray ix f = (L.tabulate ix f !) |
| 2023-11-22 00:08:26 +0000 | <lambdabot> | Defined. |
| 2023-11-22 00:09:13 +0000 | <monochrom> | Oh yeah that's Löb's combinator. :) |
| 2023-11-22 00:09:27 +0000 | <ski> | > let (memoArray (0,12) -> fib12) = \case 0 -> 0; 1 -> 1; n -> fib12 (n-1) + fib12 (n-2) in map fib12 [0 .. 12] |
| 2023-11-22 00:09:28 +0000 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144] |
| 2023-11-22 00:09:46 +0000 | <ski> | (just to illustrate that you can use view patterns also in pattern definitions, not just in arguments in function definitions) |
| 2023-11-22 00:10:07 +0000 | <ski> | .. unfortunately, `(memoArray (0,12) -> fib12) n' does not work, though, no parse |
| 2023-11-22 00:10:20 +0000 | <ski> | (not quite Löb, just memoing) |
| 2023-11-22 00:12:11 +0000 | <ski> | monochrom : anyway, in `\n -> f (n + 1)', the pattern `n + 1' binds `n' (`NPlusKPatterns'), and is used in the expression `n' in the `\n ->' part |
| 2023-11-22 00:12:32 +0000 | <ski> | (and is discharged above that, when we transition from definiendum to pattern) |
| 2023-11-22 00:12:42 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 00:13:25 +0000 | <ski> | (guess i could have said `\(n - 1) -> f n' instead. but then you have to think about ordering. probably should be left-to-right anyway) |
| 2023-11-22 00:13:41 +0000 | <ski> | monochrom : makes sense, now ? |
| 2023-11-22 00:14:25 +0000 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |
| 2023-11-22 00:14:45 +0000 | <ski> | imagine writing |
| 2023-11-22 00:15:21 +0000 | <ski> | map (\x -> y)@(map -> \xs -> ys) (x:xs) = y:ys |
| 2023-11-22 00:15:40 +0000 | <ski> | there's lots of fun stuff like that one could possibly be doing |
| 2023-11-22 00:15:57 +0000 | <ski> | (of course, whether one *should* is another question. but it would be nice to have the option, i think) |
| 2023-11-22 00:16:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-22 00:17:22 +0000 | <ski> | anyway, the pattern `\<expr> -> <pat>' (not the `<defd>' version) is equivalent to `($ <expr>) -> <pat>' (view patterns) |
| 2023-11-22 00:17:25 +0000 | tv | (~tv@user/tv) (Ping timeout: 245 seconds) |
| 2023-11-22 00:18:00 +0000 | <zzz> | in the same vein from my previous example: https://paste.jrvieira.com/1700612270215 |
| 2023-11-22 00:18:01 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-22 00:18:08 +0000 | <ski> | an observation on a function amounts to feeding it some input, and seeing what the corresponding output is |
| 2023-11-22 00:19:07 +0000 | <ski> | (i got the idea of observation here from "Topolog Via Logic" by Steven Vickers. it's about semantics, lattices, frames, and such. but i figured one should be able to use this as syntax for a feature in pattern-matching) |
| 2023-11-22 00:20:15 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-11-22 00:21:15 +0000 | <ski> | zzz : unfortunatly, no result type signatures in definiendums :( |
| 2023-11-22 00:21:21 +0000 | <ski> | (this is also something i miss from SML) |
| 2023-11-22 00:21:47 +0000 | <ski> | (also, your second piece of code has type errors .. but that's a fixable issue) |
| 2023-11-22 00:22:03 +0000 | <zzz> | (yes i fixed it as soon i saw it) |
| 2023-11-22 00:22:05 +0000 | <ski> | f x :: Bool |
| 2023-11-22 00:22:15 +0000 | <ski> | | x = id x |
| 2023-11-22 00:22:17 +0000 | <ski> | | otherwise | not x |
| 2023-11-22 00:22:32 +0000 | <ski> | .. not sure if you could avoid repeaing `x' there |
| 2023-11-22 00:23:21 +0000 | <ski> | (of course, you could also say `f (x :: Bool) :: Bool', a la SML. except that, no result type signatures) |
| 2023-11-22 00:24:06 +0000 | <ski> | map (\(_ :: a) -> _ :: b) (_ !! _ :: a) !! _ :: b |
| 2023-11-22 00:24:25 +0000 | <ski> | (just going nuts with "Declaration follows use." a la C) |
| 2023-11-22 00:24:55 +0000 | <zzz> | i guess what triggers me is that guards are allowed in value definitions in the first place |
| 2023-11-22 00:25:05 +0000 | <ski> | why ? |
| 2023-11-22 00:25:15 +0000 | <ski> | it's quite handy, at times |
| 2023-11-22 00:25:23 +0000 | <zzz> | dont get me wrong, i love it |
| 2023-11-22 00:25:28 +0000 | Guest16 | (~Guest16@c-73-181-110-71.hsd1.co.comcast.net) |
| 2023-11-22 00:25:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-11-22 00:25:34 +0000 | <ski> | .. of course, i'd still want proper definition conditionals, and definition `case's |
| 2023-11-22 00:25:45 +0000 | <zzz> | but it gives rise to these "inconsistencies" |
| 2023-11-22 00:25:47 +0000 | califax | (~califax@user/califx) |
| 2023-11-22 00:26:10 +0000 | <ski> | what's the inconsistency that you have in mind ? |
| 2023-11-22 00:26:12 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-11-22 00:26:20 +0000 | <ski> | if ... |
| 2023-11-22 00:26:24 +0000 | <ski> | then |
| 2023-11-22 00:26:27 +0000 | Guest16 | (~Guest16@c-73-181-110-71.hsd1.co.comcast.net) (Client Quit) |
| 2023-11-22 00:26:30 +0000 | <ski> | f x = ..x.. |
| 2023-11-22 00:26:32 +0000 | <ski> | else |
| 2023-11-22 00:26:34 +0000 | <ski> | f x = ..x.. |
| 2023-11-22 00:26:37 +0000 | <ski> | please ^ |
| 2023-11-22 00:27:13 +0000 | <zzz> | oh no. why would you want that? |
| 2023-11-22 00:27:29 +0000 | <ski> | alternate definitions, depending on context |
| 2023-11-22 00:27:39 +0000 | <ski> | said context could e.g. be referring to platform constants |
| 2023-11-22 00:27:59 +0000 | <ski> | (in that case, an implementation could dead-code-eliminate away all but one definition) |
| 2023-11-22 00:28:45 +0000 | <ski> | local |
| 2023-11-22 00:28:52 +0000 | <ski> | f x = ..x..f..g.. |
| 2023-11-22 00:28:58 +0000 | <ski> | g x = ..x..f..g.. |
| 2023-11-22 00:29:00 +0000 | <ski> | in |
| 2023-11-22 00:29:15 +0000 | <ski> | h x = ..x..f..g..h..i.. |
| 2023-11-22 00:29:21 +0000 | <ski> | i x y = ..x..y..f..g..h..i.. |
| 2023-11-22 00:29:27 +0000 | <ski> | is also useful, sometimes |
| 2023-11-22 00:29:43 +0000 | <ski> | (basically a `let'-`in' at declaration level) |
| 2023-11-22 00:29:52 +0000 | <ski> | `f' and `g' are local, `h' and `i' are not |
| 2023-11-22 00:30:06 +0000 | <zzz> | i see |
| 2023-11-22 00:30:12 +0000 | <ski> | consider how many times you've said |
| 2023-11-22 00:30:18 +0000 | <ski> | foobar ... = (foo,bar) |
| 2023-11-22 00:30:20 +0000 | <ski> | where |
| 2023-11-22 00:30:23 +0000 | <ski> | foo x = ... |
| 2023-11-22 00:30:27 +0000 | <ski> | bar y z = ... |
| 2023-11-22 00:31:31 +0000 | <ski> | er, sorry, `foobar ...' was supposed to be `(myFoo,myBar)', in this case. allowing parameters is more complicated, i think |
| 2023-11-22 00:31:45 +0000 | <ski> | basically, you want some local defi |
| 2023-11-22 00:31:54 +0000 | <ski> | nitions scope over multiple declarations |
| 2023-11-22 00:32:27 +0000 | <ski> | of course, one can use modules for hiding local stuff. but often i want more finegrained control, for longer modules |
| 2023-11-22 00:34:33 +0000 | <ski> | .. i'd also like special support for `if' and `case' inside do, so that branches would contain sequences of commands (*without* starting a new `do', and without needing to end with an expression) |
| 2023-11-22 00:34:38 +0000 | <ski> | if ... |
| 2023-11-22 00:34:40 +0000 | <ski> | then |
| 2023-11-22 00:34:48 +0000 | <ski> | putStrLn ... |
| 2023-11-22 00:34:57 +0000 | <ski> | (x,y) <- ... |
| 2023-11-22 00:35:00 +0000 | <ski> | else |
| 2023-11-22 00:35:04 +0000 | <ski> | x <- ... |
| 2023-11-22 00:35:07 +0000 | <ski> | ... |
| 2023-11-22 00:35:10 +0000 | <ski> | y <- ... |
| 2023-11-22 00:35:25 +0000 | <ski> | and `x' and `y' are in scope after this |
| 2023-11-22 00:36:11 +0000 | <ski> | it should also be possible to apply some wrapper function around a subsequence of commands, as long as that wrapper function is *polymorphic* in the result |
| 2023-11-22 00:36:24 +0000 | <ski> | so, has type `forall a. m a -> m a' |
| 2023-11-22 00:36:47 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 00:37:11 +0000 | <ski> | (btw, Erlang has this "bind a variable in all branches, it's then in scope afterwards" thing. it got it from Prolog) |
| 2023-11-22 00:38:12 +0000 | mmhat | (~mmh@p200300f1c70fae30ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1) |
| 2023-11-22 00:38:16 +0000 | <ski> | (that stuff about polymorphism already exists for `TransformListComp' (SQL-like additions like "group" and some more)) |
| 2023-11-22 00:38:51 +0000 | <ski> | (iirc, the "wrapper function" thing also exist for arrow syntax) |
| 2023-11-22 00:40:24 +0000 | <ski> | .. i guess one could also allow `forall a. m a -> m (a,t)' (or so), and then you'd have to do `z <- if ....', where `z' gets type `t' |
| 2023-11-22 00:41:44 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-22 00:45:53 +0000 | shapr | (~user@2600:1700:c640:3100:10bd:417a:786b:3407) (Remote host closed the connection) |
| 2023-11-22 00:46:07 +0000 | shapr | (~user@2600:1700:c640:3100:740e:a0c5:306f:88bb) |
| 2023-11-22 00:50:19 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-22 00:51:12 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2023-11-22 00:55:50 +0000 | <monochrom> | ski: Between Löb and memoization: http://www.vex.net/~trebla/tmp/Loeb.hs |
| 2023-11-22 00:56:57 +0000 | <monochrom> | TLDR: ((Int -> a) -> (Int -> a)) -> Int -> a ≅ (Int -> ((Int -> a) -> -> a)) -> Int -> a ≅ [] ([]a -> a) -> [] a (or replace [] by any functor that Int-> represents) |
| 2023-11-22 00:57:00 +0000 | <ski> | yea, i would've used `($ xs) <$>' |
| 2023-11-22 00:57:12 +0000 | <ski> | (no need for `Applicative') |
| 2023-11-22 00:57:28 +0000 | <ski> | ah, i see you do, later :) |
| 2023-11-22 00:58:20 +0000 | <monochrom> | I think I started with generalizing from "x = f x" to "x = foo <*> pure x". |
| 2023-11-22 00:58:51 +0000 | <monochrom> | Natural intuitive generalizations are often suboptimal generalizations. :) |
| 2023-11-22 00:59:30 +0000 | <ski> | yep, you're basically using `memoFix :: Ix i => (i,i) -> ((i -> e) -> (i -> e)) -> (i -> e)', which is fine. difference with mine is that i inserted the `memoArray' into the recursive cycle directly, rather than factoring out recursion |
| 2023-11-22 01:00:05 +0000 | <ski> | it's nice, i hadn't even thought of approaching it starting from `Applicative' |
| 2023-11-22 01:00:50 +0000 | <ski> | ah .. that translation from `memoFix'/`memo_list' to `loeb' is indeed quite nice :) |
| 2023-11-22 01:02:10 +0000 | <ski> | (i see you're using the name `tabulate' as well, i shouldn't be surprised, given that you're well familiar with SML ;) |
| 2023-11-22 01:02:23 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-11-22 01:03:16 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) |
| 2023-11-22 01:03:27 +0000 | <monochrom> | Hrm, I didn't get the name "tabulate" from SML. But I got it from the Hutton APLicative paper linked there. |
| 2023-11-22 01:03:30 +0000 | califax | (~califax@user/califx) |
| 2023-11-22 01:05:01 +0000 | <ski> | btw, if you haven't seen it before : "(The Cartoon Guide to) Löb's Theorem" by Eliezer Yudkowsky(,with thanks to Torkel Franzén,Marcello Herreshoff) in 2008 at <https://web.archive.org/web/20150430235615/http://www.yudkowsky.net/assets/44/LobsTheorem.pdf> |
| 2023-11-22 01:05:23 +0000 | <ski> | ah, probably Hutton got it from there, then |
| 2023-11-22 01:07:05 +0000 | <ski> | oh, and yes, the proof of Löb is basically the fixed-point combinator, with some quasiquotations thrown into the mix |
| 2023-11-22 01:07:30 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2023-11-22 01:07:32 +0000 | <ski> | (instructive to try, in Scheme) |
| 2023-11-22 01:08:22 +0000 | <ski> | - List.tabulate; |
| 2023-11-22 01:08:31 +0000 | <ski> | val it = fn : int * (int -> 'a) -> 'a list |
| 2023-11-22 01:08:59 +0000 | <ski> | (also in `Vector' and `Array') |
| 2023-11-22 01:09:28 +0000 | <ski> | @type Data.Vector.generate |
| 2023-11-22 01:09:29 +0000 | <lambdabot> | Int -> (Int -> a) -> Data.Vector.Vector a |
| 2023-11-22 01:11:54 +0000 | <ski> | non-Springer : <https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/aplicative.pdf> |
| 2023-11-22 01:12:03 +0000 | <ski> | (haven't seen this one before, ty) |
| 2023-11-22 01:12:33 +0000 | mima | (~mmh@aftr-62-216-211-248.dynamic.mnet-online.de) (Ping timeout: 256 seconds) |
| 2023-11-22 01:13:28 +0000 | <ski> | also relevant "What is a Naperian container?" <https://web.archive.org/web/20160325011523/http://sneezy.cs.nott.ac.uk/containers/blog/?p=14> |
| 2023-11-22 01:16:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2023-11-22 01:16:51 +0000 | <ski> | oh, also re arrays : "Multi-dimensional array views for systems programmers" by pervognsen (Per Vognsen) at 2019-01-20(?) - 2019-04-30 at <https://gist.github.com/pervognsen/0e1be3b683d62b16fd81381c909bf67e> is quite interesting |
| 2023-11-22 01:19:07 +0000 | <ski> | (this also ties into addition,multiplication,exponentiation on naturals (related to lists, continuations, and logic programming), and related operations on `Fin n' .. addition is "laying out side by side", multiplication is "coordinates", and exponentiation is "base numeral system") |
| 2023-11-22 01:19:45 +0000 | <ski> | (well, you could say "offsets", rather than "laying out side by side") |
| 2023-11-22 01:20:37 +0000 | <ski> | the lifting from scalar in the paper is related to ellipsis patterns and templates in `syntax-rules' in Scheme |
| 2023-11-22 01:24:31 +0000 | <monochrom> | Ugh, now my paper collection has an aplicative.pdf and an Applicative.pdf. Not confuing at all. :) |
| 2023-11-22 01:26:43 +0000 | <EvanR> | good thing your filesystem isn't case insensitive AND run-length insensitive |
| 2023-11-22 01:27:05 +0000 | <monochrom> | haha imagine a running-length-insensitive system |
| 2023-11-22 01:28:36 +0000 | <ski> | no repetition for you |
| 2023-11-22 01:29:01 +0000 | <ski> | now i'm wondering how much that decreases number of bits |
| 2023-11-22 01:29:52 +0000 | <ski> | instead of `d^n', we get `d*(d-1)^(n-1)' |
| 2023-11-22 01:30:02 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) (Ping timeout: 256 seconds) |
| 2023-11-22 01:30:39 +0000 | <monochrom> | Yeah |
| 2023-11-22 01:31:10 +0000 | <ski> | (log d + (n-1) * log (d-1)) / (n * log d) |
| 2023-11-22 01:31:45 +0000 | <ski> | 1/n + ((n-1)/n) * (log (d-1))/(log d) |
| 2023-11-22 01:36:50 +0000 | <ski> | anyway, that `Log f' in `Naperian f' reminds me of elasticity of demand, `E f'. where `E f * f a = D f a * a'. `D f a' is the one-hole context, and `E f' is the path |
| 2023-11-22 01:41:18 +0000 | <ski> | (hm, their `Log f = p', if `f a = p -> a' (all `a'), doesn't look like an exact analogy. i suppose you could say `Log f = Log_a (f a)' for all `a' (iow, assuming constancy)) |
| 2023-11-22 01:43:08 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 01:48:01 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-22 02:00:16 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-11-22 02:00:44 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-22 02:02:54 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 256 seconds) |
| 2023-11-22 02:09:05 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-11-22 02:10:11 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2023-11-22 02:29:56 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 02:31:47 +0000 | ft_ | (~ft@p508db3bc.dip0.t-ipconnect.de) |
| 2023-11-22 02:33:35 +0000 | ft | (~ft@p508db3bc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-11-22 02:33:37 +0000 | ft_ | ft |
| 2023-11-22 02:34:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5540:e72e:d839:e215) (Ping timeout: 256 seconds) |
| 2023-11-22 02:34:43 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-22 02:37:56 +0000 | phma | (phma@2001:5b0:210b:89e8:2742:c8bf:8662:607d) (Read error: Connection reset by peer) |
| 2023-11-22 02:38:20 +0000 | phma | (phma@2001:5b0:210b:89e8:2742:c8bf:8662:607d) |
| 2023-11-22 02:58:43 +0000 | <hammond> | so template haskell is the macro system for haskell kinda? |
| 2023-11-22 03:02:32 +0000 | otto_s | (~user@p5b044278.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-11-22 03:03:09 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-22 03:03:09 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-11-22 03:03:09 +0000 | finn_elija | FinnElija |
| 2023-11-22 03:03:58 +0000 | otto_s | (~user@p4ff27388.dip0.t-ipconnect.de) |
| 2023-11-22 03:07:11 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2023-11-22 03:07:34 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-22 03:09:39 +0000 | <ski> | hammond : kinda |
| 2023-11-22 03:11:53 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-11-22 03:14:59 +0000 | td_ | (~td@i5387093B.versanet.de) (Ping timeout: 264 seconds) |
| 2023-11-22 03:15:28 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2023-11-22 03:16:14 +0000 | td_ | (~td@i53870926.versanet.de) |
| 2023-11-22 03:16:23 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 03:16:43 +0000 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2023-11-22 03:16:55 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-11-22 03:19:35 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-11-22 03:28:46 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) |
| 2023-11-22 03:36:54 +0000 | Guest20 | (~Guest21@2607:fea8:4ce3:8b00:4068:4af2:ef01:b2ee) |
| 2023-11-22 03:37:52 +0000 | <hammond> | ski i havent seen how it worked, but can you change the syntax of the language with it for example? |
| 2023-11-22 03:38:01 +0000 | <hammond> | ppl make it sound complex. |
| 2023-11-22 03:38:19 +0000 | Guest20 | (~Guest21@2607:fea8:4ce3:8b00:4068:4af2:ef01:b2ee) (Client Quit) |
| 2023-11-22 03:38:58 +0000 | <ski> | not really. you write `$(foo bar baz)' to splice in code that's executed at compile-time |
| 2023-11-22 03:39:50 +0000 | <ski> | you can also have quasiquotations, `[foo| ... ]', where `foo' gets passed `...' as a string |
| 2023-11-22 03:40:34 +0000 | <ski> | but it's not really for custom concrete syntax (the way that CamlP4 in OCaml works, e.g.) |
| 2023-11-22 03:41:50 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-11-22 03:41:54 +0000 | <hammond> | I see. |
| 2023-11-22 03:41:54 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) (Read error: Connection reset by peer) |
| 2023-11-22 03:42:10 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) |
| 2023-11-22 03:43:11 +0000 | m257 | (~maaz@bras-base-hspron0502w-grc-02-184-147-203-180.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2023-11-22 03:43:39 +0000 | <ski> | (reminds me of a project with quasiquotations, interpreting (parsing) the body as Haskell, but then translating that in an interesting way, that i haven't worked on in a while) |
| 2023-11-22 03:47:19 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2023-11-22 03:47:36 +0000 | shapr | (~user@2600:1700:c640:3100:740e:a0c5:306f:88bb) (Remote host closed the connection) |
| 2023-11-22 03:47:49 +0000 | shapr | (~user@2600:1700:c640:3100:695f:d0b:a0eb:640c) |
| 2023-11-22 03:50:25 +0000 | lottaquestions_ | (~nick@2607:fa49:503d:b200:33ec:47ab:d48a:3020) |
| 2023-11-22 03:50:43 +0000 | lottaquestions | (~nick@2607:fa49:503d:b200:103e:31e4:ac33:5629) (Ping timeout: 260 seconds) |
| 2023-11-22 03:50:49 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Remote host closed the connection) |
| 2023-11-22 03:52:14 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2023-11-22 03:59:57 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-11-22 04:02:41 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-11-22 04:04:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) (Remote host closed the connection) |
| 2023-11-22 04:05:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) |
| 2023-11-22 04:06:44 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-11-22 04:10:04 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) (Ping timeout: 276 seconds) |
| 2023-11-22 04:18:50 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-11-22 04:20:20 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-22 04:21:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) |
| 2023-11-22 04:41:52 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 04:45:37 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2023-11-22 04:46:07 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds) |
| 2023-11-22 04:46:35 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 04:48:24 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 04:48:31 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-11-22 04:49:50 +0000 | rosco | (~rosco@175.136.157.149) |
| 2023-11-22 04:50:54 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 04:50:57 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 04:51:32 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 04:51:32 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 04:53:50 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-11-22 04:54:51 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 04:54:54 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 04:55:47 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-22 04:57:32 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 04:57:33 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 04:59:58 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:00:57 +0000 | aforemny_ | (~aforemny@i59F516C5.versanet.de) |
| 2023-11-22 05:02:14 +0000 | aforemny | (~aforemny@2001:9e8:6cda:4700:b553:6b25:ff55:5d85) (Ping timeout: 260 seconds) |
| 2023-11-22 05:02:21 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:05:06 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:05:07 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:07:31 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:07:51 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:10:17 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:11:55 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:16:46 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:20:50 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:23:23 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:23:24 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:23:55 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:23:58 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:26:36 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:26:36 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:27:12 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-11-22 05:29:36 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:31:58 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:32:28 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:32:29 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:32:31 +0000 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2023-11-22 05:33:08 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:33:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-11-22 05:33:28 +0000 | califax | (~califax@user/califx) |
| 2023-11-22 05:36:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-11-22 05:37:03 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:39:34 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:39:47 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:42:10 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:42:13 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 05:42:33 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:45:01 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:45:02 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:45:32 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:45:33 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:46:14 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:46:15 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:46:44 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-22 05:47:14 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:47:17 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:47:57 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:47:58 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:52:46 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:53:05 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 05:55:22 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 05:59:43 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-22 06:14:34 +0000 | zetef | (~quassel@95.77.17.251) |
| 2023-11-22 06:17:54 +0000 | yaxe1 | (~yaxe1@user/yaxe1) |
| 2023-11-22 06:19:23 +0000 | trev | (~trev@user/trev) |
| 2023-11-22 06:22:47 +0000 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) |
| 2023-11-22 06:23:23 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-11-22 06:24:44 +0000 | yaxe1_ | (~yaxe1@user/yaxe1) |
| 2023-11-22 06:27:54 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:47b6:3219:584d:839) |
| 2023-11-22 06:28:47 +0000 | yaxe1 | (~yaxe1@user/yaxe1) (Ping timeout: 264 seconds) |
| 2023-11-22 06:34:51 +0000 | yaxe1_ | (~yaxe1@user/yaxe1) (Ping timeout: 256 seconds) |
| 2023-11-22 06:46:58 +0000 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-22 07:04:47 +0000 | acidjnk | (~acidjnk@p200300d6e72b93351de783cd8454c847.dip0.t-ipconnect.de) |
| 2023-11-22 07:05:01 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2023-11-22 07:07:29 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-22 07:10:22 +0000 | ubert | (~Thunderbi@178.115.68.48.wireless.dyn.drei.com) |
| 2023-11-22 07:14:13 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-11-22 07:14:30 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-11-22 07:17:04 +0000 | califax | (~califax@user/califx) |
| 2023-11-22 07:18:24 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-11-22 07:20:31 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-11-22 07:25:12 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-22 07:31:34 +0000 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 260 seconds) |
| 2023-11-22 07:38:30 +0000 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 2023-11-22 07:39:00 +0000 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2023-11-22 07:39:37 +0000 | lortabac | (~lorenzo@2a01:e0a:541:b8f0:ec7c:79cd:c63a:f4f8) |
| 2023-11-22 07:41:33 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-11-22 07:42:22 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-11-22 07:42:51 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-11-22 07:43:55 +0000 | SrPx | (sid108780@uxbridge.irccloud.com) |
| 2023-11-22 07:44:10 +0000 | davetapley | (sid666@id-666.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2023-11-22 07:45:58 +0000 | SrPx | (sid108780@uxbridge.irccloud.com) (Max SendQ exceeded) |
| 2023-11-22 07:46:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-22 07:46:33 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2023-11-22 07:47:42 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 2023-11-22 07:47:42 +0000 | davetapley | (sid666@uxbridge.irccloud.com) |
| 2023-11-22 07:48:16 +0000 | SrPx | (sid108780@uxbridge.irccloud.com) |
| 2023-11-22 07:49:40 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2023-11-22 07:50:37 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 2023-11-22 07:51:58 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-11-22 07:54:01 +0000 | yaxe1 | (~yaxe1@user/yaxe1) |
| 2023-11-22 07:54:52 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2023-11-22 08:01:24 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-22 08:01:43 +0000 | zetef | (~quassel@95.77.17.251) |
| 2023-11-22 08:02:47 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-11-22 08:03:22 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:47b6:3219:584d:839) (Ping timeout: 246 seconds) |
| 2023-11-22 08:04:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-22 08:05:53 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:2854:b41c:efae:b69b) |
| 2023-11-22 08:06:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-22 08:13:57 +0000 | ThofVe | (~ThofVe@178.208.16.70) |
| 2023-11-22 08:19:04 +0000 | poscat0x04 | (~poscat@user/poscat) |
| 2023-11-22 08:19:20 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-11-22 08:20:15 +0000 | nucranium | (~nucranium@2a02:8010:6173:0:7d81:65c5:a598:8bba) |
| 2023-11-22 08:20:53 +0000 | CiaoSen | (~Jura@2a05:5800:27e:6600:2a3a:4dff:fe84:dbd5) |
| 2023-11-22 08:20:58 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
| 2023-11-22 08:24:20 +0000 | mima | (~mmh@aftr-62-216-211-165.dynamic.mnet-online.de) |
| 2023-11-22 08:25:25 +0000 | nucranium | (~nucranium@2a02:8010:6173:0:7d81:65c5:a598:8bba) (Quit: WeeChat 4.0.5) |
| 2023-11-22 08:29:16 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 08:31:00 +0000 | <Athas> | Is there a package on Hackage that exposes the entire C math.h library? |
| 2023-11-22 08:36:40 +0000 | <probie> | Is there much incentive to write one? You can already just use them with something like `foreign import unsafe "capi" "math.h atan2" c_atan2 :: Double -> Double -> Double` |
| 2023-11-22 08:36:56 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-11-22 08:37:32 +0000 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-22 08:41:58 +0000 | <Athas> | Yeah, that's what I do. But maybe I can be the last one to do so. |
| 2023-11-22 08:42:02 +0000 | Shock_ | (~shOkEy@85-238-77-96.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-11-22 08:42:12 +0000 | <Athas> | It is somewhat annoying that they are not already in base somewhere. |
| 2023-11-22 08:42:26 +0000 | <Lycurgus> | nothing to generate that? |
| 2023-11-22 08:42:30 +0000 | <Athas> | I'm not sure base has any way to round floats properly, actually. |
| 2023-11-22 08:51:36 +0000 | fendor | (~fendor@2a02:8388:1640:be00:8705:c56:c793:802b) |
| 2023-11-22 08:51:47 +0000 | <probie> | It has ways to round them to `Int`s and `Integer`s, and then you can convert them back, but I guess that's awkward since it won't handle NaN or infinities properly |
| 2023-11-22 08:54:38 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-11-22 08:54:47 +0000 | shapr | (~user@2600:1700:c640:3100:695f:d0b:a0eb:640c) (Remote host closed the connection) |
| 2023-11-22 08:55:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-22 08:55:01 +0000 | shapr | (~user@2600:1700:c640:3100:e532:46ea:2417:b949) |
| 2023-11-22 08:58:22 +0000 | cstml | (~cstml@user/cstml) (Ping timeout: 260 seconds) |
| 2023-11-22 08:58:48 +0000 | ThofVe | (~ThofVe@178.208.16.70) (Ping timeout: 250 seconds) |
| 2023-11-22 08:59:43 +0000 | chele | (~chele@user/chele) |
| 2023-11-22 09:00:05 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 240 seconds) |
| 2023-11-22 09:03:04 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-22 09:04:04 +0000 | ThofVe | (~ThofVe@178.208.16.70) |
| 2023-11-22 09:05:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-22 09:10:34 +0000 | Shock_ | (~shOkEy@178-164-206-123.pool.digikabel.hu) |
| 2023-11-22 09:11:43 +0000 | dhil | (~dhil@2001:8e0:2014:3100:5987:a1c5:570d:50dd) |
| 2023-11-22 09:17:23 +0000 | forell | (~forell@user/forell) (Ping timeout: 264 seconds) |
| 2023-11-22 09:17:29 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2023-11-22 09:18:28 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-11-22 09:23:16 +0000 | yaxe1 | (~yaxe1@user/yaxe1) (Remote host closed the connection) |
| 2023-11-22 09:24:53 +0000 | yaxe1 | (~yaxe1@user/yaxe1) |
| 2023-11-22 09:25:02 +0000 | yaxe1 | (~yaxe1@user/yaxe1) (Remote host closed the connection) |
| 2023-11-22 09:25:15 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-22 09:29:04 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-22 09:37:51 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-11-22 09:38:16 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-11-22 09:39:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19c0:53d0:5da5:a978) (Remote host closed the connection) |
| 2023-11-22 09:42:50 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-11-22 09:43:13 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 09:43:56 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds) |
| 2023-11-22 09:46:08 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-11-22 09:46:54 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-22 09:47:53 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-22 09:53:14 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-11-22 09:53:32 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-11-22 09:56:55 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-11-22 09:57:09 +0000 | Jackneill_ | (~Jackneill@20014C4E1E1205003CA6608F8946CB70.dsl.pool.telekom.hu) |
| 2023-11-22 10:00:32 +0000 | danse-nr3 | (~danse@151.57.186.185) |
| 2023-11-22 10:00:39 +0000 | zetef | (~quassel@95.77.17.251) |
| 2023-11-22 10:05:39 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-22 10:05:47 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2023-11-22 10:06:51 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-11-22 10:07:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2023-11-22 10:08:16 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-11-22 10:11:52 +0000 | hays | (rootvegeta@fsf/member/hays) |
| 2023-11-22 10:12:01 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2023-11-22 10:13:53 +0000 | mmhat | (~mmh@p200300f1c70fae30ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-11-22 10:16:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 10:17:08 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-11-22 10:19:37 +0000 | zetef | (~quassel@95.77.17.251) |
| 2023-11-22 10:22:32 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2023-11-22 10:37:43 +0000 | rosco | (~rosco@175.136.157.149) |
| 2023-11-22 10:38:46 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 246 seconds) |
| 2023-11-22 10:40:50 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-11-22 10:42:34 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-22 10:45:30 +0000 | gawen | (~gawen@user/gawen) |
| 2023-11-22 10:46:52 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-22 10:47:45 +0000 | img | (~img@user/img) |
| 2023-11-22 10:52:44 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-22 10:53:37 +0000 | img | (~img@user/img) |
| 2023-11-22 11:03:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 245 seconds) |
| 2023-11-22 11:03:46 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-22 11:04:28 +0000 | euleritian | (~euleritia@dynamic-046-114-200-003.46.114.pool.telefonica.de) |
| 2023-11-22 11:04:53 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2023-11-22 11:05:01 +0000 | mixfix41 | (~plaguedog@user/mixfix41) (Ping timeout: 268 seconds) |
| 2023-11-22 11:05:31 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-11-22 11:07:29 +0000 | CiaoSen | (~Jura@2a05:5800:27e:6600:2a3a:4dff:fe84:dbd5) (Ping timeout: 268 seconds) |
| 2023-11-22 11:10:15 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:2854:b41c:efae:b69b) (Ping timeout: 256 seconds) |
| 2023-11-22 11:12:50 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7037:3ff0:3081:873c) |
| 2023-11-22 11:13:38 +0000 | euleritian | (~euleritia@dynamic-046-114-200-003.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-22 11:13:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-22 11:18:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-11-22 11:19:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-22 11:20:30 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2023-11-22 11:21:04 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-11-22 11:22:04 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-11-22 11:22:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-11-22 11:23:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-22 11:23:20 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-11-22 11:25:41 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2023-11-22 11:26:50 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-11-22 11:28:36 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-11-22 11:31:34 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-22 11:31:41 +0000 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2023-11-22 11:33:03 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2023-11-22 11:36:32 +0000 | kritzefitz_ | kritzefitz |
| 2023-11-22 11:38:55 +0000 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-22 11:42:26 +0000 | ubert | (~Thunderbi@178.115.68.48.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2023-11-22 11:42:46 +0000 | ubert | (~Thunderbi@178.115.68.48.wireless.dyn.drei.com) |
| 2023-11-22 11:43:34 +0000 | ubert | (~Thunderbi@178.115.68.48.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2023-11-22 11:43:54 +0000 | ThofVe | (~ThofVe@178.208.16.70) (Ping timeout: 250 seconds) |
| 2023-11-22 11:47:47 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-11-22 11:47:56 +0000 | euleritian | (~euleritia@dynamic-046-114-200-003.46.114.pool.telefonica.de) |
| 2023-11-22 11:48:45 +0000 | dhil | (~dhil@2001:8e0:2014:3100:5987:a1c5:570d:50dd) (Read error: Connection reset by peer) |
| 2023-11-22 11:52:11 +0000 | dhil | (~dhil@2001:8e0:2014:3100:e64:a377:2b5c:81b6) |
| 2023-11-22 11:56:17 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:96af:bfe:888:c717) |
| 2023-11-22 11:58:30 +0000 | ubert | (~Thunderbi@178.115.68.48.wireless.dyn.drei.com) |
| 2023-11-22 11:59:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-22 12:04:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-22 12:16:28 +0000 | shapr | (~user@2600:1700:c640:3100:e532:46ea:2417:b949) (Remote host closed the connection) |
| 2023-11-22 12:16:42 +0000 | shapr | (~user@2600:1700:c640:3100:29fc:a95f:cc8b:e3d5) |
| 2023-11-22 12:17:10 +0000 | fendor | (~fendor@2a02:8388:1640:be00:8705:c56:c793:802b) (Ping timeout: 256 seconds) |
| 2023-11-22 12:19:31 +0000 | danse-nr3 | (~danse@151.57.186.185) (Ping timeout: 256 seconds) |
| 2023-11-22 12:20:13 +0000 | danse-nr3 | (~danse@151.57.186.185) |
| 2023-11-22 12:33:56 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-22 12:36:31 +0000 | ThofVe | (~ThofVe@178.208.16.70) |
| 2023-11-22 12:37:07 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-11-22 12:47:56 +0000 | acidjnk | (~acidjnk@p200300d6e72b93351de783cd8454c847.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-22 12:55:20 +0000 | <cheater> | any ideas why Data.ByteString.Lazy doesn't have a putStrLn? |
| 2023-11-22 12:55:48 +0000 | <cheater> | seems like a weird thing not to have given it's in every other bytestring |
| 2023-11-22 12:57:42 +0000 | CodeGerrard | (~Gerr@197.221.253.209) |
| 2023-11-22 12:58:31 +0000 | acidjnk | (~acidjnk@p200300d6e72b933550e7445b70f008d5.dip0.t-ipconnect.de) |
| 2023-11-22 12:59:19 +0000 | danse-nr3 | (~danse@151.57.186.185) (Ping timeout: 255 seconds) |
| 2023-11-22 12:59:30 +0000 | danse-nr3 | (~danse@151.57.136.158) |
| 2023-11-22 13:00:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 13:06:59 +0000 | CiaoSen | (~Jura@2a05:5800:27e:6600:2a3a:4dff:fe84:dbd5) |
| 2023-11-22 13:08:46 +0000 | euleritian | (~euleritia@dynamic-046-114-200-003.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-22 13:09:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-22 13:09:37 +0000 | axeman | (~quassel@91.64.172.30) |
| 2023-11-22 13:11:41 +0000 | <ncf> | cheater: it was deprecated https://hackage.haskell.org/package/bytestring-0.10.8.2/docs/Data-ByteString-Lazy.html#v:putStrLn |
| 2023-11-22 13:12:28 +0000 | <cheater> | bewildering |
| 2023-11-22 13:13:28 +0000 | <cheater> | thanks for the investigative work |
| 2023-11-22 13:14:52 +0000 | <ncf> | well, moved |
| 2023-11-22 13:16:25 +0000 | leungbk | (~user@2603-8000-1201-2dd2-17dc-641e-3e10-b270.res6.spectrum.com) |
| 2023-11-22 13:16:37 +0000 | <cheater> | right |
| 2023-11-22 13:17:44 +0000 | <cheater> | well, at least we won't get unexpected errors once we all convert our terminals to only accept newlines in cuneiform |
| 2023-11-22 13:18:10 +0000 | <cheater> | try explaining *that* oversight to your great great great great grand kids |
| 2023-11-22 13:18:17 +0000 | <ncf> | itym ebcdic |
| 2023-11-22 13:18:35 +0000 | <cheater> | gread grandpa has a photo in his drawer of using ascii \n |
| 2023-11-22 13:18:52 +0000 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-11-22 13:19:39 +0000 | sefidel | (~sefidel@user/sefidel) |
| 2023-11-22 13:20:17 +0000 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-11-22 13:21:50 +0000 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!) |
| 2023-11-22 13:22:54 +0000 | <kuribas> | You should not be printing bytestrings. |
| 2023-11-22 13:23:03 +0000 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-22 13:23:04 +0000 | <kuribas> | bytestrings are just binary data, with no meaning. |
| 2023-11-22 13:23:28 +0000 | <kuribas> | How do you print it? As an image? As ascii? As zipped data? |
| 2023-11-22 13:23:42 +0000 | sefidel | (~sefidel@user/sefidel) |
| 2023-11-22 13:25:14 +0000 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Client Quit) |
| 2023-11-22 13:25:56 +0000 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-163-232.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2023-11-22 13:25:56 +0000 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-22 13:27:01 +0000 | leungbk | (~user@2603-8000-1201-2dd2-17dc-641e-3e10-b270.res6.spectrum.com) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-11-22 13:27:23 +0000 | leungbk | (~user@2603-8000-1201-2dd2-17dc-641e-3e10-b270.res6.spectrum.com) |
| 2023-11-22 13:27:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-11-22 13:28:13 +0000 | axeman | (~quassel@91.64.172.30) (Ping timeout: 255 seconds) |
| 2023-11-22 13:36:00 +0000 | ThofVe | (~ThofVe@178.208.16.70) (Quit: Client closed) |
| 2023-11-22 13:45:12 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 13:47:33 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.1.1) |
| 2023-11-22 13:48:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 2023-11-22 13:48:55 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 2023-11-22 13:50:23 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-22 13:50:48 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2023-11-22 13:58:55 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 268 seconds) |
| 2023-11-22 13:59:25 +0000 | mima | (~mmh@aftr-62-216-211-165.dynamic.mnet-online.de) (Ping timeout: 260 seconds) |
| 2023-11-22 13:59:50 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-22 14:01:01 +0000 | koz | (~koz@121.99.240.58) |
| 2023-11-22 14:01:46 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-11-22 14:02:10 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.1.1) |
| 2023-11-22 14:03:22 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2023-11-22 14:17:23 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2023-11-22 14:18:18 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-22 14:19:53 +0000 | danse-nr3 | (~danse@151.57.136.158) (Ping timeout: 268 seconds) |
| 2023-11-22 14:22:23 +0000 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!) |
| 2023-11-22 14:23:13 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 14:26:43 +0000 | CiaoSen | (~Jura@2a05:5800:27e:6600:2a3a:4dff:fe84:dbd5) (Ping timeout: 255 seconds) |
| 2023-11-22 14:28:22 +0000 | danse-nr3 | (~danse@151.57.136.158) |
| 2023-11-22 14:29:17 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2023-11-22 14:29:48 +0000 | CiaoSen | (~Jura@185.37.251.168) |
| 2023-11-22 14:29:59 +0000 | foul_owl | (~kerry@157.97.134.165) (Ping timeout: 264 seconds) |
| 2023-11-22 14:33:05 +0000 | edr | (~edr@user/edr) |
| 2023-11-22 14:42:26 +0000 | foul_owl | (~kerry@185.219.141.164) |
| 2023-11-22 14:51:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-22 15:04:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-22 15:07:00 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-22 15:07:02 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-11-22 15:07:17 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-11-22 15:10:10 +0000 | zetef | (~quassel@95.77.17.251) |
| 2023-11-22 15:14:46 +0000 | leungbk | (~user@2603-8000-1201-2dd2-17dc-641e-3e10-b270.res6.spectrum.com) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-11-22 15:15:06 +0000 | fendor | (~fendor@2a02:8388:1640:be00:8705:c56:c793:802b) |
| 2023-11-22 15:16:05 +0000 | Simikando | (~Simikando@bband-dyn93.95-103-156.t-com.sk) |
| 2023-11-22 15:18:50 +0000 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-22 15:25:04 +0000 | ski | (~ski@ext-1-042.eduroam.chalmers.se) (Ping timeout: 246 seconds) |
| 2023-11-22 15:26:35 +0000 | ski | (~ski@ext-1-042.eduroam.chalmers.se) |
| 2023-11-22 15:28:37 +0000 | danse-nr3 | (~danse@151.57.136.158) (Remote host closed the connection) |
| 2023-11-22 15:28:50 +0000 | mima | (~mmh@dhcp-138-246-3-127.dynamic.eduroam.mwn.de) |
| 2023-11-22 15:29:03 +0000 | danse-nr3 | (~danse@151.57.136.158) |
| 2023-11-22 15:30:14 +0000 | Jackneill | (~Jackneill@20014C4E1E120500F60962E32F241FFF.dsl.pool.telekom.hu) |
| 2023-11-22 15:30:30 +0000 | Jackneill_ | (~Jackneill@20014C4E1E1205003CA6608F8946CB70.dsl.pool.telekom.hu) (Ping timeout: 268 seconds) |
| 2023-11-22 15:31:13 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-11-22 15:39:14 +0000 | CiaoSen | (~Jura@185.37.251.168) (Ping timeout: 260 seconds) |
| 2023-11-22 15:41:39 +0000 | shapr | (~user@2600:1700:c640:3100:29fc:a95f:cc8b:e3d5) (Remote host closed the connection) |
| 2023-11-22 15:41:52 +0000 | shapr | (~user@2600:1700:c640:3100:5d65:223d:9bac:e160) |
| 2023-11-22 15:54:28 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 2023-11-22 15:55:51 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 15:57:57 +0000 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 260 seconds) |
| 2023-11-22 16:03:39 +0000 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2023-11-22 16:03:39 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.0) |
| 2023-11-22 16:08:56 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-11-22 16:09:57 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-22 16:10:05 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-21.dsl.bell.ca) |
| 2023-11-22 16:14:33 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 256 seconds) |
| 2023-11-22 16:16:25 +0000 | Simikando | (~Simikando@bband-dyn93.95-103-156.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-11-22 16:17:11 +0000 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-22 16:18:41 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2023-11-22 16:19:35 +0000 | Square | (~Square@user/square) |
| 2023-11-22 16:22:37 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2023-11-22 16:23:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-22 16:23:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 16:23:20 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-11-22 16:24:45 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-22 16:25:27 +0000 | Pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-22 16:25:37 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-11-22 16:28:19 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-11-22 16:28:57 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) |
| 2023-11-22 16:34:24 +0000 | koz_ | (~koz@121.99.240.58) |
| 2023-11-22 16:35:07 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2023-11-22 16:37:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-22 16:39:05 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-22 16:40:45 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-11-22 16:43:47 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2023-11-22 16:48:19 +0000 | koz_ | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-22 16:48:58 +0000 | koz | (~koz@121.99.240.58) |
| 2023-11-22 16:52:20 +0000 | shapr | (~user@2600:1700:c640:3100:5d65:223d:9bac:e160) (Remote host closed the connection) |
| 2023-11-22 16:52:35 +0000 | shapr | (~user@2600:1700:c640:3100:b285:ab20:7123:ee63) |
| 2023-11-22 16:56:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 16:56:31 +0000 | danse-nr3 | (~danse@151.57.136.158) (Read error: Connection reset by peer) |
| 2023-11-22 16:57:01 +0000 | danse-nr3 | (~danse@151.57.206.239) |
| 2023-11-22 16:57:20 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-22 16:58:49 +0000 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Quit: Leaving.) |
| 2023-11-22 17:03:18 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2023-11-22 17:03:51 +0000 | euleritian | (~euleritia@dynamic-046-114-205-219.46.114.pool.telefonica.de) |
| 2023-11-22 17:05:16 +0000 | Simikando | (~Simikando@bband-dyn93.95-103-156.t-com.sk) |
| 2023-11-22 17:06:26 +0000 | AlexNoo_ | (~AlexNoo@178.34.163.165) |
| 2023-11-22 17:06:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-22 17:07:38 +0000 | sansk | (~sansk@user/sansk) |
| 2023-11-22 17:09:39 +0000 | AlexZenon | (~alzenon@94.233.240.219) (Ping timeout: 256 seconds) |
| 2023-11-22 17:10:05 +0000 | AlexNoo | (~AlexNoo@94.233.240.219) (Ping timeout: 252 seconds) |
| 2023-11-22 17:13:23 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-11-22 17:16:14 +0000 | AlexZenon | (~alzenon@178.34.163.165) |
| 2023-11-22 17:20:00 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-11-22 17:20:53 +0000 | lottaquestions | (~nick@2607:fa49:503d:b200:ced0:26d6:58ac:b557) |
| 2023-11-22 17:22:15 +0000 | Simikando | (~Simikando@bband-dyn93.95-103-156.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-11-22 17:22:25 +0000 | lottaquestions_ | (~nick@2607:fa49:503d:b200:33ec:47ab:d48a:3020) (Ping timeout: 260 seconds) |
| 2023-11-22 17:25:33 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-11-22 17:25:35 +0000 | AlexNoo_ | AlexNoo |
| 2023-11-22 17:26:31 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.0.5) |
| 2023-11-22 17:27:40 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-11-22 17:28:55 +0000 | lottaquestions | (~nick@2607:fa49:503d:b200:ced0:26d6:58ac:b557) (Read error: Connection reset by peer) |
| 2023-11-22 17:29:08 +0000 | Simikando | (~Simikando@bband-dyn93.95-103-156.t-com.sk) |
| 2023-11-22 17:29:20 +0000 | lottaquestions | (~nick@2607:fa49:503d:b200:ced0:26d6:58ac:b557) |
| 2023-11-22 17:34:20 +0000 | sansk | (~sansk@user/sansk) (Quit: WeeChat 4.0.4) |
| 2023-11-22 17:41:24 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 17:41:59 +0000 | euleritian | (~euleritia@dynamic-046-114-205-219.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-22 17:42:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-22 17:42:44 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-22 17:45:18 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:96af:bfe:888:c717) (Remote host closed the connection) |
| 2023-11-22 17:46:52 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 17:47:11 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-11-22 17:47:51 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-22 17:48:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 17:48:22 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2023-11-22 17:49:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-22 17:50:18 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-11-22 17:52:11 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-22 17:58:02 +0000 | mrqubo | (~arch@91.207.184.206) |
| 2023-11-22 18:01:00 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-22 18:02:15 +0000 | <mrqubo> | I'm writing compiler in Haskell for a school project. I wanted to use it to simplify usage of state and reader monads but I found at least 7 of different libraries. Can anyone recommend which one could I use? |
| 2023-11-22 18:02:45 +0000 | <mrqubo> | Oh, wait, I removed the important part. I'm talking about effects libraries. |
| 2023-11-22 18:04:19 +0000 | <dminuoso_> | mrqubo: The answers will differ depending on who you ask. |
| 2023-11-22 18:04:27 +0000 | <dminuoso_> | If you ask me: Ditch effect libraries, just do what GHC does internally: |
| 2023-11-22 18:04:30 +0000 | <dminuoso_> | Use IO. |
| 2023-11-22 18:04:38 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-11-22 18:04:48 +0000 | <dminuoso_> | IORef for state. IO exceptions for errors. IO for outside effects. |
| 2023-11-22 18:05:07 +0000 | <dminuoso_> | Include a Reader style function, wrap it into a fancy `Comp` newtype, done. |
| 2023-11-22 18:05:34 +0000 | <dminuoso_> | (This is in fact precisely what we do for our SDN compiler) |
| 2023-11-22 18:05:38 +0000 | <EvanR> | ReaderT stuff IO, where stuff can be a record of things you need for state, or other things |
| 2023-11-22 18:06:02 +0000 | <EvanR> | simplest effects library xD |
| 2023-11-22 18:06:04 +0000 | <dminuoso_> | newtype Comp e a = Comp { runComp :: ReaderT (CompEnv e) IO a } |
| 2023-11-22 18:06:20 +0000 | <dminuoso_> | And CompEnv is packed with IORefs |
| 2023-11-22 18:06:52 +0000 | <dminuoso_> | Errors get added to an IORef, and then I have combinators like >|> that sequence only if no errors are present |
| 2023-11-22 18:06:54 +0000 | <dminuoso_> | That sort of stuff. |
| 2023-11-22 18:07:14 +0000 | <dminuoso_> | Best effects are the ones you make yourself, tailored to your project. |
| 2023-11-22 18:07:18 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-22 18:07:26 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2023-11-22 18:07:40 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2023-11-22 18:09:13 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 276 seconds) |
| 2023-11-22 18:10:28 +0000 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 2023-11-22 18:11:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-22 18:11:10 +0000 | analoq | (~yashi@user/dies) (Ping timeout: 276 seconds) |
| 2023-11-22 18:11:28 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-11-22 18:12:26 +0000 | analoq | (~yashi@user/dies) |
| 2023-11-22 18:13:46 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2023-11-22 18:14:59 +0000 | danse-nr3 | (~danse@151.57.206.239) (Ping timeout: 264 seconds) |
| 2023-11-22 18:19:37 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 276 seconds) |
| 2023-11-22 18:19:49 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2023-11-22 18:21:34 +0000 | <probie> | Reject monad transformers entirely and embrace `CompEnv e -> IO a` :p |
| 2023-11-22 18:21:55 +0000 | <dminuoso_> | probie: Oh sure. I just use ReaderT out of complete lazyness. |
| 2023-11-22 18:22:09 +0000 | <dminuoso_> | It means I can do generalized newtype deriving for MonadIO, MonadReader |
| 2023-11-22 18:22:26 +0000 | <dminuoso_> | transformers was already in my transitive dependency closure, so no cost paid. |
| 2023-11-22 18:23:48 +0000 | <EvanR> | Config -> IO a |
| 2023-11-22 18:24:02 +0000 | <EvanR> | I wish I could find that meme |
| 2023-11-22 18:27:11 +0000 | <analoq> | /j #leagueoflinux |
| 2023-11-22 18:27:30 +0000 | <analoq> | ups :3 |
| 2023-11-22 18:29:59 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 256 seconds) |
| 2023-11-22 18:30:38 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-11-22 18:30:58 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 255 seconds) |
| 2023-11-22 18:38:28 +0000 | Simikando | (~Simikando@bband-dyn93.95-103-156.t-com.sk) (Ping timeout: 276 seconds) |
| 2023-11-22 18:38:57 +0000 | danza | (~francesco@151.57.206.239) |
| 2023-11-22 18:43:38 +0000 | simendsjo | (~user@84.209.170.3) |
| 2023-11-22 18:46:46 +0000 | <dminuoso_> | Is that a PC game? |
| 2023-11-22 18:47:19 +0000 | <dminuoso_> | 5 admins fighting 5 admins? You get to upgrade kernels, install modules - and as an evolution path you get to switch from init to systemd? |
| 2023-11-22 18:47:41 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 18:50:19 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-22 18:51:05 +0000 | danza | (~francesco@151.57.206.239) (Ping timeout: 256 seconds) |
| 2023-11-22 18:55:57 +0000 | <EvanR> | a smash bros-like fighting game with all the linux distro mascots |
| 2023-11-22 18:57:27 +0000 | <dminuoso_> | Do you think I can enter with just postgresql? Mammoth eat penguins! |
| 2023-11-22 18:57:34 +0000 | Simikando | (~Simikando@bband-dyn93.95-103-156.t-com.sk) |
| 2023-11-22 18:57:57 +0000 | <EvanR> | yes adjacent mascots are secret unlockables |
| 2023-11-22 18:58:49 +0000 | <EvanR> | throwable temporary programming language mascot helpers |
| 2023-11-22 18:59:20 +0000 | <EvanR> | gotta catch all next 700 programming languages |
| 2023-11-22 19:02:36 +0000 | Pixi | (~Pixi@user/pixi) |
| 2023-11-22 19:03:42 +0000 | <probie> | A new exciting FOSS game with gnumerous fighters? |
| 2023-11-22 19:04:19 +0000 | <probie> | It sounds like a real headache getting relevant licensing for all the mascots |
| 2023-11-22 19:04:41 +0000 | mankyKitty | (sid31287@helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2023-11-22 19:04:49 +0000 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) |
| 2023-11-22 19:04:56 +0000 | aspen | (sid449115@helmsley.irccloud.com) (Ping timeout: 252 seconds) |
| 2023-11-22 19:05:06 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) |
| 2023-11-22 19:05:26 +0000 | hamess | (~hamess@user/hamess) (Quit: **BRB** dyed my hair bLacK. Mom got so mad lol) |
| 2023-11-22 19:05:46 +0000 | hamess | (~hamess@user/hamess) |
| 2023-11-22 19:06:59 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-22 19:07:14 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 19:08:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-22 19:15:24 +0000 | Simikando | (~Simikando@bband-dyn93.95-103-156.t-com.sk) (Remote host closed the connection) |
| 2023-11-22 19:15:35 +0000 | mima | (~mmh@dhcp-138-246-3-127.dynamic.eduroam.mwn.de) (Ping timeout: 264 seconds) |
| 2023-11-22 19:15:43 +0000 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 246 seconds) |
| 2023-11-22 19:16:02 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-11-22 19:16:31 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2023-11-22 19:19:15 +0000 | masterbuilder | (~quassel@user/masterbuilder) |
| 2023-11-22 19:20:49 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-11-22 19:21:09 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-11-22 19:21:51 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-11-22 19:23:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 19:23:42 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-11-22 19:24:24 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-22 19:24:35 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-22 19:34:58 +0000 | erty | (~user@user/aeroplane) |
| 2023-11-22 19:39:32 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-11-22 19:39:47 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-11-22 19:40:17 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-11-22 19:41:42 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 2023-11-22 19:41:51 +0000 | <erty> | How to handle Ctrl+C in a program, for example in this one https://paste.rs/G985m . I am following this documentation https://hackage.haskell.org/package/process-1.2.0.0/docs/System-Process.html#g:4 |
| 2023-11-22 19:41:57 +0000 | <erty> | This program runs a node command that takes 2 seconds to complete, and if in that Ctrl+C is pressed, It exits with `Just ExitSuccess`. But I want it to report UserInterrupt or something. How can I do that? Please help |
| 2023-11-22 19:42:13 +0000 | <erty> | thanks |
| 2023-11-22 19:42:28 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-11-22 19:45:05 +0000 | <erty> | To run the program in shell, do chmod +x haskell.hs and then ./haskell.hs |
| 2023-11-22 19:48:53 +0000 | <exarkun> | If the program that you run exits with a success code after receiving Ctrl+C (SIGINT probably, but not necessarily) then it's a bit out of your hands. |
| 2023-11-22 19:49:27 +0000 | <exarkun> | You could intercept the Ctrl+C, make a note of it, pass it on, and then translate ExitSuccess into UserInterrupt... but I'm not sure who that's helping. |
| 2023-11-22 19:50:44 +0000 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-11-22 19:51:43 +0000 | <int-e> | worksforme? http://paste.debian.net/1298990/ |
| 2023-11-22 19:52:56 +0000 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-11-22 19:53:17 +0000 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) |
| 2023-11-22 19:53:35 +0000 | lortabac | (~lorenzo@2a01:e0a:541:b8f0:ec7c:79cd:c63a:f4f8) (Quit: WeeChat 3.5) |
| 2023-11-22 19:55:48 +0000 | <erty> | int-e: But unfortunately, not for me :( |
| 2023-11-22 19:56:29 +0000 | <int-e> | I'm not sure whether there's a race here though, between the child terminating and you called getProcessExitCode |
| 2023-11-22 19:57:09 +0000 | <erty> | Its always success, ^Cfinally Just ExitSuccess |
| 2023-11-22 19:57:09 +0000 | <int-e> | Oh but if you're getting `Just ExitSuccess` then that isn't an issue |
| 2023-11-22 19:57:50 +0000 | <int-e> | Oh, maybe this is relevant? node is v18.13.0 here |
| 2023-11-22 19:58:06 +0000 | <[exa]> | erty: what shell and OS? propagation of the SIGINT is dark magic. I'd recommend doing at least setsid before spawning the child process |
| 2023-11-22 19:58:07 +0000 | <int-e> | or maybe try `sleep 2` instead of the node thing |
| 2023-11-22 19:59:04 +0000 | <erty> | [exa]: I am using Ubuntu and I ran the code in emacs shell |
| 2023-11-22 19:59:21 +0000 | <erty> | and Haskell-Interactive-mode as well |
| 2023-11-22 19:59:32 +0000 | <exarkun> | Heh, emacs shell. |
| 2023-11-22 19:59:37 +0000 | <exarkun> | At least try in a real shell to compare. |
| 2023-11-22 19:59:56 +0000 | <erty> | exarkun: I did in xterm but no help |
| 2023-11-22 20:00:12 +0000 | <exarkun> | Can you reproduce int-e's behavior wiith node 18.13.0? |
| 2023-11-22 20:00:21 +0000 | <erty> | lemme try |
| 2023-11-22 20:00:41 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-22 20:00:45 +0000 | <int-e> | what else *could* be relevant... ghc is 9.2.7, process is 1.6.16.0. |
| 2023-11-22 20:00:58 +0000 | <exarkun> | Or, relatedly, if you just run node yourself and ctrl+c it, does it exit with 0 or something else? |
| 2023-11-22 20:01:16 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-22 20:01:19 +0000 | phma | (phma@2001:5b0:210b:89e8:2742:c8bf:8662:607d) (Read error: Connection reset by peer) |
| 2023-11-22 20:01:43 +0000 | phma | (~phma@host-67-44-208-228.hnremote.net) |
| 2023-11-22 20:01:57 +0000 | <sm[i]> | @where stack-script |
| 2023-11-22 20:01:57 +0000 | <lambdabot> | https://docs.haskellstack.org/en/stable/script_command single-file Haskell scripts with stack |
| 2023-11-22 20:02:00 +0000 | <erty> | exarkun: the problem persisted with `sleep 2` command as well |
| 2023-11-22 20:02:21 +0000 | <sm[i]> | @where+ stack-script https://docs.haskellstack.org/en/stable/scripts single-file Haskell shebang scripts with stack |
| 2023-11-22 20:02:21 +0000 | <lambdabot> | It is stored. |
| 2023-11-22 20:03:02 +0000 | <exarkun> | erty: still worth checking directlly, but I guess it's not /very/ likely you have such a broken version of sleep... |
| 2023-11-22 20:03:06 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-11-22 20:04:07 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2023-11-22 20:04:23 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-22 20:05:09 +0000 | <erty> | changing node to 18.13 didn't help |
| 2023-11-22 20:05:45 +0000 | mrvdb | (~mrvdb@185.92.221.186) (Ping timeout: 245 seconds) |
| 2023-11-22 20:06:45 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2023-11-22 20:06:52 +0000 | <erty> | ghc is 9.2.4 |
| 2023-11-22 20:07:55 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-11-22 20:08:05 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-22 20:08:48 +0000 | <[exa]> | erty: btw also try a different terminal |
| 2023-11-22 20:08:49 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2023-11-22 20:09:15 +0000 | <[exa]> | I'm not sure which component there actually converts the ^c to SIGINT but it might very well be the terminal |
| 2023-11-22 20:09:23 +0000 | <erty> | [exa]: I did, with xterm, but it didn't helped |
| 2023-11-22 20:09:53 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-22 20:09:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-11-22 20:10:27 +0000 | <erty> | Is it working for all of you? |
| 2023-11-22 20:10:34 +0000 | <geekosaur> | it's the terminal driver |
| 2023-11-22 20:10:39 +0000 | <geekosaur> | stty -a |
| 2023-11-22 20:11:09 +0000 | thegman | (~thegman@184-089-015-126.res.spectrum.com) |
| 2023-11-22 20:11:15 +0000 | <geekosaur> | look at intr and isig |
| 2023-11-22 20:11:21 +0000 | <geekosaur> | and icanon |
| 2023-11-22 20:13:08 +0000 | <erty> | geekosaur: intr has `intr = ^C;` but the last don't have `=` |
| 2023-11-22 20:13:22 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2023-11-22 20:13:37 +0000 | <geekosaur> | no, they're simple flags and would show with a minus in front if they were off |
| 2023-11-22 20:14:01 +0000 | <geekosaur> | `-isig` means no processing of the intr, quit, or stop characters |
| 2023-11-22 20:14:14 +0000 | <geekosaur> | (ctrl-c, ctrl-\, ctrl-z) |
| 2023-11-22 20:14:30 +0000 | <erty> | they don't have minus |
| 2023-11-22 20:14:31 +0000 | <geekosaur> | (by default) |
| 2023-11-22 20:14:38 +0000 | <geekosaur> | interesting |
| 2023-11-22 20:14:55 +0000 | <erty> | geekosaur: Is the program working for you |
| 2023-11-22 20:15:47 +0000 | thegman | (~thegman@184-089-015-126.res.spectrum.com) (Client Quit) |
| 2023-11-22 20:15:47 +0000 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 2023-11-22 20:15:54 +0000 | <int-e> | Funny, stty -a doesn't work for me in emacs' shell mode (Inappropriate ioctl for device; `bash` complained about this earlier too), but interrupting processes with C-c C-c still results in ExitFailure. |
| 2023-11-22 20:16:16 +0000 | <mauke> | time to strace? |
| 2023-11-22 20:16:17 +0000 | <geekosaur> | right, emacs shell mode is Special |
| 2023-11-22 20:16:41 +0000 | <geekosaur> | erty, I don't have node installed so I can't readily test it |
| 2023-11-22 20:17:03 +0000 | <erty> | geekosaur: you can use `sleep 2` command instead |
| 2023-11-22 20:17:15 +0000 | <erty> | replace 11th line with (shell "sleep 2") |
| 2023-11-22 20:17:57 +0000 | <erty> | I was just following the aforementioned documentation for handling Ctrl-C, and according to that, code error should be UserInterrupt |
| 2023-11-22 20:18:07 +0000 | Square2 | (~Square4@user/square) |
| 2023-11-22 20:18:15 +0000 | <erty> | If I am not doing something wrong |
| 2023-11-22 20:18:20 +0000 | potato44 | (uid421314@id-421314.lymington.irccloud.com) |
| 2023-11-22 20:18:34 +0000 | <mauke> | oh, something about process groups maybe? |
| 2023-11-22 20:18:50 +0000 | <geekosaur> | https://paste.tomsmeding.com/vne66PAz |
| 2023-11-22 20:19:49 +0000 | <mauke> | ExitFailure (-2)? that doesn't sound legal |
| 2023-11-22 20:20:02 +0000 | shapr | (~user@2600:1700:c640:3100:b285:ab20:7123:ee63) (Remote host closed the connection) |
| 2023-11-22 20:20:15 +0000 | shapr | (~user@2600:1700:c640:3100:58c6:dc14:3874:202f) |
| 2023-11-22 20:20:20 +0000 | <erty> | mauke: i have create_group = False in the record |
| 2023-11-22 20:20:26 +0000 | <mauke> | is someone mapping signals to negative exit statuses? |
| 2023-11-22 20:20:34 +0000 | <geekosaur> | the shell, usually |
| 2023-11-22 20:20:47 +0000 | <geekosaur> | tery using proc instead of shell |
| 2023-11-22 20:21:06 +0000 | <mauke> | the shell adds 128 when setting $? |
| 2023-11-22 20:21:10 +0000 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2023-11-22 20:21:32 +0000 | <geekosaur> | actually I think it's platform dependent whether it's a signed or unsigned byte |
| 2023-11-22 20:22:19 +0000 | <erty> | geekosaur: unfortunately, proc doesn't helps |
| 2023-11-22 20:23:36 +0000 | <mauke> | I don't think that's how WEXITSTATUS() works |
| 2023-11-22 20:23:46 +0000 | simendsjo | (~user@84.209.170.3) (Ping timeout: 276 seconds) |
| 2023-11-22 20:25:59 +0000 | mrqubo | (~arch@91.207.184.206) (Quit: Konversation terminated!) |
| 2023-11-22 20:34:09 +0000 | sh1n | (~sh1n@2800:2131:8e40:c3d:a382:6ff7:1760:32a9) |
| 2023-11-22 20:36:48 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-11-22 20:37:12 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-22 20:40:23 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-22 20:45:28 +0000 | DemonDerg | FestiveDemonDerg |
| 2023-11-22 20:45:42 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-11-22 20:46:17 +0000 | maaz | (~maaz@bras-base-hspron0502w-grc-02-184-147-203-180.dsl.bell.ca) |
| 2023-11-22 20:46:35 +0000 | maaz | m257 |
| 2023-11-22 20:47:28 +0000 | FestiveDemonDerg | FestiveDragon |
| 2023-11-22 20:49:20 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 20:51:46 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 20:51:47 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 20:54:18 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 20:54:41 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-22 20:55:37 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 20:58:33 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-22 20:59:43 +0000 | sh1n | (~sh1n@2800:2131:8e40:c3d:a382:6ff7:1760:32a9) (Ping timeout: 256 seconds) |
| 2023-11-22 21:00:35 +0000 | <johnw> | mauke: or rather, it's a negative value that gets reported as unsigned |
| 2023-11-22 21:02:57 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 21:02:58 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 21:04:42 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 21:04:43 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 21:07:07 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 21:07:38 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-22 21:09:04 +0000 | mima | (~mmh@aftr-62-216-211-67.dynamic.mnet-online.de) |
| 2023-11-22 21:10:21 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-11-22 21:10:29 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-22 21:10:56 +0000 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 2023-11-22 21:12:44 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 2023-11-22 21:13:42 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2023-11-22 21:13:48 +0000 | tomboy65 | (~tomboy64@user/tomboy64) |
| 2023-11-22 21:16:03 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-11-22 21:17:33 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-22 21:21:39 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-11-22 21:23:24 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-22 21:24:51 +0000 | kuruczgy | (55b66dd3ae@2604:bf00:561:2000::127f) |
| 2023-11-22 21:27:50 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-11-22 21:28:06 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-22 21:28:32 +0000 | mmhat | (~mmh@p200300f1c70fae30ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-11-22 21:28:54 +0000 | mmhat | (~mmh@p200300f1c70fae24ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-11-22 21:32:40 +0000 | newsham | (~newsham@2603-800c-2c01-6825-0120-b505-2ba2-3688.res6.spectrum.com) |
| 2023-11-22 21:32:58 +0000 | <newsham> | What's the tick mark in 'S here? |
| 2023-11-22 21:32:59 +0000 | <newsham> | data Fin (n :: Nat) where |
| 2023-11-22 21:32:59 +0000 | <newsham> | FZ :: Fin ('S n) |
| 2023-11-22 21:33:00 +0000 | <newsham> | FS :: Fin n -> Fin ('S n) |
| 2023-11-22 21:33:00 +0000 | <newsham> | deriving (Typeable) |
| 2023-11-22 21:33:10 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-22 21:33:20 +0000 | <johnw> | it refers to a type-level data constructor |
| 2023-11-22 21:33:24 +0000 | <johnw> | see DataKinds |
| 2023-11-22 21:33:25 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-22 21:33:37 +0000 | dhil | (~dhil@2001:8e0:2014:3100:e64:a377:2b5c:81b6) (Ping timeout: 246 seconds) |
| 2023-11-22 21:33:48 +0000 | <johnw> | in this case, Nat is a data type that was lifted to the kind level |
| 2023-11-22 21:33:59 +0000 | <johnw> | so its value-level constructor is S, and it's type-level constructor is 'S |
| 2023-11-22 21:35:11 +0000 | <johnw> | note that in dependently-typed languages, a distinction like this is unnecessary |
| 2023-11-22 21:35:17 +0000 | <newsham> | *nod* |
| 2023-11-22 21:35:21 +0000 | <newsham> | thank you. |
| 2023-11-22 21:36:59 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-22 21:38:30 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-22 21:38:45 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-22 21:39:04 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 255 seconds) |
| 2023-11-22 21:42:01 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-22 21:42:01 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-11-22 21:42:01 +0000 | finn_elija | FinnElija |
| 2023-11-22 21:44:57 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-11-22 21:48:22 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-22 21:53:23 +0000 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-22 21:58:38 +0000 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
| 2023-11-22 21:58:50 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-22 21:59:04 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-22 22:07:05 +0000 | CodeGerrard | (~Gerr@197.221.253.209) (Ping timeout: 260 seconds) |
| 2023-11-22 22:07:43 +0000 | ubert | (~Thunderbi@178.115.68.48.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2023-11-22 22:09:06 +0000 | newsham | (~newsham@2603-800c-2c01-6825-0120-b505-2ba2-3688.res6.spectrum.com) (Quit: Client closed) |
| 2023-11-22 22:10:34 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2023-11-22 22:17:30 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-22 22:23:37 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 255 seconds) |
| 2023-11-22 22:27:35 +0000 | fendor | (~fendor@2a02:8388:1640:be00:8705:c56:c793:802b) (Remote host closed the connection) |
| 2023-11-22 22:29:29 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-22 22:33:42 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-22 22:34:47 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 256 seconds) |
| 2023-11-22 22:36:19 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-11-22 22:38:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-22 22:38:48 +0000 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-22 22:40:47 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 264 seconds) |
| 2023-11-22 22:40:47 +0000 | coot_ | coot |
| 2023-11-22 22:42:35 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-11-22 22:47:23 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2023-11-22 22:51:13 +0000 | Jackneill | (~Jackneill@20014C4E1E120500F60962E32F241FFF.dsl.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2023-11-22 23:09:55 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-22 23:11:57 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-11-22 23:16:35 +0000 | acidjnk | (~acidjnk@p200300d6e72b933550e7445b70f008d5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-11-22 23:20:14 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-22 23:32:07 +0000 | mima | (~mmh@aftr-62-216-211-67.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2023-11-22 23:35:40 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-22 23:36:13 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-22 23:41:34 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2023-11-22 23:51:13 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-11-22 23:54:34 +0000 | leungbk | (~user@2603-8000-1201-2dd2-ea27-bf48-2f1b-70de.res6.spectrum.com) |
| 2023-11-22 23:56:58 +0000 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |