| 2023-09-04 00:00:15 +0200 | <jackdk> | erisco: https://hackage.haskell.org/package/wai-app-static suit your needs? |
| 2023-09-04 00:01:35 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 00:05:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-09-04 00:10:50 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-04 00:11:37 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-04 00:18:37 +0200 | <erisco> | jackdk, just might, thanks! |
| 2023-09-04 00:18:44 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-09-04 00:18:59 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-04 00:41:43 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 00:42:25 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-09-04 00:46:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-04 00:48:29 +0200 | Guest|79 | (~Guest|79@129.8.28.123) |
| 2023-09-04 00:48:47 +0200 | <Guest|79> | hi |
| 2023-09-04 00:49:23 +0200 | <Guest|79> | can you give the command for importing the packages for using the functions like SUm |
| 2023-09-04 00:50:00 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 00:50:37 +0200 | <monochrom> | sum is already present by default, no command needed. |
| 2023-09-04 00:50:53 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 00:51:02 +0200 | <monochrom> | Show actual code that doesn't compile. |
| 2023-09-04 00:51:15 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-04 00:51:18 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 00:52:12 +0200 | <haskellbridge> | <jade> well, `SUm` won't work as haskell is case sensitive with symbols :^) |
| 2023-09-04 00:52:30 +0200 | <Guest|79> | ghci> lst = [2,4,5,6] |
| 2023-09-04 00:52:31 +0200 | <Guest|79> | ghci> Sum(map(2*) lst) |
| 2023-09-04 00:52:31 +0200 | <Guest|79> | <interactive>:3:1: error: |
| 2023-09-04 00:52:32 +0200 | <Guest|79> | * Data constructor not in scope: Sum :: [b0] -> t |
| 2023-09-04 00:52:32 +0200 | <Guest|79> | * Perhaps you meant variable `sum' (imported from Prelude) |
| 2023-09-04 00:52:33 +0200 | <Guest|79> | ghci> cabal repl --build-depends filepath |
| 2023-09-04 00:53:03 +0200 | <haskellbridge> | <jade> it is `sum` (all lowercase) |
| 2023-09-04 00:53:12 +0200 | <yushyin> | "* Perhaps you meant variable `sum' (imported from Prelude)" |
| 2023-09-04 00:54:20 +0200 | <haskellbridge> | <jade> `Sum` is something else, namely the `Sum` monoid which is defined via `Sum a <> Sum b = Sum (a + b)` and `mempty = 0` |
| 2023-09-04 00:54:33 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-04 00:55:31 +0200 | <monochrom> | Lower case. sum (map (2*) lst) |
| 2023-09-04 00:55:36 +0200 | <Guest|79> | Then how to declare a list and i need to double the every element in list and need to sum that |
| 2023-09-04 00:56:23 +0200 | <monochrom> | It's 2023 why do some programmers still expect programming languages to be case-insensitive? Did they grow up in BASIC or something? |
| 2023-09-04 00:56:27 +0200 | <haskellbridge> | <jade> `sum . map (*2)` as you said |
| 2023-09-04 00:57:19 +0200 | <monochrom> | > sum (map (2*) [1,2,3]) |
| 2023-09-04 00:57:20 +0200 | <lambdabot> | 12 |
| 2023-09-04 00:58:15 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-04 00:58:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2023-09-04 00:58:57 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-09-04 00:58:59 +0200 | <Guest|79> | ghci> lst = [2,3,4,5] |
| 2023-09-04 00:59:00 +0200 | <Guest|79> | ghci> sum(map(2*) lst) |
| 2023-09-04 00:59:00 +0200 | <Guest|79> | 28 |
| 2023-09-04 00:59:01 +0200 | <Guest|79> | This code worked.. Thank you |
| 2023-09-04 01:02:13 +0200 | Guest|79 | (~Guest|79@129.8.28.123) (Quit: Connection closed) |
| 2023-09-04 01:02:24 +0200 | Guest|79 | (~Guest|79@129.8.28.123) |
| 2023-09-04 01:04:00 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 255 seconds) |
| 2023-09-04 01:05:37 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 01:05:39 +0200 | <Guest|79> | can any one know the code for preorder traversal for binary tree |
| 2023-09-04 01:06:03 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 01:06:40 +0200 | <monochrom> | Use direct recursion. |
| 2023-09-04 01:06:44 +0200 | <yushyin> | that sounds like homework |
| 2023-09-04 01:07:28 +0200 | <monochrom> | Show actual code of your attempt if you want comments on what you did wrong. |
| 2023-09-04 01:09:16 +0200 | arahael | (~arahael@1.145.95.87) |
| 2023-09-04 01:11:36 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 245 seconds) |
| 2023-09-04 01:14:26 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-04 01:16:11 +0200 | <Guest|79> | data BinaryTree a = Empty | Node a (BinaryTree a) (BinaryTree a) deriving (Show, Eq) |
| 2023-09-04 01:16:11 +0200 | <Guest|79> | preorder :: BinaryTree a -> [a] |
| 2023-09-04 01:16:12 +0200 | <Guest|79> | preorder Empty = [] |
| 2023-09-04 01:16:12 +0200 | <Guest|79> | preorder (Node value left right) = [value] ++ preorder left ++ preorder right |
| 2023-09-04 01:16:13 +0200 | <Guest|79> | main :: IO () |
| 2023-09-04 01:16:14 +0200 | <Guest|79> | let tree = Node 1 (Node 2 (Node 4 Empty Empty) (Node 5 Empty Empty)) (Node 3 Empty Empty) |
| 2023-09-04 01:16:14 +0200 | <Guest|79> | print $ preorder tree |
| 2023-09-04 01:17:15 +0200 | <Guest|79> | i did this code |
| 2023-09-04 01:19:20 +0200 | Guest|2 | (~Guest|2@129.8.217.15) |
| 2023-09-04 01:19:27 +0200 | Guest|2 | (~Guest|2@129.8.217.15) (Client Quit) |
| 2023-09-04 01:20:22 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-04 01:20:35 +0200 | <phma> | EvanR: a squizz (or squiz) is a look. |
| 2023-09-04 01:21:48 +0200 | <Guest|79> | was this code correct for pre order traversal? |
| 2023-09-04 01:22:22 +0200 | danse-nr3 | (~francesco@151.43.103.246) |
| 2023-09-04 01:23:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2dac:1dc7:bdec:1908) (Remote host closed the connection) |
| 2023-09-04 01:23:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-04 01:23:48 +0200 | danza_ | (~francesco@151.43.103.246) (Ping timeout: 255 seconds) |
| 2023-09-04 01:24:11 +0200 | <phma> | http://mailman.swarpa.net/pipermail/fictionary/2017/004493.html |
| 2023-09-04 01:25:09 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 255 seconds) |
| 2023-09-04 01:25:23 +0200 | ulysses4ever | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 2023-09-04 01:25:32 +0200 | ulysses4ever | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) |
| 2023-09-04 01:26:31 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Quit: leaving) |
| 2023-09-04 01:31:00 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 2023-09-04 01:31:48 +0200 | Guest|79 | (~Guest|79@129.8.28.123) (Quit: Connection closed) |
| 2023-09-04 01:35:47 +0200 | talismanick | (~user@2601:204:ef80:2980::c39) (Remote host closed the connection) |
| 2023-09-04 01:37:49 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-04 01:43:51 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 01:44:44 +0200 | arahael | (~arahael@1.145.95.87) (Ping timeout: 248 seconds) |
| 2023-09-04 01:46:47 +0200 | <[Leary]> | @free fold :: (a -> a -> a) -> a -> T a -> a |
| 2023-09-04 01:46:47 +0200 | <lambdabot> | (forall x. f . g x = h (f x) . f) => f . fold g y = fold h (f y) . $map_T f |
| 2023-09-04 01:47:02 +0200 | <[Leary]> | Corollary: if `f` is a monoid homomorphism, then `f . fold = fold . map f`. Proof: Let g = h = (<>), y = mempty. |
| 2023-09-04 01:47:17 +0200 | <[Leary]> | I'm a bit late, but this free theorem was just too good to keep to myself. :) |
| 2023-09-04 01:48:16 +0200 | <monochrom> | Nice, I may put it on homework next time :) |
| 2023-09-04 01:50:35 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-04 01:50:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-09-04 01:51:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-09-04 01:53:39 +0200 | <danse-nr3> | what is @free aliased to? |
| 2023-09-04 01:54:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2dac:1dc7:bdec:1908) |
| 2023-09-04 01:55:16 +0200 | <[Leary]> | @help free |
| 2023-09-04 01:55:16 +0200 | <lambdabot> | free <ident>. Generate theorems for free |
| 2023-09-04 01:55:51 +0200 | <[Leary]> | It's not an alias, it just brings out the mathematician in lambdabot. |
| 2023-09-04 01:55:53 +0200 | <monochrom> | @free is itself. |
| 2023-09-04 01:56:11 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-04 01:56:31 +0200 | <monochrom> | But you can take a look at the paper "theorems for free!" for what it's about. |
| 2023-09-04 01:56:41 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-09-04 01:58:09 +0200 | <danse-nr3> | thanks, i guess it relies on https://hackage.haskell.org/package/free-theorems, i will note the paper to have a look eventually |
| 2023-09-04 02:00:31 +0200 | danse-nr3_ | (~francesco@151.47.118.241) |
| 2023-09-04 02:00:38 +0200 | danse-nr3_ | (~francesco@151.47.118.241) (Remote host closed the connection) |
| 2023-09-04 02:00:53 +0200 | danse-nr3 | (~francesco@151.43.103.246) (Read error: Connection reset by peer) |
| 2023-09-04 02:01:00 +0200 | danse-nr3_ | (~francesco@151.47.118.241) |
| 2023-09-04 02:03:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-04 02:04:08 +0200 | califax | (~califax@user/califx) |
| 2023-09-04 02:09:34 +0200 | <monochrom> | Actually why was I not plugging my own explanation? http://www.vex.net/~trebla/haskell/abs-type-param.html |
| 2023-09-04 02:21:21 +0200 | <danse-nr3_> | this specific topic is a bit over my head but your site is interesting. No feed aggregator, how do people discover your new posts? Also i realised there is no #compsci on libera |
| 2023-09-04 02:29:13 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 02:35:21 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-04 02:38:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2dac:1dc7:bdec:1908) (Remote host closed the connection) |
| 2023-09-04 02:38:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2dac:1dc7:bdec:1908) |
| 2023-09-04 02:46:36 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 2023-09-04 02:48:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-04 02:49:14 +0200 | yisef | (~yisef@202.81.231.204) |
| 2023-09-04 02:49:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-04 02:50:00 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-04 02:50:00 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-04 02:51:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-04 02:56:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-04 02:58:59 +0200 | arahael | (~arahael@1.145.53.57) |
| 2023-09-04 02:59:26 +0200 | mysl | (~mysl@user/mysl) (Quit: Lost terminal) |
| 2023-09-04 03:03:45 +0200 | Guest|79 | (~Guest|79@129.8.28.123) |
| 2023-09-04 03:05:58 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2023-09-04 03:06:18 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 2023-09-04 03:11:09 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-09-04 03:11:15 +0200 | Guest|79 | (~Guest|79@129.8.28.123) (Quit: Connection closed) |
| 2023-09-04 03:11:57 +0200 | arahael | (~arahael@1.145.53.57) (Read error: Connection reset by peer) |
| 2023-09-04 03:17:19 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-09-04 03:19:57 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 2023-09-04 03:24:42 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 03:33:17 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 245 seconds) |
| 2023-09-04 03:40:05 +0200 | Square2 | (~Square4@user/square) |
| 2023-09-04 03:40:58 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-04 03:41:47 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 03:42:14 +0200 | yisef | (~yisef@202.81.231.204) (Ping timeout: 246 seconds) |
| 2023-09-04 03:42:29 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 03:48:04 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Remote host closed the connection) |
| 2023-09-04 03:50:03 +0200 | otto_s | (~user@p4ff279d3.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-09-04 03:51:54 +0200 | otto_s | (~user@p5b044a3a.dip0.t-ipconnect.de) |
| 2023-09-04 04:04:37 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 04:04:59 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 04:06:02 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-04 04:12:52 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-04 04:16:07 +0200 | yisef | (~yisef@202.81.231.204) |
| 2023-09-04 04:17:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-04 04:17:30 +0200 | td_ | (~td@i53870926.versanet.de) (Ping timeout: 255 seconds) |
| 2023-09-04 04:19:20 +0200 | td_ | (~td@i53870910.versanet.de) |
| 2023-09-04 04:23:22 +0200 | <Square2> | I realize this question sounds whack, but Haskell having a bunch of tricks end extensions I thought I'd ask anyway before doing an ugly workaround. |
| 2023-09-04 04:25:20 +0200 | <Square2> | For any "value", is there a trick to piggy back and associated hidden value. |
| 2023-09-04 04:26:14 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-04 04:26:16 +0200 | <EvanR> | -XMonkeyPatching |
| 2023-09-04 04:26:19 +0200 | <Square2> | haha |
| 2023-09-04 04:27:01 +0200 | <EvanR> | you can use StableNames to use a value's "name" as a key into some Map you maintain |
| 2023-09-04 04:27:04 +0200 | <Square2> | I realize how stupid my question sounds, but yeah. Would've been neat. I wanted got store an address of sorts to every value. |
| 2023-09-04 04:27:12 +0200 | <EvanR> | getting the stablename requires IO |
| 2023-09-04 04:27:32 +0200 | <Square2> | Oh ok. |
| 2023-09-04 04:28:34 +0200 | stites | (~stites@130.44.147.204) (Client Quit) |
| 2023-09-04 04:28:47 +0200 | Alex_test | (~al_test@178.34.160.172) (Ping timeout: 246 seconds) |
| 2023-09-04 04:29:11 +0200 | AlexZenon | (~alzenon@178.34.160.172) (Ping timeout: 245 seconds) |
| 2023-09-04 04:29:19 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-04 04:30:15 +0200 | <Square2> | Good idea. But was meant to keep a DSL as clean as possible. Mixing in IO would probably make it more obscure. |
| 2023-09-04 04:31:00 +0200 | danse-nr3_ | (~francesco@151.47.118.241) (Ping timeout: 255 seconds) |
| 2023-09-04 04:31:49 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 04:31:49 +0200 | stites | (~stites@130.44.147.204) (Client Quit) |
| 2023-09-04 04:32:42 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-04 04:34:08 +0200 | Alex_test | (~al_test@178.34.160.172) |
| 2023-09-04 04:34:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-09-04 04:35:26 +0200 | stites | (~stites@130.44.147.204) (Client Quit) |
| 2023-09-04 04:35:41 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-04 04:36:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-04 04:37:39 +0200 | AlexZenon | (~alzenon@178.34.160.172) |
| 2023-09-04 04:38:35 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-04 04:48:02 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-04 04:48:49 +0200 | <jackdk> | Square2: this is not exactly what you want, but it is definitely evil: https://hackage.haskell.org/package/acme-smuggler |
| 2023-09-04 04:49:31 +0200 | ft | (~ft@p4fc2a8a4.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-04 04:51:18 +0200 | ft | (~ft@p508dbfdc.dip0.t-ipconnect.de) |
| 2023-09-04 04:51:39 +0200 | shiraeeshi | (~shiraeesh@46.42.245.129) |
| 2023-09-04 04:52:56 +0200 | <Square2> | jackdk, something like that yes. |
| 2023-09-04 04:57:14 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-04 04:59:08 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-04 05:01:17 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 05:02:46 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-04 05:04:47 +0200 | shiraeeshi | (~shiraeesh@46.42.245.129) (Changing host) |
| 2023-09-04 05:04:47 +0200 | shiraeeshi | (~shiraeesh@user/shiraeeshi) |
| 2023-09-04 05:05:43 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-09-04 05:08:58 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-04 05:09:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2dac:1dc7:bdec:1908) (Remote host closed the connection) |
| 2023-09-04 05:11:52 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-09-04 05:11:57 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 255 seconds) |
| 2023-09-04 05:12:55 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-04 05:18:50 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-09-04 05:21:38 +0200 | aforemny_ | (~aforemny@i59F516F2.versanet.de) |
| 2023-09-04 05:22:43 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-04 05:22:45 +0200 | aforemny | (~aforemny@i59F516DB.versanet.de) (Ping timeout: 255 seconds) |
| 2023-09-04 05:28:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 05:28:46 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-04 05:31:45 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 2023-09-04 05:35:08 +0200 | yisef | (~yisef@202.81.231.204) (Remote host closed the connection) |
| 2023-09-04 05:40:00 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 05:42:00 +0200 | <remexre> | it _looks_ like the answer is "no," but I thought I'd ask anyway: is there a way to integrate tasty with doctest? |
| 2023-09-04 05:43:23 +0200 | <remexre> | (or alternatively, is there something like tasty that integrates better with doctest) |
| 2023-09-04 05:44:47 +0200 | davros1 | (~davros2@host86-183-29-229.range86-183.btcentralplus.com) (Quit: Leaving) |
| 2023-09-04 05:46:51 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 05:47:16 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 06:01:15 +0200 | actioninja | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2023-09-04 06:01:50 +0200 | actioninja | (~actioninj@user/actioninja) |
| 2023-09-04 06:03:56 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-09-04 06:04:50 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 06:11:43 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-04 06:11:48 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-04 06:22:34 +0200 | drewjose8 | (~drewjose@223.178.83.128) |
| 2023-09-04 06:24:51 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-09-04 06:32:04 +0200 | <phma> | Is the pragma SPECIALIZE or SPECIALISE? |
| 2023-09-04 06:32:57 +0200 | <monochrom> | Z |
| 2023-09-04 06:33:09 +0200 | <phma> | Glasgow being in Scotland, I'd expect SPECIALISE, but https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/pragmas.html has both. |
| 2023-09-04 06:33:58 +0200 | <mauke> | ooh, ghc 7 |
| 2023-09-04 06:34:44 +0200 | <monochrom> | That part hasn't changed though. |
| 2023-09-04 06:35:14 +0200 | <mauke> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#specialize-pragma "(UK spelling also accepted.)" |
| 2023-09-04 06:35:15 +0200 | <monochrom> | One thing you can do is look at base source code and use the one you see there. :) |
| 2023-09-04 06:35:37 +0200 | <monochrom> | Oh heh I missed that. |
| 2023-09-04 06:38:13 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-04 06:38:40 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 06:39:14 +0200 | <phma> | Inlining and specializing had no discernible effect on the execution time. Maybe they shaved a second off it. |
| 2023-09-04 06:40:54 +0200 | <monochrom> | Right, the real benefit happens only when doing them exposes epic opportunities for fusion, unboxing, etc. |
| 2023-09-04 06:41:55 +0200 | <phma> | What's fusion? |
| 2023-09-04 06:42:25 +0200 | <probie> | (slightly off-topic) It's "specialize" in en-GB-oxendict, which I would argue is a "UK spelling" |
| 2023-09-04 06:43:03 +0200 | <monochrom> | Suppose you have foldl' (+) 0 (map (* 2) [1..n]). |
| 2023-09-04 06:43:34 +0200 | acidjnk | (~acidjnk@p200300d6e7072f659081374ad65a2e01.dip0.t-ipconnect.de) |
| 2023-09-04 06:43:59 +0200 | <probie> | phma: Removing unneeded intermediate data structures by rewriting expressions. See https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rewrite_rules.html#rewrite-rules for how to actually do this |
| 2023-09-04 06:44:31 +0200 | <monochrom> | Though unoptimized, lazy evaluation already implies it only takes O(1) space. But it's an expensive O(1): you make 2 list nodes on the heap, just to throw them away soon. |
| 2023-09-04 06:44:44 +0200 | <mauke> | phma: it's when you have a producer of a data structure and a consumer of a data structure, but you fuse their code together so the instructions are interleaved and the data structure is never actually generated |
| 2023-09-04 06:45:12 +0200 | <monochrom> | Fusion gets rid of even those 2 list nodes. |
| 2023-09-04 06:45:13 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-04 06:45:42 +0200 | <monochrom> | If the type is Int, you get the same C for-loop you would write. |
| 2023-09-04 06:46:08 +0200 | <monochrom> | complete with how most C compilers keep it all in registers. |
| 2023-09-04 06:46:29 +0200 | <phma> | There's this line in Wring.hs: cycle3 = 0 : 1 : 2 : cycle3 |
| 2023-09-04 06:47:17 +0200 | <mauke> | > cycle [1,2,3] |
| 2023-09-04 06:47:18 +0200 | <lambdabot> | [1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2... |
| 2023-09-04 06:47:18 +0200 | <phma> | This appears to take no space. Unoptimized, it would take 8 or 16 times as much space as the buffer. |
| 2023-09-04 06:47:44 +0200 | <c_wraith> | phma: it takes constant space, not no space. It doesn't cause new allocation after the whole thing is allocated once. |
| 2023-09-04 06:48:49 +0200 | <mauke> | struct node cycle3 = { 0, &(struct node){ 1, &(struct node){ 2, &cycle3 } } }; |
| 2023-09-04 06:49:51 +0200 | <monochrom> | Wait you can do that??!! |
| 2023-09-04 06:50:14 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-04 06:51:14 +0200 | <mauke> | warning: trigraph ??! ignored, use -trigraphs to enable |
| 2023-09-04 06:51:30 +0200 | <monochrom> | :( |
| 2023-09-04 06:51:32 +0200 | <monochrom> | :) |
| 2023-09-04 06:51:39 +0200 | <probie> | monochrom: "void *x = &x;" is definitely valid, so I'd assume so |
| 2023-09-04 06:51:55 +0200 | <mauke> | monochrom: which part? |
| 2023-09-04 06:52:17 +0200 | <monochrom> | C initializer accepting &(struct node){ ... } |
| 2023-09-04 06:52:53 +0200 | <probie> | Actually wait, I don't think C will let you take the address of immediates |
| 2023-09-04 06:53:17 +0200 | <monochrom> | gcc accepts it... |
| 2023-09-04 06:53:27 +0200 | <mauke> | https://en.cppreference.com/w/c/language/compound_literal |
| 2023-09-04 06:53:39 +0200 | <monochrom> | gcc -std=c99 accepts it... |
| 2023-09-04 06:53:41 +0200 | <mauke> | welcome to 1999, baby |
| 2023-09-04 06:53:49 +0200 | <mauke> | it's the future!!!1 |
| 2023-09-04 06:55:05 +0200 | <monochrom> | My https://www.cs.utoronto.ca/~trebla/CSCB09-2022-Summer/a3/sample-main.c could have used that simplification. |
| 2023-09-04 06:55:46 +0200 | <EvanR> | int *p = &6; (*p)++; printf("%d\n", 6); |
| 2023-09-04 06:55:48 +0200 | <EvanR> | 7 |
| 2023-09-04 06:56:27 +0200 | <mauke> | &6 is semnatically invalid. it might even be syntactically invalid |
| 2023-09-04 06:56:42 +0200 | <EvanR> | unfortunate |
| 2023-09-04 06:57:07 +0200 | <EvanR> | yeah it's syntactically invalid |
| 2023-09-04 06:57:12 +0200 | <monochrom> | ooohhh nice, static storage if file scope, automatic storage if block scope. |
| 2023-09-04 06:58:26 +0200 | <EvanR> | & turns an lvalue into an rvalue |
| 2023-09-04 06:58:35 +0200 | <mauke> | perl parses 'my $p = \6; $$p++;' but dies at runtime with "Modification of a read-only value attempted" |
| 2023-09-04 07:00:39 +0200 | <probie> | If you want to do cursed things, I recommend re-assigning integers in Python |
| 2023-09-04 07:01:52 +0200 | <EvanR> | I was on board until python |
| 2023-09-04 07:05:15 +0200 | Guest67 | (~Guest67@2603-8080-1f00-082f-3420-5ca1-1a2c-aade.res6.spectrum.com) |
| 2023-09-04 07:06:13 +0200 | acidjnk | (~acidjnk@p200300d6e7072f659081374ad65a2e01.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-04 07:10:26 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-09-04 07:10:42 +0200 | Guest67 | (~Guest67@2603-8080-1f00-082f-3420-5ca1-1a2c-aade.res6.spectrum.com) (Quit: Client closed) |
| 2023-09-04 07:11:02 +0200 | <monochrom> | ooohhhh this too: int *p = (int[]){1, 2}; |
| 2023-09-04 07:12:46 +0200 | <jackdk> | Does MSVC support C99 these days? I remember that being a big blocker to adoption |
| 2023-09-04 07:15:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-04 07:20:09 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-04 07:21:06 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-04 07:23:12 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6520588d179814dc9a.dip0.t-ipconnect.de) |
| 2023-09-04 07:35:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-04 07:38:10 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-04 07:40:47 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 07:49:48 +0200 | michalz | (~michalz@185.246.207.203) |
| 2023-09-04 07:55:10 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 07:59:48 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-04 08:02:56 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-09-04 08:05:36 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 2023-09-04 08:05:49 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-04 08:07:22 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-04 08:20:43 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-09-04 08:23:01 +0200 | shelby | (~thomas_sh@115.96.219.194) |
| 2023-09-04 08:29:08 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-04 08:41:13 +0200 | kenran | (~user@user/kenran) |
| 2023-09-04 08:45:22 +0200 | <phma> | I'm trying to compile my program with bare ghc, and I need to add the package arithmoi. It's already in my Stack packages, |
| 2023-09-04 08:46:04 +0200 | <phma> | but I have to install it so that bare ghc can find it. I've tried various ghc-pkg commands and ghc -package; no joy. How do I do it? |
| 2023-09-04 08:46:27 +0200 | <phma> | This is for submitting a bug report to ghc. |
| 2023-09-04 08:46:53 +0200 | ursa-major | (~ursa-majo@static-198-44-128-182.cust.tzulo.com) |
| 2023-09-04 08:50:59 +0200 | <tomsmeding> | phma: the ghc dev team knows cabal; if you create a minimal cabal project with just two files (something.cabal and Main.hs) then they won't blink |
| 2023-09-04 08:51:16 +0200 | <tomsmeding> | a lot easier than figuring out how to do package management without cabal :p |
| 2023-09-04 08:53:46 +0200 | <probie> | phma: The command you want is `ghc-pkg register`, but then you need to write a package specification. +1 on just using cabal |
| 2023-09-04 08:55:10 +0200 | <tomsmeding> | phma: and if you're stuck on using a self-compiled ghc: `cabal -w /path/to/your/ghc build` ;) |
| 2023-09-04 08:59:54 +0200 | <phma> | can I make the cabal file by excerpting from the cabal file in my stack project? |
| 2023-09-04 09:00:08 +0200 | <tomsmeding> | yes |
| 2023-09-04 09:00:21 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-04 09:01:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-04 09:02:30 +0200 | CiaoSen | (~Jura@2a05:5800:2a3:3400:664b:f0ff:fe37:9ef) |
| 2023-09-04 09:05:10 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 09:06:30 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-04 09:09:33 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-04 09:17:01 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 2023-09-04 09:19:27 +0200 | shiraeeshi | (~shiraeesh@user/shiraeeshi) (Ping timeout: 255 seconds) |
| 2023-09-04 09:19:50 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 09:19:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e372:8b17:e09f:6ef9) |
| 2023-09-04 09:20:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 2023-09-04 09:23:25 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds) |
| 2023-09-04 09:23:27 +0200 | drewjose8 | drewjose |
| 2023-09-04 09:23:41 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:4095:e074:a4a8:84fb) |
| 2023-09-04 09:25:26 +0200 | shiraeeshi | (~shiraeesh@46.42.245.129) |
| 2023-09-04 09:26:39 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 255 seconds) |
| 2023-09-04 09:30:13 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 09:34:08 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:4095:e074:a4a8:84fb) (Ping timeout: 246 seconds) |
| 2023-09-04 09:38:19 +0200 | delYsid | (~user@user/delYsid) |
| 2023-09-04 09:38:43 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-09-04 09:39:03 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-04 09:39:55 +0200 | chele | (~chele@user/chele) |
| 2023-09-04 09:42:48 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-09-04 09:43:19 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-04 09:46:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-04 09:47:29 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) |
| 2023-09-04 09:49:10 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-04 09:52:45 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-09-04 09:52:51 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-04 09:55:22 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-04 10:03:06 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 260 seconds) |
| 2023-09-04 10:03:48 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-04 10:04:24 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-04 10:05:31 +0200 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-04 10:06:01 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:4095:e074:a4a8:84fb) |
| 2023-09-04 10:06:26 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 10:06:30 +0200 | <shelby> | hi..I am trying to get extract a letter from a string using a number.. code i have written is https://wtools.io/paste-code/bPyb |
| 2023-09-04 10:07:57 +0200 | <shelby> | the code does not compile as the function takes and int and should give a bool.. however i want it to output a character.. |
| 2023-09-04 10:08:18 +0200 | <shelby> | what am i doing wrong? |
| 2023-09-04 10:08:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-04 10:11:07 +0200 | <dminuoso> | :t elem |
| 2023-09-04 10:11:08 +0200 | <lambdabot> | (Foldable t, Eq a) => a -> t a -> Bool |
| 2023-09-04 10:11:23 +0200 | <dminuoso> | shelby: This merely tests whether a given element is an element of a foldable (say a list) |
| 2023-09-04 10:11:29 +0200 | <dminuoso> | What you probably meant to use, is this: |
| 2023-09-04 10:11:31 +0200 | <dminuoso> | :t (!!) |
| 2023-09-04 10:11:32 +0200 | <lambdabot> | [a] -> Int -> a |
| 2023-09-04 10:11:38 +0200 | <dminuoso> | > "foo" !! 1 |
| 2023-09-04 10:11:40 +0200 | <lambdabot> | 'o' |
| 2023-09-04 10:11:55 +0200 | <tomsmeding> | > (3 `elem` [1, 2, 3, 4], 5 `elem` [1, 2, 3, 4]) |
| 2023-09-04 10:11:57 +0200 | <lambdabot> | (True,False) |
| 2023-09-04 10:13:23 +0200 | <shelby> | dminuoso: ok .. so it only confirms if its present and does not extract it.. thanks .. |
| 2023-09-04 10:13:47 +0200 | <dminuoso> | shelby: Well, it doesnt even check whether the "nth" element exists, but whether the element verbatim exists. |
| 2023-09-04 10:13:57 +0200 | <dminuoso> | > 'x' `elem` "foo" |
| 2023-09-04 10:13:58 +0200 | <lambdabot> | False |
| 2023-09-04 10:13:59 +0200 | <dminuoso> | > 'f' `elem` "foo" |
| 2023-09-04 10:14:01 +0200 | <lambdabot> | True |
| 2023-09-04 10:14:23 +0200 | <shelby> | ok |
| 2023-09-04 10:14:39 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-09-04 10:14:57 +0200 | <dminuoso> | I can see how you expected `elem` to index instead, its name is somewhat confusing. |
| 2023-09-04 10:15:21 +0200 | <tomsmeding> | naming is hard :) |
| 2023-09-04 10:18:51 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 2023-09-04 10:20:49 +0200 | fserucas__ | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2023-09-04 10:20:59 +0200 | <probie> | I think it actually should |
| 2023-09-04 10:21:40 +0200 | <probie> | (for lists anyway, the whole foldable thing makes it more complex) |
| 2023-09-04 10:22:05 +0200 | <tomsmeding> | probie: they were looking for (!!), not elemIndex |
| 2023-09-04 10:22:25 +0200 | <tomsmeding> | and as for returning the index, well, there's elemIndex :p |
| 2023-09-04 10:22:36 +0200 | kupi_ | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-09-04 10:23:08 +0200 | <probie> | Sure, but why two functions when one would do. Why return a meaningless `Bool` when you can return actual evidence? |
| 2023-09-04 10:23:15 +0200 | kupi_ | kupi |
| 2023-09-04 10:23:19 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-09-04 10:23:31 +0200 | <tomsmeding> | because then you'd need to be doing 'isJust . elem' a lot |
| 2023-09-04 10:24:01 +0200 | <tomsmeding> | sometimes if the weaker version of a function is often useful, it's nice to just define it and make peoples lives a bit easier |
| 2023-09-04 10:24:38 +0200 | <probie> | Or to take a branch from Coq and generalise `if` to all two constructor types (and possibly guards as well) |
| 2023-09-04 10:24:39 +0200 | <tomsmeding> | you could hold the same argument for isJust, but if you eliminate isJust too, you'd need a full case expression to even check whether a thing is in a list |
| 2023-09-04 10:24:42 +0200 | <tomsmeding> | which is bonkers |
| 2023-09-04 10:24:53 +0200 | <tomsmeding> | probie: MultiWayIfs |
| 2023-09-04 10:25:03 +0200 | <tomsmeding> | er, MultiWayIf |
| 2023-09-04 10:25:10 +0200 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/multiway_if.html#extension-MultiWayIf |
| 2023-09-04 10:25:46 +0200 | <tomsmeding> | and the fully general one is called 'case' in haskell |
| 2023-09-04 10:26:33 +0200 | <tomsmeding> | but I prefer writing 'foo | x `elem` thing = ... | otherwise = ...' over 'case x `elemIndex` thing of Nothing -> ... ; Just _ -> ...' |
| 2023-09-04 10:26:37 +0200 | <tomsmeding> | er, foo = |
| 2023-09-04 10:28:32 +0200 | <probie> | `foo | Just{} <- x `elem` thing = ... | otherwise = ...` isn't that bad imo |
| 2023-09-04 10:29:08 +0200 | <probie> | I'm not a fan of how `Bool` is so privileged |
| 2023-09-04 10:29:42 +0200 | <tomsmeding> | haskell should be even more liberal with what you can put in a name and allow ? from lisp |
| 2023-09-04 10:29:55 +0200 | <tomsmeding> | elem :: a -> t a -> Int ; elem? :: a -> t a -> Bool |
| 2023-09-04 10:30:04 +0200 | <tomsmeding> | er, Maybe Int |
| 2023-09-04 10:30:08 +0200 | <tomsmeding> | I'm not very awake this morning |
| 2023-09-04 10:30:28 +0200 | <tomsmeding> | elem‽ :: a -> t a -> Int |
| 2023-09-04 10:30:30 +0200 | <probie> | if by lisp you mean common lisp, they actually used "p", "?" is a scheme-ism |
| 2023-09-04 10:30:41 +0200 | tomsmeding | is not a lisper |
| 2023-09-04 10:31:55 +0200 | danse-nr3_ | (~francesco@151.47.115.24) |
| 2023-09-04 10:32:27 +0200 | <probie> | It's early evening for me, but I spent my afternoon at the pub, so unhelpful opinions have been greatly amplified. Nonetheless, I stand by my original premise, which is that `if` and guards being specialised to `Bool`s was a mistake |
| 2023-09-04 10:33:06 +0200 | <tomsmeding> | what's wrong with 'case'? |
| 2023-09-04 10:33:13 +0200 | <tomsmeding> | I concede that MultiWayIf is not what you were talking about |
| 2023-09-04 10:34:06 +0200 | <tomsmeding> | all the general stuff is _also_ there (apart from ill-designed libraries) |
| 2023-09-04 10:34:11 +0200 | <probie> | There's nothing wrong with case, but it's awkward to use compared to alternatives, as you have alluded to. In a lot of cases I have a binary decision (but perhaps don't want a `Bool` type) |
| 2023-09-04 10:34:13 +0200 | <shiraeeshi> | asynchronous exceptions - that's what was a mistake |
| 2023-09-04 10:34:39 +0200 | <tomsmeding> | it sounds to me like you're just arguing for removing specialised stuff (to Bool) -- I don't see the use of just removing stuff |
| 2023-09-04 10:35:09 +0200 | <tomsmeding> | probie: what syntax did you have in mind? IIRC coq's 'if' isn't any better than haskell's 'case' |
| 2023-09-04 10:35:35 +0200 | <tomsmeding> | to be generic over data types you have to name the constructors somehow, and at that point there's not much more syntax in a 'case'; perhaps 'of' |
| 2023-09-04 10:36:24 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 10:36:58 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-04 10:38:10 +0200 | <probie> | tomsmeding: just `foo | bar <- Just x = bar` being `foo = x`. I want non-booleans in guards (and also `if` completely removed) |
| 2023-09-04 10:38:28 +0200 | <dminuoso> | Im willing to be that what is really useful, is LSP + Wingman for automatic case-of branch generation. |
| 2023-09-04 10:38:54 +0200 | <tomsmeding> | probie: but `foo | bar <- Just x = bar` is `foo = Just x`? |
| 2023-09-04 10:39:29 +0200 | <dminuoso> | You meant `foo (Just x) = bar` |
| 2023-09-04 10:39:49 +0200 | <tomsmeding> | I did not, but perhaps I misunderstood probie |
| 2023-09-04 10:39:53 +0200 | <tomsmeding> | s/perhaps/probably/ |
| 2023-09-04 10:40:01 +0200 | <dminuoso> | I dont think there's anything inherently wrong about `if`, only that its not a mixfix function like in idris. |
| 2023-09-04 10:40:46 +0200 | <probie> | Sorry, brain is half (or more) offline right now. What I wanted to write is `foo | Just x = x` being `foo = x` |
| 2023-09-04 10:40:47 +0200 | <dminuoso> | THough Im not too sure whether arbitrary mixfix functions are generally a good idea |
| 2023-09-04 10:41:18 +0200 | <probie> | ask me again in 12+ hours for useful clarification |
| 2023-09-04 10:41:32 +0200 | <tomsmeding> | probie: the first option (with '| Just x =') being your new syntax? |
| 2023-09-04 10:41:40 +0200 | <tomsmeding> | what is that testing on |
| 2023-09-04 10:41:57 +0200 | <tomsmeding> | whether 'x' is a Just? |
| 2023-09-04 10:42:02 +0200 | <tomsmeding> | or whether 'Just x' satisfies something? |
| 2023-09-04 10:42:06 +0200 | <probie> | On whether it's the first or second constructor (like in an if statement in Coq) |
| 2023-09-04 10:42:23 +0200 | <tomsmeding> | _oh_ |
| 2023-09-04 10:42:28 +0200 | <tomsmeding> | you want it to be constructor-order dependent |
| 2023-09-04 10:42:30 +0200 | <tomsmeding> | I hate |
| 2023-09-04 10:42:49 +0200 | <tomsmeding> | :) |
| 2023-09-04 10:42:54 +0200 | <[exa]> | :] |
| 2023-09-04 10:43:01 +0200 | <probie> | I'd settle for a restriction to `Bool`, `Maybe` and newtypes over the top of those |
| 2023-09-04 10:43:34 +0200 | <tomsmeding> | would Just come first or would Nothing come first |
| 2023-09-04 10:44:49 +0200 | <probie> | `False`, `Nothing` and `Left _` (I forgot `Either`) should all be false-y |
| 2023-09-04 10:45:04 +0200 | <tomsmeding> | does the falsy one or the truthy one come first? |
| 2023-09-04 10:45:17 +0200 | <tomsmeding> | (I agree about the falsiness) |
| 2023-09-04 10:46:28 +0200 | <probie> | The current idiom is that it comes first. I'd settle for a typeclass to determine that `class IsPredicate a where predicate :: a -> (forall b . b -> b -> b)` |
| 2023-09-04 10:46:38 +0200 | <tomsmeding> | the current idiom is _not_ that it comes first |
| 2023-09-04 10:46:46 +0200 | <tomsmeding> | 'if' lets the truthy one come first |
| 2023-09-04 10:46:53 +0200 | <probie> | > False < True |
| 2023-09-04 10:46:54 +0200 | <lambdabot> | True |
| 2023-09-04 10:46:56 +0200 | <tomsmeding> | and no other built-in syntax currently cares about the ordering |
| 2023-09-04 10:46:59 +0200 | <probie> | > Nothing < Just 5 |
| 2023-09-04 10:47:00 +0200 | <lambdabot> | True |
| 2023-09-04 10:47:03 +0200 | <tomsmeding> | right, and 'if' disagrees with Ord |
| 2023-09-04 10:47:08 +0200 | <probie> | > Left "a" < Right "b" |
| 2023-09-04 10:47:10 +0200 | <lambdabot> | True |
| 2023-09-04 10:47:18 +0200 | <tomsmeding> | I know :p |
| 2023-09-04 10:47:23 +0200 | <tomsmeding> | this is precisely why I was asking |
| 2023-09-04 10:48:08 +0200 | <tomsmeding> | having an if that has the False branch before the True branch is going to be real disorienting :p |
| 2023-09-04 10:48:46 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 2023-09-04 10:49:05 +0200 | <tomsmeding> | anyway I'm going to be off |
| 2023-09-04 10:49:12 +0200 | <tomsmeding> | thanks for the discussion |
| 2023-09-04 10:51:03 +0200 | tom__ | (~tom@host86-132-186-152.range86-132.btcentralplus.com) (Read error: Connection reset by peer) |
| 2023-09-04 10:51:42 +0200 | tv | (~tv@user/tv) (Ping timeout: 255 seconds) |
| 2023-09-04 10:57:06 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 10:57:44 +0200 | <Square2> | Have I misunderstood something are Free Monads just the most awesome DSL building tool in the universe? |
| 2023-09-04 10:59:39 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-04 11:00:15 +0200 | <opqdonut> | in theory yes, in practice there are some operational issues (performance, introspectability) |
| 2023-09-04 11:00:54 +0200 | <lortabac> | as far as I understand free monads solve a very specific problem, I don't see why you should use them for "DSL"s in general |
| 2023-09-04 11:00:55 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 255 seconds) |
| 2023-09-04 11:04:00 +0200 | <lortabac> | the best tool for DSL's is algebraic data types :) |
| 2023-09-04 11:04:02 +0200 | tv | (~tv@user/tv) |
| 2023-09-04 11:04:35 +0200 | <opqdonut> | yeah for imperative-ish DSLs they are a good fit, for something declarative not necessarily |
| 2023-09-04 11:07:13 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 258 seconds) |
| 2023-09-04 11:13:57 +0200 | <kuribas> | Square2: not really. For one, free monads are not inspectable, because they bind a lambda, also constructing them can be very inefficient. |
| 2023-09-04 11:16:33 +0200 | <kuribas> | And when using them for effects, I find they don't add a lot that mtl doesn't offer. |
| 2023-09-04 11:17:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-04 11:17:34 +0200 | <Square2> | I played around a bit with them using GADTs for values a documented trick to avoid the functor requirement. I could accomplish all I wished for. Do typesafe expressions outside the monad evaluation and also give me static description of the "program". But maybe I had relaxed requirements. |
| 2023-09-04 11:18:04 +0200 | <Square2> | for values, and used a documented..* |
| 2023-09-04 11:18:19 +0200 | <shelby> | hi.. I made a toy program.. https://wtools.io/paste-code/bPyq is the link to it.. It compiles but when i run it and enter inputs it gives an error "*** Exception: Prelude.read: no parse" |
| 2023-09-04 11:18:40 +0200 | <shelby> | searched around and got this on reddit https://www.reddit.com/r/haskell/comments/10mg5ck/exception_preluderead_no_parse/?rdt=43097 but did not understand it |
| 2023-09-04 11:19:13 +0200 | <Square2> | I was just interested in the input and output parts of the computation so to speak. |
| 2023-09-04 11:19:15 +0200 | phma | (phma@2001:5b0:212a:fde8:c9be:1be2:ad07:be0c) (Read error: Connection reset by peer) |
| 2023-09-04 11:19:55 +0200 | <shelby> | the program is supposed to take two strings, remove common letters take the length of uncommon pick a colour from the string "VIBGYOR" based on the length derived |
| 2023-09-04 11:20:13 +0200 | <shelby> | I am doing something wrong in IO. |
| 2023-09-04 11:20:13 +0200 | phma | (~phma@host-67-44-208-33.hnremote.net) |
| 2023-09-04 11:20:36 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-04 11:21:25 +0200 | <Square2> | shelby, you should read up on Text.Read. That way you can parse string -> int |
| 2023-09-04 11:21:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-04 11:22:21 +0200 | <Square2> | oh, its not that you want maybe. |
| 2023-09-04 11:23:13 +0200 | shiraeeshi | (~shiraeesh@46.42.245.129) (Ping timeout: 240 seconds) |
| 2023-09-04 11:23:21 +0200 | <opqdonut> | shelby: are you sure that's the program you're running? it doesn't seem to use `read`, either directly or indirectly |
| 2023-09-04 11:24:28 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:4095:e074:a4a8:84fb) (Ping timeout: 258 seconds) |
| 2023-09-04 11:24:31 +0200 | <opqdonut> | shelby: when I run that program, it doesn't give the "no parse" error, but instead seems to work |
| 2023-09-04 11:25:15 +0200 | <shelby> | wow |
| 2023-09-04 11:25:29 +0200 | <shelby> | no i am getting error |
| 2023-09-04 11:25:32 +0200 | <shelby> | same error |
| 2023-09-04 11:25:37 +0200 | <opqdonut> | how are you running it? |
| 2023-09-04 11:25:41 +0200 | <shelby> | give me a minute |
| 2023-09-04 11:25:57 +0200 | <opqdonut> | what I did was: `ghci toy.hs` and then `getInputs` in ghci |
| 2023-09-04 11:26:45 +0200 | <shelby> | I load the file in ghci using :l func.hs where func.hs is the name of my file in vs code |
| 2023-09-04 11:26:55 +0200 | <shelby> | and then i ask for getInputs |
| 2023-09-04 11:27:01 +0200 | <shelby> | I put tom and kate as inputs |
| 2023-09-04 11:27:07 +0200 | <shelby> | and i get this error |
| 2023-09-04 11:27:29 +0200 | <opqdonut> | it must be a different file then. are you sure you're running ghci in the right directory? are you sure you've saved the file in vs code? |
| 2023-09-04 11:28:02 +0200 | <opqdonut> | you could try changing the prompt text ("Enter your name:") and see if it changes in ghci as well |
| 2023-09-04 11:28:03 +0200 | ursa-major | (~ursa-majo@static-198-44-128-182.cust.tzulo.com) (Quit: WeeChat 4.0.4) |
| 2023-09-04 11:28:20 +0200 | <shelby> | give me two min |
| 2023-09-04 11:28:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-04 11:28:26 +0200 | <shelby> | Will re check |
| 2023-09-04 11:33:28 +0200 | <shelby> | opqdonut: its working.. i think there was some cache problem.. i restarted v s code and rewrote in a new file and got the same result.. thanks |
| 2023-09-04 11:35:02 +0200 | <opqdonut> | great |
| 2023-09-04 11:38:32 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-04 11:41:56 +0200 | <Square2> | kuribas, opqdonut .Just curious. On their lack of performance. Is it something that manifest itself in a non linear way? Or just comparatively slower than normal monads? |
| 2023-09-04 11:42:10 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-04 11:42:48 +0200 | <kuribas> | yeah, it's non-linear. |
| 2023-09-04 11:43:17 +0200 | <opqdonut> | I think there are some well-known blog posts about this |
| 2023-09-04 11:43:19 +0200 | <Square2> | Ouch. That's not great. |
| 2023-09-04 11:43:43 +0200 | <kuribas> | There is a transform that can avoid this I believe. |
| 2023-09-04 11:43:50 +0200 | <opqdonut> | maybe this one? https://markkarpov.com/post/free-monad-considered-harmful.html |
| 2023-09-04 11:44:04 +0200 | <opqdonut> | I'm not up to date on what's going on these days with free monads though |
| 2023-09-04 11:44:09 +0200 | aniketd | (~Thunderbi@2405:201:d00b:116e:a7a5:78f5:8b0d:5253) |
| 2023-09-04 11:44:17 +0200 | <Square2> | thanks |
| 2023-09-04 11:44:39 +0200 | <[Leary]> | I'm not 100%, but I think the `newtype Free f a = Free{ runFree :: forall m. Monad m => (forall x. f (m x) -> m x) -> m a }` representation evade the performance issues. |
| 2023-09-04 11:44:43 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2023-09-04 11:45:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-04 11:49:19 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-04 11:50:31 +0200 | ft | (~ft@p508dbfdc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-04 11:51:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-04 11:52:55 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-04 11:54:37 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-04 11:55:15 +0200 | <Square2> | [Leary], Oh ok. |
| 2023-09-04 11:55:45 +0200 | <[Leary]> | Yeah, see: https://hackage.haskell.org/package/free-5.2/docs/Control-Monad-Free-Church.html |
| 2023-09-04 11:56:05 +0200 | <[Leary]> | Which actually represents it a little differently, but both should have the same advantages. |
| 2023-09-04 11:58:17 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-04 11:59:24 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-04 11:59:51 +0200 | <Square2> | [Leary], it can still use "do" syntax I hope? At work so can't delve on it atm. |
| 2023-09-04 12:02:31 +0200 | <[Leary]> | Of course. A free monad is a monad. |
| 2023-09-04 12:02:42 +0200 | danse-nr3_ | is sad that your "work" often does not include the possibility to learn relevant stuff |
| 2023-09-04 12:02:51 +0200 | <danse-nr3_> | *our |
| 2023-09-04 12:03:10 +0200 | <Square2> | me too =D |
| 2023-09-04 12:04:02 +0200 | danse-nr3_ | (~francesco@151.47.115.24) (Remote host closed the connection) |
| 2023-09-04 12:04:25 +0200 | danse-nr3_ | (~francesco@151.47.115.24) |
| 2023-09-04 12:06:43 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-09-04 12:06:51 +0200 | CiaoSen | (~Jura@2a05:5800:2a3:3400:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds) |
| 2023-09-04 12:10:34 +0200 | fserucas__ | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2023-09-04 12:10:47 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-04 12:12:34 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-09-04 12:14:13 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 240 seconds) |
| 2023-09-04 12:15:51 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 2023-09-04 12:20:21 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-04 12:26:06 +0200 | mmhat | (~mmh@p200300f1c749b01cee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-04 12:26:48 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-04 12:27:32 +0200 | mmhat | (~mmh@p200300f1c749b01cee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-04 12:27:35 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-04 12:38:34 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 255 seconds) |
| 2023-09-04 12:39:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-04 12:43:02 +0200 | danse-nr3_ | (~francesco@151.47.115.24) (Remote host closed the connection) |
| 2023-09-04 12:43:25 +0200 | danse-nr3_ | (~francesco@151.47.115.24) |
| 2023-09-04 12:44:35 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Remote host closed the connection) |
| 2023-09-04 12:44:52 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) |
| 2023-09-04 12:44:58 +0200 | renegade | (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 258 seconds) |
| 2023-09-04 12:45:00 +0200 | renegade_ | (~renegade@bcdcac82.skybroadband.com) |
| 2023-09-04 12:45:22 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 245 seconds) |
| 2023-09-04 12:45:28 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2023-09-04 12:46:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-04 12:48:33 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-04 12:52:10 +0200 | shiraeeshi | (~shiraeesh@46.42.239.69) |
| 2023-09-04 12:54:46 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-04 13:07:23 +0200 | delYsid | (~user@user/delYsid) (ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-09-04 13:08:21 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2023-09-04 13:10:54 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-04 13:15:46 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-04 13:16:12 +0200 | danse-nr3_ | (~francesco@151.47.115.24) (Ping timeout: 245 seconds) |
| 2023-09-04 13:16:38 +0200 | danse-nr3_ | (~francesco@151.47.115.24) |
| 2023-09-04 13:20:52 +0200 | Guest84 | (~Guest44@176.122.87.241) |
| 2023-09-04 13:21:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-04 13:21:53 +0200 | LazinglyFast | (~LazinglyF@165.225.92.127) |
| 2023-09-04 13:22:20 +0200 | danse-nr3_ | (~francesco@151.47.115.24) (Ping timeout: 248 seconds) |
| 2023-09-04 13:22:38 +0200 | <Guest84> | https://paste.tomsmeding.com/K4EiOLa8 |
| 2023-09-04 13:22:44 +0200 | <Guest84> | which implementation do you think is better? |
| 2023-09-04 13:27:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-04 13:32:28 +0200 | danse-nr3_ | (~francesco@151.47.115.24) |
| 2023-09-04 13:33:06 +0200 | <drewjose> | toBS' is nicer to read |
| 2023-09-04 13:34:20 +0200 | <drewjose> | why not implement toBit in the first `where` rather than nesting it? is what you did more idiomatic? |
| 2023-09-04 13:35:21 +0200 | <haskellbridge> | <mauke> `toBit (odd n) : f (div n 2)`? |
| 2023-09-04 13:36:29 +0200 | <haskellbridge> | <mauke> In fact, this is some unfold over divMod |
| 2023-09-04 13:37:24 +0200 | <Guest84> | about `where` is a typo |
| 2023-09-04 13:37:41 +0200 | <Guest84> | which option is faster? |
| 2023-09-04 13:37:48 +0200 | <Guest84> | recursion? |
| 2023-09-04 13:37:51 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-09-04 13:38:13 +0200 | LazinglyFast | (~LazinglyF@165.225.92.127) (Quit: Client closed) |
| 2023-09-04 13:39:38 +0200 | <haskellbridge> | <mauke> They don't produce the same results, so direct comparisons are pointless |
| 2023-09-04 13:39:43 +0200 | danse-nr3_ | (~francesco@151.47.115.24) (Ping timeout: 240 seconds) |
| 2023-09-04 13:40:43 +0200 | shelby | (~thomas_sh@115.96.219.194) (Ping timeout: 240 seconds) |
| 2023-09-04 13:47:07 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-04 13:49:16 +0200 | <Guest84> | Why? I thought the result was the same |
| 2023-09-04 13:55:34 +0200 | danse-nr3_ | (~francesco@151.47.115.24) |
| 2023-09-04 13:56:36 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-04 14:09:16 +0200 | ripspin | (~chatzilla@1.145.229.183) |
| 2023-09-04 14:10:01 +0200 | CiaoSen | (~Jura@2a05:5800:2a3:3400:664b:f0ff:fe37:9ef) |
| 2023-09-04 14:11:44 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-04 14:13:43 +0200 | danse-nr3_ | (~francesco@151.47.115.24) (Read error: Connection reset by peer) |
| 2023-09-04 14:14:21 +0200 | danse-nr3_ | (~francesco@151.47.111.230) |
| 2023-09-04 14:14:38 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-04 14:18:32 +0200 | artem | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) |
| 2023-09-04 14:18:32 +0200 | ulysses4ever | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 2023-09-04 14:28:26 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-09-04 14:28:36 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-09-04 14:29:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-04 14:30:46 +0200 | califax | (~califax@user/califx) |
| 2023-09-04 14:32:36 +0200 | Guest84 | (~Guest44@176.122.87.241) (Quit: Client closed) |
| 2023-09-04 14:37:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-04 14:40:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-04 14:42:23 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-04 14:45:49 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-04 14:52:43 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-09-04 14:57:49 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-09-04 15:06:24 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-04 15:08:09 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-09-04 15:16:49 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-04 15:18:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-04 15:21:15 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-04 15:21:50 +0200 | Philonous | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 2023-09-04 15:21:56 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-04 15:22:16 +0200 | Philonous | (~Philonous@user/philonous) |
| 2023-09-04 15:23:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-04 15:28:59 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-04 15:30:05 +0200 | CiaoSen | (~Jura@2a05:5800:2a3:3400:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-09-04 15:40:01 +0200 | shelby | (~thomas_sh@115.96.219.194) |
| 2023-09-04 15:41:13 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6520588d179814dc9a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-04 15:49:07 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-04 15:49:43 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 240 seconds) |
| 2023-09-04 15:53:13 +0200 | shiraeeshi | (~shiraeesh@46.42.239.69) (Ping timeout: 240 seconds) |
| 2023-09-04 15:56:02 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-04 15:57:54 +0200 | shiraeeshi | (~shiraeesh@46.42.239.69) |
| 2023-09-04 16:02:40 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-04 16:05:30 +0200 | shiraeeshi | (~shiraeesh@46.42.239.69) (Ping timeout: 245 seconds) |
| 2023-09-04 16:06:25 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-09-04 16:13:05 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6520588d179814dc9a.dip0.t-ipconnect.de) |
| 2023-09-04 16:15:33 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 246 seconds) |
| 2023-09-04 16:20:42 +0200 | ripspin | (~chatzilla@1.145.229.183) (Remote host closed the connection) |
| 2023-09-04 16:28:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e372:8b17:e09f:6ef9) (Quit: WeeChat 2.8) |
| 2023-09-04 16:31:00 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 2023-09-04 16:32:05 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-09-04 16:39:37 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Remote host closed the connection) |
| 2023-09-04 16:43:24 +0200 | shelby | (~thomas_sh@115.96.219.194) (Quit: Leaving) |
| 2023-09-04 16:47:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-04 16:51:14 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-04 16:51:14 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-04 16:51:14 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-04 16:52:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-09-04 16:54:44 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-04 16:55:28 +0200 | ripspin | (~chatzilla@1.145.200.163) |
| 2023-09-04 16:56:39 +0200 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2023-09-04 16:57:32 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-04 16:58:13 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-04 16:58:29 +0200 | urdh | (~urdh@user/urdh) |
| 2023-09-04 17:02:13 +0200 | Jackneill_ | (~Jackneill@20014C4E1E04F900E8A77BDB1AC96767.dsl.pool.telekom.hu) |
| 2023-09-04 17:03:02 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 246 seconds) |
| 2023-09-04 17:05:08 +0200 | stites | (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) |
| 2023-09-04 17:17:11 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-09-04 17:21:59 +0200 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2023-09-04 17:23:18 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-09-04 17:24:15 +0200 | ripspin | (~chatzilla@1.145.200.163) (Remote host closed the connection) |
| 2023-09-04 17:29:30 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-09-04 17:29:57 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-04 17:30:17 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-09-04 17:31:45 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 2023-09-04 17:33:16 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-04 17:34:20 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-09-04 17:36:25 +0200 | kenran | (~user@user/kenran) |
| 2023-09-04 17:36:57 +0200 | ubert | (~Thunderbi@178.115.34.37.wireless.dyn.drei.com) |
| 2023-09-04 17:37:17 +0200 | stites | (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) (Read error: Connection reset by peer) |
| 2023-09-04 17:37:36 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-04 17:38:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-04 17:39:33 +0200 | danza_ | (~francesco@151.47.111.230) |
| 2023-09-04 17:43:26 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-04 17:43:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-04 17:48:59 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-04 17:49:06 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-04 17:49:06 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-04 17:49:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-04 17:56:57 +0200 | danse-nr3_ | (~francesco@151.47.111.230) (Ping timeout: 255 seconds) |
| 2023-09-04 17:59:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-09-04 18:02:39 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-04 18:04:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-04 18:04:16 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-09-04 18:04:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 18:10:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:98db:1d1b:4a69:d772) |
| 2023-09-04 18:14:34 +0200 | danza__ | (~francesco@ge-19-119-246.service.infuturo.it) |
| 2023-09-04 18:15:08 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-04 18:17:12 +0200 | danza_ | (~francesco@151.47.111.230) (Ping timeout: 255 seconds) |
| 2023-09-04 18:18:44 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-04 18:21:15 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-04 18:21:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:98db:1d1b:4a69:d772) (Quit: WeeChat 2.8) |
| 2023-09-04 18:21:41 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Client Quit) |
| 2023-09-04 18:21:44 +0200 | cheater | (~Username@user/cheater) |
| 2023-09-04 18:22:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-09-04 18:22:04 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-04 18:26:42 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-04 18:29:00 +0200 | kilolympus | (~kilolympu@cpc105064-sgyl40-2-0-cust46.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-09-04 18:29:34 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-04 18:29:38 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-09-04 18:30:18 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-04 18:31:01 +0200 | ripspin | (~chatzilla@1.145.231.67) |
| 2023-09-04 18:31:13 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-09-04 18:32:26 +0200 | kenran | (~user@user/kenran) (Ping timeout: 246 seconds) |
| 2023-09-04 18:32:55 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-04 18:34:07 +0200 | sm_ | (~sm@plaintextaccounting/sm) |
| 2023-09-04 18:34:07 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer) |
| 2023-09-04 18:34:40 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-09-04 18:37:08 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-04 18:42:20 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Quit: Leaving) |
| 2023-09-04 18:43:29 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-09-04 18:44:01 +0200 | lukaswilkeer | (~lukaswilk@2804:14c:5b61:82fa:3035:f35b:eea:83b3) |
| 2023-09-04 18:45:18 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-04 18:45:45 +0200 | <lukaswilkeer> | Hello folks, i have a question on stackoverflow that are viewed only 5 times, if someone could help I'm glad. |
| 2023-09-04 18:45:46 +0200 | <lukaswilkeer> | https://stackoverflow.com/questions/77039227/couldnt-match-expected-type-t2-integer-with-actual-ty… |
| 2023-09-04 18:47:33 +0200 | <geekosaur> | if you're not using OverloadedRecordDot with its requirements then you want `amount t` instead of `t.amount` , and similarly for `t.equivalent` |
| 2023-09-04 18:48:03 +0200 | <lukaswilkeer> | no, i wasn't. |
| 2023-09-04 18:48:26 +0200 | <lukaswilkeer> | only OverloadedStrings |
| 2023-09-04 18:48:30 +0200 | <danza__> | interesting, i bet this will not be an isolated case |
| 2023-09-04 18:49:02 +0200 | sm_ | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-09-04 18:49:02 +0200 | <geekosaur> | this is supposedly why OverloadedRecordDot exists. gotta pander to everyone else instead of being Haskell |
| 2023-09-04 18:49:29 +0200 | <geekosaur> | I swear at the rate we're going ghc 12 will be javascript with type level programming 😞 |
| 2023-09-04 18:49:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-04 18:50:09 +0200 | <[exa]> | ( also the question now has 10 views, we improved! ) |
| 2023-09-04 18:50:44 +0200 | <danza__> | fast, answer there! Future points can grant you a job! |
| 2023-09-04 18:50:46 +0200 | <lukaswilkeer> | yep, I could use the overloadedRecordDot, but only works for char, [char] or Text |
| 2023-09-04 18:50:59 +0200 | <[exa]> | lukaswilkeer: do you have any reason to use the dot syntax? |
| 2023-09-04 18:51:10 +0200 | <lukaswilkeer> | nop |
| 2023-09-04 18:51:15 +0200 | <[exa]> | (as in, try :t amount) |
| 2023-09-04 18:51:29 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Remote host closed the connection) |
| 2023-09-04 18:52:28 +0200 | <[exa]> | lukaswilkeer: btw not sure how much you're friends with monads but I'd say this calls for `instance Monoid TotalDeleted` and runWriterT |
| 2023-09-04 18:53:49 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 18:54:05 +0200 | <lukaswilkeer> | [exa] amount is a String -> () Type. |
| 2023-09-04 18:55:18 +0200 | <[exa]> | how come? I'm getting `amount :: TotalDeleted -> Integer` |
| 2023-09-04 18:55:56 +0200 | <lukaswilkeer> | amount' with apostrophe |
| 2023-09-04 18:56:54 +0200 | <[exa]> | no I meant the normal `amount` |
| 2023-09-04 18:57:12 +0200 | <[exa]> | it should have the precisely same type as the `amount'` there |
| 2023-09-04 18:57:13 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 240 seconds) |
| 2023-09-04 18:57:22 +0200 | stites | (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) |
| 2023-09-04 18:59:09 +0200 | ripspin | (~chatzilla@1.145.231.67) (Remote host closed the connection) |
| 2023-09-04 18:59:51 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 19:00:16 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 19:03:44 +0200 | <lukaswilkeer> | ok |
| 2023-09-04 19:06:16 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-04 19:10:48 +0200 | <lukaswilkeer> | variable not in scope |
| 2023-09-04 19:11:13 +0200 | <[Leary]> | lukaswilkeer: GHC is complaining that you're trying to traverse an Integer. Use brackets: `traverse_ (recursive...)`. Also, the final print will always be "0"; `mut` is immutable. |
| 2023-09-04 19:11:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-04 19:12:19 +0200 | <lukaswilkeer> | i create a typeable to deal wiith this |
| 2023-09-04 19:12:37 +0200 | <lukaswilkeer> | i gotta see the immutable part in a second run |
| 2023-09-04 19:12:45 +0200 | stites | (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) (Read error: Connection reset by peer) |
| 2023-09-04 19:13:05 +0200 | stites | (~stites@c-73-238-135-208.hsd1.ct.comcast.net) |
| 2023-09-04 19:13:15 +0200 | <lukaswilkeer> | but for now, i only need to compheend t2 Integer from Integer that I'm getting from amount' |
| 2023-09-04 19:13:16 +0200 | stites | (~stites@c-73-238-135-208.hsd1.ct.comcast.net) (Read error: Connection reset by peer) |
| 2023-09-04 19:13:34 +0200 | <danza__> | sounds like development that could benefit from small experiments with the interpreter |
| 2023-09-04 19:13:56 +0200 | <[exa]> | lukaswilkeer: wait are you sure you need the Typeable? I might not be getting something but this looks super overengineered |
| 2023-09-04 19:14:14 +0200 | stites | (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) |
| 2023-09-04 19:14:21 +0200 | <lukaswilkeer> | I will post a gist |
| 2023-09-04 19:14:48 +0200 | <[Leary]> | :t traverse_ (print :: Integer -> IO ()) (3 :: Integer) |
| 2023-09-04 19:14:49 +0200 | <lambdabot> | error: |
| 2023-09-04 19:14:49 +0200 | <lambdabot> | • Couldn't match expected type ‘t0 Integer’ |
| 2023-09-04 19:14:49 +0200 | <lambdabot> | with actual type ‘Integer’ |
| 2023-09-04 19:19:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-04 19:20:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-04 19:21:20 +0200 | <lukaswilkeer> | https://gist.github.com/saboneterowsantos/b0b472c7af15b8f88af46b307e1631f7 |
| 2023-09-04 19:22:07 +0200 | <[exa]> | lukaswilkeer: what's your previous programming language? |
| 2023-09-04 19:22:20 +0200 | <[exa]> | (I guess rust) |
| 2023-09-04 19:22:22 +0200 | <lukaswilkeer> | python, c, jjs |
| 2023-09-04 19:22:28 +0200 | <lukaswilkeer> | *JS |
| 2023-09-04 19:22:41 +0200 | <[exa]> | ok, there's _nothing_ mutable in haskell |
| 2023-09-04 19:23:12 +0200 | <lukaswilkeer> | I know, i let this to work in another time. |
| 2023-09-04 19:23:18 +0200 | <[exa]> | so the code will need a tiny bit of restructuring, but nothing harsh, we've got tools to do that |
| 2023-09-04 19:23:34 +0200 | <lukaswilkeer> | like: |
| 2023-09-04 19:23:40 +0200 | <lukaswilkeer> | ? |
| 2023-09-04 19:24:12 +0200 | <lukaswilkeer> | dealing with immutability in haskell is new to me |
| 2023-09-04 19:24:27 +0200 | <[exa]> | like State monad, or cheap function calls |
| 2023-09-04 19:24:40 +0200 | <EvanR> | if you're familiar with immutability in other contexts haskell will be a breeze |
| 2023-09-04 19:24:52 +0200 | <EvanR> | it's the default and can't be changed |
| 2023-09-04 19:24:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Read error: Connection reset by peer) |
| 2023-09-04 19:25:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-04 19:25:18 +0200 | <lukaswilkeer> | I've attempt in function calls, inside a typeable, seeing by lenses i can do it inside the function. |
| 2023-09-04 19:25:40 +0200 | <[exa]> | wait what is "inside a typeable" |
| 2023-09-04 19:25:40 +0200 | <lukaswilkeer> | an then, results get the final amount |
| 2023-09-04 19:26:05 +0200 | <lukaswilkeer> | data TotalDeleted = TotalDeleted { |
| 2023-09-04 19:26:05 +0200 | <lukaswilkeer> | amount :: Integer, |
| 2023-09-04 19:26:06 +0200 | <lukaswilkeer> | equivalent :: String |
| 2023-09-04 19:26:06 +0200 | <lukaswilkeer> | } deriving (Eq, Show, Data, Typeable) |
| 2023-09-04 19:26:36 +0200 | <[exa]> | why do you need the Typeable instance? (spoiler: Typeable typeclass doesn't mean "this has a type") |
| 2023-09-04 19:26:37 +0200 | <lukaswilkeer> | doesn't even need the Typeable class |
| 2023-09-04 19:26:42 +0200 | <[exa]> | yap |
| 2023-09-04 19:26:46 +0200 | <[exa]> | probably also not Data |
| 2023-09-04 19:27:09 +0200 | <EvanR> | isn't everything Typeable by default |
| 2023-09-04 19:27:15 +0200 | <EvanR> | everything that can be |
| 2023-09-04 19:27:53 +0200 | <[exa]> | I wouldn't bet but it's possible |
| 2023-09-04 19:28:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 19:28:45 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 2023-09-04 19:29:17 +0200 | <EvanR> | @define data X = X Int Char |
| 2023-09-04 19:29:18 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:170:1: error: |
| 2023-09-04 19:29:18 +0200 | <lambdabot> | Multiple declarations of ‘X’ |
| 2023-09-04 19:29:18 +0200 | <lambdabot> | Declared at: /sandbox/tmp/.L.hs:168:1 |
| 2023-09-04 19:29:37 +0200 | <EvanR> | > typeOf (X 3 'a') |
| 2023-09-04 19:29:39 +0200 | <lambdabot> | X |
| 2023-09-04 19:30:10 +0200 | <danza__> | :t typeOf |
| 2023-09-04 19:30:11 +0200 | <lambdabot> | Typeable a => a -> TypeRep |
| 2023-09-04 19:30:31 +0200 | <[exa]> | oh cool |
| 2023-09-04 19:31:32 +0200 | shiraeeshi | (~shiraeesh@46.42.239.97) |
| 2023-09-04 19:33:34 +0200 | <EvanR> | not that that is helpful for lukaswilkeer I gather |
| 2023-09-04 19:35:58 +0200 | <monochrom> | Do you need lens at this early stage? |
| 2023-09-04 19:36:16 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 19:37:01 +0200 | <lukaswilkeer> | No... i was saying in a literal form |
| 2023-09-04 19:38:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 2023-09-04 19:38:54 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-04 19:39:34 +0200 | haasn | (sid579015@id-579015.hampstead.irccloud.com) |
| 2023-09-04 19:40:00 +0200 | <haasn> | is there a library somewhere for exact calculation of bessel functions of the first kind (specifically, J₁)? |
| 2023-09-04 19:40:16 +0200 | <haasn> | I'd like to use it with CReal if possible but getting precision accurate to Double machine epsilon would also be sufficient |
| 2023-09-04 19:40:27 +0200 | <haasn> | I'm not sure if glibc j1 is accurate to machine epsilon |
| 2023-09-04 19:40:44 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-04 19:42:25 +0200 | <haasn> | https://hackage.haskell.org/package/hmatrix-special-0.4.0.1/docs/Numeric-GSL-Special-Bessel.html#v… maybe this is accurate |
| 2023-09-04 19:42:26 +0200 | <EvanR> | There are errors of up to 2e-16 in the values returned by j0(), j1(), and jn() for values of x between -8 and 8. |
| 2023-09-04 19:42:49 +0200 | <monochrom> | haasn: Yeah hmatrix-* is the only one I've seen. |
| 2023-09-04 19:42:49 +0200 | <haasn> | oh, then that's good enough |
| 2023-09-04 19:42:52 +0200 | <haasn> | thanks |
| 2023-09-04 19:43:15 +0200 | <EvanR> | that's under bugs |
| 2023-09-04 19:43:19 +0200 | <EvanR> | in the man page |
| 2023-09-04 19:43:54 +0200 | <haasn> | ah, I didn't scroll that far down, thanks |
| 2023-09-04 19:44:01 +0200 | thegeekinside | (~thegeekin@189.180.122.37) |
| 2023-09-04 19:44:53 +0200 | <EvanR> | interesting, I'm shadowing math.h every time I call something j0 and j1 xD |
| 2023-09-04 19:45:33 +0200 | <monochrom> | Wait, math.h has j0 etc?! Interesting. |
| 2023-09-04 19:45:50 +0200 | <haasn> | thankfully, I use them for resampling :D |
| 2023-09-04 19:46:09 +0200 | <monochrom> | It's even in POSIX. My hope in humanity is restored. |
| 2023-09-04 19:47:09 +0200 | <haasn> | if your hope in humanity depends on the C standard then I feel very, very sorry for you |
| 2023-09-04 19:47:30 +0200 | <monochrom> | When I was young I wrote "you can't call it a scientific calculator if it doesn't even have some Bessel functions" :) |
| 2023-09-04 19:47:58 +0200 | <EvanR> | software engineering isn't engineering and computer science isn't science |
| 2023-09-04 19:48:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 19:48:26 +0200 | <EvanR> | just kidding |
| 2023-09-04 19:48:44 +0200 | <monochrom> | My hope is restored because even POSIX honours an "obscure" function of prominent importance in math and physics. |
| 2023-09-04 19:49:22 +0200 | <monochrom> | Normally people only honours things taught in highschool or below. |
| 2023-09-04 19:50:09 +0200 | <monochrom> | For example math.h still doesn't have sets. As if set theory "is not math". |
| 2023-09-04 19:50:15 +0200 | <EvanR> | that's progress honestly |
| 2023-09-04 19:50:39 +0200 | <wroathe> | For the most part operation Haskell Types -> SQL code generator was a success. GHC.Generics and DataKinds enables all kinds of tomfoolery. |
| 2023-09-04 19:50:43 +0200 | <wroathe> | Thanks for the help guys |
| 2023-09-04 19:50:45 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-04 19:51:11 +0200 | <EvanR> | I thought set theory was logic |
| 2023-09-04 19:51:16 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 2023-09-04 19:51:43 +0200 | <EvanR> | logic.h |
| 2023-09-04 19:53:04 +0200 | <haasn> | I can understand math.h not having sets because sets in C would be a pain |
| 2023-09-04 19:53:08 +0200 | <haasn> | anything but arrays in C is a pain |
| 2023-09-04 19:53:21 +0200 | <haasn> | actually, even arrays in C are a pain |
| 2023-09-04 19:53:33 +0200 | <EvanR> | in my current C program I use an array and 2 lines of code as a set |
| 2023-09-04 19:53:46 +0200 | <EvanR> | well, multiset |
| 2023-09-04 19:54:01 +0200 | <EvanR> | they could put something like that in math.h |
| 2023-09-04 19:54:55 +0200 | <monochrom> | Did you know that you could do "int *p = (int[]){1, 2, 3};"? That can reduce the pain... |
| 2023-09-04 19:55:53 +0200 | <EvanR> | #define array(X) (int[])X |
| 2023-09-04 19:56:00 +0200 | <EvanR> | int *p = array{1,2,3} |
| 2023-09-04 19:56:09 +0200 | <monochrom> | I know that some world-class programming contest team's priority queue for Dijkstra's algorithm is an array and linear search for the min. |
| 2023-09-04 19:56:29 +0200 | <EvanR> | ah I messed that up |
| 2023-09-04 19:57:35 +0200 | <EvanR> | #define array(...) (int[]){__VA_ARGS__} |
| 2023-09-04 19:57:44 +0200 | <EvanR> | int *p = array(1,2,3); |
| 2023-09-04 19:58:02 +0200 | <monochrom> | OK VA_ARGS in macros, you are bringing out the big gun indeed. :) |
| 2023-09-04 19:59:34 +0200 | <EvanR> | when everything is an int C gets really nice |
| 2023-09-04 20:01:09 +0200 | <tomsmeding> | the really big guns are _Generic |
| 2023-09-04 20:01:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 2023-09-04 20:02:05 +0200 | <EvanR> | typedef struct vec2 {double x; double y;} vec2; #define vec2(X,Y) (vec2){X,Y} |
| 2023-09-04 20:02:12 +0200 | <EvanR> | vec2 v = vec2(3,4); |
| 2023-09-04 20:05:01 +0200 | <monochrom> | You can write "vec2 v = {3, 4};" without needing (vec2). |
| 2023-09-04 20:05:33 +0200 | <EvanR> | OK YEAH |
| 2023-09-04 20:05:37 +0200 | <monochrom> | The benefit is when you want an initializer for a pointer instead. "vec2 *p = &(vec2){3, 4};" |
| 2023-09-04 20:06:08 +0200 | <EvanR> | vec2 v = dot(vec2(1,0), u); |
| 2023-09-04 20:06:48 +0200 | <monochrom> | Or when you want to pass a one-shot thing to a function that takes a pointer. memcpy(dst, &(vec){3, 4}); |
| 2023-09-04 20:07:21 +0200 | <EvanR> | that is handy |
| 2023-09-04 20:07:27 +0200 | <monochrom> | fwrite(&(int[]){1,2,3}, sizeof(int), 3, f); |
| 2023-09-04 20:08:13 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-04 20:09:45 +0200 | <EvanR> | no & there |
| 2023-09-04 20:11:08 +0200 | <monochrom> | Oh! Right. Shouldn't have & for those two arrays. |
| 2023-09-04 20:11:23 +0200 | <monochrom> | err just one array. |
| 2023-09-04 20:15:32 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Ping timeout: 246 seconds) |
| 2023-09-04 20:15:37 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-04 20:22:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 20:29:21 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-04 20:36:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 2023-09-04 20:40:39 +0200 | EvanR_ | (~EvanR@user/evanr) |
| 2023-09-04 20:42:52 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 2023-09-04 20:43:29 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-09-04 20:48:53 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-04 20:50:01 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2023-09-04 20:50:31 +0200 | EvanR_ | EvanR |
| 2023-09-04 21:00:42 +0200 | cptaffe | (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) |
| 2023-09-04 21:02:01 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 21:03:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-04 21:05:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-04 21:07:13 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 240 seconds) |
| 2023-09-04 21:09:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 21:10:40 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 2023-09-04 21:14:03 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-09-04 21:16:00 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 21:17:26 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 21:17:50 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 21:18:10 +0200 | cptaffe | (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2023-09-04 21:20:57 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-04 21:21:45 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-04 21:23:14 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 21:23:44 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 21:24:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-04 21:24:37 +0200 | shiraeeshi | (~shiraeesh@46.42.239.97) (Ping timeout: 255 seconds) |
| 2023-09-04 21:25:06 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-04 21:25:53 +0200 | shiraeeshi | (~shiraeesh@46.42.239.97) |
| 2023-09-04 21:26:09 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-04 21:27:35 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:355f:ea03:23d5:350b) |
| 2023-09-04 21:27:56 +0200 | jeetelongname | (~jeet@cpc96970-rdng25-2-0-cust390.15-3.cable.virginm.net) |
| 2023-09-04 21:28:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 2023-09-04 21:28:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 21:29:30 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-09-04 21:30:21 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-04 21:31:20 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-04 21:31:20 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-04 21:31:20 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-04 21:36:24 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-04 21:36:51 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-04 21:37:15 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-04 21:38:17 +0200 | cptaffe | (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) |
| 2023-09-04 21:39:17 +0200 | cptaffe | (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) (Client Quit) |
| 2023-09-04 21:39:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 2023-09-04 21:44:43 +0200 | cptaffe | (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) |
| 2023-09-04 21:47:10 +0200 | waldo | (~waldo@user/waldo) |
| 2023-09-04 21:47:14 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-04 21:50:26 +0200 | cptaffe | (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-09-04 21:51:27 +0200 | ft | (~ft@p508dbfdc.dip0.t-ipconnect.de) |
| 2023-09-04 21:52:04 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-09-04 21:53:17 +0200 | cptaffe | (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) |
| 2023-09-04 21:53:52 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-04 21:55:43 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 240 seconds) |
| 2023-09-04 21:56:36 +0200 | stites | (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) (Read error: Connection reset by peer) |
| 2023-09-04 21:56:48 +0200 | stites | (~stites@2603:3005:b69:4100:4cd3:d69a:b99b:43fc) |
| 2023-09-04 21:57:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-04 21:58:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 21:59:42 +0200 | cptaffe | (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-09-04 22:02:42 +0200 | waldo | (~waldo@user/waldo) |
| 2023-09-04 22:04:13 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Ping timeout: 246 seconds) |
| 2023-09-04 22:04:38 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-09-04 22:06:47 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-04 22:08:35 +0200 | cptaffe | (~textual@2600:1700:f08:111f:15d7:e5a6:2c46:d19a) |
| 2023-09-04 22:11:35 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) (ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2023-09-04 22:11:52 +0200 | ircbrowse_tom_ | (~ircbrowse@static.162.49.55.162.clients.your-server.de) |
| 2023-09-04 22:11:56 +0200 | nrr______ | (sid20938@id-20938.lymington.irccloud.com) |
| 2023-09-04 22:11:57 +0200 | kraftwerk28_ | (~kraftwerk@164.92.219.160) |
| 2023-09-04 22:11:58 +0200 | Server | +Cnt |
| 2023-09-04 22:11:59 +0200 | hovsater_ | (sid499516@id-499516.lymington.irccloud.com) |
| 2023-09-04 22:12:00 +0200 | agander_m_ | (sid407952@id-407952.tinside.irccloud.com) |
| 2023-09-04 22:12:04 +0200 | dy_ | (sid3438@user/dy) |
| 2023-09-04 22:12:29 +0200 | berberman_ | (~berberman@user/berberman) |
| 2023-09-04 22:12:31 +0200 | B-J | (~BenziJuni@88-149-64-112.du.xdsl.is) |
| 2023-09-04 22:12:46 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:47 +0200 | dy | (sid3438@user/dy) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:47 +0200 | acro | (~acro@user/acro) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:47 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:47 +0200 | jackdk | (sid373013@cssa/jackdk) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:47 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:47 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | echoreply | (~echoreply@45.32.163.16) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | megaTherion | (~therion@unix.io) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | eugenrh_ | (~eugenrh@2a01:4f9:c011:265::1) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | arkeet | (arkeet@moriya.ca) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) (Quit: No Ping reply in 180 seconds.) |
| 2023-09-04 22:12:48 +0200 | quintasan | (~quassel@quintasan.pl) (Remote host closed the connection) |
| 2023-09-04 22:12:48 +0200 | kraftwerk28 | (~kraftwerk@164.92.219.160) (Read error: Connection reset by peer) |
| 2023-09-04 22:12:48 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Read error: Connection reset by peer) |
| 2023-09-04 22:12:48 +0200 | Hecate | (~mariposa@user/hecate) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | cln_ | (cln@wtf.cx) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | int-e | (~noone@int-e.eu) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | meooow | (~meooow@165.232.184.169) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | T_S___ | (sid501726@id-501726.uxbridge.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | bollu | (~bollu@159.65.151.13) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | hovsater | (sid499516@id-499516.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:48 +0200 | nrr_____ | (sid20938@id-20938.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:49 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-112.hive.is) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:49 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:49 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:49 +0200 | lilata | (~lilata@137.184.4.49) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:49 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
| 2023-09-04 22:12:49 +0200 | lilata2 | lilata |
| 2023-09-04 22:12:49 +0200 | hamishmack_ | hamishmack |
| 2023-09-04 22:12:49 +0200 | sgarcia_ | (sgarcia@swarm.znchost.com) |
| 2023-09-04 22:12:49 +0200 | dy_ | dy |
| 2023-09-04 22:12:49 +0200 | arkeet` | arkeet |
| 2023-09-04 22:12:49 +0200 | agander_m_ | agander_m |
| 2023-09-04 22:12:49 +0200 | megaTherion_ | megaTherion |
| 2023-09-04 22:12:49 +0200 | jackdk_ | jackdk |
| 2023-09-04 22:12:49 +0200 | evanrelf_ | evanrelf |
| 2023-09-04 22:12:49 +0200 | bollu7 | bollu |
| 2023-09-04 22:12:50 +0200 | hovsater_ | hovsater |
| 2023-09-04 22:12:50 +0200 | ggb_ | ggb |
| 2023-09-04 22:12:51 +0200 | ymherklotz_ | ymherklotz |
| 2023-09-04 22:12:57 +0200 | tureba | (~tureba@tureba.org) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:57 +0200 | stilgart_ | (~Christoph@chezlefab.net) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:57 +0200 | tired- | (~tired@user/tired) (Ping timeout: 246 seconds) |
| 2023-09-04 22:12:57 +0200 | mht-wtf | (~mht@mht.wtf) (Ping timeout: 246 seconds) |
| 2023-09-04 22:13:01 +0200 | raghavgururajan_ | (ea769b8000@2604:bf00:561:2000::242) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:01 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | b0o_ | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | whereiseveryone_ | (206ba86c98@2604:bf00:561:2000::2e4) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | 040AADQ8O | (7569f027cf@2604:bf00:561:2000::e4) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | rselim | (ce261f06ff@user/milesrout) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | fgaz_ | (1ff9197ed6@2604:bf00:561:2000::11ea) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | sus | (1b7af6299f@user/zeromomentum) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | jakzale | (6291399afa@user/jakzale) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | probie | (cc0b34050a@user/probie) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:02 +0200 | sm2n | (ae95cb1267@user/sm2n) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:03 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:03 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:03 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:03 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:03 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:03 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:03 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) (Write error: Connection reset by peer) |
| 2023-09-04 22:13:03 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Read error: Connection reset by peer) |
| 2023-09-04 22:13:15 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-09-04 22:13:16 +0200 | fgaz_ | (1ff9197ed6@2604:bf00:561:2000::11ea) |
| 2023-09-04 22:13:17 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2023-09-04 22:13:18 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2023-09-04 22:13:18 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2023-09-04 22:13:18 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2023-09-04 22:13:18 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2023-09-04 22:13:27 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2023-09-04 22:13:27 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2023-09-04 22:13:35 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2023-09-04 22:13:35 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2023-09-04 22:13:36 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2023-09-04 22:13:36 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) |
| 2023-09-04 22:13:36 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2023-09-04 22:13:44 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2023-09-04 22:13:44 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2023-09-04 22:13:45 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2023-09-04 22:13:45 +0200 | probie | (cc0b34050a@user/probie) |
| 2023-09-04 22:13:45 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
| 2023-09-04 22:13:49 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2023-09-04 22:14:26 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2023-09-04 22:14:26 +0200 | cln_ | (cln@wtf.cx) |
| 2023-09-04 22:14:30 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) |
| 2023-09-04 22:14:30 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2023-09-04 22:14:30 +0200 | acro | (~acro@user/acro) |
| 2023-09-04 22:14:30 +0200 | Hecate | (~mariposa@user/hecate) |
| 2023-09-04 22:14:33 +0200 | danza_ | (~francesco@151.43.119.54) |
| 2023-09-04 22:14:33 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2023-09-04 22:14:37 +0200 | stites | (~stites@2603:3005:b69:4100:870c:2968:b53:634e) |
| 2023-09-04 22:14:37 +0200 | eugenrh_ | (~eugenrh@2a01:4f9:c011:265::1) |
| 2023-09-04 22:14:37 +0200 | samhh_ | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-09-04 22:14:37 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2023-09-04 22:14:38 +0200 | int-e | (~noone@int-e.eu) |
| 2023-09-04 22:14:38 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) |
| 2023-09-04 22:14:44 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2023-09-04 22:14:45 +0200 | tureba | (~tureba@tureba.org) |
| 2023-09-04 22:14:46 +0200 | anpad | (~pandeyan@135-180-53-157.fiber.dynamic.sonic.net) |
| 2023-09-04 22:14:46 +0200 | anpad | (~pandeyan@135-180-53-157.fiber.dynamic.sonic.net) (Changing host) |
| 2023-09-04 22:14:46 +0200 | anpad | (~pandeyan@user/anpad) |
| 2023-09-04 22:14:46 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2023-09-04 22:14:50 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2023-09-04 22:14:53 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
| 2023-09-04 22:14:54 +0200 | stilgart | (~Christoph@chezlefab.net) |
| 2023-09-04 22:14:54 +0200 | rselim | (ce261f06ff@user/milesrout) |
| 2023-09-04 22:15:04 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-09-04 22:15:07 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2023-09-04 22:15:12 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2023-09-04 22:15:13 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
| 2023-09-04 22:15:20 +0200 | quintasan | (~quassel@quintasan.pl) |
| 2023-09-04 22:15:29 +0200 | danza__ | (~francesco@ge-19-119-246.service.infuturo.it) (Read error: Connection reset by peer) |
| 2023-09-04 22:17:44 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 2023-09-04 22:17:44 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-04 22:17:57 +0200 | mht-wtf | (~mht@2a03:b0c0:3:e0::1e2:c001) |
| 2023-09-04 22:18:09 +0200 | ulysses4ever | (~artem@73.145.240.8) |
| 2023-09-04 22:18:10 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2023-09-04 22:18:50 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-09-04 22:20:43 +0200 | artem | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Ping timeout: 240 seconds) |
| 2023-09-04 22:20:54 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-04 22:25:30 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-09-04 22:26:47 +0200 | lukaswilkeer | (~lukaswilk@2804:14c:5b61:82fa:3035:f35b:eea:83b3) (Ping timeout: 246 seconds) |
| 2023-09-04 22:28:37 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-04 22:30:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:355f:ea03:23d5:350b) (Quit: WeeChat 2.8) |
| 2023-09-04 22:31:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 2023-09-04 22:31:39 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 255 seconds) |
| 2023-09-04 22:33:00 +0200 | shiraeeshi | (~shiraeesh@46.42.239.97) (Ping timeout: 245 seconds) |
| 2023-09-04 22:34:48 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 2023-09-04 22:35:05 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 245 seconds) |
| 2023-09-04 22:35:22 +0200 | shiraeeshi | (~shiraeesh@46.42.239.97) |
| 2023-09-04 22:35:38 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-04 22:35:39 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-04 22:35:39 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-04 22:40:13 +0200 | Jackneill_ | (~Jackneill@20014C4E1E04F900E8A77BDB1AC96767.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-09-04 22:43:25 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-04 22:43:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 2023-09-04 22:52:36 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-04 22:54:12 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2023-09-04 22:54:31 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-09-04 23:00:43 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6520588d179814dc9a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-04 23:03:45 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-04 23:07:08 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-04 23:07:25 +0200 | aniketd | (~Thunderbi@2405:201:d00b:116e:a7a5:78f5:8b0d:5253) (Quit: aniketd) |
| 2023-09-04 23:09:20 +0200 | jeetelongname | (~jeet@cpc96970-rdng25-2-0-cust390.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-09-04 23:10:30 +0200 | cptaffe | (~textual@2600:1700:f08:111f:15d7:e5a6:2c46:d19a) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-09-04 23:16:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-04 23:20:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-04 23:22:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-04 23:23:43 +0200 | stites | (~stites@2603:3005:b69:4100:870c:2968:b53:634e) (Ping timeout: 240 seconds) |
| 2023-09-04 23:25:05 +0200 | stites | (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) |
| 2023-09-04 23:27:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-09-04 23:27:53 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2023-09-04 23:28:28 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-04 23:32:03 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) (Remote host closed the connection) |
| 2023-09-04 23:33:04 +0200 | stites | (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) (Read error: Connection reset by peer) |
| 2023-09-04 23:33:24 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-04 23:33:39 +0200 | jeetelongname | (~jeet@cpc96970-rdng25-2-0-cust390.15-3.cable.virginm.net) |
| 2023-09-04 23:44:44 +0200 | AlexNoo_ | (~AlexNoo@178.34.160.172) |
| 2023-09-04 23:45:11 +0200 | ulysses4ever | (~artem@73.145.240.8) (Ping timeout: 246 seconds) |
| 2023-09-04 23:45:14 +0200 | ph88^ | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-09-04 23:45:19 +0200 | pavonia_ | (~user@user/siracusa) |
| 2023-09-04 23:45:23 +0200 | ulysses4ever | (~artem@2601:408:c408:56d8:f474:e3f8:9806:671) |
| 2023-09-04 23:45:33 +0200 | danza__ | (~francesco@151.43.119.54) |
| 2023-09-04 23:45:53 +0200 | user2 | (~user@162.255.84.96) (Ping timeout: 246 seconds) |
| 2023-09-04 23:45:57 +0200 | lilata1 | (~lilata@137.184.4.49) |
| 2023-09-04 23:46:06 +0200 | raoul4 | (~raoul@95.179.203.88) |
| 2023-09-04 23:46:10 +0200 | Lears | (~Leary]@user/Leary/x-0910699) |
| 2023-09-04 23:46:14 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 2023-09-04 23:46:35 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 2023-09-04 23:46:35 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2023-09-04 23:46:35 +0200 | haskl | (~haskl@user/haskl) (Ping timeout: 246 seconds) |
| 2023-09-04 23:46:45 +0200 | pavonia_ | pavonia |
| 2023-09-04 23:47:03 +0200 | acro_ | (~acro@user/acro) |
| 2023-09-04 23:47:03 +0200 | haskl | (~haskl@user/haskl) |
| 2023-09-04 23:47:17 +0200 | acro | (~acro@user/acro) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:17 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:17 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:17 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:18 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:23 +0200 | jeetelongname | (~jeet@cpc96970-rdng25-2-0-cust390.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-09-04 23:47:27 +0200 | acro_ | acro |
| 2023-09-04 23:47:38 +0200 | AlexZenon | (~alzenon@178.34.160.172) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:39 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:39 +0200 | raoul | (~raoul@95.179.203.88) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:39 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:39 +0200 | AlexNoo | (~AlexNoo@178.34.160.172) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:39 +0200 | raoul4 | raoul |
| 2023-09-04 23:47:59 +0200 | danza_ | (~francesco@151.43.119.54) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:59 +0200 | lilata | (~lilata@137.184.4.49) (Ping timeout: 246 seconds) |
| 2023-09-04 23:47:59 +0200 | lilata1 | lilata |
| 2023-09-04 23:48:06 +0200 | user2 | (~user@162.255.84.96) |
| 2023-09-04 23:48:24 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-04 23:49:22 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-09-04 23:49:25 +0200 | _________ | (~nobody@user/noodly) |
| 2023-09-04 23:50:02 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-04 23:53:44 +0200 | AlexZenon | (~alzenon@178.34.160.172) |