Logs: freenode/#haskell
| 2021-05-19 11:13:07 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-19 11:14:45 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-05-19 11:16:06 | × | star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-19 11:17:54 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-05-19 11:19:39 | → | star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) |
| 2021-05-19 11:20:26 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-05-19 11:21:44 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-19 11:24:52 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-19 11:26:17 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-19 11:26:41 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-19 11:27:05 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) |
| 2021-05-19 11:28:08 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 252 seconds) |
| 2021-05-19 11:28:22 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 11:29:13 | × | ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 260 seconds) |
| 2021-05-19 11:29:16 | → | idhugo joins (~idhugo@80-62-117-193-mobile.dk.customer.tdc.net) |
| 2021-05-19 11:29:26 | × | star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-19 11:29:30 | <Philonous> | opqdonut, I did, it did not answer my question |
| 2021-05-19 11:29:37 | × | idhugo quits (~idhugo@80-62-117-193-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-05-19 11:29:39 | <Philonous> | Maybe it's time to dive into GHC sources |
| 2021-05-19 11:30:35 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 2021-05-19 11:30:41 | → | star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) |
| 2021-05-19 11:30:56 | <merijn> | Philonous: I think mpickering (or maybe it was someone else) recently created a precise space profiling tool for heap stuff |
| 2021-05-19 11:31:11 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-19 11:31:21 | <merijn> | Philonous: Also, why is it important to know for sure? |
| 2021-05-19 11:32:47 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-19 11:33:00 | × | vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-19 11:33:35 | → | vk3wtf joins (~doc@61.68.250.44) |
| 2021-05-19 11:34:33 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-05-19 11:34:33 | <Philonous> | merijn, I'm working on vinyl's ARec, which uses Array to store extensible records, as opposed to the usual heterogenous list. Part of the patch I'm working is replacing Array with SmallArray#, and I'd like to document the exact implications of using any of the options. |
| 2021-05-19 11:34:49 | → | LKoen joins (~LKoen@2a01cb0407597a0088365239e6346274.ipv6.abo.wanadoo.fr) |
| 2021-05-19 11:34:52 | → | Tene joins (~tene@mail.digitalkingdom.org) |
| 2021-05-19 11:34:52 | × | Tene quits (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-05-19 11:34:52 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 2021-05-19 11:34:56 | <merijn> | Ah...so, Dark Voodoo :p |
| 2021-05-19 11:35:05 | <merijn> | Probably better off asking in #ghc |
| 2021-05-19 11:35:28 | × | chris__ quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-05-19 11:35:45 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 2021-05-19 11:35:53 | <Philonous> | Ah, right, that's a good idea, thanks |
| 2021-05-19 11:36:32 | <Philonous> | I'm not sure if it's "dark voodoo" to want to know how much space a data structure uses. ;) |
| 2021-05-19 11:36:38 | → | boxscape94 joins (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) |
| 2021-05-19 11:37:19 | <merijn> | Philonous: Anything using GHC.Prim and names with # to do GHC specific things is dark voodoo :p |
| 2021-05-19 11:37:23 | × | boxscape quits (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-05-19 11:37:33 | <merijn> | Philonous: Using those to implement extensible records doubly so :p |
| 2021-05-19 11:38:41 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-05-19 11:38:50 | <Philonous> | Fair enough |
| 2021-05-19 11:42:50 | → | invaser joins (~Thunderbi@91.226.34.182) |
| 2021-05-19 11:43:17 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-19 11:43:22 | → | malumore_ joins (~malumore@151.62.117.153) |
| 2021-05-19 11:44:03 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-19 11:44:10 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-05-19 11:47:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-19 11:48:01 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-19 11:51:45 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-05-19 11:51:49 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-05-19 11:52:51 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-19 11:55:43 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-19 11:56:09 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-19 11:56:51 | → | MaxRos joins (~MorrowM@147.161.15.215) |
| 2021-05-19 11:57:46 | × | star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-05-19 11:58:02 | → | star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) |
| 2021-05-19 11:58:50 | MaxRos | is now known as MorrowM |
| 2021-05-19 12:00:05 | → | Alleria joins (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com) |
| 2021-05-19 12:00:28 | Alleria | is now known as Guest31960 |
| 2021-05-19 12:00:31 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-05-19 12:01:17 | boxscape94 | is now known as boxscape |
| 2021-05-19 12:01:27 | × | mniip quits (mniip@freenode/staff/mniip) (Quit: Changing host) |
| 2021-05-19 12:01:45 | → | zeph joins (~zeph@117.222.68.136) |
| 2021-05-19 12:03:23 | → | mniip joins (mniip@b.deneb.mniip.com) |
| 2021-05-19 12:04:21 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds) |
| 2021-05-19 12:04:35 | × | Guest31960 quits (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-19 12:05:01 | → | ddellaco_ joins (~ddellacos@86.106.143.191) |
| 2021-05-19 12:06:08 | × | jess quits (jess@freenode/staff/jess) (Changing host) |
| 2021-05-19 12:06:08 | → | jess joins (jess@unaffiliated/jess) |
| 2021-05-19 12:08:00 | × | star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-19 12:08:02 | → | lambdap joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-05-19 12:08:19 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-19 12:09:32 | × | ddellaco_ quits (~ddellacos@86.106.143.191) (Ping timeout: 246 seconds) |
| 2021-05-19 12:11:54 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-19 12:12:02 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 12:12:46 | → | star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) |
| 2021-05-19 12:13:58 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-19 12:14:23 | <mniip> | I've resigned from volunteering for freenode for a good reason and I think you should know as well: https://mniip.com/freenode.txt (sorry for the spam (wait that's cliche)) |
| 2021-05-19 12:14:41 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-05-19 12:15:00 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-19 12:15:08 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 2021-05-19 12:16:47 | × | mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Quit: rip freenode, moving to libera chat) |
| 2021-05-19 12:16:55 | → | knupfer joins (~Thunderbi@200116b82216c200f69634fffef0b45f.dip.versatel-1u1.de) |
| 2021-05-19 12:18:54 | → | Alleria__ joins (~textual@zrcout.mskcc.org) |
| 2021-05-19 12:19:26 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-19 12:20:42 | → | alx741 joins (~alx741@181.196.68.143) |
| 2021-05-19 12:20:56 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-19 12:21:43 | → | belphegor666 joins (~satan@2a02:8071:429b:600:6c4a:bff:fede:7c09) |
| 2021-05-19 12:22:50 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-05-19 12:23:26 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-19 12:25:30 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-05-19 12:25:31 | × | MorrowM quits (~MorrowM@147.161.15.215) (Read error: Connection reset by peer) |
| 2021-05-19 12:25:52 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-19 12:25:59 | × | plutoniix quits (~q@ppp-58-8-181-100.revip2.asianet.co.th) (Quit: Leaving) |
| 2021-05-19 12:26:28 | × | star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-19 12:26:36 | × | zeph quits (~zeph@117.222.68.136) (Quit: leaving) |
All times are in UTC.