Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 756 757 758 759 760 761 762 763 764 765 766 .. 5022
— 502,152 events total
2020-10-20 16:15:47 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds)
2020-10-20 16:17:52 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-20 16:17:52 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-20 16:17:52 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-20 16:18:30 × coot quits (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-20 16:19:10 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds)
2020-10-20 16:21:00 × ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2020-10-20 16:21:49 → xacktm joins (xacktm@gateway/shell/panicbnc/x-rthkywgvxahgrnnf)
2020-10-20 16:24:54 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-20 16:26:59 × alp quits (~alp@2a01:e0a:58b:4920:5d64:e98e:4abc:72e2) (Ping timeout: 272 seconds)
2020-10-20 16:27:33 × ildar_ quits (~ildar@broadband-46-242-15-177.ip.moscow.rt.ru) (Quit: leaving)
2020-10-20 16:29:37 × polyrain quits (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 16:30:00 → evade joins (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e)
2020-10-20 16:30:58 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-20 16:31:22 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-20 16:33:23 → thir joins (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de)
2020-10-20 16:36:06 → ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd)
2020-10-20 16:36:25 → EyalSK joins (~EyalSK@bzq-84-109-128-227.cablep.bezeqint.net)
2020-10-20 16:38:59 → christo joins (~chris@81.96.113.213)
2020-10-20 16:39:11 → LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-10-20 16:39:21 × thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-20 16:40:32 × ensyde quits (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds)
2020-10-20 16:40:51 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-20 16:46:31 × conal_ quits (~conal@107.181.166.208) (Quit: Computer has gone to sleep.)
2020-10-20 16:48:05 × nineonin_ quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection)
2020-10-20 16:48:13 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds)
2020-10-20 16:48:36 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-20 16:49:07 → alp joins (~alp@2a01:e0a:58b:4920:edab:649b:afee:c6b9)
2020-10-20 16:50:41 × djcaston quits (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston)
2020-10-20 16:53:03 → Deide joins (~Deide@217.155.19.23)
2020-10-20 16:53:35 × asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-10-20 16:53:59 × texasmyn_ quits (~texasmyns@104.140.53.123) ()
2020-10-20 16:54:26 → texasmynsted joins (~texasmyns@104.140.53.123)
2020-10-20 16:57:16 → nineonine joins (~nineonine@216.81.48.202)
2020-10-20 16:59:29 × nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-20 16:59:45 → nineonine joins (~nineonine@216.81.48.202)
2020-10-20 17:04:05 → hololeap joins (~hololeap@unaffiliated/hololeap)
2020-10-20 17:06:35 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-20 17:09:37 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-ftxlshtfjorkikim)
2020-10-20 17:11:06 → elosant joins (~elosant@gateway/tor-sasl/elosant)
2020-10-20 17:11:31 → thir joins (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de)
2020-10-20 17:11:34 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-20 17:13:15 <yushyin> hackage returns 503 for a lot of urls :/ https://hackage.haskell.org/package/system-filepath-0.4.14/docs/Filesystem-Path-CurrentOS.html
2020-10-20 17:13:55 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-20 17:14:00 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-20 17:14:45 × elosant quits (~elosant@gateway/tor-sasl/elosant) (Client Quit)
2020-10-20 17:16:08 × thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-20 17:16:24 → fendor joins (~fendor@91.141.2.147.wireless.dyn.drei.com)
2020-10-20 17:17:10 × texasmynsted quits (~texasmyns@104.140.53.123) (Read error: Connection reset by peer)
2020-10-20 17:17:25 → texasmynsted joins (~texasmyns@62.182.99.148)
2020-10-20 17:17:51 → elosant joins (~elosant@gateway/tor-sasl/elosant)
2020-10-20 17:17:58 <statusbot> Status update: The host is fixing the switch, hopefully resolved shortly. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/5f8f1bc50f323c04c157dbeb
2020-10-20 17:18:06 × elosant quits (~elosant@gateway/tor-sasl/elosant) (Client Quit)
2020-10-20 17:18:32 <yushyin> oh
2020-10-20 17:19:55 <geekosaur> #haskell-infrastructure is where to ask about these things, by the way
2020-10-20 17:20:04 → thir joins (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de)
2020-10-20 17:20:07 <yushyin> that explains it
2020-10-20 17:20:16 → elosant joins (~elosant@gateway/tor-sasl/elosant)
2020-10-20 17:21:25 → brettgilio_ joins (~brettgili@brettgilio.com)
2020-10-20 17:21:30 × brettgilio quits (~brettgili@brettgilio.com) (Ping timeout: 256 seconds)
2020-10-20 17:23:59 × alp quits (~alp@2a01:e0a:58b:4920:edab:649b:afee:c6b9) (Ping timeout: 272 seconds)
2020-10-20 17:24:12 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-20 17:24:12 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-20 17:24:12 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-20 17:24:30 → acidjnk_new joins (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de)
2020-10-20 17:25:15 × borne quits (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-10-20 17:25:29 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-20 17:26:31 → ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd)
2020-10-20 17:31:09 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-20 17:31:18 × ensyde quits (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds)
2020-10-20 17:31:28 → djcaston joins (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net)
2020-10-20 17:33:00 × geekosaur quits (ac3a3e99@172.58.62.153) (Ping timeout: 245 seconds)
2020-10-20 17:35:57 hackage prolude 0.0.0.3 - ITProTV's custom prelude https://hackage.haskell.org/package/prolude-0.0.0.3 (saramuse)
2020-10-20 17:36:56 → christo joins (~chris@81.96.113.213)
2020-10-20 17:38:43 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-20 17:42:35 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-10-20 17:44:15 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-20 17:45:34 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-20 17:46:21 × irc_user quits (uid423822@gateway/web/irccloud.com/x-dfebbsighvffakyp) (Quit: Connection closed for inactivity)
2020-10-20 17:47:45 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-20 17:48:17 <statusbot> Status update: connectivity fixed. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/5f8f1bc50f323c04c157dbeb
2020-10-20 17:48:39 <Athas> I'm mystified that haskell-mode's built-in "autocompletion" is about showing me the grammar for syntactic constructs.
2020-10-20 17:49:05 × elosant quits (~elosant@gateway/tor-sasl/elosant) (Quit: WeeChat 2.9)
2020-10-20 17:49:11 <Athas> Showing me the type of the term would be more useful. Especially since Haskell's syntax is so flexible that just listing the grammar is hardly useful.
2020-10-20 17:49:17 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-20 17:49:22 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-20 17:49:29 × texasmynsted quits (~texasmyns@62.182.99.148) ()
2020-10-20 17:50:24 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-20 17:51:48 × djcaston quits (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston)
2020-10-20 17:52:10 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-20 17:52:32 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-10-20 17:55:30 <tomsmeding> Athas: does haskell-mode use a ghc under the hood? I think showing syntactic grammar is all you can do without getting into the weeds of all that haskell-ide-engine, ghcide, etc are doing
2020-10-20 17:56:07 <tomsmeding> which involves building IDE-like functionality against the API of the ghc your project is using, etc
2020-10-20 17:56:15 <Athas> It does not. And I guess what I'm really sad about is that such a significant technical infrastructure is needed to do things that ought not be very difficult.
2020-10-20 17:56:37 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-10-20 17:56:38 <tomsmeding> perhaps it ought not to be very difficult in a language that is not as complicated as Haskell :p
2020-10-20 17:56:48 × thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-20 17:57:30 <tomsmeding> or do you mean that harnessing ghc should not be as difficult?
2020-10-20 17:57:46 <Athas> I do wonder what motivated this grammar hinting, though. I cannot think of what would have motivated its inclusion.
2020-10-20 17:58:01 → Buntspecht joins (~user@unaffiliated/siracusa)
←Prev  Next→
Page 1 .. 756 757 758 759 760 761 762 763 764 765 766 .. 5022

All times are in UTC.