| 2024-10-15 00:00:14 +0200 | <geekosaur> | funny enough, it was originally GeneralizedNewtypeDeriving, I found a ticket once about adding the "correct" spelling |
| 2024-10-15 00:00:32 +0200 | <monochrom> | oh heh |
| 2024-10-15 00:01:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2024-10-15 00:01:19 +0200 | ljdarj1 | ljdarj |
| 2024-10-15 00:01:37 +0200 | <geekosaur> | (we go through this with DCSS as well, every so often someone patches up some name to Australian spelling) |
| 2024-10-15 00:03:04 +0200 | <monochrom> | I... didn't know that there is also Australian spelling. |
| 2024-10-15 00:04:04 +0200 | <yin> | monochrom: you just add {-# LANGUAGE GennerTippiesM8^^ #-} |
| 2024-10-15 00:04:59 +0200 | <monochrom> | haha |
| 2024-10-15 00:05:10 +0200 | <tomsmeding> | omg TIL GeneralisedNewtypeDeriving is written in British spelling as the standard in GHC |
| 2024-10-15 00:05:50 +0200 | <geekosaur> | it is the *Glasgow* Haskell Compiler, after all |
| 2024-10-15 00:06:06 +0200 | <tomsmeding> | but SPECIALIZE is the other way around: "(UK spelling also accepted.)" |
| 2024-10-15 00:06:07 +0200 | <monochrom> | Oh haha both spellings are supported. |
| 2024-10-15 00:06:34 +0200 | <yin> | *Glorious |
| 2024-10-15 00:06:41 +0200 | <tomsmeding> | *Glorious Glasgow |
| 2024-10-15 00:07:18 +0200 | <tomsmeding> | the ghc user's guide is mightily inconsistent about specialize/specialise |
| 2024-10-15 00:07:19 +0200 | <yin> | is it [Glorious Glasgow] Haskell Compiler or is it Glorious [Glasgow Haskell Compiler]? |
| 2024-10-15 00:07:24 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-15 00:07:48 +0200 | <tomsmeding> | the prose seems to use "specialise", the inline code snippets in the prose "SPECIALIZE", but then the larger code blocks have "SPECIALISE" |
| 2024-10-15 00:07:54 +0200 | <monochrom> | [[Glorious Glasgow] Haskell] Compiler |
| 2024-10-15 00:08:11 +0200 | <tomsmeding> | Glorious [Glasgow [Haskell Compiler]] is how I'd read it |
| 2024-10-15 00:08:39 +0200 | <geekosaur> | oh, is that why ($) is infixr? 😛 |
| 2024-10-15 00:08:46 +0200 | <monochrom> | >:) |
| 2024-10-15 00:09:02 +0200 | <yin> | [avoid success] [at all costs] :p |
| 2024-10-15 00:20:29 +0200 | st_aldini1 | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini |
| 2024-10-15 00:21:50 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-15 00:23:23 +0200 | <monochrom> | @djinn join :: ((((a -> s) -> a) -> s) -> ((a -> s) -> a)) -> ((a -> s) -> a) |
| 2024-10-15 00:23:23 +0200 | <lambdabot> | Cannot parse command |
| 2024-10-15 00:24:06 +0200 | <monochrom> | @djinn ((((a -> s) -> a) -> s) -> ((a -> s) -> a)) -> ((a -> s) -> a) |
| 2024-10-15 00:24:06 +0200 | <lambdabot> | f a b = a (\ c -> b (c b)) b |
| 2024-10-15 00:24:27 +0200 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:627a:78b9:acf4:2bd7) (Ping timeout: 276 seconds) |
| 2024-10-15 00:24:27 +0200 | st_aldini1 | st_aldini |
| 2024-10-15 00:25:12 +0200 | <monochrom> | (That would be join for the monad S s a = (a -> s) -> a. I am studying it because of a recent post on the discourse.) |
| 2024-10-15 00:25:49 +0200 | <monochrom> | (I thought Cont was hard enough, but I aced it. Now this one is even worse.) |
| 2024-10-15 00:26:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-15 00:26:06 +0200 | ljdarj1 | ljdarj |
| 2024-10-15 00:26:24 +0200 | todi_away | (~todi@vm4634378.25ssd.had.wf) |
| 2024-10-15 00:26:50 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-15 00:27:11 +0200 | <dolio> | Search monad? |
| 2024-10-15 00:28:08 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-15 00:28:13 +0200 | <monochrom> | Yeah |
| 2024-10-15 00:29:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-15 00:30:35 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-15 00:33:39 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 00:37:23 +0200 | <yin> | i had little trouble with Cont. I have Tardis on my todo list |
| 2024-10-15 00:38:34 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-15 00:39:16 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) |
| 2024-10-15 00:40:03 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) (Ping timeout: 276 seconds) |
| 2024-10-15 00:40:15 +0200 | <monochrom> | @djinn ((a -> s) -> a) -> (a -> (b -> s) -> b) -> ((b -> s) -> b) |
| 2024-10-15 00:40:15 +0200 | <lambdabot> | f a b c = b (a (\ d -> c (b d c))) c |
| 2024-10-15 00:40:21 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-15 00:40:45 +0200 | <monochrom> | And that's for (>>=). @_@ |
| 2024-10-15 00:44:33 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) |
| 2024-10-15 00:45:22 +0200 | todi_away | (~todi@vm4634378.25ssd.had.wf) (Read error: Connection reset by peer) |
| 2024-10-15 00:45:43 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) (Ping timeout: 264 seconds) |
| 2024-10-15 00:45:48 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-15 00:46:47 +0200 | <dolio> | Seems very inefficient. |
| 2024-10-15 00:48:24 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 272 seconds) |
| 2024-10-15 00:51:12 +0200 | st_aldini1 | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini |
| 2024-10-15 00:51:50 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-15 00:52:45 +0200 | todi_away | (~todi@5.154.181.23) |
| 2024-10-15 00:53:42 +0200 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 276 seconds) |
| 2024-10-15 00:53:42 +0200 | st_aldini1 | st_aldini |
| 2024-10-15 00:53:55 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-10-15 00:54:57 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2024-10-15 00:55:37 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 00:55:58 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-15 00:56:11 +0200 | todi_away | (~todi@5.154.181.23) (Read error: Connection reset by peer) |
| 2024-10-15 00:56:45 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-15 00:56:47 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2024-10-15 00:56:47 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2024-10-15 01:00:26 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 01:00:36 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-15 01:03:51 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 01:04:17 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-15 01:06:43 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-10-15 01:07:09 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 01:07:10 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-15 01:07:11 +0200 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 265 seconds) |
| 2024-10-15 01:09:18 +0200 | <sam113101> | sorry it's me again with the same question as the other day |
| 2024-10-15 01:10:34 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 01:10:43 +0200 | <haskellbridge> | <sm> Do go on. :) |
| 2024-10-15 01:11:49 +0200 | <sam113101> | how would you write this, first the idiomatic way (for haskell), and second in a way that preserves the "flow", i.e. from left to right |
| 2024-10-15 01:11:51 +0200 | <sam113101> | (0...1000).filter { |x| x % 3 == 0 || x % 5 == 0 }.sum |
| 2024-10-15 01:13:50 +0200 | <sam113101> | (that was ruby btw) |
| 2024-10-15 01:14:43 +0200 | <sam113101> | that's elixir: |
| 2024-10-15 01:14:45 +0200 | <sam113101> | 0..999 |> Enum.filter(fn x -> rem(x, 3) == 0 || rem(x, 5) == 0 end) |> Enum.sum |
| 2024-10-15 01:16:57 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-15 01:17:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 01:17:31 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-15 01:20:05 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-10-15 01:20:14 +0200 | <haskellbridge> | <sm> most idiomatic would probably be sum [x | x <- [0..1000], x "mod" 3 == 0, x "mod" 5 == 0] |
| 2024-10-15 01:20:44 +0200 | <haskellbridge> | <sm> * "sum [x | x <- [0..1000], x `mod` 3 == 0, x `mod` 5 == 0]" |
| 2024-10-15 01:23:58 +0200 | <haskellbridge> | <sm> * 0 || x `mod` 5 == 0]" [corrected] |
| 2024-10-15 01:24:08 +0200 | <haskellbridge> | <sm> from left to right would be "import Data.Function ((&))" "[0..1000] & filter (\x -> x`mod`3 == 0 || x`mod`5==0) & sum" |
| 2024-10-15 01:24:19 +0200 | <haskellbridge> | <sm> from left to right would be |
| 2024-10-15 01:24:19 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/vjQfLuREsoEJecoXcpehsPYR/jMVxugiTxGA (3 lines) |
| 2024-10-15 01:24:19 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-15 01:25:23 +0200 | <sam113101> | thank you my man |
| 2024-10-15 01:25:23 +0200 | <sm> | sorry, forgot this was IRC |
| 2024-10-15 01:27:06 +0200 | todi_away | (~todi@vm4634378.25ssd.had.wf) |
| 2024-10-15 01:29:00 +0200 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 244 seconds) |
| 2024-10-15 01:29:08 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-15 01:30:31 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:dd36:cbb0:bd68:c718) |
| 2024-10-15 01:39:11 +0200 | todi_away | todi |
| 2024-10-15 01:41:51 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-15 01:42:48 +0200 | son0p | (~ff@190.69.120.153) son0p |
| 2024-10-15 01:44:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 01:44:46 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-15 01:47:30 +0200 | morby | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 01:50:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-15 01:51:57 +0200 | yin | (~z@user/zero) (Remote host closed the connection) |
| 2024-10-15 01:52:18 +0200 | zero | (~z@user/zero) zero |
| 2024-10-15 01:52:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-15 01:52:56 +0200 | morby | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-15 01:56:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 01:57:25 +0200 | todi | (~todi@vm4634378.25ssd.had.wf) (Ping timeout: 244 seconds) |
| 2024-10-15 02:00:01 +0200 | morby | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 02:00:48 +0200 | todi | (~todi@vm4634378.25ssd.had.wf) todi |
| 2024-10-15 02:01:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-15 02:03:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-10-15 02:04:06 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2024-10-15 02:05:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 02:06:56 +0200 | morby | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-15 02:08:12 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Remote host closed the connection) |
| 2024-10-15 02:35:03 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-10-15 02:35:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 02:39:39 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-10-15 02:40:09 +0200 | whosit | (~whosit@user/whosit) (Quit: leaving) |
| 2024-10-15 02:45:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:84b4:386f:205f:a305) (Ping timeout: 248 seconds) |
| 2024-10-15 02:48:22 +0200 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2024-10-15 02:49:35 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 2024-10-15 02:52:19 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-15 02:56:51 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-15 03:08:45 +0200 | zero | yin |
| 2024-10-15 03:24:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-10-15 03:26:35 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-15 03:31:36 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-15 03:39:34 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-15 03:40:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-10-15 03:49:05 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-15 03:51:48 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-15 03:57:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-15 03:59:28 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-15 03:59:36 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 252 seconds) |
| 2024-10-15 04:04:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 04:05:03 +0200 | td_ | (~td@83.135.9.1) (Ping timeout: 265 seconds) |
| 2024-10-15 04:06:33 +0200 | td_ | (~td@i5387090D.versanet.de) td_ |
| 2024-10-15 04:09:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 04:20:46 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-10-15 04:22:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-15 04:41:55 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer) |
| 2024-10-15 04:42:57 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) synchromesh |
| 2024-10-15 04:47:54 +0200 | Nixkernal_ | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) Nixkernal |
| 2024-10-15 04:47:55 +0200 | Nixkernal | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) (Ping timeout: 244 seconds) |
| 2024-10-15 04:51:20 +0200 | <yin> | can someone tell me what i'm doing wrong here? i'm getting "Warning: /home/zero/sete/cabal.project: Unrecognized field |
| 2024-10-15 04:51:23 +0200 | <yin> | 'source-repository-package' on line 4 |
| 2024-10-15 04:51:52 +0200 | <yin> | this is my cabal.project: https://paste.jrvieira.com/1728960703820 |
| 2024-10-15 04:53:45 +0200 | <haskellbridge> | <sm> https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html#specifying-packages-fro… mentions "Since version 2.4", that might have something to do with it ? |
| 2024-10-15 04:54:53 +0200 | <yin> | ah, no |
| 2024-10-15 04:55:02 +0200 | <yin> | i had an extra : |
| 2024-10-15 04:55:11 +0200 | <haskellbridge> | <sm> aha |
| 2024-10-15 04:55:50 +0200 | <yin> | this weird format... |
| 2024-10-15 04:56:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 04:59:19 +0200 | bh34e5 | (~bh34e5@user/bh34e5) (Read error: Connection reset by peer) |
| 2024-10-15 05:00:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-10-15 05:03:00 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 272 seconds) |
| 2024-10-15 05:04:38 +0200 | td_ | (~td@i53870908.versanet.de) td_ |
| 2024-10-15 05:05:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-15 05:17:08 +0200 | mantraofpie_ | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-10-15 05:18:21 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
| 2024-10-15 05:51:19 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-15 05:52:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-15 05:52:42 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-15 05:56:33 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-10-15 06:07:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 06:10:35 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-10-15 06:29:08 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 2024-10-15 06:37:28 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:db99:b16a:1356:52e1) (Ping timeout: 245 seconds) |
| 2024-10-15 06:43:43 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Ping timeout: 245 seconds) |
| 2024-10-15 06:49:18 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-15 06:51:16 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-10-15 06:51:16 +0200 | ChanServ | +v haskellbridge |
| 2024-10-15 06:53:23 +0200 | michalz | (~michalz@185.246.207.217) |
| 2024-10-15 06:54:17 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-15 06:59:52 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3d1:1fd6:7a9b:9741) |
| 2024-10-15 07:07:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-15 07:10:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 07:14:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-15 07:17:33 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-15 07:20:03 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3d1:1fd6:7a9b:9741) (Ping timeout: 252 seconds) |
| 2024-10-15 07:22:52 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-10-15 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-15 07:34:48 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-10-15 07:40:27 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 07:52:26 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-15 07:57:57 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-15 08:02:11 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-10-15 08:05:54 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-10-15 08:06:20 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-15 08:07:55 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 08:09:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-15 08:10:40 +0200 | rosco | (~rosco@175.136.23.238) (Ping timeout: 252 seconds) |
| 2024-10-15 08:10:56 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 255 seconds) |
| 2024-10-15 08:11:02 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-15 08:12:53 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-15 08:20:57 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-15 08:22:37 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-15 08:22:56 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-15 08:23:11 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 08:23:44 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-15 08:24:58 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-10-15 08:25:23 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 08:28:21 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) whatsupdoc |
| 2024-10-15 08:29:22 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-10-15 08:32:26 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 08:35:20 +0200 | lockywolf | (~lockywolf@2a03:6000:6f63:638::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 08:35:33 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-10-15 08:35:53 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 08:36:26 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-10-15 08:36:50 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-15 08:37:04 +0200 | todi | (~todi@vm4634378.25ssd.had.wf) (Ping timeout: 272 seconds) |
| 2024-10-15 08:37:47 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2024-10-15 08:48:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-15 08:54:13 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
| 2024-10-15 08:57:49 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-15 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-15 09:00:38 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-15 09:10:21 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-15 09:15:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb542c8efbde008dc5a2.dip0.t-ipconnect.de) |
| 2024-10-15 09:19:06 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-15 09:23:25 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:343c:d865:3598:6b6a) |
| 2024-10-15 09:25:03 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 246 seconds) |
| 2024-10-15 09:31:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-10-15 09:34:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-15 09:45:36 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2024-10-15 09:49:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 09:59:16 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-15 09:59:30 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-15 10:09:41 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-15 10:13:34 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 260 seconds) |
| 2024-10-15 10:23:59 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-10-15 10:25:41 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-10-15 10:26:37 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) (Client Quit) |
| 2024-10-15 10:27:06 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-10-15 10:27:53 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-15 10:28:27 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 252 seconds) |
| 2024-10-15 10:28:52 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-15 10:29:04 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) |
| 2024-10-15 10:29:21 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-15 10:29:51 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-15 10:30:21 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-15 10:31:38 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-15 10:35:14 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-15 10:41:52 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 265 seconds) |
| 2024-10-15 10:45:34 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-15 10:48:23 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-15 10:50:54 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-15 10:59:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-15 11:00:14 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-10-15 11:00:33 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) |
| 2024-10-15 11:04:19 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-15 11:04:42 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-10-15 11:04:49 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-15 11:07:57 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-10-15 11:10:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 11:13:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-d9ee-0047-5224-edfa-6ff2.rev.sfr.net) alexherbo2 |
| 2024-10-15 11:18:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-15 11:18:55 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 11:20:04 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-10-15 11:20:09 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-15 11:20:32 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-10-15 11:21:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 11:21:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-10-15 11:22:38 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-15 11:26:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-15 11:27:38 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-15 11:29:18 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-10-15 11:29:43 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
| 2024-10-15 11:32:15 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2024-10-15 11:38:11 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-15 11:38:39 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 11:39:16 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-15 11:50:24 +0200 | rmca | (~rob@188.120.84.50) |
| 2024-10-15 11:51:21 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-15 11:53:14 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2024-10-15 11:54:49 +0200 | <mreh> | is there a way to use a library with a monad transformer without a typeclass in mtl style code? |
| 2024-10-15 11:55:26 +0200 | <mreh> | e.g. https://hackage.haskell.org/package/GPipe-2.2.5/docs/Graphics-GPipe-Context.html#t:ContextT <- this |
| 2024-10-15 11:56:20 +0200 | <mreh> | `MonadIO` is a thing, so could `HasContext ctx os` be a thing? |
| 2024-10-15 11:57:25 +0200 | <mreh> | something like `liftContextT :: Context ctx os m' a -> m a` maybe |
| 2024-10-15 11:57:42 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-15 11:58:32 +0200 | <kuribas> | Make your own (orphan) instance for mtl? |
| 2024-10-15 11:58:50 +0200 | <kuribas> | Or better, wrap it in a newtype, then make your own (non orphan) instance. |
| 2024-10-15 12:00:24 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 12:00:51 +0200 | <mreh> | yeah, I guess I had -Wno-orphans on |
| 2024-10-15 12:01:19 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) |
| 2024-10-15 12:02:07 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-10-15 12:03:40 +0200 | <kuribas> | That's just a warning, it should still have worked. |
| 2024-10-15 12:05:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-15 12:05:45 +0200 | todi_away | todi |
| 2024-10-15 12:05:53 +0200 | <mreh> | well ths compiles |
| 2024-10-15 12:06:03 +0200 | <mreh> | class HasContext ctx os m' m where liftContextT :: ContextT ctx os m' a -> m a |
| 2024-10-15 12:06:04 +0200 | <mreh> | instance HasContext ctx os m (ContextT ctx os m) where liftContextT = id :: ContextT ctx os m a -> ContextT ctx os m a |
| 2024-10-15 12:06:18 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 12:07:23 +0200 | <mreh> | It seems the monad under transformation of ContextT needs to be in scope (m'). That last type signature is optional. |
| 2024-10-15 12:08:13 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:343c:d865:3598:6b6a) (Remote host closed the connection) |
| 2024-10-15 12:08:22 +0200 | <mreh> | it's kinda warty, but seems to be working |
| 2024-10-15 12:10:46 +0200 | <kuribas> | I understand people are moving to matrix chat. Is there a recommended server? |
| 2024-10-15 12:13:37 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-15 12:15:52 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-15 12:18:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 12:18:31 +0200 | <mreh> | isn't it decentralised? |
| 2024-10-15 12:18:47 +0200 | <mreh> | matrix.org seems to have the most members in the Haskell room |
| 2024-10-15 12:21:46 +0200 | <lxsameer> | mreh: I don't think matrix servers can federate? can they? |
| 2024-10-15 12:23:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-15 12:23:36 +0200 | <mreh> | I don't know. I just found this page https://view.matrix.org/room/!pZFfqwPvNuLROTqRRy:matrix.org/servers |
| 2024-10-15 12:23:42 +0200 | <mreh> | I'm pretty new to Matrix |
| 2024-10-15 12:24:45 +0200 | Athas | (athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 12:27:00 +0200 | <mreh> | I should have said "Haskell space" instead of "room" I think |
| 2024-10-15 12:28:02 +0200 | <mreh> | There are 3k people in #haskell:matrix.org |
| 2024-10-15 12:28:08 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-10-15 12:29:25 +0200 | <lxsameer> | merijn: those are users who joined, not online users |
| 2024-10-15 12:33:13 +0200 | <mreh> | gitter.im moved over to matrix, nice |
| 2024-10-15 12:35:33 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 248 seconds) |
| 2024-10-15 12:39:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 2024-10-15 12:44:40 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-15 12:46:27 +0200 | <tomsmeding> | lxsameer: the whole point of matrix is that it federates ;) |
| 2024-10-15 12:46:54 +0200 | <tomsmeding> | so yes, they do, so it "does not matter" which server you create an account on |
| 2024-10-15 12:47:12 +0200 | <tomsmeding> | while of course in actuality it does, because a server has a server owner, and they have powers over your account |
| 2024-10-15 12:47:24 +0200 | <tomsmeding> | (by having access to the database and such) |
| 2024-10-15 12:47:59 +0200 | <tomsmeding> | you can also self-host a matrix server |
| 2024-10-15 12:48:14 +0200 | <tomsmeding> | but it will need to run ~continuously for things to work smoothly |
| 2024-10-15 12:48:38 +0200 | <tomsmeding> | also mreh I guess |
| 2024-10-15 12:52:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-15 12:54:05 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-15 12:56:01 +0200 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-10-15 12:57:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-15 12:58:36 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) (Read error: Connection reset by peer) |
| 2024-10-15 12:59:25 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 12:59:30 +0200 | <Leonard26> | Hello everyone! How are you? :] |
| 2024-10-15 12:59:30 +0200 | <Leonard26> | I was wondering if you could give me an example of how to translate a 'type def' from C/C++ to Haskell? I'm currently working with a language binding and I need to use a 'type def' but I'm having some trouble :/ |
| 2024-10-15 12:59:31 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) synchromesh |
| 2024-10-15 12:59:55 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2024-10-15 13:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-15 13:02:29 +0200 | <tomsmeding> | Leonard26: for a simple type alias, you can use `type T = Maybe Int` |
| 2024-10-15 13:02:37 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-15 13:02:44 +0200 | <tomsmeding> | these can have parameters too: `type T a = Maybe [a]`, for example |
| 2024-10-15 13:03:38 +0200 | shryke | (~shryke@91.103.43.254) shryke |
| 2024-10-15 13:03:39 +0200 | <tomsmeding> | note that this is different from `newtype` and `data`, which create actual new _types_ that are distinct for all other types |
| 2024-10-15 13:03:50 +0200 | <tomsmeding> | (like `struct` in C creates a new type that is distinct from all other types) |
| 2024-10-15 13:06:15 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-10-15 13:06:56 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-15 13:06:57 +0200 | rdcdr_ | (~rdcdr@97-113-202-179.tukw.qwest.net) |
| 2024-10-15 13:07:51 +0200 | <Leonard26> | Thank you :] |
| 2024-10-15 13:07:53 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 245 seconds) |
| 2024-10-15 13:09:21 +0200 | Athas | (athas@sigkill.dk) |
| 2024-10-15 13:09:24 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 13:11:31 +0200 | rdcdr_ | (~rdcdr@97-113-202-179.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2024-10-15 13:11:57 +0200 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |
| 2024-10-15 13:18:07 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 264 seconds) |
| 2024-10-15 13:18:35 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 13:20:53 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 13:23:02 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d191:a1f6:84eb:b17f) |
| 2024-10-15 13:23:05 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2024-10-15 13:24:40 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-15 13:26:31 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:f9e:2c92:2bc3:5a6b) |
| 2024-10-15 13:28:54 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-15 13:30:33 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-15 13:30:43 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 13:31:50 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 13:48:59 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5435abe4c8369aafbe.dip0.t-ipconnect.de) acidjnk |
| 2024-10-15 13:50:18 +0200 | <haskellbridge> | <hellwolf> I am having a hardtime to figure out the behaviour of "withCreateProcess", probably I should read into the code instead. So far, I cannot simply change createProcess to withCreateProcess with similar code. |
| 2024-10-15 13:51:49 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb542c8efbde008dc5a2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-15 14:07:29 +0200 | euleritian | (~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) |
| 2024-10-15 14:11:00 +0200 | <kqr> | How can I find out why cabal resolves a particular package to a specific version without manually reading through the transitive graph of dependencies on Hackage? |
| 2024-10-15 14:14:29 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-15 14:19:53 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 14:21:34 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 14:22:57 +0200 | Leonard26 | (~Leonard26@49.236.10.26) (Quit: Client closed) |
| 2024-10-15 14:32:18 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-10-15 14:44:50 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |
| 2024-10-15 14:45:11 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-15 15:08:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-15 15:08:51 +0200 | alioguzhan | (~Thunderbi@78.173.89.238) (Remote host closed the connection) |
| 2024-10-15 15:10:50 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 15:10:51 +0200 | <[exa]> | hellwolf: there has been a lot of complaints about the process creation here (afaik the last big issues were raised by merijn?) |
| 2024-10-15 15:12:08 +0200 | <[exa]> | hellwolf: among other concerns, there's a tradeoff between simplicity and windows compatibility :D |
| 2024-10-15 15:12:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-15 15:14:11 +0200 | <[exa]> | kqr: it's sometimes more useful to ask "why it didn't install this exact better version", add the version constraint to the .cabal file and see&analyze the error raised |
| 2024-10-15 15:14:18 +0200 | alioguzhan | (~Thunderbi@78.173.89.238) |
| 2024-10-15 15:14:49 +0200 | <[exa]> | kqr: (more generally, debugging why constraint solvers choose certain optima is just hard.) |
| 2024-10-15 15:15:38 +0200 | <[exa]> | hellwolf: btw anything specific for figuring out? |
| 2024-10-15 15:17:50 +0200 | <mreh> | do all type synonym variables have kind * by default? |
| 2024-10-15 15:18:10 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-10-15 15:19:55 +0200 | <Athas> | I am somewhat disappointed that -0::Double does not produce negative zero. |
| 2024-10-15 15:19:56 +0200 | <mreh> | if I have a type synonym with a monad for an argument, I have to annotate it with (* -> *) in the definition to get it to work |
| 2024-10-15 15:20:02 +0200 | <Athas> | Do I really need to bit fiddle to do this? |
| 2024-10-15 15:21:15 +0200 | <[exa]> | Athas: -_- |
| 2024-10-15 15:21:38 +0200 | <[exa]> | anyway `negate 0.0` seems okay here |
| 2024-10-15 15:21:54 +0200 | <[exa]> | your issue is likely that -0 looks too much integral |
| 2024-10-15 15:22:03 +0200 | <[exa]> | -0.0::Double does it |
| 2024-10-15 15:22:22 +0200 | <kqr> | [exa], Ah, clever. That revealed it is a conflict with the installed base version. |
| 2024-10-15 15:22:33 +0200 | <Athas> | Well, actually I had -x where x::Double, so I don't think that's it. But maybe something else is eating the sign bit along the way... |
| 2024-10-15 15:22:43 +0200 | <[exa]> | mreh: it failed for me a few times in a very surprising way so I'm kinda trying to always specify the kinds |
| 2024-10-15 15:22:55 +0200 | mari-estel | (~mari-este@user/danza) (Quit: on the move) |
| 2024-10-15 15:23:28 +0200 | <[exa]> | mreh: as one constraint, it likely needs to be able to derive the kinds locally just from that definition, so if you omit too much, it will default to * |
| 2024-10-15 15:23:39 +0200 | <haskellbridge> | <hellwolf> [exa]: I can upload the code. One sec. |
| 2024-10-15 15:23:49 +0200 | <haskellbridge> | <hellwolf> Sorry, wrong quote. |
| 2024-10-15 15:23:57 +0200 | <haskellbridge> | <hellwolf> [exa]: this |
| 2024-10-15 15:24:04 +0200 | <[exa]> | kqr: o nice, well, good luck solving that :D |
| 2024-10-15 15:24:28 +0200 | <[exa]> | hellwolf: you might need a pastebin, if you copypasted a code to matrix it usually doesn't get through (see /topic) |
| 2024-10-15 15:24:32 +0200 | <mreh> | is it something to do with the negative literals? |
| 2024-10-15 15:24:41 +0200 | <mreh> | like -0 desugars to something |
| 2024-10-15 15:24:55 +0200 | <mreh> | I forget, but I vaguely remember |
| 2024-10-15 15:25:03 +0200 | <Athas> | Yes, something else is eating the sign. My prior experiences made me too quick to assume Haskell screwed up IEEE754. |
| 2024-10-15 15:25:50 +0200 | <mreh> | `The literal -123 is, according to Haskell98 and Haskell 2010, two tokens, a unary minus (-) and the number 123, and is desugared as negate (fromInteger 123).` |
| 2024-10-15 15:25:53 +0200 | <[exa]> | yeah the issue with zero is that `fromInteger (-0)::Double` would basially ignore the minus sign. With the `x` I have no idea but it seems to work here. |
| 2024-10-15 15:25:59 +0200 | <mreh> | from here https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/negative_literals.html |
| 2024-10-15 15:26:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-15 15:26:32 +0200 | <haskellbridge> | <hellwolf> [exa]: https://github.com/hellwolf/THSH/blob/2cd93f4efb5768ef71e629b3bd9414868f405cb3/src/THSH/Script.hs#… |
| 2024-10-15 15:26:45 +0200 | mreh | hits the gym |
| 2024-10-15 15:28:24 +0200 | <[exa]> | hellwolf: what does it complain about? or does it fail at runtime? |
| 2024-10-15 15:28:32 +0200 | <kqr> | [exa], Yeah, the reason it showed up now is that the library I'm working on is meant to integrate with a slightly more... legacy project. We'll see what avenue is easiest. |
| 2024-10-15 15:29:12 +0200 | <[exa]> | kqr: well for a quick fix just get a local copy of the project, put it into `cabal.project`, bump the base dependency and hope for best |
| 2024-10-15 15:29:23 +0200 | <[exa]> | kqr: if that works you can send a patch to upstream or to maintainers |
| 2024-10-15 15:30:13 +0200 | <[exa]> | hellwolf: other than that it seems to be like it should be equivalent by definition, so certainly something very weird :D |
| 2024-10-15 15:33:10 +0200 | <haskellbridge> | <hellwolf> [exa]: yea. |
| 2024-10-15 15:33:10 +0200 | <haskellbridge> | well, it doesn't work the same way, and I am a bit wary of debugging this piece of code. It took me quite a while to tweak the createProcess version. |
| 2024-10-15 15:33:51 +0200 | <haskellbridge> | <hellwolf> > it doesn't work the same way |
| 2024-10-15 15:33:51 +0200 | <haskellbridge> | to be precise, I think the data between handles didn't flow. but it could be red herring of other problems. |
| 2024-10-15 15:36:10 +0200 | <[exa]> | on a blind guess try closing the stdin of the process in the bracket |
| 2024-10-15 15:36:25 +0200 | <[exa]> | might be the case that stuff gets stuck somewhere in the buffers |
| 2024-10-15 15:37:19 +0200 | <haskellbridge> | <hellwolf> alright, I will try a bit more another day. In this particular case, I am not sure if I can get much from withCreateProces vs createProcess. |
| 2024-10-15 15:37:58 +0200 | <haskellbridge> | <hellwolf> so perhaps I should give it up for a while. |
| 2024-10-15 15:37:58 +0200 | <haskellbridge> | more damning problem is that the library code "withSystemTempDirectory" doesn't clean up the temp directory when I use ^C... that's annoying af |
| 2024-10-15 15:38:15 +0200 | <haskellbridge> | <hellwolf> I might need to read into withSystemTempDirectory or use my own withSystemTempDirectory if it has flaws. |
| 2024-10-15 15:40:56 +0200 | <[exa]> | ah signals |
| 2024-10-15 15:42:17 +0200 | <haskellbridge> | <hellwolf> I would have expected bracket style code can clean up things even when SIGINT/SIGEXIT is involved |
| 2024-10-15 15:42:27 +0200 | <haskellbridge> | <hellwolf> but probably that withSystemTempDirectory didn't use bracket. |
| 2024-10-15 15:42:38 +0200 | <[exa]> | http://neilmitchell.blogspot.com/2015/05/handling-control-c-in-haskell.html quite relevant |
| 2024-10-15 15:43:49 +0200 | <[exa]> | anyway afaik the bracket there should be removing the directory no matter what |
| 2024-10-15 15:44:08 +0200 | hgolden_ | (~hgolden@169.150.203.10) hgolden |
| 2024-10-15 15:45:03 +0200 | <haskellbridge> | <hellwolf> https://hackage.haskell.org/package/temporary-1.3/docs/src/System.IO.Temp.html#withTempDirectory |
| 2024-10-15 15:45:03 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/tpZzlfdRhDNQsmsyRCoQScYT/r4rovgobKJ4 (3 lines) |
| 2024-10-15 15:46:26 +0200 | <haskellbridge> | <hellwolf> Maybe I should have a program level of C-c check; I will read that article you sent. Thanks. |
| 2024-10-15 15:46:40 +0200 | hgolden__ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 244 seconds) |
| 2024-10-15 15:46:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-15 15:47:27 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-15 15:48:32 +0200 | <[exa]> | like, you're certainly not the last person solving this here :) |
| 2024-10-15 15:48:47 +0200 | <[exa]> | also quite surprising that the ctrl+c may be delivered elsewhere and discarded there |
| 2024-10-15 15:49:18 +0200 | <yin> | should i use a library section instead of having an other-modules field in both my main and test executables? |
| 2024-10-15 15:49:27 +0200 | <[exa]> | generally any concurrency models out there don't play very happily with the signal handling |
| 2024-10-15 15:50:42 +0200 | <[exa]> | yin: you should be able to share the common values somehow to just avoid copypaste right? |
| 2024-10-15 15:51:17 +0200 | <[exa]> | (`common` & `import` in the cabal file should do that) |
| 2024-10-15 15:51:56 +0200 | <yin> | [exa]: yes but this feels weird. it's not really a library, it's a module for main. the test executable uses it because, well, it's testing it |
| 2024-10-15 15:52:10 +0200 | <yin> | [exa]: oh i'm not really sure what you mean |
| 2024-10-15 15:53:00 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-15 15:55:33 +0200 | <[exa]> | the problem is that you have a long list of modules in the executable and in the test sections, right? |
| 2024-10-15 15:56:34 +0200 | <yin> | the thing is, if i add `hs-source-dirs: test, app` to my test executable section of the .cabal file, the language server complains about the module being an ambiguous target :/ |
| 2024-10-15 15:56:52 +0200 | <yin> | this is my problem ^ |
| 2024-10-15 15:58:02 +0200 | <[exa]> | ahhhhhhh so |
| 2024-10-15 15:58:19 +0200 | <[exa]> | ok that's more of a HLS issue then I guess |
| 2024-10-15 15:58:27 +0200 | <yin> | i imagine so |
| 2024-10-15 15:58:35 +0200 | <yin> | but there has to be a way to get around it |
| 2024-10-15 15:59:50 +0200 | <[exa]> | can you configure HLS to default safely somehow? |
| 2024-10-15 16:00:02 +0200 | <[exa]> | it needs to pick a configuration, so you could just say "use the app one for this" |
| 2024-10-15 16:00:12 +0200 | <yin> | i'm trying `library shared`. what did you mean by "common"? |
| 2024-10-15 16:01:12 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-15 16:01:32 +0200 | <[exa]> | in your case you'll probably need the library to disambiguate. By common I meant the common stanza, which doesn't solve it |
| 2024-10-15 16:01:36 +0200 | <[exa]> | https://cabal.readthedocs.io/en/3.4/cabal-package.html#common-stanzas |
| 2024-10-15 16:02:08 +0200 | <yin> | [exa]: i see |
| 2024-10-15 16:03:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2024-10-15 16:03:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-15 16:04:06 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 16:05:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 16:07:53 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-15 16:09:18 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
| 2024-10-15 16:09:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-15 16:15:56 +0200 | <yin> | [exa]: would this be an appropriate solution? https://cabal.readthedocs.io/en/3.4/cabal-package.html#autogenerated-modules-and-includes |
| 2024-10-15 16:17:33 +0200 | <[exa]> | yin: like you can "autogenerate" them by copying them over, which will certainly cause HLS not to even think about touching them... so I'd say yes |
| 2024-10-15 16:18:10 +0200 | <[exa]> | in the meantime I'd just go library and have a commented out version which does the common stanza (so that you don't expose a library where you don't want to) |
| 2024-10-15 16:23:48 +0200 | <yin> | got it. ty |
| 2024-10-15 16:30:35 +0200 | <[exa]> | (spoiler: I never even managed to get HLS running) |
| 2024-10-15 16:32:59 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2024-10-15 16:37:07 +0200 | euleritian | (~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-10-15 16:37:13 +0200 | <haskellbridge> | <hellwolf> hmm, ouch, |
| 2024-10-15 16:37:13 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/RUaovFdOVGtCudUiNXIszKLh/d-uylpZvm-o (4 lines) |
| 2024-10-15 16:37:25 +0200 | euleritian | (~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) |
| 2024-10-15 16:46:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-15 16:48:18 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-15 16:54:46 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-10-15 17:00:50 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2024-10-15 17:01:41 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) |
| 2024-10-15 17:10:12 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-15 17:10:13 +0200 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2024-10-15 17:10:49 +0200 | <sam113101> | is it possible to write an haskell function that has multiple lines in it? |
| 2024-10-15 17:11:03 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-15 17:14:10 +0200 | <mreh> | sam113101: of course, there are let...in blocks |
| 2024-10-15 17:14:27 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-10-15 17:14:47 +0200 | <EvanR> | > showFFloat (Just 50) 0.1 "" |
| 2024-10-15 17:14:48 +0200 | <lambdabot> | "0.10000000000000000000000000000000000000000000000000" |
| 2024-10-15 17:14:51 +0200 | <kaol> | And even without let blocks, yes. Check out layout rules. |
| 2024-10-15 17:15:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-15 17:15:40 +0200 | <EvanR> | > showFFloat (Just 50) 0.7 "" |
| 2024-10-15 17:15:42 +0200 | <lambdabot> | "0.70000000000000000000000000000000000000000000000000" |
| 2024-10-15 17:15:46 +0200 | <kaol> | I commonly write something like "f . g . h" where I break line after each dot. |
| 2024-10-15 17:16:06 +0200 | <EvanR> | these decimal expansions counter intuitive |
| 2024-10-15 17:16:46 +0200 | <EvanR> | how do they even |
| 2024-10-15 17:18:44 +0200 | <sam113101> | what is Just? |
| 2024-10-15 17:19:19 +0200 | <kaol> | data Maybe a = Nothing | Just a |
| 2024-10-15 17:19:27 +0200 | <sam113101> | thanks |
| 2024-10-15 17:19:36 +0200 | <sam113101> | like rust's Option |
| 2024-10-15 17:19:55 +0200 | <kaol> | Correct. |
| 2024-10-15 17:21:17 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-10-15 17:21:31 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) |
| 2024-10-15 17:22:06 +0200 | <EvanR> | Nada | Simplemente a |
| 2024-10-15 17:23:29 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-10-15 17:23:42 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) |
| 2024-10-15 17:25:01 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-10-15 17:25:25 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-15 17:25:39 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) |
| 2024-10-15 17:27:22 +0200 | <EvanR> | > realToFrac (0.1 :: Double) :: CReal |
| 2024-10-15 17:27:23 +0200 | <lambdabot> | 0.1000000000000000055511151231257827021182 |
| 2024-10-15 17:31:00 +0200 | <haskellbridge> | <Bowuigi> IEEE-754 moment |
| 2024-10-15 17:32:52 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-15 17:33:16 +0200 | <EvanR> | somehow showFFloat "knows better" and ignores the real value |
| 2024-10-15 17:35:11 +0200 | <haskellbridge> | <Bowuigi> It probably uses the pattern of repeating numbers after the 14th decimal point or something like that |
| 2024-10-15 17:37:04 +0200 | <haskellbridge> | <Bowuigi> How do 1/3 and 0.12345678901234567890123456789012345678901234567890 look like? |
| 2024-10-15 17:37:16 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-10-15 17:37:36 +0200 | <yin> | is there a library for representing numbers as their (potentially infinite) fractional expansion? |
| 2024-10-15 17:37:39 +0200 | <yin> | that would be cool |
| 2024-10-15 17:37:51 +0200 | <haskellbridge> | <Bowuigi> Data.Rational? |
| 2024-10-15 17:38:10 +0200 | <haskellbridge> | <Bowuigi> Or Data.Ratio, I forgot lol |
| 2024-10-15 17:38:11 +0200 | <yin> | Bowuigi: what about the Irrationals? |
| 2024-10-15 17:38:56 +0200 | <yin> | phi = Fract $ repeat 1 |
| 2024-10-15 17:38:59 +0200 | <haskellbridge> | <Bowuigi> Most of the time they are represented symbolically, like in a CAS |
| 2024-10-15 17:39:09 +0200 | <yin> | sqrt2 = Fract $ 1 : repeat 2 |
| 2024-10-15 17:39:29 +0200 | <yin> | sqrt3 = Fract $ 1 : cycle [1,2] |
| 2024-10-15 17:39:29 +0200 | <c_wraith> | are you looking for some kind of continued fraction library? |
| 2024-10-15 17:39:40 +0200 | <yin> | c_wraith: i was wondering if there is any |
| 2024-10-15 17:40:10 +0200 | <yin> | with the ability to perform arithmetic operations with a high degree of precision |
| 2024-10-15 17:40:14 +0200 | <c_wraith> | there are several. I've never used any of them, nor do I know if they're up to date. |
| 2024-10-15 17:42:07 +0200 | <yin> | i wonder how efficient/performant they can be. i need to think about this |
| 2024-10-15 17:43:09 +0200 | <EvanR> | clearly we should be using Egyptian fractions by default |
| 2024-10-15 17:43:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-15 17:44:09 +0200 | <EvanR> | > showFFloat (Just 50) (1/3) "" -- 🤪 |
| 2024-10-15 17:44:11 +0200 | <lambdabot> | "0.33333333333333330000000000000000000000000000000000" |
| 2024-10-15 17:44:41 +0200 | <yin> | EvanR: https://hackage.haskell.org/package/fractionizer-0.17.0.0/docs/EgyptianFractions.html |
| 2024-10-15 17:44:54 +0200 | <EvanR> | > showFFloat (Just 50) (1024 + 1/3) "" |
| 2024-10-15 17:44:56 +0200 | <lambdabot> | "1024.33333333333330000000000000000000000000000000000000" |
| 2024-10-15 17:45:16 +0200 | <EvanR> | it craps out after an integer number of decimals |
| 2024-10-15 17:45:30 +0200 | <EvanR> | that depends on the scale, I guess |
| 2024-10-15 17:46:14 +0200 | <EvanR> | behavior decidedly different from printf |
| 2024-10-15 17:46:59 +0200 | <yin> | ohh this should be fun https://hackage.haskell.org/package/unicode-tricks-0.14.1.0/docs/Data-Char-Number-Egyptian.html |
| 2024-10-15 17:47:04 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2024-10-15 17:47:26 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2024-10-15 17:47:49 +0200 | <EvanR> | (in C) |
| 2024-10-15 17:48:24 +0200 | biberao | (~m@user/biberao) biberao |
| 2024-10-15 17:48:26 +0200 | <biberao> | hi |
| 2024-10-15 17:48:31 +0200 | <EvanR> | yin, that sounds horrible lol |
| 2024-10-15 17:51:15 +0200 | <yin> | not sure if your browser will render this correctly, but: https://www.reddit.com/r/programmingcirclejerk/comments/pl6xu4/one_of_the_things_ive_read_in_the_l… |
| 2024-10-15 17:52:28 +0200 | <yin> | "yes, interesting. it's just as legible as normal haskell" made me smirk |
| 2024-10-15 17:53:24 +0200 | <c_wraith> | that doesn't look valid to me |
| 2024-10-15 17:54:11 +0200 | <c_wraith> | I don't see how that body will typecheck with that given type |
| 2024-10-15 17:54:29 +0200 | <c_wraith> | Maybe if it was list of bird to list of bird... |
| 2024-10-15 17:55:25 +0200 | <EvanR> | the type signature looks wrong |
| 2024-10-15 17:56:37 +0200 | <EvanR> | bird has kind * -> * -> *, so it can't be the target of a function type? |
| 2024-10-15 17:56:47 +0200 | <EvanR> | er, source |
| 2024-10-15 17:57:08 +0200 | <EvanR> | can't construct infinite kind |
| 2024-10-15 17:57:25 +0200 | <EvanR> | (or won't) |
| 2024-10-15 17:57:55 +0200 | <EvanR> | it's 3 years old, 11 comments, correcting the post not allowed. Thanks Reddit |
| 2024-10-15 17:58:15 +0200 | <c_wraith> | There's a newline missing |
| 2024-10-15 17:58:31 +0200 | <c_wraith> | But that's expected when inlining into a reddit title |
| 2024-10-15 17:58:53 +0200 | <EvanR> | oh lol |
| 2024-10-15 18:00:17 +0200 | Achylles | (~Achylles@45.182.57.12) Achylles |
| 2024-10-15 18:00:35 +0200 | <EvanR> | I guess bird is a type synonym |
| 2024-10-15 18:00:41 +0200 | <EvanR> | for list of something |
| 2024-10-15 18:02:41 +0200 | euleritian | (~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-10-15 18:06:21 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-15 18:07:21 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 18:09:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-15 18:09:37 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-15 18:11:26 +0200 | <haskellbridge> | <hellwolf> alright... vdp syntax question again. |
| 2024-10-15 18:11:26 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/YxxmvvRUwCUBSRmzXLGOWDLg/F6KcgE_BJEc (4 lines) |
| 2024-10-15 18:11:46 +0200 | <haskellbridge> | <hellwolf> s/vdp/vdq/ |
| 2024-10-15 18:11:48 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-10-15 18:17:30 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-15 18:21:38 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5435abe4c8369aafbe.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-15 18:24:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-d9ee-0047-5224-edfa-6ff2.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-15 18:26:41 +0200 | <lxsameer> | which one is appropriate for a function in a record: `init :: forall e. (e ~ SomeException) => IO (Either e Int64)` or `init :: forall e. (Exception e) => IO (Either e Int64)`? |
| 2024-10-15 18:27:04 +0200 | <dolio> | EvanR, Bowuigi: The Show instance for floating point numbers uses an algorithm that figures out how to create the shortest string that will be read back in as the same number. |
| 2024-10-15 18:27:48 +0200 | <dolio> | https://dl.acm.org/doi/pdf/10.1145/249069.231397 |
| 2024-10-15 18:30:00 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-10-15 18:30:20 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-15 18:34:04 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-10-15 18:34:04 +0200 | <haskellbridge> | <Bowuigi> Ohhh that's really cool |
| 2024-10-15 18:35:10 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) (Quit: taking a break) |
| 2024-10-15 18:35:46 +0200 | <haskellbridge> | <Bowuigi> The "#"s are printed as zeroes in Haskell too, that's why it looked like that on 1/3 |
| 2024-10-15 18:36:12 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-15 18:39:44 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Read error: Connection reset by peer) |
| 2024-10-15 18:41:15 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-10-15 18:43:18 +0200 | <EvanR> | does printf and showFFloat have anything to do with the Show instance/ |
| 2024-10-15 18:43:20 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5475cfd1c549ef8808.dip0.t-ipconnect.de) acidjnk |
| 2024-10-15 18:43:35 +0200 | <EvanR> | which isn't configurable afaict |
| 2024-10-15 18:43:55 +0200 | <EvanR> | yeah that paper is great |
| 2024-10-15 18:47:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-15 18:49:47 +0200 | <geekosaur> | configurability would imply being in `IO` instead of being pure |
| 2024-10-15 18:53:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 18:57:44 +0200 | Joao[3] | (~Joao003@190.108.99.216) Joao003 |
| 2024-10-15 18:59:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-15 19:03:47 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-15 19:03:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-10-15 19:09:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 19:10:10 +0200 | <EvanR> | > toRational 0.1 |
| 2024-10-15 19:10:12 +0200 | <lambdabot> | 3602879701896397 % 36028797018963968 |
| 2024-10-15 19:15:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-15 19:16:07 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2024-10-15 19:18:43 +0200 | Square2 | (~Square@user/square) Square |
| 2024-10-15 19:19:45 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-10-15 19:20:34 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-15 19:21:23 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2024-10-15 19:21:53 +0200 | Square | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-10-15 19:22:32 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-15 19:25:28 +0200 | spew | (~spew@192.154.196.86) spew |
| 2024-10-15 19:25:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 19:29:04 +0200 | <EvanR> | so many ways to look at the same "platonic value"... like the locally world famous trisquirclehedron on cardelli's oop book |
| 2024-10-15 19:30:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-15 19:35:44 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-15 19:38:43 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin) |
| 2024-10-15 19:40:39 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-15 19:40:42 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2024-10-15 19:40:46 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-10-15 19:41:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 19:44:40 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-15 19:47:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-15 19:48:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-15 19:48:54 +0200 | <JuanDaugherty> | most ppl who know what one is expect 1 /10 as the rational value of 0.1 |
| 2024-10-15 19:52:49 +0200 | <monochrom> | lxsameer: SomeException is already does the existential Exception for you, so you should just need IO SomeException Int64. |
| 2024-10-15 19:53:24 +0200 | euleritian | (~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) |
| 2024-10-15 19:53:39 +0200 | <lxsameer> | monochrom: good point, thank you |
| 2024-10-15 19:54:40 +0200 | <monochrom> | But IMO SomeException is too unspecific. E.g., if you know it will only be IOException, then you should say so in the type. |
| 2024-10-15 19:55:14 +0200 | <EvanR> | An existential error has occurred. Press any key to continue |
| 2024-10-15 19:57:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-15 19:59:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 19:59:49 +0200 | <lxsameer> | monochrom: it's kind of an interface, I have another function that handles these exceptions and anything beyond that will be thrown on the higher levels |
| 2024-10-15 20:00:10 +0200 | Henson | (~kvirc@192-0-202-2.cpe.teksavvy.com) Henson |
| 2024-10-15 20:04:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-15 20:04:19 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-10-15 20:04:29 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-10-15 20:04:58 +0200 | Achylles | (~Achylles@45.182.57.12) (Quit: Leaving) |
| 2024-10-15 20:06:31 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-15 20:06:43 +0200 | <Henson> | I'm using GHC 8.10.7 on a multi-core system with the threaded Haskell runtime, and am noticing a memory whenever any network communication is done on anything other than a fixed capability (using asyncOn). Using the hedis library, or redis library, or memcache library, or even just plain sockets, whenever repeated connections are made and broken, a memory leak occurs. Is this expected behaviour? |
| 2024-10-15 20:07:01 +0200 | <Henson> | noticing a memory -> noticing a memory leak |
| 2024-10-15 20:08:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 20:09:44 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-15 20:13:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-15 20:20:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-15 20:20:55 +0200 | <haskellbridge> | <sm> I expect this is hard, but if you could compare more modern GHC and libraries that would be useful info |
| 2024-10-15 20:21:04 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-10-15 20:21:26 +0200 | <haskellbridge> | <sm> #ghc or the GHC release notes might know more |
| 2024-10-15 20:23:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 20:25:15 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-15 20:28:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-15 20:39:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 20:44:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-15 20:49:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 20:51:22 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-15 20:51:28 +0200 | <tomsmeding> | Henson: how long are you running that program? |
| 2024-10-15 20:51:41 +0200 | <tomsmeding> | the GC cleans up memory, perhaps it simply didn't run yet? |
| 2024-10-15 20:51:54 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-15 20:53:13 +0200 | <Henson> | tomsmeding: for a long time. The program's designed to run for days. In a stripped-down version of the program intended to elicit just the memory leak, it takes a couple minutes to clear the low bar of 2 GB that I've set for it. With no network access it'll sit around 800 MB for an hour. |
| 2024-10-15 20:53:27 +0200 | <tomsmeding> | oof, okay |
| 2024-10-15 20:53:36 +0200 | <tomsmeding> | yes, what sm said |
| 2024-10-15 20:54:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-15 20:54:05 +0200 | ljdarj1 | ljdarj |
| 2024-10-15 20:54:34 +0200 | <tomsmeding> | Henson: perhaps something else to try: if you lsof your process (e.g. in htop with the 'l' key, but also plain lsof works), do you get a leak of file descriptors too? |
| 2024-10-15 20:54:39 +0200 | <tomsmeding> | i.e. are the sockets properly closed |
| 2024-10-15 20:54:53 +0200 | <Henson> | ahh yes, that would be helpful |
| 2024-10-15 20:55:12 +0200 | <tomsmeding> | (I have no idea what could be the cause, just suggesting a possible source of additional clues) |
| 2024-10-15 20:55:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 20:57:07 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-15 20:57:07 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-10-15 20:59:01 +0200 | <Henson> | tomsmeding: well it's work a try. Unfortunately that doesn't seem to be the problem. There aren't a lot of them being created, only 74. And 3 of those are network descriptors that haven't changed. |
| 2024-10-15 20:59:08 +0200 | <Henson> | work a try -> worth a try |
| 2024-10-15 20:59:20 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-15 20:59:57 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-10-15 21:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-15 21:00:18 +0200 | <Henson> | sm: thank you for your suggestion. I did try a slightly newer version of GHC (9.7.something) I think, and the problem still persisted. Trying a much newer version is difficult. |
| 2024-10-15 21:00:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-15 21:00:36 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-15 21:06:16 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 2024-10-15 21:08:44 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-15 21:09:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 21:09:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 21:12:22 +0200 | euleritian | (~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-15 21:12:47 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-15 21:13:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-15 21:14:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-15 21:15:09 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) (Read error: Connection reset by peer) |
| 2024-10-15 21:16:06 +0200 | synchromesh | (~john@2406:5a00:2497:300:3d3b:a134:d9b5:8c99) synchromesh |
| 2024-10-15 21:16:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-10-15 21:18:50 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-15 21:19:08 +0200 | <tomsmeding> | Henson: all second digits are even, in released versions, so 9.7 is not going to exist :p |
| 2024-10-15 21:19:35 +0200 | <tomsmeding> | *second _numbers_ -- not necessarily one digit |
| 2024-10-15 21:20:46 +0200 | euleritian | (~euleritia@84.19.220.82) (Remote host closed the connection) |
| 2024-10-15 21:21:29 +0200 | <sam113101> | seven is even, it's right there in the name |
| 2024-10-15 21:23:58 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-10-15 21:24:31 +0200 | <geekosaur> | the only way you're getting a 9.7 is to build ghc from source |
| 2024-10-15 21:24:39 +0200 | <geekosaur> | what's the actual version? |
| 2024-10-15 21:24:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 21:29:25 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-15 21:29:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-15 21:30:18 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-15 21:32:27 +0200 | <Henson> | ok, so I was wrong :-) It was GHC 9.0.2 |
| 2024-10-15 21:32:58 +0200 | <tomsmeding> | a newer version is probably difficult? |
| 2024-10-15 21:33:31 +0200 | <Henson> | yes, unfortunately. But using asyncOn seems to be working well for the problem so far |
| 2024-10-15 21:35:36 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-15 21:40:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 21:45:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-15 21:48:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-10-15 21:56:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 21:57:28 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-10-15 22:00:10 +0200 | <geekosaur> | fwiw if it's GC-related, the first version that would show a change would be 9.2.1 (but you really want the last release in that version, 9.2.8) |
| 2024-10-15 22:01:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-15 22:02:12 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 22:07:20 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 22:10:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 22:11:45 +0200 | petrichor | (~znc-user@user/petrichor) (Client Quit) |
| 2024-10-15 22:11:52 +0200 | masterbuilder | (~quassel@user/masterbuilder) masterbuilder |
| 2024-10-15 22:14:31 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 22:15:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-15 22:24:37 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-10-15 22:24:53 +0200 | spew | (~spew@192.154.196.86) (Ping timeout: 248 seconds) |
| 2024-10-15 22:25:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 22:26:45 +0200 | Nixkernal_ | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-15 22:26:46 +0200 | spew | (~spew@185.153.177.163) spew |
| 2024-10-15 22:28:53 +0200 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
| 2024-10-15 22:34:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-15 22:37:17 +0200 | hiecaq`` | (~hiecaq`@user/hiecaq) hiecaq |
| 2024-10-15 22:39:33 +0200 | hiecaq` | (~hiecaq@user/hiecaq) (Ping timeout: 276 seconds) |
| 2024-10-15 22:46:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 22:51:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-15 22:54:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 22:59:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-15 23:01:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 23:03:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-15 23:07:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-15 23:08:57 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-10-15 23:09:26 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-10-15 23:10:06 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-15 23:14:25 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2024-10-15 23:17:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-15 23:17:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 23:18:33 +0200 | Joao[3] | (~Joao003@190.108.99.216) (Read error: Connection reset by peer) |
| 2024-10-15 23:22:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-15 23:22:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-15 23:33:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 23:40:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-15 23:40:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 23:42:19 +0200 | hgolden_ | (~hgolden@169.150.203.10) (Remote host closed the connection) |
| 2024-10-15 23:42:29 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-d9ee-481b-3ce7-38de-67bb.rev.sfr.net) alexherbo2 |
| 2024-10-15 23:46:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-15 23:47:11 +0200 | hgolden | (~hgolden@169.150.203.23) hgolden |
| 2024-10-15 23:50:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-15 23:51:02 +0200 | Henson | (~kvirc@192-0-202-2.cpe.teksavvy.com) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/) |
| 2024-10-15 23:52:28 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-15 23:55:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-10-15 23:55:23 +0200 | ljdarj1 | ljdarj |
| 2024-10-15 23:55:56 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2024-10-15 23:56:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 23:59:03 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |