Logs on 2023-05-26 (liberachat/#haskell)
| 00:00:42 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 00:01:52 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:01:54 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 00:02:16 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 00:02:28 | → | jero98772 joins (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) |
| 00:03:16 | → | califax joins (~califax@user/califx) |
| 00:09:28 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 240 seconds) |
| 00:28:14 | → | freeside joins (~mengwong@103.252.202.189) |
| 00:33:25 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 00:35:19 | CalculusCat | is now known as Calculuscats |
| 00:35:22 | Calculuscats | is now known as CalculusCats |
| 00:39:40 | × | ryndubei quits (~ryndubei@194.127.199.10) (Quit: Leaving) |
| 00:53:25 | × | vandita quits (~vandit@178-164-207-70.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 00:55:18 | → | vandita joins (~vandit@77-234-80-162.pool.digikabel.hu) |
| 00:56:50 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:56:50 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:56:50 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:58:05 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 01:00:31 | → | mei joins (~mei@user/mei) |
| 01:01:16 | × | jero98772 quits (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) (Ping timeout: 265 seconds) |
| 01:02:02 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 01:06:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Ping timeout: 256 seconds) |
| 01:11:19 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:18 | → | jero98772 joins (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) |
| 01:17:26 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:28 | × | mei quits (~mei@user/mei) (Ping timeout: 240 seconds) |
| 01:23:13 | → | nate2 joins (~nate@98.45.169.16) |
| 01:23:47 | → | mei joins (~mei@user/mei) |
| 01:27:48 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 01:32:31 | × | tcard_ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 01:32:49 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 01:34:21 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 01:40:34 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 01:48:17 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 01:48:41 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 01:50:35 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 01:54:31 | × | yaroot quits (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 01:55:14 | → | yaroot joins (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 01:55:41 | → | cheater joins (~Username@user/cheater) |
| 01:57:48 | × | Vajb quits (~Vajb@2001:999:489:89c8:241a:21c3:9f8f:9a9a) (Ping timeout: 240 seconds) |
| 02:00:34 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 02:06:47 | × | td_ quits (~td@i53870934.versanet.de) (Ping timeout: 264 seconds) |
| 02:08:27 | → | td_ joins (~td@i53870934.versanet.de) |
| 02:17:29 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:21:11 | × | xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 02:24:59 | → | freeside joins (~mengwong@103.252.202.189) |
| 02:29:08 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 02:32:35 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 02:43:28 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 240 seconds) |
| 02:48:19 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:48:19 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:48:19 | finn_elija | is now known as FinnElija |
| 02:49:11 | → | nate2 joins (~nate@98.45.169.16) |
| 02:57:58 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 03:05:18 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 03:09:12 | → | freeside joins (~mengwong@103.252.202.189) |
| 03:13:08 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 03:21:08 | → | srk_ joins (~sorki@user/srk) |
| 03:21:13 | → | khumba joins (~khumba@user/khumba) |
| 03:24:07 | × | srk quits (~sorki@user/srk) (Ping timeout: 268 seconds) |
| 03:24:07 | srk_ | is now known as srk |
| 03:28:07 | × | hgolden quits (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 03:35:59 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 03:40:23 | × | vandita quits (~vandit@77-234-80-162.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 03:42:29 | → | vandita joins (~vandit@176-241-62-239.pool.digikabel.hu) |
| 03:48:25 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 03:50:23 | → | freeside joins (~mengwong@103.252.202.189) |
| 03:54:40 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 248 seconds) |
| 03:56:01 | × | RedNifre quits (~RedNifre@dslb-088-073-105-169.088.073.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 04:03:40 | → | freeside joins (~mengwong@103.252.202.189) |
| 04:06:20 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:07:37 | → | cheater_ joins (~Username@user/cheater) |
| 04:08:01 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 04:08:54 | → | RedNifre joins (~RedNifre@dslb-088-068-116-161.088.068.pools.vodafone-ip.de) |
| 04:09:31 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 04:09:32 | cheater_ | is now known as cheater |
| 04:09:59 | × | mei quits (~mei@user/mei) (Ping timeout: 240 seconds) |
| 04:14:03 | → | mei joins (~mei@user/mei) |
| 04:14:37 | → | cheater_ joins (~Username@user/cheater) |
| 04:14:44 | → | hgolden joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 04:16:28 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 04:16:32 | cheater_ | is now known as cheater |
| 04:23:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 04:23:35 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 04:25:27 | → | freeside joins (~mengwong@103.252.202.189) |
| 04:25:52 | × | hgolden quits (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 04:27:02 | × | dolio quits (~dolio@130.44.134.54) (Read error: Connection reset by peer) |
| 04:27:39 | → | dolio joins (~dolio@130.44.134.54) |
| 04:29:28 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 04:33:27 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 04:33:48 | → | cheater joins (~Username@user/cheater) |
| 04:34:24 | → | trev joins (~trev@user/trev) |
| 04:38:03 | → | myxokeph joins (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 04:39:40 | × | jargon quits (~jargon@184.101.78.160) (Remote host closed the connection) |
| 04:39:57 | → | jargon joins (~jargon@184.101.78.160) |
| 04:40:27 | → | hgolden joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 04:40:33 | → | freeside joins (~mengwong@103.252.202.189) |
| 04:45:48 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 04:50:30 | → | freeside joins (~mengwong@103.252.202.189) |
| 04:54:28 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 05:02:02 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 05:02:09 | Batzy_ | is now known as Batzy |
| 05:03:42 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 05:06:58 | × | myxokeph quits (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 05:07:19 | → | myxokeph joins (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 05:12:27 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:18:50 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:19:01 | → | freeside joins (~mengwong@103.252.202.189) |
| 05:23:12 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 248 seconds) |
| 05:29:03 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:2dc5:45f3:ebf7:b99a) |
| 05:31:33 | → | michalz joins (~michalz@185.246.204.90) |
| 05:41:58 | × | khumba quits (~khumba@user/khumba) () |
| 05:44:01 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:44:42 | → | chomwitt joins (~chomwitt@2a02:587:7a18:d000:1ac0:4dff:fedb:a3f1) |
| 05:46:51 | × | theodorc quits (theodorc@cassarossa.samfundet.no) (Ping timeout: 248 seconds) |
| 05:47:11 | → | theodorc joins (theodorc@cassarossa.samfundet.no) |
| 05:55:12 | → | freeside joins (~mengwong@122.11.212.212) |
| 06:01:55 | → | Guest75 joins (~Guest75@176.122.87.241) |
| 06:02:03 | <Guest75> | hello |
| 06:04:54 | × | Guest75 quits (~Guest75@176.122.87.241) (Client Quit) |
| 06:11:35 | × | freeside quits (~mengwong@122.11.212.212) (Read error: Connection reset by peer) |
| 06:14:31 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 06:18:54 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 06:19:18 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 06:20:01 | → | oneeyedalien joins (~oneeyedal@103.21.127.60) |
| 06:20:15 | × | oneeyedalien quits (~oneeyedal@103.21.127.60) (Max SendQ exceeded) |
| 06:20:49 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 06:22:50 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 06:25:35 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:62e8:fa29:f042:a6b6) |
| 06:28:34 | → | Guest75 joins (~Guest75@176.122.87.241) |
| 06:33:56 | × | lottaquestions quits (~nick@2607:fa49:503f:6d00:5204:d8f3:4fdf:6a82) (Remote host closed the connection) |
| 06:34:21 | → | lottaquestions joins (~nick@2607:fa49:503f:6d00:b491:99a4:aba0:ca2f) |
| 06:35:02 | <Guest75> | Why does this example work wrong? https://pastecode.io/s/m62ggs4p |
| 06:35:31 | <Guest75> | i get a message in the console every second |
| 06:38:14 | <Axman6> | which nessage? |
| 06:38:40 | <Axman6> | thread delay takes a number of ... microseconds I think? so that thread delay looks like 1 second to me |
| 06:38:41 | <Guest75> | Time to work |
| 06:39:29 | <Guest75> | I hoped that this message would appear every two minutes |
| 06:39:30 | <Axman6> | how often are you expecting it to trigger? I can't remember what */2 represents in cron |
| 06:39:49 | <Guest75> | https://crontab.guru/#*/2_*_*_*_* |
| 06:40:07 | <Axman6> | this doesn't feel like how I would implement that functionality, but we'll see if we can figure it out |
| 06:42:08 | <Axman6> | have you read the readme for the cron package? |
| 06:42:41 | <Guest75> | this is a slightly modified example from there |
| 06:44:55 | <Axman6> | so one thing you could do is in the loop, add: print (now, nextMatch schedule now) and see what's happening |
| 06:45:27 | <Guest75> | https://hackage.haskell.org/package/cron-0.1.0/docs/System-Cron.html |
| 06:45:39 | <Guest75> | here is a sample code |
| 06:46:45 | <Axman6> | can you try changing your code to use everyMinute instead of your parsed schedule, and make sure it does the right thing? |
| 06:48:33 | <Guest75> | Time to work |
| 06:48:34 | <Guest75> | Sleeping... |
| 06:48:34 | <Guest75> | Time to work |
| 06:48:35 | <Guest75> | Sleeping... |
| 06:48:35 | <Guest75> | Time to work |
| 06:48:36 | <Guest75> | Sleeping... |
| 06:48:36 | <Guest75> | Time to work |
| 06:48:37 | <Guest75> | Sleeping... |
| 06:48:37 | <Guest75> | Time to work |
| 06:48:38 | <Guest75> | Sleeping... |
| 06:48:41 | <Guest75> | without delay |
| 06:50:58 | <Axman6> | Please don't paste to the channel |
| 06:51:01 | <Axman6> | @where paste |
| 06:51:01 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 06:51:20 | <Axman6> | so you didn't make the change I suggested? |
| 06:51:42 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 250 seconds) |
| 06:52:34 | <Guest75> | https://pastecode.io/s/aitw7j1h |
| 06:52:42 | <Guest75> | like this? |
| 06:59:54 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 07:00:31 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 07:03:11 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:62e8:fa29:f042:a6b6) (Ping timeout: 264 seconds) |
| 07:04:05 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 07:04:25 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 07:04:53 | → | lortabac joins (~lortabac@37.171.229.244) |
| 07:06:08 | <_________> | Guest75: "cron examines cron entries every minute" - so your delay should be 1 minute, not 1 second if you want the same behaviour. |
| 07:17:02 | <Guest75> | Seems to work. Thank you |
| 07:17:02 | × | lortabac quits (~lortabac@37.171.229.244) (Read error: Connection reset by peer) |
| 07:19:24 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 07:21:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:b183:3915:ab51:ed70) |
| 07:21:56 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 07:25:46 | → | alternateved joins (~user@77-253-195-69.dynamic.inetia.pl) |
| 07:28:35 | <Inst> | VarI Name Type (Maybe Dec) |
| 07:28:36 | <Inst> | A "value" variable (as opposed to a type variable, see TyVarI). |
| 07:28:36 | <Inst> | The Maybe Dec field contains Just the declaration which defined the variable - including the RHS of the declaration - or else Nothing, in the case where the RHS is unavailable to the compiler. At present, this value is always Nothing: returning the RHS has not yet been implemented because of lack of interest. |
| 07:29:40 | <Inst> | so this is why there is no TH-where extension on Hackage, wherein the where clause definitions are extracted and have their data dependencies added as additional fields |
| 07:31:06 | × | russruss quits (~russruss@my.russellmcc.com) (Quit: Ping timeout (120 seconds)) |
| 07:31:23 | <Inst> | also explains why we lack true macros |
| 07:31:26 | → | russruss joins (~russruss@my.russellmcc.com) |
| 07:31:44 | × | Guest75 quits (~Guest75@176.122.87.241) (Quit: Client closed) |
| 07:33:31 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f24d14116d036ad7b86.dip0.t-ipconnect.de) |
| 07:35:15 | → | freeside joins (~mengwong@122.11.212.212) |
| 07:46:09 | → | nate2 joins (~nate@98.45.169.16) |
| 07:47:25 | → | oo_miguel joins (~Thunderbi@77.252.47.84) |
| 07:47:28 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 07:49:07 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 07:49:29 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 07:50:29 | → | gurkenglas joins (~user@dynamic-046-114-176-194.46.114.pool.telefonica.de) |
| 07:50:45 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 07:58:24 | × | vandita quits (~vandit@176-241-62-239.pool.digikabel.hu) (Ping timeout: 248 seconds) |
| 08:00:06 | → | vandita joins (~vandit@92-249-141-150.pool.digikabel.hu) |
| 08:03:11 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:04:48 | × | freeside quits (~mengwong@122.11.212.212) (Read error: Connection reset by peer) |
| 08:07:34 | → | titibandit joins (~titibandi@user/titibandit) |
| 08:09:06 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 08:10:11 | × | AkechiShiro quits (~licht@user/akechishiro) (Ping timeout: 246 seconds) |
| 08:11:28 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 08:13:11 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 240 seconds) |
| 08:16:51 | → | thegeekinside joins (~thegeekin@189.180.7.42) |
| 08:16:52 | → | Techcable joins (~Techcable@user/Techcable) |
| 08:18:57 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) (Remote host closed the connection) |
| 08:19:17 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) |
| 08:23:55 | → | zeenk joins (~zeenk@2a02:2f04:a105:f00::7fe) |
| 08:24:42 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 08:31:51 | → | mmhat joins (~mmh@p200300f1c706689eee086bfffe095315.dip0.t-ipconnect.de) |
| 08:32:00 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:34:06 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:36:50 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 08:36:55 | → | elmklod joins (~Elm@94.25.164.113) |
| 08:37:12 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 08:38:44 | × | thegeekinside quits (~thegeekin@189.180.7.42) (Ping timeout: 250 seconds) |
| 08:44:21 | → | titibandit joins (~titibandi@user/titibandit) |
| 08:48:08 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f24d14116d036ad7b86.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 08:49:35 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 08:50:34 | → | Pickchea joins (~private@user/pickchea) |
| 08:52:54 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 08:53:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 08:54:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Ping timeout: 240 seconds) |
| 08:54:12 | Lord_of_Life_ | is now known as Lord_of_Life |
| 08:55:32 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:57:01 | → | freeside joins (~mengwong@122.11.248.245) |
| 08:57:23 | → | machinedgod joins (~machinedg@88.128.88.181) |
| 08:58:00 | → | CiaoSen joins (~Jura@dynamic-089-204-130-209.89.204.130.pool.telefonica.de) |
| 09:09:07 | × | alternateved quits (~user@77-253-195-69.dynamic.inetia.pl) (Remote host closed the connection) |
| 09:10:05 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f242dfdc2b5ef6845c3.dip0.t-ipconnect.de) |
| 09:10:26 | → | xrvdg[m] joins (~xrvdgmatr@2001:470:69fc:105::3:625a) |
| 09:10:38 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) (Remote host closed the connection) |
| 09:10:56 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) |
| 09:15:04 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:17:37 | → | akegalj joins (~akegalj@78-0-129-196.adsl.net.t-com.hr) |
| 09:21:00 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:21:36 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 09:34:40 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 09:35:07 | → | mechap joins (~mechap@user/mechap) |
| 09:39:15 | × | machinedgod quits (~machinedg@88.128.88.181) (Ping timeout: 256 seconds) |
| 09:45:11 | × | chomwitt quits (~chomwitt@2a02:587:7a18:d000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 09:53:52 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 09:54:20 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 09:54:28 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 09:57:31 | × | shapr quits (~user@2600:1700:c640:3100:3f83:2dbd:933:12fd) (Ping timeout: 240 seconds) |
| 10:01:08 | → | eugenrh joins (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) |
| 10:04:17 | × | oo_miguel quits (~Thunderbi@77.252.47.84) (Ping timeout: 246 seconds) |
| 10:04:28 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 10:04:38 | → | Pickchea joins (~private@user/pickchea) |
| 10:09:40 | <Philonous> | I'm developing a programme with heavy FFI usage, and I'm getting intermittently getting SIGSEGVs. gdb backtrace says the seg fault happens in createAdjustor(), I'm wondering, how would I debug this problem? |
| 10:10:23 | × | gurkenglas quits (~user@dynamic-046-114-176-194.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 10:13:52 | × | mmhat quits (~mmh@p200300f1c706689eee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 10:17:34 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) (Remote host closed the connection) |
| 10:18:44 | → | alexherbo2 joins (~alexherbo@ip-166.net-81-220-17.versailles.rev.numericable.fr) |
| 10:18:47 | → | ubert joins (~Thunderbi@2a02:8109:abc0:6434:8bbb:55a7:12f5:6722) |
| 10:20:03 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f242dfdc2b5ef6845c3.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 10:21:08 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 10:22:14 | → | gurkenglas joins (~user@dynamic-046-114-176-194.46.114.pool.telefonica.de) |
| 10:23:07 | <probie> | What arguments does `createAdjustor` take (and if some of those are pointers, what Haskell type are you supplying)? |
| 10:23:36 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 10:26:04 | → | mechap joins (~mechap@user/mechap) |
| 10:35:34 | × | alexherbo2 quits (~alexherbo@ip-166.net-81-220-17.versailles.rev.numericable.fr) (Remote host closed the connection) |
| 10:35:44 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 10:36:43 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) |
| 10:37:38 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
| 10:38:24 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 10:40:27 | × | CiaoSen quits (~Jura@dynamic-089-204-130-209.89.204.130.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 10:46:15 | × | eugenrh quits (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) (Quit: WeeChat 3.8) |
| 10:53:04 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 10:56:19 | <Philonous> | gdb doesn't seem to record it, or at least it doesn't show |
| 11:05:12 | → | CiaoSen joins (~Jura@dynamic-089-204-130-209.89.204.130.pool.telefonica.de) |
| 11:08:09 | hpc_ | is now known as hpc |
| 11:11:16 | → | chomwitt joins (~chomwitt@94.69.73.237) |
| 11:15:08 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 11:19:08 | × | gurkenglas quits (~user@dynamic-046-114-176-194.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 11:21:18 | → | jakzale_ joins (uid499518@user/jakzale) |
| 11:25:49 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 11:32:08 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 240 seconds) |
| 11:36:32 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) (Remote host closed the connection) |
| 11:37:32 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 11:37:44 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) |
| 11:41:58 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 11:47:40 | → | nate2 joins (~nate@98.45.169.16) |
| 11:49:16 | → | gurkenglas joins (~user@dynamic-046-114-176-194.46.114.pool.telefonica.de) |
| 11:52:08 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 11:52:32 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 11:56:45 | × | michalz quits (~michalz@185.246.204.90) (Remote host closed the connection) |
| 11:58:10 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f242dfdc2b5ef6845c3.dip0.t-ipconnect.de) |
| 11:59:46 | → | tertek joins (~tertek@user/tertek) |
| 12:00:09 | → | michalz joins (~michalz@185.246.204.75) |
| 12:06:11 | <tomsmeding> | Philonous: any longer backtrace? |
| 12:06:14 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 12:15:39 | <Philonous> | The offending function keeps changing. But it seems to involve functions that pass callbacks to C code, that is, thunks exported via foreign import "wrapper" |
| 12:22:00 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:23:45 | <jean-paul[m]> | I would like to extract the bytes of a Crypto.Cipher.AES.AES128. AES128 wraps AES wraps ScrubbedBytes. But none of the constructors are public, as far as I can tell. Is there some other way (that's not too awful) to get the ScrubbedBytes out? https://hackage.haskell.org/package/cryptonite-0.30/docs/Crypto-Cipher-AES.html#t:AES128 |
| 12:25:25 | <geekosaur> | if there's no Internals module exposing the innards, I think you have to use som TH trickery. https://www.tweag.io/blog/2021-01-07-haskell-dark-arts-part-i/ |
| 12:25:42 | jean-paul[m] | recognizes that url |
| 12:26:34 | <jean-paul[m]> | Right now I have a wrapper that carries the original bytes along with the AES128 I constructed. I am afraid I'll make a mistake and they'll get out of sync. But I might be more afraid of that TH stuff :) |
| 12:27:20 | <jean-paul[m]> | (Also I need this to cross-compile to ARM which I think breaks down that TH approach) |
| 12:35:25 | <Axman6> | What do you need the innards of the AES type for? isn't it the internal state of the cipher? |
| 12:36:01 | ← | tertek parts (~tertek@user/tertek) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 12:36:31 | <Axman6> | like, it's not really meaningful data |
| 12:36:49 | <Axman6> | and definitely should not be stored anywhere |
| 12:38:25 | <jean-paul[m]> | Why do you say it isn't meaningful data? It is a key. If I don't store it anywhere, how will I have it to use later for encryption or decryption? |
| 12:38:49 | <jean-paul[m]> | (So I guess: It is not internal state of the cipher. It is a secret key.) |
| 12:39:12 | <jean-paul[m]> | (Or maybe I'm confused and it isn't and that's why it's not expose :) |
| 12:39:33 | <Axman6> | an AES128 is not the key |
| 12:40:22 | <geekosaur> | I would indeed expect an AES128 to be internal state initialized from the key, but will change as it's used and not in any way meaningful to you the user of AES128 |
| 12:41:13 | <Axman6> | look at https://hackage.haskell.org/package/cryptonite-0.30/docs/src/Crypto.Cipher.AES.Primitive.html#initAES which is the common initialisation code for the three AES sizes, it's 16+2*2*16*nbR bytes of internal state (where nbR is the numberof rounds) |
| 12:41:49 | <Axman6> | to store the key somewhere, you need to store the key you pass in when initialising the AES128 |
| 12:42:17 | <Axman6> | so the value you pass to cipherInit to get the AES128 |
| 12:43:59 | <jean-paul[m]> | Ah :/ Oops. Makes sense, then. Thanks. |
| 12:44:11 | <Axman6> | cryptonite's API has been fairly well designed to prevent you dfrom doing the wrong thing, so if you are expected to be able to peak inside something, it'll probably have a ByteArrayAccess instance |
| 12:45:20 | <jean-paul[m]> | That's good to know. I thought maybe this was just a corner that hadn't gotten much attention. |
| 12:45:32 | <Axman6> | it's worth playing around a bit in GHCi to learn hot it all wrks, it i admittedly not super obvious how everything fits together (you need to know about the memory package much more than it initially looks like you7 do, for instance) |
| 12:46:43 | <Axman6> | so, read in a file as a bytestring, generate a random key, encrypt the file, write it to disk, load that in, use the key to decrypt, and then check it's the same as the original. |
| 12:46:50 | <jean-paul[m]> | I know a bit about it ... I thought maybe cryptonite would take a patch adding a ByteArrayAccess instance here, for example. |
| 12:47:25 | <jean-paul[m]> | Yea, I've been through that dance a few times :) |
| 12:47:56 | <jean-paul[m]> | (https://whetstone.private.storage/privatestorage/tahoe-chk/ and https://whetstone.private.storage/privatestorage/tahoe-ssk/ are what I'm working on) |
| 12:47:58 | <Axman6> | that would be problematic from a security point of view |
| 12:49:29 | <jean-paul[m]> | What would be? |
| 12:50:13 | <Axman6> | being able to access the inards of the AES type |
| 12:50:59 | <jean-paul[m]> | Oh. Right, yes. That makes sense now. My mistake was believing the innards were the original key and not the other state it actually appears to be. |
| 12:51:21 | <Axman6> | it's in an newtype without exporting the constructor so you can't peek inside, and it's a ScrubbedBytes so it will be cleared before being garbage collected |
| 12:51:22 | <Axman6> | yeah |
| 12:51:53 | <Axman6> | Tahoe looks kinda fun, will be interested to hear how you go. |
| 12:52:05 | <Axman6> | Any reason not to do the network side of things? |
| 12:53:29 | <jean-paul[m]> | Nope. Just doing them in a separate library - https://whetstone.private.storage/privatestorage/tahoe-great-black-swamp / https://whetstone.private.storage/privatestorage/gbs-downloader/ (not sure it should be split up quite as much as it is right now, but the Python implementation suffers greatly from everything being one fused lump so I'd rather deal with too many small, independent pieces than end up in that situation again) |
| 12:54:41 | → | machinedgod joins (~machinedg@31.217.6.113) |
| 12:54:49 | <Axman6> | fair enough - feelslike thoey could be packages in the same repo (but i haven't looked too deep) |
| 12:55:39 | <jean-paul[m]> | I've wondered about that approach, yea. I don't have a lot of haskell packaging experience under my belt yet and didn't think about that until after there were already a few repos. |
| 12:56:12 | <jean-paul[m]> | Also I'm curious about cabal supposedly supporting multiple library targets in one project now? But I haven't looked into it at all. |
| 12:57:14 | <Axman6> | yeah I believe it does, i haven't used it myself |
| 13:01:23 | <geekosaur> | yeh, that came in with cabal 3.8 and should be "live" on hackage |
| 13:03:59 | → | Sciencentistguy0 joins (~sciencent@hacksoc/ordinary-member) |
| 13:06:08 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
| 13:06:09 | Sciencentistguy0 | is now known as Sciencentistguy |
| 13:10:54 | → | abrantesasf joins (~abrantesa@177.137.232.92) |
| 13:12:25 | × | CiaoSen quits (~Jura@dynamic-089-204-130-209.89.204.130.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 13:15:17 | × | dsrt^ quits (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 13:16:20 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 13:21:35 | × | michalz quits (~michalz@185.246.204.75) (Remote host closed the connection) |
| 13:24:30 | → | michalz joins (~michalz@185.246.204.73) |
| 13:31:32 | × | gurkenglas quits (~user@dynamic-046-114-176-194.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 13:32:02 | → | __monty__ joins (~toonn@user/toonn) |
| 13:33:06 | → | gurkenglas joins (~user@dynamic-046-114-176-194.46.114.pool.telefonica.de) |
| 13:36:11 | × | michalz quits (~michalz@185.246.204.73) (Ping timeout: 264 seconds) |
| 13:37:20 | → | michalz joins (~michalz@185.246.204.72) |
| 13:47:28 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 13:50:00 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 13:50:03 | ← | [Ristovski] parts (~Ristovski@hellomouse/perf/ristovski) () |
| 13:53:56 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 13:54:02 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e958:834b:4d15:c9fd) |
| 13:54:19 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 13:54:23 | × | machinedgod quits (~machinedg@31.217.6.113) (Ping timeout: 240 seconds) |
| 13:56:26 | → | machinedgod joins (~machinedg@31.217.1.207) |
| 13:58:08 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e958:834b:4d15:c9fd) (Ping timeout: 240 seconds) |
| 13:58:56 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f242dfdc2b5ef6845c3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 13:59:50 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 246 seconds) |
| 14:04:39 | <Profpatsch> | huh, how come GHC can’t infer myfield in case foo of Foo { myfield } when there’s a type Bar { myfield :: … } in the same module wtih DuplicateRecordFields |
| 14:05:08 | × | akegalj quits (~akegalj@78-0-129-196.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 14:05:11 | <Profpatsch> | I’d expect the globbed constructor to be completely unambiguous |
| 14:05:17 | <Profpatsch> | Am I missing an extension? |
| 14:05:37 | <Profpatsch> | (GHC 9.2) |
| 14:11:11 | × | Nosrep quits (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 14:11:30 | → | Nosrep joins (~Nosrep@user/nosrep) |
| 14:15:52 | <Profpatsch> | Argh ugh nvm, Foo doesn’t have myfield |
| 14:15:55 | <Profpatsch> | but a few other records have it |
| 14:16:12 | <Profpatsch> | so I guess the question turns into “why is GHC trying to infer the field of other records” |
| 14:20:23 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 14:21:45 | → | thegeekinside joins (~thegeekin@189.180.7.42) |
| 14:22:04 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:b183:3915:ab51:ed70) (Quit: WeeChat 2.8) |
| 14:26:30 | → | zenstoic joins (uid461840@id-461840.hampstead.irccloud.com) |
| 14:29:50 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:34:41 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) (Remote host closed the connection) |
| 14:35:00 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) |
| 14:39:31 | × | abrantesasf quits (~abrantesa@177.137.232.92) (Remote host closed the connection) |
| 14:41:13 | × | machinedgod quits (~machinedg@31.217.1.207) (Ping timeout: 268 seconds) |
| 14:42:57 | → | machinedgod joins (~machinedg@31.217.1.181) |
| 14:46:20 | <tomsmeding> | Profpatsch: does it also consider it ambiguous if there is exactly one other record with that field |
| 14:46:43 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 14:47:28 | × | machinedgod quits (~machinedg@31.217.1.181) (Ping timeout: 248 seconds) |
| 14:52:43 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) (Ping timeout: 245 seconds) |
| 14:55:38 | → | akegalj joins (~akegalj@78-0-129-196.adsl.net.t-com.hr) |
| 14:55:46 | <Profpatsch> | tomsmeding: you mean if the field is wrong but there’s another record who has that field? |
| 14:56:25 | <tomsmeding> | Profpatsch: but there's _exactly one_ other record that has that field |
| 14:56:31 | <tomsmeding> | because then "ambiguous" is _surely_ the wrong term |
| 14:57:26 | <Profpatsch> | Maybe interesting: we have -xNoFieldSelectors active |
| 14:57:41 | <Profpatsch> | so there shouldn’t even be any toplevel function symbols |
| 14:57:59 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 14:58:23 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 15:02:26 | <geekosaur> | that implies you have `Has` constraints. might you have a stray one somehow? |
| 15:02:29 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f242dfdc2b5ef6845c3.dip0.t-ipconnect.de) |
| 15:03:34 | <geekosaur> | specifically it has to solve a `Has "myfield"` constraint, as opposed to inferring a record type directly |
| 15:03:56 | <akegalj> | i wonder is compiling to js via GHC faster than using ghcjs? Are they using similar pipeline or do they differ architecturely ? |
| 15:04:38 | <geekosaur> | I would exspect ghcjs to be faster because it's had more time for optimization to happen; ghc 9.6's is still a tech preview |
| 15:05:04 | <akegalj> | I see in reddit that ghcjs struggles with template haskell, I thought maybe ghc uses some faster pipeline for th |
| 15:05:28 | <ncf> | TH support for the JS backend is being worked on |
| 15:08:01 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e958:834b:4d15:c9fd) |
| 15:09:41 | <akegalj> | ncf: nice, looking forward to that |
| 15:11:46 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 250 seconds) |
| 15:11:59 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 15:14:31 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 15:16:08 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 15:16:12 | → | CiaoSen joins (~Jura@dynamic-089-204-130-209.89.204.130.pool.telefonica.de) |
| 15:16:20 | <Profpatsch> | geekosaur: yeah, but I’m matching on a type constructor directly here |
| 15:16:23 | <Profpatsch> | it’s field punning |
| 15:16:31 | <Profpatsch> | not anything to do wtih record dots |
| 15:17:36 | <geekosaur> | `Has` predates record dot. but `NoFieldSelectors` complicates things, I think |
| 15:18:16 | × | ubert quits (~Thunderbi@2a02:8109:abc0:6434:8bbb:55a7:12f5:6722) (Remote host closed the connection) |
| 15:18:19 | <geekosaur> | (in particular you could use `#myfield` to describe a field via a `Has` constraint before record dot) |
| 15:19:07 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 15:22:07 | × | zeenk quits (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 15:22:29 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:24:54 | × | thegeekinside quits (~thegeekin@189.180.7.42) (Remote host closed the connection) |
| 15:25:42 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:26:37 | → | oo_miguel joins (~Thunderbi@77.252.47.84) |
| 15:27:02 | → | cheater joins (~Username@user/cheater) |
| 15:31:13 | <Philonous> | Hah, funny, I was wondering why the code that used to work suddenly threw SIGSEGV. Turns out it's a kernel bug. Wonderful :D |
| 15:38:44 | × | Nosrep quits (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 15:41:07 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:41:52 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 15:42:33 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 15:44:59 | → | mei joins (~mei@user/mei) |
| 15:45:32 | → | freeside joins (~mengwong@128.106.215.13) |
| 15:45:46 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e958:834b:4d15:c9fd) (Remote host closed the connection) |
| 15:46:06 | → | econo joins (uid147250@user/econo) |
| 15:49:25 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 15:49:58 | → | nate2 joins (~nate@98.45.169.16) |
| 15:51:37 | → | Benzi-Junior joins (~BenziJuni@88-149-64-86.du.xdsl.is) |
| 15:51:44 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 15:52:49 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 15:54:02 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 15:54:47 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 15:56:03 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 15:58:07 | <tomsmeding> | Is there any list around of project ideas for Haskell practice for beginning haskellers? |
| 15:58:22 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:00:01 | × | jzerebecki quits (~jzerebeck@2001:470:69fc:105::f90) (Remote host closed the connection) |
| 16:00:02 | × | ariady[m] quits (~riadymatr@2001:470:69fc:105::3:4dc5) (Remote host closed the connection) |
| 16:03:14 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:04:50 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:15:17 | → | nick__ joins (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 16:20:01 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 240 seconds) |
| 16:24:19 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 16:27:25 | <ghostbuster> | tomsmeding: i'm a beginner so take what i say with a grain of salt, but i've started working on project euler |
| 16:28:19 | → | Anthon4 joins (~Anthon4@242.19.55.213.rev.sfr.net) |
| 16:39:07 | → | Nosrep joins (~Nosrep@user/nosrep) |
| 16:39:32 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 16:41:12 | × | Anthon4 quits (~Anthon4@242.19.55.213.rev.sfr.net) (Quit: Connection closed) |
| 16:49:48 | × | CiaoSen quits (~Jura@dynamic-089-204-130-209.89.204.130.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 16:50:50 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:51:12 | × | Inst quits (~Inst@2601:6c4:4081:2fc0:3966:9d9f:5237:b674) (Ping timeout: 248 seconds) |
| 16:54:01 | [_] | is now known as [itchyjunk] |
| 16:57:11 | × | ddellacosta quits (~ddellacos@146.70.166.170) (Ping timeout: 264 seconds) |
| 16:59:20 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e958:834b:4d15:c9fd) |
| 17:00:32 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 250 seconds) |
| 17:04:55 | → | CiaoSen joins (~Jura@dynamic-089-204-130-209.89.204.130.pool.telefonica.de) |
| 17:06:00 | × | vandita quits (~vandit@92-249-141-150.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 17:07:27 | → | vandita joins (~vandit@78-131-74-81.pool.digikabel.hu) |
| 17:14:14 | → | ddellacosta joins (~ddellacos@143.244.47.74) |
| 17:15:25 | × | gurkenglas quits (~user@dynamic-046-114-176-194.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 17:20:26 | → | nschoe joins (~q@2a01:e0a:8e:a190:d6a8:c8cc:7131:1e25) |
| 17:25:46 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) |
| 17:28:08 | × | CiaoSen quits (~Jura@dynamic-089-204-130-209.89.204.130.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 17:28:11 | → | Inst joins (~Inst@2601:6c4:4081:2fc0:204f:9e14:f29c:b2f4) |
| 17:29:01 | × | akegalj quits (~akegalj@78-0-129-196.adsl.net.t-com.hr) (Quit: leaving) |
| 17:32:51 | <sm> | not quite the same, but there's the reddit threads where people ask for projects to contribute to |
| 17:41:28 | × | freeside quits (~mengwong@128.106.215.13) (Ping timeout: 240 seconds) |
| 17:48:58 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 17:53:11 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 17:55:01 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 17:57:26 | ← | Inst parts (~Inst@2601:6c4:4081:2fc0:204f:9e14:f29c:b2f4) (Leaving) |
| 18:00:59 | → | roconnor joins (~quassel@coq/roconnor) |
| 18:02:01 | ← | roconnor parts (~quassel@coq/roconnor) () |
| 18:09:47 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 18:11:33 | → | Pickchea joins (~private@user/pickchea) |
| 18:24:19 | × | hgolden quits (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 18:25:57 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) (Quit: WeeChat 3.8) |
| 18:42:08 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 18:42:22 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 18:48:32 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 248 seconds) |
| 18:50:29 | → | ubert joins (~Thunderbi@p200300ecdf00023241b0713b3377b5ff.dip0.t-ipconnect.de) |
| 18:53:10 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:55:37 | × | zenstoic quits (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:55:56 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-19a4-3612-b4c1-160e.rev.sfr.net) (Remote host closed the connection) |
| 19:10:21 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 19:12:24 | → | Pickchea joins (~private@user/pickchea) |
| 19:16:00 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 19:17:01 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 240 seconds) |
| 19:20:39 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 256 seconds) |
| 19:22:03 | × | ddellacosta quits (~ddellacos@143.244.47.74) (Quit: WeeChat 3.8) |
| 19:22:08 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 19:24:28 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 19:33:04 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 250 seconds) |
| 19:36:52 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 19:41:26 | → | gmg joins (~user@user/gehmehgeh) |
| 19:43:48 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 240 seconds) |
| 19:45:49 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e958:834b:4d15:c9fd) (Remote host closed the connection) |
| 19:48:40 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 19:51:22 | → | nate2 joins (~nate@98.45.169.16) |
| 19:53:51 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 19:54:02 | → | freeside joins (~mengwong@103.252.202.189) |
| 19:54:14 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 19:55:43 | × | ubert quits (~Thunderbi@p200300ecdf00023241b0713b3377b5ff.dip0.t-ipconnect.de) (Quit: ubert) |
| 19:55:44 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 19:55:44 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 19:55:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:56:00 | → | ubert joins (~Thunderbi@p200300ecdf00023250f7f66eb2925251.dip0.t-ipconnect.de) |
| 19:56:05 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 19:58:14 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 246 seconds) |
| 20:00:05 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 20:00:32 | × | ubert quits (~Thunderbi@p200300ecdf00023250f7f66eb2925251.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 20:02:00 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 20:05:44 | → | abrantesasf joins (~abrantesa@177.137.232.92) |
| 20:10:12 | → | freeside joins (~mengwong@103.252.202.189) |
| 20:11:49 | × | nschoe quits (~q@2a01:e0a:8e:a190:d6a8:c8cc:7131:1e25) (Quit: Switching off) |
| 20:14:29 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 256 seconds) |
| 20:14:54 | × | chomwitt quits (~chomwitt@94.69.73.237) (Remote host closed the connection) |
| 20:21:42 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 250 seconds) |
| 20:27:31 | → | rf joins (~rf@2605:59c8:179c:f610:c3f5:9614:a40d:c16e) |
| 20:30:06 | → | reach joins (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 20:31:36 | → | xameer joins (~xameer@144.48.225.48) |
| 20:33:04 | × | xameer quits (~xameer@144.48.225.48) (Client Quit) |
| 20:34:49 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 265 seconds) |
| 20:36:45 | → | mechap joins (~mechap@user/mechap) |
| 20:37:18 | → | user__ joins (~user@dynamic-046-114-177-161.46.114.pool.telefonica.de) |
| 20:37:21 | user__ | is now known as gurkenglas |
| 20:41:08 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 20:43:05 | → | mechap joins (~mechap@user/mechap) |
| 20:49:46 | × | reach quits (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 250 seconds) |
| 20:49:48 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 265 seconds) |
| 20:50:24 | → | mechap joins (~mechap@user/mechap) |
| 20:53:38 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 20:56:16 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:56:32 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 20:56:50 | × | gurkenglas quits (~user@dynamic-046-114-177-161.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 20:58:29 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 20:58:57 | → | gurkenglas joins (~user@dynamic-046-114-177-161.46.114.pool.telefonica.de) |
| 21:02:45 | → | hgolden joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 21:04:07 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 21:07:21 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:10:46 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:12:08 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 21:12:49 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 21:24:34 | → | shriekingnoise_ joins (~shrieking@186.137.175.87) |
| 21:25:52 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 21:30:02 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 21:30:46 | × | michalz quits (~michalz@185.246.204.72) (Remote host closed the connection) |
| 21:33:39 | → | wroathe joins (~wroathe@50.205.197.50) |
| 21:33:40 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 21:33:40 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:42:03 | → | machinedgod joins (~machinedg@46.188.225.66) |
| 21:46:00 | → | freeside joins (~mengwong@103.252.202.189) |
| 21:50:47 | × | machinedgod quits (~machinedg@46.188.225.66) (Ping timeout: 240 seconds) |
| 21:51:24 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:52:53 | → | machinedgod joins (~machinedg@46.188.225.66) |
| 21:53:08 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 21:53:45 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 21:54:32 | → | titibandit joins (~titibandi@user/titibandit) |
| 21:56:25 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 21:57:37 | × | oo_miguel quits (~Thunderbi@77.252.47.84) (Ping timeout: 256 seconds) |
| 22:06:15 | <dmj`> | is there a QQ library for .proto files ? |
| 22:11:02 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:13:32 | × | jil` quits (~user@vps-15050500.vps.ovh.net) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 22:13:46 | → | jil joins (~user@vps-15050500.vps.ovh.net) |
| 22:19:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:21:53 | → | son0p joins (~ff@181.136.122.143) |
| 22:22:07 | → | shapr joins (~user@2600:1700:c640:3100:55f:2555:501d:44ae) |
| 22:24:46 | × | zincy quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Read error: Connection reset by peer) |
| 22:25:03 | → | zincy joins (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 22:27:25 | × | gurkenglas quits (~user@dynamic-046-114-177-161.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 22:28:56 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 22:37:29 | × | nick__ quits (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 246 seconds) |
| 22:38:00 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:42:01 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 22:43:34 | → | tom_ joins (~tom@host81-151-255-71.range81-151.btcentralplus.com) |
| 22:45:18 | × | machinedgod quits (~machinedg@46.188.225.66) (Ping timeout: 265 seconds) |
| 22:47:08 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f242dfdc2b5ef6845c3.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 22:47:47 | → | acidjnk joins (~acidjnk@p200300d6e7072f24316225cd2ab6c884.dip0.t-ipconnect.de) |
| 22:48:47 | × | zincy quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Ping timeout: 264 seconds) |
| 22:49:33 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 22:50:45 | → | gmg joins (~user@user/gehmehgeh) |
| 22:52:16 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
| 22:57:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 23:02:48 | → | kluk joins (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) |
| 23:06:49 | × | Nosrep quits (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 23:12:49 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 23:15:03 | → | zeenk joins (~zeenk@2a02:2f04:a105:f00::7fe) |
| 23:16:47 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 23:17:03 | <ghostbuster> | ok back to where I was on tuesday |
| 23:19:30 | → | freeside joins (~mengwong@103.252.202.189) |
| 23:23:01 | → | mauke_ joins (~mauke@user/mauke) |
| 23:23:07 | → | ubert joins (~Thunderbi@p200300ecdf000282dd9d478f6a8ca7b2.dip0.t-ipconnect.de) |
| 23:23:58 | × | freeside quits (~mengwong@103.252.202.189) (Ping timeout: 265 seconds) |
| 23:24:31 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 23:24:31 | mauke_ | is now known as mauke |
| 23:25:08 | × | acidjnk quits (~acidjnk@p200300d6e7072f24316225cd2ab6c884.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 23:33:08 | × | ubert quits (~Thunderbi@p200300ecdf000282dd9d478f6a8ca7b2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 23:42:27 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 23:46:08 | × | dtman34 quits (~dtman34@76.156.89.180) (Ping timeout: 240 seconds) |
| 23:48:55 | × | elmklod quits (~Elm@94.25.164.113) (Quit: Leaving) |
| 23:50:10 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 23:52:54 | → | nate2 joins (~nate@98.45.169.16) |
| 23:53:51 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 23:54:28 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 23:57:28 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
All times are in UTC on 2023-05-26.