Logs: freenode/#haskell
| 2021-05-19 10:25:55 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:26:10 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:26:12 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:26:45 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:26:50 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:27:05 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:27:07 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:27:40 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:27:56 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:28:11 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:28:12 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:28:20 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-19 10:28:25 | → | wighawag joins (~wighawag@cpc139592-dund15-2-0-cust88.16-4.cable.virginm.net) |
| 2021-05-19 10:28:47 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:28:52 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:29:06 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:29:08 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:29:30 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-19 10:29:42 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:29:47 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:30:02 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:30:04 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:30:57 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:30:59 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:31:09 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-19 10:31:24 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 2021-05-19 10:31:32 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 10:31:56 | tim | is now known as Guest80193 |
| 2021-05-19 10:32:07 | × | LKoen quits (~LKoen@2a01cb0407597a00bd08a6952222b3db.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-19 10:32:16 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-19 10:32:53 | × | Guest80193 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 10:33:27 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-19 10:35:35 | × | star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-19 10:38:02 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-05-19 10:39:40 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-19 10:39:48 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-19 10:40:13 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-19 10:40:14 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-19 10:40:26 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-19 10:40:33 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-19 10:42:58 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-mvvtsrqoeqztdvzb) |
| 2021-05-19 10:44:35 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-19 10:44:37 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-19 10:44:52 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 252 seconds) |
| 2021-05-19 10:44:58 | <Philonous> | What's the memory requirement of a (SmallArray# a)? I'm assuming it's something like k words + n*(1 word + sizeof(a) ), but how do I find out for sure? |
| 2021-05-19 10:45:11 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-19 10:46:22 | → | boxscape joins (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) |
| 2021-05-19 10:46:56 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-19 10:48:52 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 10:49:37 | → | star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) |
| 2021-05-19 10:49:54 | <opqdonut> | Philonous: you probably read https://hackage.haskell.org/package/ghc-prim-0.4.0.0/docs/GHC-Prim.html#g:9 already? |
| 2021-05-19 10:50:37 | × | obfusk_ quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-05-19 10:50:53 | <opqdonut> | fresher version, same text: https://hackage.haskell.org/package/ghc-prim-0.7.0/docs/GHC-Prim.html#g:13 |
| 2021-05-19 10:51:06 | → | obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-05-19 10:51:29 | → | killsushi joins (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) |
| 2021-05-19 10:51:57 | × | lemmih quits (~lemmih@2406:3003:2072:44:defd:a00a:733d:f00a) (Remote host closed the connection) |
| 2021-05-19 10:52:18 | → | lemmih joins (~lemmih@2406:3003:2072:44:fb30:fbcc:add6:52b5) |
| 2021-05-19 10:53:28 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-19 10:54:48 | → | selny joins (~eminsplac@185.40.159.78) |
| 2021-05-19 10:55:33 | × | selny quits (~eminsplac@185.40.159.78) (Client Quit) |
| 2021-05-19 10:56:41 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-05-19 10:57:19 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-19 10:57:19 | × | ozzymcdu_ quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-19 10:58:20 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-19 10:58:22 | → | ozzymcdu_ joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-19 10:59:22 | × | star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-19 11:00:53 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-19 11:01:01 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Quit: Leaving) |
| 2021-05-19 11:01:03 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:01:09 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:01:23 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:01:25 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:01:58 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:02:04 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:02:18 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:02:20 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:02:53 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:02:59 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:03:13 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:03:15 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:03:33 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-19 11:03:39 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) |
| 2021-05-19 11:03:48 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:03:54 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:04:04 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-19 11:04:08 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:04:09 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 245 seconds) |
| 2021-05-19 11:04:10 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:04:22 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-19 11:04:43 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:04:49 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:05:03 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:05:05 | × | tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:05:38 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 11:06:02 | tim | is now known as Guest28054 |
| 2021-05-19 11:06:14 | → | star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) |
| 2021-05-19 11:06:59 | × | Guest28054 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 11:08:55 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 2021-05-19 11:09:13 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-05-19 11:10:13 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 240 seconds) |
All times are in UTC.