Logs: freenode/#haskell
| 2021-03-12 13:28:06 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-12 13:28:31 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2021-03-12 13:28:45 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2021-03-12 13:30:52 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-03-12 13:30:58 | → | joseph joins (~joseph@cpe-24-208-140-96.insight.res.rr.com) |
| 2021-03-12 13:31:08 | × | cream quits (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) (Ping timeout: 256 seconds) |
| 2021-03-12 13:31:22 | joseph | is now known as Guest76930 |
| 2021-03-12 13:31:45 | → | epicte7us joins (~epictetus@152.89.204.159) |
| 2021-03-12 13:32:30 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:51ba:fe70:8240:4759) |
| 2021-03-12 13:32:59 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-12 13:33:56 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 13:34:09 | × | swarmcollective quits (~joseph@cpe-24-208-140-96.insight.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-12 13:34:23 | → | investing joins (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) |
| 2021-03-12 13:35:52 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 276 seconds) |
| 2021-03-12 13:37:52 | → | tv- joins (~tv@unaffiliated/tv-) |
| 2021-03-12 13:38:45 | × | investing quits (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) (Client Quit) |
| 2021-03-12 13:38:56 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-12 13:39:15 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-lslonovgjxgqvcfu) |
| 2021-03-12 13:39:16 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 13:39:45 | → | investing joins (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) |
| 2021-03-12 13:41:20 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 256 seconds) |
| 2021-03-12 13:41:42 | → | investing69 joins (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) |
| 2021-03-12 13:42:00 | × | investing69 quits (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) (Max SendQ exceeded) |
| 2021-03-12 13:42:15 | × | investing quits (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) (Client Quit) |
| 2021-03-12 13:42:34 | → | investing joins (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) |
| 2021-03-12 13:42:34 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 2021-03-12 13:42:43 | × | Lycurgus quits (~niemand@98.4.114.199) (Quit: Exeunt) |
| 2021-03-12 13:43:13 | × | investing quits (676ee4ed@gateway/web/cgi-irc/kiwiirc.com/ip.103.110.228.237) (Max SendQ exceeded) |
| 2021-03-12 13:44:15 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-12 13:44:21 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-03-12 13:47:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 13:47:22 | → | carlomagno joins (~cararell@148.87.23.12) |
| 2021-03-12 13:47:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-12 13:48:02 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4) (Ping timeout: 264 seconds) |
| 2021-03-12 13:48:19 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-12 13:48:33 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-12 13:48:57 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-12 13:49:00 | × | drbean quits (~drbean@TC210-63-209-63.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-12 13:49:05 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-12 13:49:05 | × | ixlun quits (~user@109.249.184.132) (Read error: Connection reset by peer) |
| 2021-03-12 13:49:37 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-12 13:49:56 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-12 13:50:16 | → | ixlun joins (~user@109.249.184.132) |
| 2021-03-12 13:50:24 | → | ADG1089__ joins (~aditya@223.226.229.230) |
| 2021-03-12 13:51:33 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 2021-03-12 13:53:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Ping timeout: 264 seconds) |
| 2021-03-12 13:54:13 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2021-03-12 13:54:21 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds) |
| 2021-03-12 13:54:21 | × | maxxe-testing quits (~maxxe@unaffiliated/maxxe) (Ping timeout: 246 seconds) |
| 2021-03-12 13:58:42 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:51ba:fe70:8240:4759) (Remote host closed the connection) |
| 2021-03-12 14:01:34 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-03-12 14:03:02 | × | xff0x quits (~xff0x@2001:1a81:520c:1100:ac8b:f992:eea7:f98a) (Ping timeout: 264 seconds) |
| 2021-03-12 14:03:54 | → | xff0x joins (~xff0x@2001:1a81:520c:1100:aa08:8f09:5c11:60cb) |
| 2021-03-12 14:05:38 | × | thecoffemaker_ quits (~thecoffem@125-121-245-190.fibertel.com.ar) (Quit: So long and thanks for all the fish!) |
| 2021-03-12 14:05:39 | → | Guest_88 joins (4bba29ee@cpe-75-186-41-238.cinci.res.rr.com) |
| 2021-03-12 14:06:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 14:06:24 | <Guest_88> | Hi everyone, how is Haskell on apple silicon? |
| 2021-03-12 14:06:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-12 14:06:43 | <maerwald> | Guest_88: you need to run in arch -x86_64 compat mode via rosetta |
| 2021-03-12 14:07:08 | <maerwald> | a native release is planned https://www.haskell.org/ghc/blog/20210309-apple-m1-story.html |
| 2021-03-12 14:08:31 | <Guest_88> | Thank you for the blog post! That is great |
| 2021-03-12 14:08:34 | <Guest_88> | I can't wait |
| 2021-03-12 14:12:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 14:12:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-12 14:12:52 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 2021-03-12 14:13:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 14:13:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-12 14:14:46 | × | Guest_88 quits (4bba29ee@cpe-75-186-41-238.cinci.res.rr.com) (Quit: Connection closed) |
| 2021-03-12 14:15:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 14:15:10 | × | aqd quits (~aqd@84.20.147.33) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-03-12 14:15:31 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-12 14:16:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 14:16:17 | × | Athas quits (~athas@2a01:7c8:aaac:1cf:b3d0:9cdc:5978:262a) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-03-12 14:16:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-12 14:17:48 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 14:18:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 14:18:31 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-12 14:18:34 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-12 14:18:53 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 14:19:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 14:19:42 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-12 14:19:54 | × | ADG1089__ quits (~aditya@223.226.229.230) (Remote host closed the connection) |
| 2021-03-12 14:20:01 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 14:21:33 | × | azure1 quits (~azure@103.154.230.242) (Ping timeout: 264 seconds) |
| 2021-03-12 14:22:24 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-12 14:22:43 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-12 14:23:17 | × | thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Remote host closed the connection) |
| 2021-03-12 14:23:57 | <Gurkenglas_> | Can I dump all current thunks when https://github.com/haskell/haskell-language-server/blob/master/ghcide/session-loader/Development/IDE/Session.hs#L823 is (first?) called, or maybe when the call is forced? |
| 2021-03-12 14:24:52 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 2021-03-12 14:25:29 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:ca74:2b42:54ac:7ebf) (Ping timeout: 272 seconds) |
| 2021-03-12 14:26:46 | <geekosaur> | I don't think the notion of "all current thunks" exists |
| 2021-03-12 14:27:08 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 245 seconds) |
| 2021-03-12 14:27:42 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95698494132ffc54748c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-12 14:27:50 | <geekosaur> | unless you mean "the current pattern stack" or something like that |
| 2021-03-12 14:27:52 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-12 14:29:02 | <Gurkenglas_> | geekosaur, doesn't the RAM of any Haskell-compiled executable look like a big list of thunks? If not, what does it look like? |
| 2021-03-12 14:29:20 | <geekosaur> | it mostly does, but you assume there's a list of them somewhere |
| 2021-03-12 14:29:46 | <geekosaur> | note "mostly" |
| 2021-03-12 14:30:15 | <Gurkenglas_> | the nonthunk parts are the same in all haskell-compiled executables, right? |
| 2021-03-12 14:30:18 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer) |
All times are in UTC.