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