Logs on 2023-05-03 (liberachat/#haskell)
| 00:01:11 | → | freeside joins (~mengwong@103.252.202.85) |
| 00:02:35 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Write error: Connection reset by peer) |
| 00:02:54 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
| 00:03:38 | → | xff0x_ joins (~xff0x@fsa056e3ab.kytj202.ap.nuro.jp) |
| 00:05:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 00:12:48 | × | xff0x_ quits (~xff0x@fsa056e3ab.kytj202.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 00:14:42 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 00:14:52 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 00:16:02 | Lord_of_Life_ | is now known as Lord_of_Life |
| 00:23:33 | → | freeside joins (~mengwong@103.252.202.85) |
| 00:27:39 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 00:29:25 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 00:36:45 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 00:40:01 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:40:01 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:40:01 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:50:47 | → | freeside joins (~mengwong@103.252.202.85) |
| 00:54:45 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 00:55:34 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 00:57:12 | → | cheater joins (~Username@user/cheater) |
| 00:58:08 | × | juri_ quits (~juri@217.138.194.165) (Ping timeout: 248 seconds) |
| 00:58:20 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 00:58:51 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 01:10:16 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:10:22 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 01:10:56 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 01:12:06 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Quit: No Ping reply in 180 seconds.) |
| 01:13:06 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 01:13:06 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 01:13:19 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:13:29 | → | hrberg joins (~quassel@171.79-160-161.customer.lyse.net) |
| 01:13:29 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 01:13:47 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 01:16:12 | → | freeside joins (~mengwong@103.252.202.85) |
| 01:16:24 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:20:58 | → | cheater joins (~Username@user/cheater) |
| 01:21:46 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 01:22:12 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 01:23:29 | → | bilegeek joins (~bilegeek@2600:1008:b066:4741:90e7:9e90:b9cb:f461) |
| 01:23:53 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 01:24:33 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 01:25:21 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 01:25:44 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 01:28:56 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 01:29:03 | → | freeside joins (~mengwong@103.252.202.85) |
| 01:30:22 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 01:30:30 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 01:30:43 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 01:33:29 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 01:33:59 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 01:34:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 250 seconds) |
| 01:34:56 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 01:37:43 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Ping timeout: 245 seconds) |
| 01:38:58 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 01:43:20 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 01:45:15 | ← | oddline parts (~oddline@user/oddline) () |
| 01:45:45 | → | Manikariza joins (~Manikariz@189.172.242.162) |
| 01:49:24 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 01:52:10 | → | freeside joins (~mengwong@103.252.202.85) |
| 01:52:45 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 01:53:00 | × | Manikariza quits (~Manikariz@189.172.242.162) (K-Lined) |
| 01:56:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 01:57:44 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 01:58:54 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 02:00:38 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::2) |
| 02:03:20 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 02:06:47 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 02:08:20 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 02:09:03 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 02:09:14 | → | juri_ joins (~juri@217.138.194.165) |
| 02:09:27 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 02:09:35 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:10:21 | → | mestre joins (~mestre@191.177.175.117) |
| 02:10:48 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 02:13:06 | → | freeside joins (~mengwong@103.252.202.85) |
| 02:15:12 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 02:16:35 | → | nate2 joins (~nate@98.45.169.16) |
| 02:18:12 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 02:25:36 | × | mestre quits (~mestre@191.177.175.117) (Ping timeout: 268 seconds) |
| 02:32:04 | → | mestre joins (~mestre@191.177.175.117) |
| 02:34:45 | × | bilegeek quits (~bilegeek@2600:1008:b066:4741:90e7:9e90:b9cb:f461) (Quit: Leaving) |
| 02:39:52 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 02:42:24 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 02:44:19 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 02:48:44 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:48:44 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:48:44 | finn_elija | is now known as FinnElija |
| 02:49:25 | × | td_ quits (~td@i53870911.versanet.de) (Ping timeout: 240 seconds) |
| 02:51:21 | → | td_ joins (~td@i53870903.versanet.de) |
| 02:52:32 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Quit: Quit) |
| 02:52:52 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 02:54:57 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 02:55:22 | → | Batzy joins (~quassel@user/batzy) |
| 02:55:41 | → | freeside joins (~mengwong@103.252.202.85) |
| 02:58:54 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 250 seconds) |
| 02:59:04 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 02:59:48 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 03:00:02 | × | mestre quits (~mestre@191.177.175.117) (Quit: Lost terminal) |
| 03:03:39 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 03:06:56 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:07:45 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 03:11:39 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::2) |
| 03:12:11 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 03:16:02 | × | hueso quits (~root@user/hueso) (Ping timeout: 246 seconds) |
| 03:16:43 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 03:18:48 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 03:25:40 | → | Skillingford joins (~Skeeelton@189.172.17.68) |
| 03:26:24 | × | dtman34_ quits (~dtman34@76.156.89.180) (Ping timeout: 248 seconds) |
| 03:28:21 | × | Skillingford quits (~Skeeelton@189.172.17.68) (K-Lined) |
| 03:29:07 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 03:31:36 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 03:36:08 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 03:36:16 | → | ub joins (~Thunderbi@p200300ecdf15583fadacaf30e6b5a958.dip0.t-ipconnect.de) |
| 03:38:22 | × | ubert quits (~Thunderbi@p548c9793.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 03:38:22 | ub | is now known as ubert |
| 03:39:40 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 03:40:17 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 03:41:27 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 03:43:29 | → | rlj joins (~rlj@194-218-34-180.customer.telia.com) |
| 03:44:28 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 03:51:48 | × | ubert quits (~Thunderbi@p200300ecdf15583fadacaf30e6b5a958.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 03:52:08 | → | ubert joins (~Thunderbi@p548c9793.dip0.t-ipconnect.de) |
| 03:56:46 | → | vizor joins (~macroVizo@2601:602:77f:f0a0::c38a) |
| 03:58:27 | → | hueso joins (~root@user/hueso) |
| 03:59:42 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:aba0:2b0:9983:9568) |
| 04:02:18 | × | rlj quits (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
| 04:05:18 | × | offtherock quits (~blurb@96.45.2.121) (Remote host closed the connection) |
| 04:05:36 | → | offtherock joins (~blurb@96.45.2.121) |
| 04:08:32 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 246 seconds) |
| 04:11:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:12:15 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:16:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Client Quit) |
| 04:16:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:17:32 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:19:27 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 04:20:23 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::2) |
| 04:22:29 | → | img joins (~img@user/img) |
| 04:23:11 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 04:23:54 | × | jargon_ quits (~jargon@184.101.78.160) (Remote host closed the connection) |
| 04:24:44 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 04:28:05 | → | repair joins (~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) |
| 04:29:06 | → | rnat joins (uid73555@id-73555.lymington.irccloud.com) |
| 04:29:18 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 04:29:59 | × | repair quits (~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) (Remote host closed the connection) |
| 04:31:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:35:08 | → | DeSantis joins (~DeSantis@189.172.121.16) |
| 04:35:54 | → | freeside joins (~mengwong@103.252.202.85) |
| 04:37:51 | → | merijn joins (~merijn@c-001-002-003.client.esciencecenter.eduvpn.nl) |
| 04:38:11 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 04:38:53 | → | krei-se- joins (~krei-se@128.90.23.125) |
| 04:38:59 | × | krei-se quits (~krei-se@p57af2733.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 04:40:05 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 04:42:09 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 04:42:09 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 04:42:09 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:43:13 | × | DeSantis quits (~DeSantis@189.172.121.16) (K-Lined) |
| 04:49:55 | → | freeside joins (~mengwong@103.252.202.85) |
| 04:53:08 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection) |
| 04:55:48 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 04:56:45 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 04:59:49 | × | dsrt^ quits (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 05:00:25 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 05:09:10 | → | freeside joins (~mengwong@103.252.202.85) |
| 05:12:43 | × | merijn quits (~merijn@c-001-002-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 05:13:25 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 05:14:43 | → | mbuf joins (~Shakthi@49.207.178.186) |
| 05:15:45 | → | nate2 joins (~nate@98.45.169.16) |
| 05:17:21 | × | CyberSoul quits (~ray@2405:201:680a:b174:7b30:abcb:1d56:b23) (Quit: Leaving) |
| 05:17:26 | × | ray_ quits (~ray@2405:201:680a:b174:ca64:ecc9:98b0:81d3) (Quit: Leaving) |
| 05:17:35 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:17:51 | → | ray_ joins (~CyberSoul@2405:201:680a:b174:ca64:ecc9:98b0:81d3) |
| 05:20:05 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 05:21:23 | <jade[m]> | I'm learning about a few very interesting topics, branching out from Core/System F(C) |
| 05:21:36 | × | foul_owl quits (~kerry@45.143.82.151) (Ping timeout: 248 seconds) |
| 05:22:12 | <jade[m]> | I don't understand much, but the simply typed lambda calculus, lambda cube and related things are super cool |
| 05:23:12 | × | ddellacosta quits (~ddellacos@143.244.47.86) (Ping timeout: 268 seconds) |
| 05:23:36 | <segfaultfizzbuzz> | you can give us a mini-irc lecture |
| 05:23:53 | <segfaultfizzbuzz> | like a ted talk, but on irc |
| 05:24:29 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 05:24:45 | <segfaultfizzbuzz> | just imagine you are wearing a nice suit or dress and have a bunch of slides already made for you which alternate between a single word and some kind of stockart photo |
| 05:26:22 | <jade[m]> | hahaha |
| 05:27:31 | <jade[m]> | your confidence in me is charming but I doubt I have anywhere near the insight into such an advanced topic from reading a few articles as to give a talk about it |
| 05:27:33 | <segfaultfizzbuzz> | i'll take that as a "next slide" signal... your first slide is a photograph of a palm tree |
| 05:28:02 | <segfaultfizzbuzz> | well why don't you say what you know and then the wizards of #haskell irc can chime in and fix your understanding |
| 05:28:48 | <jade[m]> | I've got a lot more reading up to do ... and then lets see |
| 05:29:03 | <jade[m]> | keep the palm tree up |
| 05:30:07 | <segfaultfizzbuzz> | that was a next slide queue, this slide says "boldness" |
| 05:31:12 | <sm> | exciting! where will this presentation lead |
| 05:33:33 | <jade[m]> | segfaultfizzbuzz: is the font bold? |
| 05:33:41 | <jade[m]> | That'd be pretty funny |
| 05:33:48 | <jade[m]> | and then it just goes to the next slide |
| 05:35:41 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:36:03 | → | foul_owl joins (~kerry@71.212.137.212) |
| 05:36:44 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 05:36:46 | <segfaultfizzbuzz> | jade[m]: yes bold helvetica |
| 05:36:49 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:36:50 | → | mncheck joins (~mncheck@193.224.205.254) |
| 05:37:07 | <segfaultfizzbuzz> | the next slide is a photo of a coffee mug and a french press half full of coffee |
| 05:38:53 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 05:41:12 | jade[m] | stares at the slide in awkward silence |
| 05:41:43 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::2) |
| 05:41:55 | <jade[m]> | anyways, thank you for coming to my ted talk, next week I will talk about pine trees, itallicness and ways to brew tea |
| 05:42:03 | <segfaultfizzbuzz> | the next slide says "lambda" |
| 05:42:31 | <jade[m]> | hm |
| 05:42:50 | <jade[m]> | this was supposed to thank you for your attention |
| 05:42:51 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 05:42:53 | <segfaultfizzbuzz> | the next side is a picture of a dog salivating, but with a lot of emphasis on the saliva |
| 05:43:07 | <jade[m]> | hm |
| 05:43:17 | jade[m] | leaves the presentation stage |
| 05:44:00 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds) |
| 05:44:02 | → | rlj joins (~rlj@sessfw95-sesbfw95-85.ericsson.net) |
| 05:44:06 | <segfaultfizzbuzz> | the next slide says "cartesian closed categories" |
| 05:44:48 | <jade[m]> | I think the presentation has come alive |
| 05:45:30 | <sm> | the audience starts looking around and muttering |
| 05:46:21 | <segfaultfizzbuzz> | the next slide is a photo of a terminator T-800 |
| 05:47:20 | jade[m] | sits down in the audience |
| 05:47:55 | → | acidjnk joins (~acidjnk@p200300d6e715c400492023c9075c5278.dip0.t-ipconnect.de) |
| 05:48:32 | <segfaultfizzbuzz> | the next slide says "artificial intelligence" |
| 05:49:41 | <jade[m]> | one lonely yell from the audience: I've heard about this |
| 05:50:10 | <segfaultfizzbuzz> | the next slide is a photo of a matrix |
| 05:51:15 | sm | discreetly edges towards the door |
| 05:51:46 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 05:51:50 | segfaultfizzbuzz | the doors lock themselves automatically, electronically |
| 05:52:18 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:52:45 | sm | angles for a better view and feigns great interest |
| 05:53:34 | <segfaultfizzbuzz> | the next slide says "marketingbabble + machine learning = ..." |
| 05:55:40 | <segfaultfizzbuzz> | the slide computer bluescreens |
| 05:55:41 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 05:56:53 | <jade[m]> | shame |
| 05:56:55 | sm | quickly approaches the podium, closes the laptop, yanks power cable from projector |
| 05:57:10 | <jade[m]> | I was just getting the story :( |
| 06:05:08 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 06:08:22 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 06:08:22 | <tdammers> | best TED talk ever |
| 06:10:24 | → | p0lyph3m joins (~polyphem@ip-109-43-49-185.web.vodafone.de) |
| 06:11:10 | → | cheater joins (~Username@user/cheater) |
| 06:11:10 | × | polyphem quits (~polyphem@ip-109-43-49-185.web.vodafone.de) (Remote host closed the connection) |
| 06:14:52 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 06:20:33 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 06:23:51 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection) |
| 06:29:37 | → | kenran joins (~user@user/kenran) |
| 06:33:55 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 06:35:40 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 06:40:54 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:6a5b:f824:6e12:29b1) |
| 06:43:22 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 06:50:07 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 06:50:39 | × | rnat quits (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:54:25 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 07:01:37 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 07:07:08 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 07:16:18 | → | cstml[m] joins (~cstmmatri@2001:470:69fc:105::2:f76f) |
| 07:16:49 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 07:20:58 | × | jonathan_ quits (~jonathan@h-176-10-144-60.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 07:22:43 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 07:23:38 | × | phma quits (~phma@host-67-44-208-157.hnremote.net) (Read error: Connection reset by peer) |
| 07:23:50 | → | tr_ev joins (~trev@user/trev) |
| 07:24:37 | → | phma joins (~phma@2001:5b0:215a:d888:a541:81b6:7d20:c3e7) |
| 07:26:48 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 07:27:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
| 07:29:01 | × | Luj quits (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Ping timeout: 240 seconds) |
| 07:29:02 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 07:31:55 | → | ubert1 joins (~Thunderbi@2a02:8109:abc0:6434:7fb1:4019:2d6f:d4aa) |
| 07:32:22 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 07:32:30 | → | akegalj joins (~akegalj@93-139-179-252.adsl.net.t-com.hr) |
| 07:32:51 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:2226:8b00:a8fa:36b2) |
| 07:32:58 | → | notzmv joins (~zmv@user/notzmv) |
| 07:35:34 | → | zeenk joins (~zeenk@2a02:2f04:a20f:5200::7fe) |
| 07:38:17 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 07:42:30 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 07:44:24 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 07:47:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:48:00 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:52:42 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 07:55:17 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:56:02 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 08:00:20 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:01:04 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 08:04:12 | tr_ev | is now known as trev |
| 08:07:16 | → | mmhat joins (~mmh@p200300f1c71c2d30ee086bfffe095315.dip0.t-ipconnect.de) |
| 08:07:20 | × | mmhat quits (~mmh@p200300f1c71c2d30ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 08:10:57 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:11:26 | × | JScript quits (~JScript@103.137.12.134) (Ping timeout: 246 seconds) |
| 08:14:28 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:15:46 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 08:17:05 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 08:17:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:22:21 | × | akegalj quits (~akegalj@93-139-179-252.adsl.net.t-com.hr) (Quit: leaving) |
| 08:24:44 | × | p0lyph3m quits (~polyphem@ip-109-43-49-185.web.vodafone.de) (Ping timeout: 246 seconds) |
| 08:27:55 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:28:23 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 08:32:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 246 seconds) |
| 08:33:09 | → | freeside joins (~mengwong@103.252.202.85) |
| 08:39:26 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 08:39:31 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 08:42:17 | → | yoneda joins (~mike@193.206.102.122) |
| 08:42:38 | × | ray_ quits (~CyberSoul@2405:201:680a:b174:ca64:ecc9:98b0:81d3) (Quit: Leaving) |
| 08:43:09 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 08:44:32 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 08:49:16 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds) |
| 08:51:01 | → | denbrahe joins (~denbrahe@2001:470:69fc:105::19c0) |
| 08:51:23 | → | JScript joins (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) |
| 08:51:28 | × | JScript quits (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) (Max SendQ exceeded) |
| 08:51:53 | → | JScript joins (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) |
| 08:57:52 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:2226:8b00:a8fa:36b2) (Ping timeout: 265 seconds) |
| 08:59:28 | → | freeside joins (~mengwong@103.252.202.85) |
| 08:59:44 | → | xff0x_ joins (~xff0x@ai098135.d.east.v6connect.net) |
| 09:00:08 | × | jesser[m]1 quits (~jesserjes@2001:470:69fc:105::3:3cd5) (Quit: You have been kicked for being idle) |
| 09:00:08 | × | oak- quits (~oak-@2001:470:69fc:105::fcd) (Quit: You have been kicked for being idle) |
| 09:01:30 | × | pyook quits (~puke@user/puke) (Ping timeout: 268 seconds) |
| 09:03:45 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 09:06:12 | × | m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 252 seconds) |
| 09:07:03 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 268 seconds) |
| 09:08:33 | → | m1dnight joins (~christoph@78-22-4-67.access.telenet.be) |
| 09:09:19 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 09:09:29 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 09:15:04 | × | m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 268 seconds) |
| 09:16:24 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 09:16:42 | → | gurkenglas joins (~gurkengla@dynamic-046-114-183-223.46.114.pool.telefonica.de) |
| 09:16:48 | → | titibandit joins (~titibandi@user/titibandit) |
| 09:16:55 | → | nate2 joins (~nate@98.45.169.16) |
| 09:17:30 | → | m1dnight joins (~christoph@78-22-4-67.access.telenet.be) |
| 09:19:47 | × | JScript quits (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) (Read error: Connection reset by peer) |
| 09:20:14 | → | JScript joins (~JScript@103.137.12.173) |
| 09:20:19 | × | JScript quits (~JScript@103.137.12.173) (Max SendQ exceeded) |
| 09:20:28 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:20:47 | → | damax joins (~damax@gateway/tor-sasl/damax) |
| 09:21:07 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 09:21:51 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 09:23:13 | → | JScript joins (~JScript@103.137.12.173) |
| 09:25:08 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 09:26:25 | <damax> | Hello everyone, I'm having some problems with GHCi occasionally crashing on linux with segmentation fault errors. The full error is ghc: mmap 4096 bytes at (nil): Cannot allocate memory | ghc: Try specifying an address with +RTS -xm<addr> -RTS | Segmentation fault (core dumped). I seem to have this problem probably since an update, I suspect of the linux kernel, but unfortunately I have no way of knowing |
| 09:26:31 | <damax> | for sure. I have arch linux with kernel 6.2.13-arch1-1, ghcup-hs-bin 0.1.19.2-1, stack 2.9.3, hls 1.10.0.0, cabal 3.6.2 and ghc 9.2.7 |
| 09:26:40 | <merijn> | damax: linux kernel bug |
| 09:27:03 | <merijn> | damax: https://bbs.archlinux.org/viewtopic.php?id=282429 |
| 09:27:44 | <merijn> | ah, actually interesting, it should be fixed in kernel 6.2.9, but still broken on arch 6.2.13? :O |
| 09:27:59 | <damax> | merijn: I had already seen some thread about it, but what I had found was relatively old. I do understand now it probably came back after it was apparently fixed in 6.2.9 |
| 09:28:33 | <damax> | I guess it's just a regression error |
| 09:28:38 | <merijn> | damax: tbh, the easiest workaround, I think, is updating to ghc 9.4, since that uses a different method for mmaping which avoids the issue |
| 09:28:47 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 09:28:59 | <merijn> | damax: I mean, that threat is from beginning of April, I wouldn't really call that "old" :p |
| 09:29:07 | <merijn> | *thread |
| 09:29:14 | <damax> | Unfortunate, not breaking, but still somewhat annoying |
| 09:30:08 | <damax> | merijn: You're right, it's just a few months from the start of the entire discussion, and understandable. I might update to latest versions instead of recommended ones. Thank you all for giving me some more insight |
| 09:31:12 | × | ubert1 quits (~Thunderbi@2a02:8109:abc0:6434:7fb1:4019:2d6f:d4aa) (Ping timeout: 248 seconds) |
| 09:31:50 | <merijn> | Maybe the GHC issue tracker has an issue for it (can't quickly find it atm) with more suggestions for workarounds |
| 09:32:50 | <damax> | Will search for it |
| 09:33:01 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:33:12 | <merijn> | damax: oh, actually: https://lore.kernel.org/lkml/e6108286ac025c268964a7ead3aab9899f9bc6e9.camel@spotco.us/ |
| 09:33:19 | <merijn> | 6.2.12 is fixed, 6.2.13 is regressed |
| 09:33:43 | <merijn> | RIP |
| 09:35:42 | <damax> | Ahah, that's nice, thank you for finding it on the kernel thingie directly. Guess I could also just wait a bit for another patch, which could fix it again. I'll think about it |
| 09:44:40 | × | xff0x_ quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 09:45:07 | ← | damax parts (~damax@gateway/tor-sasl/damax) () |
| 09:46:18 | → | xff0x_ joins (~xff0x@178.255.149.135) |
| 09:48:22 | × | rlj quits (~rlj@sessfw95-sesbfw95-85.ericsson.net) (Quit: Client closed) |
| 09:49:08 | × | acidjnk quits (~acidjnk@p200300d6e715c400492023c9075c5278.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 09:50:08 | → | barcisz joins (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) |
| 09:51:17 | → | freeside joins (~mengwong@122.11.212.195) |
| 09:52:37 | → | acidjnk joins (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) |
| 09:56:50 | × | m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 246 seconds) |
| 09:58:21 | × | freeside quits (~mengwong@122.11.212.195) (Read error: Connection reset by peer) |
| 09:59:12 | → | m1dnight joins (~christoph@78-22-4-67.access.telenet.be) |
| 10:00:43 | × | xff0x_ quits (~xff0x@178.255.149.135) (Ping timeout: 248 seconds) |
| 10:02:29 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:2226:8b00:a8fa:36b2) |
| 10:03:41 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 10:04:38 | → | rlj joins (~rlj@sessfw95-sesbfw95-85.ericsson.net) |
| 10:06:28 | → | CiaoSen joins (~Jura@p200300c5af2e67002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 10:08:43 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 10:09:02 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:15:47 | × | ByronJohnson quits (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 10:15:56 | → | ByronJohnson joins (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 10:16:55 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 10:17:23 | → | MasseR[m] joins (~masserauh@2001:470:69fc:105::3bd) |
| 10:19:57 | → | mechap joins (~mechap@user/mechap) |
| 10:21:31 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 10:21:50 | <tomsmeding> | merijn: rip. Also /me happy that I accidentally have 6.2.12 currently |
| 10:22:53 | <merijn> | I'm pretty sure the most recent linux I have to deal with is, like, 5.x :p |
| 10:22:56 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:2226:8b00:a8fa:36b2) (Ping timeout: 265 seconds) |
| 10:23:08 | <geekosaur> | same |
| 10:24:47 | → | xff0x_ joins (~xff0x@ai098135.d.east.v6connect.net) |
| 10:25:06 | <merijn> | ah, no |
| 10:25:08 | <merijn> | 4.18 :p |
| 10:25:38 | <merijn> | Apparently one of these is running linux 3.10 :p |
| 10:28:27 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 10:33:07 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 10:34:10 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
| 10:36:35 | × | Lycurgus quits (~juan@user/Lycurgus) (Client Quit) |
| 10:36:49 | → | freeside joins (~mengwong@103.252.202.85) |
| 10:41:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 10:41:18 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 10:41:57 | <Helle> | bleah, not a huge fan of Options.Applicative |
| 10:44:16 | <Helle> | not that I have a better suggestion of how to do this, but still |
| 10:47:19 | <Helle> | Trying to just implement --version with it is a pain (because it seems tricky to make it go "if --version is given, ignore all other parameters") |
| 10:51:07 | <merijn> | Helle: hmm? |
| 10:51:30 | <merijn> | You can just literally do "versionFlag <|> regularRest" and call it a day |
| 10:54:20 | <Helle> | I thought so, I must be misreading something in the existing code |
| 10:55:09 | <merijn> | optarse doesn't actually do anything with the parsed parameters anyway, that's up to the logic actually handling the result |
| 10:56:34 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 10:58:25 | <Helle> | merijn: the problem I hit initially was that it still requires required parameters, but indeed compositing two option parsers should side step that |
| 10:58:39 | <Helle> | I am just slightly confused on what on earth someone was doing in this code before |
| 10:58:48 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
| 10:59:26 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
| 11:00:05 | × | hueso quits (~root@user/hueso) (Ping timeout: 240 seconds) |
| 11:00:15 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
| 11:00:28 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
| 11:00:48 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 11:01:03 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 11:03:11 | → | hueso joins (~root@user/hueso) |
| 11:10:31 | → | jpds3 joins (~jpds@gateway/tor-sasl/jpds) |
| 11:10:54 | × | jpds2 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 11:11:09 | <geekosaur> | I wonder that a lot. especially when it's my own code 🙂 |
| 11:15:05 | → | freeside joins (~mengwong@103.252.202.85) |
| 11:16:56 | → | pointlessslippe1 joins (~pointless@212.82.82.3) |
| 11:17:10 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 11:17:41 | <Helle> | I am being very newbie at actual (larger) programs in Haskell and this is code with some history to it |
| 11:18:34 | <merijn> | geekosaur: I know I've become a decent engineer because I can look at code I wrote 5 years ago and it still looks mostly sensible after not looking at it for that time |
| 11:18:39 | <Helle> | as always, types to the rescue |
| 11:18:50 | <Helle> | I would be unable to work without ghci at the moment |
| 11:21:11 | → | freeside_ joins (~mengwong@103.252.202.85) |
| 11:21:39 | × | YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:adb5:c76d:d6c1:df1) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 11:22:00 | → | YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:1cb0:311a:b5fe:ccc6) |
| 11:22:35 | <freeside_> | what are my options for Haskell consulting? I mean, I would like to pay someone to go resolve an issue or two in Github. I would do it myself except it would probably be more efficient for someone better at Haskell. Is there some standard forum where these kinds of services are offered? |
| 11:23:41 | × | rlj quits (~rlj@sessfw95-sesbfw95-85.ericsson.net) (Quit: Client closed) |
| 11:23:42 | <freeside_> | oops, i am doubly instantiated |
| 11:23:43 | × | freeside_ quits (~mengwong@103.252.202.85) (Client Quit) |
| 11:23:49 | → | coot joins (~coot@213.134.170.228) |
| 11:24:01 | <freeside> | the issue in question is https://github.com/Gabriella439/optparse-generic/issues/105 |
| 11:28:25 | → | coot_ joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 11:28:48 | × | coot quits (~coot@213.134.170.228) (Ping timeout: 240 seconds) |
| 11:29:17 | coot_ | is now known as coot |
| 11:30:20 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 11:31:33 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 11:31:41 | → | drdo joins (~drdo@bl14-14-164.dsl.telepac.pt) |
| 11:31:58 | → | jpds4 joins (~jpds@gateway/tor-sasl/jpds) |
| 11:32:01 | × | drdo quits (~drdo@bl14-14-164.dsl.telepac.pt) (Remote host closed the connection) |
| 11:32:52 | → | drdo joins (~drdo@bl14-14-164.dsl.telepac.pt) |
| 11:33:29 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 11:33:37 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 11:33:44 | × | jpds3 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 11:36:23 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 11:37:40 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 11:39:08 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 11:43:10 | × | CiaoSen quits (~Jura@p200300c5af2e67002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 11:43:14 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 11:45:26 | <eldritchcookie[m> | hello i want to make a refactor in GHC after i do that how can i compare and see if it had a performance penalty/benefit? i've never benchmarked haskell code before |
| 11:45:48 | <geekosaur> | there's a ghc-specific benchmark suite (nofib) |
| 11:46:55 | <geekosaur> | it includes some tools to compare between runs (e.g. with changes) and tell you how time, allocations, etc. changed |
| 11:47:19 | → | CiaoSen joins (~Jura@p200300c5af034c002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:48:33 | <geekosaur> | nemmind, I see bgamari is giving you more specific instructions |
| 11:49:14 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 11:49:38 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 11:49:48 | × | acidjnk quits (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 11:52:48 | <dminuoso> | What does nofib stand for anyway? |
| 11:53:43 | <geekosaur> | I don't think anyone knows at this point? urban legend says "not fibonacci" |
| 11:55:27 | <dminuoso> | That's what edwardk seems to believe if https://www.schoolofhaskell.com/user/edwardk/fibonacci is to be believed |
| 11:55:41 | <dminuoso> | http://web.mit.edu/~ezyang/Public/10.1.1.53.4124.pdf suggests "nfib" to be rather old. |
| 11:56:44 | <ski> | ("naïve fibonacci", iirc) |
| 11:57:11 | <dminuoso> | https://users.ece.cmu.edu/~koopman/tigre/chap5.pdf |
| 11:57:20 | <dminuoso> | `The nfib benchmark is similar to fib, except that it returns the number of recursions taken in computing the nth Fibonacci number instead of the actual Fibonacci number. ` |
| 11:57:35 | → | CyberSoul joins (~CyberSoul@2405:201:680a:b174:5756:9d66:9d0:607a) |
| 11:57:49 | <ski> | ah, Philip Koopman's thesis :) |
| 11:58:42 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 11:59:07 | <dminuoso> | But maybe `nofib` standing for `not fibonacci` might be reasonable if its just a play on `nfib`, `fib` and `skifib`. |
| 11:59:27 | <dminuoso> | ski: Look, there's even a benchmark that tests how fast you compute a given fibonacci number. |
| 11:59:43 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 11:59:50 | <ski> | would that be `fib (max 0 (n - 1))' ? (or perhaps one less ?) |
| 12:00:21 | <ski> | which given fibonacci number ? |
| 12:00:40 | <dminuoso> | ski: Oh, I was just taking note of `skifib`, that's all. |
| 12:01:12 | → | acidjnk joins (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) |
| 12:01:23 | <dminuoso> | One thing that is interesting, is that `nofib` existed since at least 1993, given that its mentioned in 10.1007/978-1-4471-3215-8_17 |
| 12:01:29 | <ski> | i'm pretty sure i've seen `nfib' being referred to as "naïve fibonacci", in some paper |
| 12:01:34 | <dminuoso> | Philip Koopman's thesis is from 1997 I believe |
| 12:01:44 | <ski> | (dunno about `nofib') |
| 12:01:57 | <dminuoso> | ski: There's probably ambiguitiy. Different authors using the same word but to mean different things. |
| 12:02:08 | <ski> | yea, that's quite possible |
| 12:03:20 | <dminuoso> | nofib meaning "not fibonacci" seems reasonable if you read "The nofib Benchmark Suite of Haskell Programs" |
| 12:04:10 | <dminuoso> | Though, it mentions that nofib is structured into "real", "spectral" and "imaginary" programs. |
| 12:04:20 | <dminuoso> | And fibonacci would certainly fit into the "imaginary" section (but is not mentioned there) |
| 12:04:28 | × | CiaoSen quits (~Jura@p200300c5af034c002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 12:05:10 | <dminuoso> | But perhaps it just matters that the "imaginary" subset is considered largely irrelevant |
| 12:05:50 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 12:05:52 | <ski> | book from 1990, apparently |
| 12:06:04 | → | Luj joins (~Luj@2a01:e0a:5f9:9681:3247:bb76:c4f:b257) |
| 12:07:07 | → | chomwitt joins (~chomwitt@2a02:587:7a1d:9d00:1ac0:4dff:fedb:a3f1) |
| 12:18:58 | × | Me-me quits (~Me-me@user/me-me) (Quit: Something has gone terribly, terribly wrong, that being that I'm not here any more.) |
| 12:19:09 | → | vulfe_ joins (~vulfe@207.229.148.168) |
| 12:24:58 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 12:26:19 | × | chomwitt quits (~chomwitt@2a02:587:7a1d:9d00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 12:27:20 | × | jpds4 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 12:28:42 | → | freeside joins (~mengwong@122.11.212.195) |
| 12:31:19 | → | jpds4 joins (~jpds@gateway/tor-sasl/jpds) |
| 12:39:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:39:48 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 12:41:59 | × | freeside quits (~mengwong@122.11.212.195) (Read error: Connection reset by peer) |
| 12:44:05 | → | Novichok joins (~Semih@194.94.7.251) |
| 12:44:13 | × | defanor quits (~defanor@tart.uberspace.net) (Quit: .) |
| 12:45:00 | → | defanor joins (~defanor@tart.uberspace.net) |
| 12:45:52 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 12:46:31 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 12:46:51 | × | Novichok quits (~Semih@194.94.7.251) (Quit: Konversation terminated!) |
| 12:50:21 | × | haveo quits (~haveo@51.15.176.9) (Ping timeout: 265 seconds) |
| 12:52:18 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 12:55:40 | <eldritchcookie[m> | hello does GHC use SIMD operations? |
| 12:56:02 | <dminuoso> | eldritchcookie[m: GHC has primops for SIMD. |
| 12:56:13 | <dminuoso> | A few years ago there was some research into autovectorization |
| 12:56:50 | <dminuoso> | So the current state is this: Outside of LLVM backend, auto-vectorization does not really exist. But libraries can use SIMD primops as they want |
| 12:57:23 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 12:57:41 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 12:57:55 | <dminuoso> | https://hackage.haskell.org/package/ghc-prim-0.10.0/docs/GHC-Prim.html#g:40 |
| 12:57:56 | <eldritchcookie[m> | cool do the default libraries use them ? like vector? |
| 12:58:22 | <dminuoso> | afaik SIMD primops are only available on the LLVM backend |
| 12:58:43 | <dminuoso> | Not sure whether you have CPP macros to branch between LLVM or non-LLVM backend |
| 12:58:54 | <dminuoso> | If there's not, then that would tie a library directly to LLVM |
| 13:00:42 | <dminuoso> | Ah it seems there is __GLASGOW_HASKELL_LLVM__ |
| 13:01:45 | <dminuoso> | eldritchcookie[m: vector doesnt really offer an interface that you could sensibly use SIMD primops on. |
| 13:04:45 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 13:04:57 | <dminuoso> | eldritchcookie[m: https://github.com/nh2/hackage-download |
| 13:05:03 | <dminuoso> | You can use this, and then grep for simd primops |
| 13:09:54 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 13:10:29 | <dminuoso> | Heh, it might be that its virtually unused on hackage. :-) |
| 13:10:40 | <dminuoso> | neural-network-blashs is the only package that I could find that uses at least *some* SIMD primops |
| 13:11:47 | × | gurkenglas quits (~gurkengla@dynamic-046-114-183-223.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 13:12:18 | <dminuoso> | Which seems left unmaintained |
| 13:12:27 | <dminuoso> | Abandoned even. |
| 13:14:20 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 13:18:27 | → | nate2 joins (~nate@98.45.169.16) |
| 13:21:24 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 13:22:13 | → | vulfe joins (~vulfe@207.229.148.168) |
| 13:23:08 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 13:23:20 | × | vulfe_ quits (~vulfe@207.229.148.168) (Ping timeout: 250 seconds) |
| 13:23:35 | → | gurkenglas joins (~gurkengla@dynamic-046-114-183-223.46.114.pool.telefonica.de) |
| 13:26:03 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 13:28:37 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 13:29:01 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 13:32:21 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 13:32:52 | × | jpds4 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 13:33:14 | → | feliix42 joins (~felix@gibbs.uberspace.de) |
| 13:33:36 | → | jpds4 joins (~jpds@gateway/tor-sasl/jpds) |
| 13:36:16 | → | MQ-17J joins (~MQ-17J@104.28.216.166) |
| 13:36:36 | × | haveo quits (~haveo@sl35.iuwt.fr) (Remote host closed the connection) |
| 13:36:58 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:36:58 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:36:58 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:38:42 | × | vulfe quits (~vulfe@207.229.148.168) (Remote host closed the connection) |
| 13:40:50 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 13:41:46 | × | fbytez quits (~uid@user/fbytez) (Quit: byte byte) |
| 13:41:52 | × | acidjnk quits (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 13:42:50 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 13:42:50 | × | MQ-17J quits (~MQ-17J@104.28.216.166) (Ping timeout: 250 seconds) |
| 13:43:07 | → | fbytez joins (~uid@2001:bc8:2117:100::) |
| 13:47:02 | → | acidjnk joins (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) |
| 13:54:31 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:54:31 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:54:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:54:43 | <maralorn> | freeside: Why do you need that specific issue to be fixed? |
| 14:00:39 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::2) |
| 14:03:21 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 14:06:31 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:6a5b:f824:6e12:29b1) (Quit: WeeChat 2.8) |
| 14:07:42 | → | cheater_ joins (~Username@user/cheater) |
| 14:09:03 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:09:43 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 14:09:47 | cheater_ | is now known as cheater |
| 14:11:04 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 14:19:19 | → | chomwitt joins (~chomwitt@2a02:587:7a1d:9d00:1ac0:4dff:fedb:a3f1) |
| 14:20:56 | × | jpds4 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 14:21:03 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 14:22:41 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 14:27:57 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 14:32:00 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 14:37:31 | × | wizardng quits (uid599328@id-599328.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:38:12 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 14:38:46 | → | akegalj joins (~akegalj@210-142.dsl.iskon.hr) |
| 14:41:55 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 14:42:48 | × | chomwitt quits (~chomwitt@2a02:587:7a1d:9d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 14:43:06 | → | freeside joins (~mengwong@103.252.202.85) |
| 14:43:34 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:44:22 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 14:46:49 | → | mei joins (~mei@user/mei) |
| 14:49:28 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 14:53:55 | × | CyberSoul quits (~CyberSoul@2405:201:680a:b174:5756:9d66:9d0:607a) (Quit: Leaving) |
| 14:55:26 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 14:56:32 | → | michalz joins (~michalz@185.246.207.203) |
| 14:57:59 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 14:59:06 | → | chomwitt joins (~chomwitt@ppp-94-67-192-15.home.otenet.gr) |
| 15:01:03 | × | JScript quits (~JScript@103.137.12.173) (Ping timeout: 260 seconds) |
| 15:02:15 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 15:03:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:04:21 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 15:04:24 | → | JScript joins (~JScript@103.137.12.174) |
| 15:06:49 | → | freeside joins (~mengwong@103.252.202.85) |
| 15:07:15 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 15:07:44 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 15:09:02 | × | michalz quits (~michalz@185.246.207.203) (Ping timeout: 268 seconds) |
| 15:09:06 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 15:11:30 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 15:13:00 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
| 15:14:16 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
| 15:15:06 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 15:15:20 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 15:15:48 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 15:16:10 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
| 15:17:09 | × | barcisz quits (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 15:17:31 | → | barcisz joins (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) |
| 15:17:32 | → | mei joins (~mei@user/mei) |
| 15:18:11 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 15:19:30 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
| 15:21:15 | → | rapture-_ joins (~reidiens@169.139.0.21) |
| 15:21:30 | <rapture-_> | hey gang |
| 15:21:48 | <rapture-_> | i keep gettingan error in ghci whenever i try to load anything from a loaded module |
| 15:23:22 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 15:24:50 | <rapture-_> | nvm it just started working i guess |
| 15:24:53 | <rapture-_> | ? |
| 15:25:10 | <rapture-_> | literally started working out of nowhere |
| 15:25:16 | <rapture-_> | exit |
| 15:25:18 | <rapture-_> | exit |
| 15:25:22 | <rapture-_> | woops |
| 15:25:29 | <rapture-_> | thought i was in a terminal |
| 15:25:31 | × | rapture-_ quits (~reidiens@169.139.0.21) (Client Quit) |
| 15:28:00 | <mechap> | https://wiki.haskell.org/What_a_Monad_is_not it is said that monads are not a replacement for applicative functors, but aren't monads a kind of applicative functors ? |
| 15:28:55 | <gurkenglas> | @let type Precategory q = Path q s t -> q s t -- how annoying that implicit forall doesn't apply to type |
| 15:28:56 | <lambdabot> | /sandbox/tmp/.L.hs:160:29: error: Not in scope: type variable ‘s’ |
| 15:28:56 | <lambdabot> | | |
| 15:28:56 | <lambdabot> | 160 | type Precategory q = Path q s t -> q s t |
| 15:30:26 | <ncf> | mechap: yes, but code written for monads will not in general work with applicative functors |
| 15:30:40 | <ncf> | hence it's useful to "use only what you need" |
| 15:31:36 | × | chomwitt quits (~chomwitt@ppp-94-67-192-15.home.otenet.gr) (Remote host closed the connection) |
| 15:32:46 | → | gurkengl1s joins (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) |
| 15:34:12 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 15:34:21 | <gurkengl1s> | @let type Precategory q = Path q s t -> q s t -- how annoying that implicit forall doesn't apply to type |
| 15:34:22 | <lambdabot> | /sandbox/tmp/.L.hs:162:1: error: |
| 15:34:22 | <lambdabot> | Multiple declarations of ‘Precategory’ |
| 15:34:22 | <lambdabot> | Declared at: /sandbox/tmp/.L.hs:160:1 |
| 15:34:58 | <gurkengl1s> | (dangit, apparently that message to lambdabot went through even though it didnt respond) |
| 15:35:21 | <gurkengl1s> | @let type Precategory q = Path q s t -> q s t -- there, that should demonstrate the annoyance |
| 15:35:22 | <lambdabot> | /sandbox/tmp/.L.hs:160:29: error: Not in scope: type variable ‘s’ |
| 15:35:22 | <lambdabot> | | |
| 15:35:22 | <lambdabot> | 160 | type Precategory q = Path q s t -> q s t |
| 15:35:31 | × | gurkenglas quits (~gurkengla@dynamic-046-114-183-223.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 15:36:38 | <ski> | gurkengl1s : why annoying ? |
| 15:37:39 | <gurkengl1s> | ski: because if i have many top-level definitions that look like "Path q s t -> s t" I would like to be able to assign an alias to that without dropping the implicitness of foralls for no reason |
| 15:37:57 | → | chomwitt joins (~chomwitt@2a02:587:7a09:a300:1ac0:4dff:fedb:a3f1) |
| 15:38:01 | <gurkengl1s> | s/-> s t/-> q s t/ :D |
| 15:38:49 | <ski> | i don't understand "dropping the implicitness of foralls" |
| 15:39:13 | <ski> | what's the problem with spelling out the `forall' in the type synonym ? |
| 15:39:43 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 15:40:08 | <gurkengl1s> | in "compose :: forall s t. Path (->) s t -> (->) s t", the "forall s t." is optional. What was the problem with spelling out the forall in type signatures of functions? |
| 15:40:20 | <ski> | i could understand it possibly being annoying, if it was the other way around, you having to use implicit `forall' instead of explicit, since then you'd lost control over abstraction order, for use with `TypeApplications' |
| 15:41:21 | <ski> | i wouldn't mind too much if `forall's were mandatorily explicit everywhere |
| 15:42:04 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 15:42:10 | <ski> | it only being a matter of convenience, not of say expressivity or reasonability |
| 15:42:24 | <gurkengl1s> | fair enough, i can say "inconvenient" instead of "annoying" :P |
| 15:42:43 | <geekosaur> | you don't want an implicit forall there because it doesn't mean what it looks like |
| 15:42:52 | <gurkengl1s> | geekosaur: what does it mean? |
| 15:43:14 | <geekosaur> | the problem is that the `s` there becomes private to the type synonym, i.e. existential |
| 15:43:27 | <ski> | why would it become existential ? |
| 15:43:31 | <geekosaur> | so you have to say you want that explicitly and ypou understand the consequences |
| 15:43:41 | <gurkengl1s> | geekosaur: why would it, when it doesn't in function type signatures? |
| 15:43:41 | → | econo joins (uid147250@user/econo) |
| 15:43:48 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 15:43:50 | <geekosaur> | in effect it's expanded with parens around it |
| 15:43:58 | <geekosaur> | aiui |
| 15:44:19 | <ski> | "it" ? clarify ? |
| 15:44:33 | <geekosaur> | in any case if you don';t specify a tyvar as a parameter, it becomes local to the type alias |
| 15:45:05 | → | cheater_ joins (~Username@user/cheater) |
| 15:45:08 | <geekosaur> | I dunno, maybe I misunderstand what was going on when I tried it (once; never making that mistake again) and that's how it behaved |
| 15:45:42 | <geekosaur> | either you specify it as a parameter or you have to explicitly forall it, and in the latter case it won't unify with anything outside the type alias |
| 15:45:43 | <gurkengl1s> | yes, the fact that i have a type parameter local to a subexpression is why that expression deserves a type alias |
| 15:45:58 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 15:46:58 | <geekosaur> | then you have to say so explicitly with a forall |
| 15:47:21 | → | freeside joins (~mengwong@103.252.202.85) |
| 15:47:50 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 15:47:51 | cheater_ | is now known as cheater |
| 15:48:04 | → | czy joins (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 15:48:12 | <ncf> | type Id = forall a. a -> a |
| 15:48:13 | <ncf> | what :: Id -> Id |
| 15:48:14 | <ncf> | what id = id id |
| 15:48:17 | <gurkengl1s> | (at least even without type aliases, i already needed to write the forall whenever the subexpression was proper) |
| 15:48:21 | <ncf> | this typechecks -- doesn't seem existential to me |
| 15:48:59 | <ncf> | maybe you're thinking of the syntax for existential data types, where forall means exists? |
| 15:49:07 | <geekosaur> | probably |
| 15:49:11 | <ski> | i would still like to be able to declare `type's, `data's, `newtype's, `instance's, and possibly `class'es, inside `let', and `where', at some point in the future. coupled with `ScopedTypeVariables', such declarations ought to be able to refer to non-local type variables. introducing more situations in which implicit `forall's are inserted complicates reasoning about this |
| 15:49:13 | <geekosaur> | I'm always confused by that |
| 15:49:27 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 15:50:28 | × | chomwitt quits (~chomwitt@2a02:587:7a09:a300:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 15:50:39 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 15:50:56 | <ncf> | you have to imagine that data Foo = forall a. Foo a desugars to data Foo where Foo :: forall a. a -> Foo , i.e. Foo :: (exists a. a) -> Foo |
| 15:51:28 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 15:51:42 | <ncf> | as opposed to data Foo = Foo (forall a. a) , which means Foo :: (forall a. a) -> Foo |
| 15:51:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
| 15:52:27 | → | chomwitt joins (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) |
| 15:52:36 | <gurkengl1s> | and also Foo :: exists a. a -> Foo -- *runs* |
| 15:52:37 | <ski> | given `data Expr a = Val a | forall b. App (Expr (b -> a)) (Expr b)', this means (for all `a') that if `x :: a', then `Val x :: Expr a'; and also, for all `b', if `ef :: Expr (b -> a)' and `ex :: Expr b', then `App ef ex :: Expr a' |
| 15:52:49 | <ncf> | gurkengl1s: no! |
| 15:53:37 | <ski> | iow, the `Val a' yields `Val :: forall a. a -> Expr a', and the `forall b. App (Expr (b -> a)) (Expr b)' yields `App :: forall a. forall b. Expr (b -> a) -> Expr b -> Expr a' |
| 15:54:03 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 15:54:03 | → | michalz joins (~michalz@185.246.207.203) |
| 15:54:44 | <ski> | where `uncurry App :: forall a b. (Expr (b -> a),Expr b) -> Expr a' happens to be logically equivalent to `uncurry App :: forall a. (exists b. (Expr (b -> a),Expr b)) -> Expr a' .. similarly to how `length :: forall a. [a] -> Int' is equivalent to `length :: (exists a. [a]) -> Int' |
| 15:54:54 | <gurkengl1s> | (maybe we should have strikethrough syntax in IRC so I can say something like that with less danger of people believing it) |
| 15:55:35 | <ski> | (perhaps that strike-through should only trigger after say, a minute or so ?) |
| 15:55:48 | → | Joao003 joins (~Joao003@2804:840:8311:b700:2c48:bff1:59ed:b8af) |
| 15:56:01 | → | nick4 joins (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 15:57:20 | <ski> | (anyway .. strikethrough already exists .. supported in Textual, apparently. see <https://modern.ircdocs.horse/formatting.html#characters>) |
| 15:58:49 | <monochrom> | Yeah my hexchat gets the strikethrough effect alright. |
| 15:59:41 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 16:00:03 | × | ongy[m] quits (~ongymatri@2001:470:69fc:105::5018) (Quit: You have been kicked for being idle) |
| 16:00:43 | <gurkengl1s> | (ncf: i said that with the technical truth in mind that Foo matches the type signature "exists a. a -> Foo" in the sense that you could pass Foo to something of type "forall a. (a -> Foo) -> Bar" aka there *exists* some way GHC sees to fill in the type hole in "asd = Foo :: _ -> Foo") |
| 16:01:28 | × | chomwitt quits (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 16:01:47 | <ski> | gurkengl1s : yes. iow, `(exists a. a -> Foo) -> Bar' |
| 16:04:15 | <ncf> | if you believe in impredicative types, sure |
| 16:05:19 | <ncf> | (or if your `exists` is one level higher than Foo's `forall`, i guess) |
| 16:05:58 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 16:05:59 | <ski> | (it's a general logical law that `forall a. (..a.. -> ...)' is equivalent to `(exists a. ..a..) -> ...'. `length :: forall a. ([a] -> Int)' means that, *for* *all* types `a', `length' *can* be applied to a list of `a's, resulting in an `Int'. while `length :: (exists a. [a]) -> Int' means that, calling `length' will result in an `Int', as long as there *exists* some type `a' such that `length' is being |
| 16:06:05 | <ski> | applied to a list of `a's) |
| 16:07:03 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:07:37 | → | chomwitt joins (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) |
| 16:08:32 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 16:09:28 | × | nick4 quits (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 268 seconds) |
| 16:09:37 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 16:11:01 | <kuribas> | (a:Type ** (a -> Foo)) -> Bar |
| 16:13:06 | <kuribas> | which is equivalent to (a:Type) -> (a -> Foo) -> Bar |
| 16:13:14 | <ski> | yea, from a type-passing perspective, this is currying/uncurrying |
| 16:13:19 | <kuribas> | Does this match the fact that (a, b) -> c == a -> b -> c? |
| 16:13:26 | <ski> | yes |
| 16:13:27 | <kuribas> | right :) |
| 16:14:47 | → | freeside joins (~mengwong@103.252.202.85) |
| 16:17:47 | <ski> | @type curryArray |
| 16:17:49 | <lambdabot> | (Ix i, Ix j) => Array (i, j) a -> Array i (Array j a) |
| 16:20:33 | <ncf> | (the usual curry/uncurry comes from the × ⊣ → adjunction, which itself comes from composing both ends of the ∃a ⊣ a* ⊣ ∀a adjoint triple in dependent type theory) |
| 16:21:28 | <ncf> | (applying ∃a to something that does not depend on a is the same as taking the product a × -, and applying ∀a to something that does not depend on a is the same as taking the function space a → -) |
| 16:21:48 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 16:22:20 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:22:25 | × | JScript quits (~JScript@103.137.12.174) (Ping timeout: 268 seconds) |
| 16:23:53 | × | Joao003 quits (~Joao003@2804:840:8311:b700:2c48:bff1:59ed:b8af) (Quit: Leaving) |
| 16:27:03 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 16:27:19 | → | elevenkb58 joins (~elevenkb@105.224.32.75) |
| 16:27:24 | × | paulpaul1076 quits (~textual@95-29-5-210.broadband.corbina.ru) (Quit: Textual IRC Client: www.textualapp.com) |
| 16:27:35 | × | chomwitt quits (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 16:30:02 | → | paulpaul1076 joins (~textual@95-29-5-210.broadband.corbina.ru) |
| 16:32:06 | → | chomwitt joins (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) |
| 16:33:33 | → | mu[m] joins (~mumixnatu@2001:470:69fc:105::3:52c3) |
| 16:33:40 | → | JScript joins (~JScript@103.137.12.172) |
| 16:33:45 | × | JScript quits (~JScript@103.137.12.172) (Max SendQ exceeded) |
| 16:36:00 | × | barcisz quits (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 16:36:48 | × | zeenk quits (~zeenk@2a02:2f04:a20f:5200::7fe) (Quit: Konversation terminated!) |
| 16:36:50 | → | JScript joins (~JScript@103.137.12.172) |
| 16:36:53 | × | JScript quits (~JScript@103.137.12.172) (Max SendQ exceeded) |
| 16:37:22 | → | JScript joins (~JScript@103.137.12.172) |
| 16:37:25 | × | JScript quits (~JScript@103.137.12.172) (Max SendQ exceeded) |
| 16:38:50 | × | chomwitt quits (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 16:39:45 | × | mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 16:40:05 | → | mbuf joins (~Shakthi@49.207.178.186) |
| 16:40:35 | → | JScript joins (~JScript@103.137.12.172) |
| 16:41:20 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 16:45:34 | → | chomwitt joins (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) |
| 16:47:10 | × | elevenkb58 quits (~elevenkb@105.224.32.75) (Quit: Client closed) |
| 16:48:23 | <jean-paul[m]> | my https requests made via servant-client and http-client-tls are failing with ConnectionTimeout after the underlying TCP connection succeeds and the client sends 310 bytes to the server... my manager settings are pretty trivial (just trying to get it to work at all) - https://whetstone.private.storage/privatestorage/gbs-downloader/-/blob/2.integrate-gbs/src/Tahoe/Download.hs#L248-265 - anyone notice anything obviously wrong here? |
| 16:49:42 | <[exa]> | jean-paul[m]: it's pretty good to try switching both client and server to see if it works |
| 16:50:27 | <[exa]> | for client you can use either a browser or curl or gnutls-cli for tls debugging, for server you can fake it using gnutls-serv or just point it to any public https thing to see if it "at least fails differently" |
| 16:50:29 | <jean-paul[m]> | Other clients work against the server. Guess I'll try this client against some other server... |
| 16:51:37 | <jean-paul[m]> | client works against google.com :/ |
| 16:52:23 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 16:52:54 | <[exa]> | ha, complicated case then. Maybe try the absolutely barebone http-client-tls client program in haskell, just to make sure there's nothing else interfering |
| 16:53:08 | <[exa]> | (btw the programs do not share anything and are run completely independent, right?) |
| 16:53:29 | <jean-paul[m]> | client and server are completely separate pieces of software, yea |
| 16:53:56 | <[exa]> | hopefully no weird local networking issues |
| 16:55:23 | <jean-paul[m]> | over loopback |
| 16:56:02 | <[exa]> | ok so hopefully completely minimal networking issues |
| 16:56:29 | <jean-paul[m]> | Network.HTTP.Client.httpLbs also times out making an https request to the same local server :/ |
| 16:56:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 246 seconds) |
| 16:56:50 | <jean-paul[m]> | Oh, I strace'd the server and saw it receives 310 bytes from the client, so I think the tcp connection itself is fine. |
| 16:58:01 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:58:21 | → | califax joins (~califax@user/califx) |
| 16:58:35 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 16:59:25 | × | mbuf quits (~Shakthi@49.207.178.186) (Remote host closed the connection) |
| 17:00:26 | → | freeside joins (~mengwong@103.252.202.85) |
| 17:03:00 | <jean-paul[m]> | tcpdump says a ClientHello is delivered and then silence for 30 seconds, then FIN/FIN|ACK |
| 17:03:07 | <jean-paul[m]> | I guess the server is not pleased with the greeting. |
| 17:03:47 | <jean-paul[m]> | wireshark says it is a TLS 1.0 handshake ... that seems ... bad but I dunno if wireshark is trustworthy in this regard |
| 17:04:06 | <jean-paul[m]> | ah, there, more deeply nested it says it is 1.2 instead |
| 17:04:12 | → | johnw_ joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 17:04:46 | <jean-paul[m]> | if it were a version or cipher suite problem I would at least expect an error though |
| 17:05:05 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 17:05:23 | × | mechap quits (~mechap@user/mechap) (*.net *.split) |
| 17:05:23 | × | denbrahe quits (~denbrahe@2001:470:69fc:105::19c0) (*.net *.split) |
| 17:05:23 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (*.net *.split) |
| 17:05:23 | × | Inst_ quits (~Inst@2601:6c4:4081:2fc0:95de:ea8b:4618:4a8d) (*.net *.split) |
| 17:05:23 | × | bgamari quits (~bgamari@64.223.233.113) (*.net *.split) |
| 17:05:23 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 17:05:23 | × | buhman quits (sid411355@user/buhman) (*.net *.split) |
| 17:05:23 | × | JSharp quits (sid4580@id-4580.lymington.irccloud.com) (*.net *.split) |
| 17:05:23 | × | sa quits (sid1055@2a03:5180:f::41f) (*.net *.split) |
| 17:05:23 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 17:05:23 | × | T_S_ quits (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 17:05:23 | × | sus0 quits (zero@user/zeromomentum) (*.net *.split) |
| 17:05:23 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 17:05:23 | × | integral quits (sid296274@user/integral) (*.net *.split) |
| 17:05:23 | × | gonz_______ quits (sid304396@id-304396.lymington.irccloud.com) (*.net *.split) |
| 17:05:23 | × | agander_m quits (sid407952@2a03:5180:f::6:3990) (*.net *.split) |
| 17:05:23 | × | Kamuela quits (sid111576@2a03:5180:f::1:b3d8) (*.net *.split) |
| 17:05:23 | × | rune quits (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split) |
| 17:05:23 | × | jackdk quits (sid373013@cssa/jackdk) (*.net *.split) |
| 17:05:23 | × | sgarcia quits (sgarcia@swarm.znchost.com) (*.net *.split) |
| 17:05:23 | × | kaskal quits (~kaskal@213-147-167-152.nat.highway.webapn.at) (*.net *.split) |
| 17:05:23 | × | robertm quits (robertm@lattice.rojoma.com) (*.net *.split) |
| 17:05:23 | × | teo quits (~teo@user/teo) (*.net *.split) |
| 17:05:23 | × | sm quits (~sm@plaintextaccounting/sm) (*.net *.split) |
| 17:05:23 | × | naine[m] quits (~naine-env@2001:470:69fc:105::3:2e57) (*.net *.split) |
| 17:05:23 | × | vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split) |
| 17:05:24 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 17:05:24 | × | ariady[m] quits (~riadymatr@2001:470:69fc:105::3:4dc5) (*.net *.split) |
| 17:05:24 | × | Igloo quits (~ian@matrix.chaos.earth.li) (*.net *.split) |
| 17:05:24 | × | zincy quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (*.net *.split) |
| 17:05:24 | × | auri quits (~auri@fsf/member/auri) (*.net *.split) |
| 17:05:24 | × | jil quits (~user@vps-15050500.vps.ovh.net) (*.net *.split) |
| 17:05:24 | × | zfnmxt quits (~zfnmxt@user/zfnmxt) (*.net *.split) |
| 17:05:24 | × | Matthew|m quits (~arathorn@2001:470:69fc:105::1f) (*.net *.split) |
| 17:05:24 | × | JensPetersen[m] quits (~juhp@2001:470:69fc:105::6e9) (*.net *.split) |
| 17:05:24 | × | winny quits (~weechat@user/winny) (*.net *.split) |
| 17:05:24 | × | peutri quits (~peutri@bobo.desast.re) (*.net *.split) |
| 17:05:24 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 17:05:24 | × | Guest585 quits (~mike@user/feetwind) (*.net *.split) |
| 17:05:24 | × | alinab quits (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split) |
| 17:05:24 | × | mira quits (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
| 17:05:24 | × | bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 17:05:25 | → | rune_ joins (sid21167@id-21167.ilkley.irccloud.com) |
| 17:05:26 | → | alinab_ joins (sid468903@id-468903.helmsley.irccloud.com) |
| 17:05:27 | → | auri_ joins (~auri@fsf/member/auri) |
| 17:05:29 | → | sgarcia_ joins (sgarcia@swarm.znchost.com) |
| 17:05:33 | → | peutri_ joins (~peutri@bobo.desast.re) |
| 17:05:36 | → | jackdk_ joins (sid373013@cssa/jackdk) |
| 17:05:37 | → | mustafa_ joins (sid502723@rockylinux/releng/mustafa) |
| 17:05:37 | → | T_S__ joins (sid501726@id-501726.uxbridge.irccloud.com) |
| 17:05:39 | → | Inst_ joins (~Inst@2601:6c4:4081:2fc0:b9e5:3e3b:33cb:18de) |
| 17:05:39 | → | sa_ joins (sid1055@id-1055.tinside.irccloud.com) |
| 17:05:40 | → | integral_ joins (sid296274@user/integral) |
| 17:05:41 | → | gonz________ joins (sid304396@id-304396.lymington.irccloud.com) |
| 17:05:43 | → | buhman_ joins (sid411355@user/buhman) |
| 17:05:44 | → | Kamuela_ joins (sid111576@id-111576.tinside.irccloud.com) |
| 17:05:46 | → | jonrh_ joins (sid5185@id-5185.ilkley.irccloud.com) |
| 17:05:48 | → | JSharp_ joins (sid4580@id-4580.lymington.irccloud.com) |
| 17:05:48 | → | robertm joins (robertm@lattice.rojoma.com) |
| 17:05:49 | → | bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 17:05:57 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 17:06:02 | → | winny joins (~weechat@2001:19f0:5c01:d07:5400:3ff:fe8c:41a4) |
| 17:06:06 | → | NiKaN_ joins (sid385034@id-385034.helmsley.irccloud.com) |
| 17:06:07 | → | agander_m joins (sid407952@id-407952.tinside.irccloud.com) |
| 17:06:10 | × | winny quits (~weechat@2001:19f0:5c01:d07:5400:3ff:fe8c:41a4) (Changing host) |
| 17:06:10 | → | winny joins (~weechat@user/winny) |
| 17:06:28 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 17:06:29 | → | mira joins (~aranea@wireguard/contributorcat/mira) |
| 17:06:31 | → | mechap joins (~mechap@user/mechap) |
| 17:06:32 | → | teo joins (~teo@user/teo) |
| 17:06:32 | → | naine[m] joins (~naine-env@2001:470:69fc:105::3:2e57) |
| 17:06:39 | → | kaskal joins (~kaskal@213-147-167-152.nat.highway.webapn.at) |
| 17:06:46 | × | bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Client Quit) |
| 17:06:50 | integral_ | is now known as integral |
| 17:06:55 | → | sm joins (~sm@plaintextaccounting/sm) |
| 17:06:56 | → | bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 17:07:02 | → | vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 17:07:26 | → | ariady[m] joins (~riadymatr@2001:470:69fc:105::3:4dc5) |
| 17:07:36 | → | bgamari joins (~bgamari@64.223.233.113) |
| 17:08:21 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 17:08:33 | → | Igloo joins (~ian@matrix.chaos.earth.li) |
| 17:10:33 | → | zincy joins (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 17:10:33 | → | jil joins (~user@vps-15050500.vps.ovh.net) |
| 17:10:33 | → | Guest585 joins (~mike@user/feetwind) |
| 17:10:56 | → | barcisz joins (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) |
| 17:11:04 | × | raym quits (~ray@user/raym) (Ping timeout: 276 seconds) |
| 17:11:18 | → | Matthew|m joins (~arathorn@2001:470:69fc:105::1f) |
| 17:11:22 | → | JensPetersen[m] joins (~juhp@2001:470:69fc:105::6e9) |
| 17:11:34 | → | zfnmxt joins (~zfnmxt@user/zfnmxt) |
| 17:11:37 | → | raym joins (~ray@user/raym) |
| 17:12:10 | → | denbrahe joins (~denbrahe@2001:470:69fc:105::19c0) |
| 17:20:03 | → | nate2 joins (~nate@98.45.169.16) |
| 17:24:28 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 17:25:07 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
| 17:25:54 | → | Joao003 joins (~Joao003@2804:840:8311:b700:2c48:bff1:59ed:b8af) |
| 17:26:17 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
| 17:26:31 | → | mmhat joins (~mmh@p200300f1c714ef90ee086bfffe095315.dip0.t-ipconnect.de) |
| 17:33:31 | × | Joao003 quits (~Joao003@2804:840:8311:b700:2c48:bff1:59ed:b8af) (Quit: Leaving) |
| 17:38:53 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 17:51:20 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 17:51:58 | → | mechap joins (~mechap@user/mechap) |
| 18:05:48 | × | paulpaul1076 quits (~textual@95-29-5-210.broadband.corbina.ru) (Ping timeout: 240 seconds) |
| 18:06:51 | → | freeside joins (~mengwong@103.252.202.85) |
| 18:07:29 | → | opticblast joins (~Thunderbi@172.58.87.122) |
| 18:09:06 | <nomagno> | Is there a name for Just a in the definition of Maybe a? It seems weird to me in a meta-language kind of way, since you can literally replace it with anything. Can it be thought of as just an arbitrary label conatenated to a type to make it a different type? |
| 18:09:39 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 18:09:50 | <mauke> | Just is a data constructor (taking one argument) |
| 18:09:56 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 18:10:10 | <nomagno> | Yes but it has no definition, no? |
| 18:10:15 | <nomagno> | Or does it have a definition? |
| 18:10:29 | <mauke> | data Maybe a = Nothing | Just a is the definition |
| 18:10:40 | <nomagno> | Yes |
| 18:10:47 | <mauke> | it defines one type constructor (Maybe) and two data constructors (Nothing, Just) |
| 18:10:52 | → | trev joins (~trev@user/trev) |
| 18:11:20 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 18:11:32 | <nomagno> | But Just a is a constructor that... Builds something... With what properties? |
| 18:11:45 | <nomagno> | I guess from the point if view of monads it doesn't matter |
| 18:11:56 | <jade[m]> | it literally just encapsulates one value of type a |
| 18:12:01 | <jade[m]> | as it says in the definition |
| 18:12:43 | <mauke> | :t Just |
| 18:12:44 | <lambdabot> | a -> Maybe a |
| 18:12:56 | <mauke> | that's pretty much the properties :-) |
| 18:13:21 | <nomagno> | That's a recursive definition aaaaa |
| 18:13:25 | <nomagno> | Like yes, it's just unit |
| 18:13:28 | <jade[m]> | no it's not |
| 18:13:32 | <nomagno> | I get it |
| 18:14:07 | <nomagno> | I understand what it does. But it still messes with my head how ghc would deal with it |
| 18:14:20 | <mauke> | are you familiar with C++ or C? |
| 18:14:26 | <nomagno> | Yes |
| 18:14:48 | <jade[m]> | mauke: I just wanted to bring up structs, but I'll leave it to you :^) |
| 18:14:59 | <mauke> | template<typename A> struct Just { A value; }; // not quite |
| 18:15:33 | <mauke> | but if you squint and ignore the Nothing case ... |
| 18:15:53 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 18:16:24 | <nomagno> | So, yes it's basically just a concatenated label to the value to distinguish it from its original, unencapsulated type |
| 18:16:53 | <jade[m]> | yes, but in haskell terms |
| 18:16:57 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:17:06 | <monochrom> | I am happy to say that "Just" and "Nothing" are labels/tags. Hell, I say tags to my students. |
| 18:17:26 | <monochrom> | But clearly the label is not "Just 5". |
| 18:17:27 | → | Square joins (~Square4@user/square) |
| 18:18:01 | <nomagno> | Yeah I get that |
| 18:18:06 | <monochrom> | In fact by the time you tie sum types back to tagged disjoint unions in math, "tag" is exactly right. |
| 18:18:25 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 18:19:09 | <jade[m]> | I'm not sure if it's helpful, but my intuition comes from sealed interfaces in java... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/78dde54031b43e4a999f79420fe5a0c81931e69f>) |
| 18:19:34 | <jade[m]> | in that sense the term "constructor" also makes more sense |
| 18:19:45 | <mauke> | template<typename A> struct Maybe { enum { Nothing, Just } tag; union { A value; }; }; // probably silly |
| 18:20:14 | <monochrom> | Oh, we have been saying "data constructors" for forever too. :) |
| 18:20:39 | <jade[m]> | * I'm not sure if it's helpful, but my intuition comes from sealed interfaces in java... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/600f392d0b0118a3ee31eef737e4cd2d5a121451>) |
| 18:20:57 | <jade[m]> | * I'm not sure if it's helpful, but my intuition comes from sealed interfaces in java... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/cd85984ccc2da947be463636152de84ceb8fde0d>) |
| 18:21:53 | <mauke> | records in java? |
| 18:21:56 | <monochrom> | But the nice thing about meaningful words is that there are so many meanings to choose from. |
| 18:21:57 | <mauke> | *record scratch* |
| 18:22:01 | <mauke> | when did that happen? |
| 18:22:12 | <jade[m]> | 16 |
| 18:22:13 | <jade[m]> | * Java 16 |
| 18:22:22 | <jade[m]> | or 15, I'm not 100% sure |
| 18:22:40 | <jade[m]> | they are neat |
| 18:22:48 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 18:22:54 | <jade[m]> | Oh, it was 14, nevermind |
| 18:24:18 | <monochrom> | But here is how "constructor as in OOP" breaks when analogizing to Haskell. |
| 18:24:54 | <monochrom> | Firstly the superficial syntactic effect that for a type C all its constructors are called C, they only differ in parameter types. |
| 18:25:11 | <jade[m]> | It wasn't an analogy, I'm aware that there are _a lot_ of differences ;) |
| 18:25:15 | <monochrom> | Whereas in Haskell you can't even say "data C = C Int | C Int Int" |
| 18:25:31 | <mauke> | that's only true for some OOP |
| 18:25:44 | <monochrom> | Secondly OOP constructors contain arbitrary code. They are more like "smart constructors" here. |
| 18:25:45 | <mauke> | in Perl, the constructors must have different names |
| 18:26:29 | <jade[m]> | monochrom: yep, that's why I used records which are actually pretty good product types |
| 18:27:09 | <jade[m]> | just sum types are ... difficult which is why you use the sealed-interface as the Sum over subclasses that implement the dummy interface as product types |
| 18:27:56 | <mauke> | (that's because Perl doesn't have built-in constructors, really. just class methods that manually assemble an object and slap a vtable on it so you can call methods on it) |
| 18:28:04 | <monochrom> | This is when you use the word "encoding". |
| 18:29:18 | → | CyberSoul joins (~CyberSoul@2405:201:680a:b174:a44c:3c50:8b78:b6c0) |
| 18:30:41 | × | akegalj quits (~akegalj@210-142.dsl.iskon.hr) (Quit: leaving) |
| 18:33:44 | <monochrom> | The joy of Turing completeness so you can encoding anything with anything. :) |
| 18:35:40 | <mauke> | sub nothing() { sub ($nothing, $) { $nothing } } sub just($x) { sub ($, $just) { $just->($x) } } |
| 18:35:52 | <monochrom> | >_< |
| 18:36:40 | <monochrom> | Oh! Is that Church encoding of Maybe but using Perl? :) |
| 18:36:50 | <mauke> | yes :-) |
| 18:37:47 | <mauke> | sub fmap_maybe($f, $m) { $m->($m, sub ($x) { just $f->($x) }) } |
| 18:37:50 | <xerox> | challenge: make that compile as haskell code |
| 18:38:17 | <mauke> | I don't think that's possible with the { |
| 18:38:22 | <monochrom> | Please do a fixed-point combinator such as Y in Perl >:) |
| 18:38:44 | <mauke> | I have one, but it's cheating (maybe) |
| 18:39:24 | <mauke> | https://metacpan.org/dist/Data-Munge/source/lib/Data/Munge.pm#L89-92 |
| 18:41:25 | <mauke> | in principle this stuff isn't hard to do in perl |
| 18:41:43 | <mauke> | you can just translate lambda calculus mechanically and go from there |
| 18:42:41 | <monochrom> | Yeah I just want to have a laugh at the resulting glorious syntax. :) |
| 18:42:43 | <mauke> | \VAR.BODY ==> sub ($VAR) { BODY } |
| 18:42:58 | <monochrom> | "my God it's full of {}s" and all |
| 18:43:00 | <mauke> | F X ==> F->(X) |
| 18:43:09 | <mauke> | VAR ==> $VAR |
| 18:43:27 | <mauke> | you get { } around function bodies, but it's pretty tame, I think |
| 18:43:41 | <monochrom> | also $'s |
| 18:44:34 | <monochrom> | OK I'm going to create a lambda calculus course in Perl syntax. OK maybe wait until next April. |
| 18:44:38 | <mauke> | that's just how life is as a Lisp-5 :-) |
| 18:45:25 | <mauke> | https://hop.perl.plover.com/ |
| 18:45:32 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 18:45:42 | <monochrom> | \∩/ Markus Dominus |
| 18:46:45 | <fbytez> | What's the recommended package for regex, preferably PCRE? |
| 18:46:58 | <mauke> | tee hee |
| 18:49:02 | <mauke> | https://hackage.haskell.org/packages/search?terms=pcre hmm, that's quite a few |
| 18:49:45 | <sm> | regex or regex-tdfa I'd guess |
| 18:50:50 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
| 18:51:22 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
| 18:54:28 | × | czy quits (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 18:54:48 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 18:58:28 | × | opticblast quits (~Thunderbi@172.58.87.122) (Ping timeout: 240 seconds) |
| 19:00:21 | → | opticblast joins (~Thunderbi@172.58.87.122) |
| 19:02:10 | <fbytez> | Thanks. regex-tdfa looks good. |
| 19:11:42 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 19:14:07 | → | simendsjo joins (~user@84.211.91.241) |
| 19:16:15 | × | barcisz quits (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 19:17:14 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 19:17:27 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 19:17:53 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 19:18:12 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 19:18:22 | → | pavonia joins (~user@user/siracusa) |
| 19:19:04 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 19:21:15 | × | opticblast quits (~Thunderbi@172.58.87.122) (Ping timeout: 268 seconds) |
| 19:21:42 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 250 seconds) |
| 19:21:52 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 19:23:07 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 19:23:07 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 19:23:07 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:24:20 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 19:27:41 | × | chomwitt quits (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
| 19:28:47 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 19:28:48 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 19:29:35 | → | rlj joins (~rlj@194-218-34-180.customer.telia.com) |
| 19:29:35 | → | chomwitt joins (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
| 19:33:35 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 19:35:26 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 19:38:40 | × | acidjnk quits (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 19:39:44 | × | vizor quits (~macroVizo@2601:602:77f:f0a0::c38a) (Quit: WeeChat 3.8) |
| 19:42:51 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 19:44:13 | → | acidjnk joins (~acidjnk@p200300d6e715c489a51f576992b701b7.dip0.t-ipconnect.de) |
| 19:48:54 | → | iteratee joins (~kyle@162.218.222.207) |
| 19:50:13 | <iteratee> | Does anyone know if Haskell exchange will happen again this year? I checked the wayback machine, and it was announced in april last year. |
| 19:56:17 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 20:02:01 | × | crns quits (~netcrns@user/crns) (Ping timeout: 276 seconds) |
| 20:03:07 | → | crns joins (~netcrns@p5dc33767.dip0.t-ipconnect.de) |
| 20:03:07 | × | crns quits (~netcrns@p5dc33767.dip0.t-ipconnect.de) (Changing host) |
| 20:03:07 | → | crns joins (~netcrns@user/crns) |
| 20:04:02 | → | freeside joins (~mengwong@103.252.202.85) |
| 20:05:51 | → | zeenk joins (~zeenk@2a02:2f04:a20f:5200::7fe) |
| 20:08:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 20:10:20 | → | heraldo joins (~heraldo@user/heraldo) |
| 20:16:09 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:19:49 | → | merijn joins (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 20:20:19 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 20:25:06 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 20:26:08 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 20:26:17 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 20:27:17 | → | mechap joins (~mechap@user/mechap) |
| 20:27:40 | → | freeside joins (~mengwong@103.252.202.85) |
| 20:29:30 | → | biberu joins (~biberu@user/biberu) |
| 20:32:10 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 20:35:10 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 276 seconds) |
| 20:37:14 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:38:00 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:45:58 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:47:47 | × | johnw_ quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 20:47:48 | × | heraldo quits (~heraldo@user/heraldo) (Quit: heraldo) |
| 20:48:20 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 20:51:03 | × | ubert quits (~Thunderbi@p548c9793.dip0.t-ipconnect.de) (Quit: ubert) |
| 20:54:22 | × | merijn quits (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 21:06:05 | → | gmg joins (~user@user/gehmehgeh) |
| 21:06:11 | → | czy joins (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 21:08:48 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 21:16:46 | → | Square2 joins (~Square@user/square) |
| 21:19:42 | → | ubert joins (~Thunderbi@2a02:8109:abc0:6434:ca5b:76ff:fe29:f233) |
| 21:21:35 | → | nate2 joins (~nate@98.45.169.16) |
| 21:21:48 | → | freeside joins (~mengwong@103.252.202.85) |
| 21:23:52 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 21:24:28 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 21:25:35 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 21:26:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 21:26:20 | Ellenor | is now known as MelMalik |
| 21:27:03 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 21:30:39 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 21:31:14 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 21:40:31 | → | mechap joins (~mechap@user/mechap) |
| 21:45:29 | → | opticblast joins (~Thunderbi@172.58.87.122) |
| 21:46:58 | → | Aarkon[m] joins (~aarkonmat@2001:470:69fc:105::3:52fa) |
| 21:47:16 | × | zeenk quits (~zeenk@2a02:2f04:a20f:5200::7fe) (Quit: Konversation terminated!) |
| 21:49:29 | × | mmhat quits (~mmh@p200300f1c714ef90ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 21:54:08 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 21:56:07 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 22:03:14 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 22:05:44 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 22:08:48 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:13:08 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 22:13:31 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 22:15:54 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 22:25:48 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 22:29:56 | × | foul_owl quits (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 22:30:08 | × | acidjnk quits (~acidjnk@p200300d6e715c489a51f576992b701b7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 22:30:11 | → | repair joins (~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) |
| 22:40:10 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 22:44:08 | × | inversed quits (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 268 seconds) |
| 22:46:15 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
| 22:48:51 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:48:51 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:48:51 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:51:46 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:54:00 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 22:54:14 | → | foul_owl joins (~kerry@71.212.137.212) |
| 22:54:17 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
| 22:55:15 | → | EvilGry joins (~quassel@botters/gry) |
| 22:55:35 | → | freeside joins (~mengwong@103.252.202.85) |
| 22:58:06 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 22:58:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:59:18 | × | gry quits (st@botters/gry) (Quit: bye) |
| 22:59:39 | EvilGry | is now known as gry |
| 23:00:47 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 23:01:54 | ← | repair parts (~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) (Killed buffer) |
| 23:03:03 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 23:03:52 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
| 23:04:06 | × | czy quits (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 23:04:18 | → | alexherbo2 joins (~alexherbo@211.190.65.81.rev.sfr.net) |
| 23:05:43 | × | gurkengl1s quits (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 23:07:33 | → | gurkenglas joins (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) |
| 23:11:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:11:53 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 23:13:30 | → | Me-me joins (~Me-me@user/me-me) |
| 23:14:58 | × | gurkenglas quits (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 23:20:59 | → | Square joins (~Square4@user/square) |
| 23:23:28 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 23:25:28 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 23:26:41 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 23:36:33 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 23:36:42 | → | mauke_ joins (~mauke@user/mauke) |
| 23:37:32 | mauke_ | is now known as mauke |
| 23:39:25 | × | bravespear|2 quits (~Ranhir@157.97.53.139) (Ping timeout: 260 seconds) |
| 23:40:50 | → | tv joins (~tv@user/tv) |
| 23:51:28 | × | foul_owl quits (~kerry@71.212.137.212) (Ping timeout: 240 seconds) |
| 23:52:42 | → | freeside joins (~mengwong@103.252.202.85) |
| 23:55:44 | × | ubert quits (~Thunderbi@2a02:8109:abc0:6434:ca5b:76ff:fe29:f233) (Ping timeout: 248 seconds) |
| 23:57:18 | × | rlj quits (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
| 23:57:24 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 23:57:31 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 23:57:39 | <segfaultfizzbuzz> | what in sam hell is a "remote snoop filter" |
| 23:58:23 | <monochrom> | Is that something in Haskell? |
| 23:58:43 | <segfaultfizzbuzz> | no it's a part of CPUs now and apparently the size of the filter is part of the marketing materials |
| 23:58:55 | <segfaultfizzbuzz> | like size in megabytes |
| 23:59:01 | <monochrom> | Then some other channel. |
| 23:59:12 | <segfaultfizzbuzz> | ok |
All times are in UTC on 2023-05-03.