Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 795 796 797 798 799 800 801 802 803 804 805 .. 5022
— 502,152 events total
2020-10-22 07:51:56 × rembo10 quits (~rembo10@wally.codeshy.com) (Remote host closed the connection)
2020-10-22 07:51:57 → devalot joins (~ident@mail.pmade.com)
2020-10-22 07:51:57 × nerdypepper quits (nerdypeppe@152.67.160.69) (Quit: bye)
2020-10-22 07:52:13 → rembo10 joins (~rembo10@wally.codeshy.com)
2020-10-22 07:52:19 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 07:52:35 → Cthalupa joins (~cthulhu@47.186.47.75)
2020-10-22 07:52:36 × Sanchayan quits (~Sanchayan@122.181.211.206) (Quit: leaving)
2020-10-22 07:52:39 → borne joins (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3)
2020-10-22 07:52:44 → saurik joins (saurik@carrier.saurik.com)
2020-10-22 07:52:47 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-22 07:52:56 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-10-22 07:53:11 → nerdypepper joins (nerdypeppe@152.67.160.69)
2020-10-22 07:53:15 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-10-22 07:53:38 → chaosmasttter joins (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de)
2020-10-22 07:53:43 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-10-22 07:54:15 → phaul joins (~phaul@ruby/staff/phaul)
2020-10-22 07:57:53 × borne quits (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Quit: WeeChat 2.9)
2020-10-22 07:58:00 → borne joins (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3)
2020-10-22 07:59:17 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 07:59:18 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 07:59:18 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-22 07:59:45 × shafox quits (~shafox@106.51.234.111) (Ping timeout: 240 seconds)
2020-10-22 08:00:43 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 08:03:18 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-22 08:04:15 × karanlikmadde quits (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde)
2020-10-22 08:06:40 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-22 08:12:26 → ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 08:12:36 → Franciman joins (~francesco@host-82-54-10-114.retail.telecomitalia.it)
2020-10-22 08:14:43 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-22 08:16:36 × bgamari quits (~bgamari@72.65.102.2) (Ping timeout: 258 seconds)
2020-10-22 08:17:02 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 08:18:20 → bgamari joins (~bgamari@72.65.102.29)
2020-10-22 08:21:00 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-widejiobrxcglhbz) (Quit: Connection closed for inactivity)
2020-10-22 08:24:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 08:26:10 × bgamari quits (~bgamari@72.65.102.29) (Ping timeout: 272 seconds)
2020-10-22 08:28:23 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds)
2020-10-22 08:29:03 → bgamari joins (~bgamari@72.65.104.154)
2020-10-22 08:29:33 <Alexthek1d> seems like stack needs internet acccess
2020-10-22 08:29:43 <Alexthek1d> Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/13/7.yaml:
2020-10-22 08:34:27 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-22 08:34:31 → thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 08:35:05 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2020-10-22 08:37:27 → fendor_ joins (~fendor@194-96-53-70.hdsl.highway.telekom.at)
2020-10-22 08:38:45 × thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-22 08:39:11 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 08:40:28 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-22 08:42:38 × datajerk quits (~datajerk@sense.net) (Ping timeout: 272 seconds)
2020-10-22 08:47:47 <Alexthek1d> i try so set the proxy like this in windows: " set HTTPS_PROXY=http://myproxy:9090 "
2020-10-22 08:47:58 <Alexthek1d> but it still doesn't work
2020-10-22 08:49:11 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 08:49:17 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-22 08:50:13 × jedws quits (~jedws@101.184.148.229) (Ping timeout: 246 seconds)
2020-10-22 08:50:31 → datajerk joins (~datajerk@sense.net)
2020-10-22 08:51:19 → Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-10-22 08:53:40 → jedws joins (~jedws@101.184.148.229)
2020-10-22 08:53:55 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 08:55:27 → cyphase joins (~cyphase@unaffiliated/cyphase)
2020-10-22 08:58:20 <dminuoso> Mmm, why don't we have 1-tuples?
2020-10-22 08:58:29 <dminuoso> That seems like an oversight. :(
2020-10-22 08:59:01 <dminuoso> (I guess the answer is just the grammar wouldnt allow for it)
2020-10-22 08:59:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 09:00:01 × Suntop1 quits (~Suntop@84.39.117.57) ()
2020-10-22 09:00:07 → mozzarel1 joins (~sam@unaffiliated/sam113101)
2020-10-22 09:01:22 ← gmind[m] parts (gmindmatri@gateway/shell/matrix.org/x-ytyzdnndqsmeegde) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days")
2020-10-22 09:01:51 × mozzarella quits (~sam@unaffiliated/sam113101) (Ping timeout: 260 seconds)
2020-10-22 09:01:53 mozzarel1 is now known as mozzarella
2020-10-22 09:04:11 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 09:04:43 <hc> dminuoso: what about (1,)? that could reasonably be parsed into a 1-tuple?
2020-10-22 09:05:25 <merijn> hc: Disagree, that's an operator section of (,) :p
2020-10-22 09:05:57 → ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 09:06:07 <yushyin> yeah, TupleSections claims that syntax
2020-10-22 09:06:42 <hc> hmm, true
2020-10-22 09:07:38 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-22 09:08:00 <dminuoso> hc: The only reasonable solution appears to have been to use say {} for tuples instead.
2020-10-22 09:08:20 <merijn> dminuoso: There's a unary tuple somewhere in GHC or ghc-prim or something
2020-10-22 09:08:28 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-22 09:09:14 <dminuoso> Though that would conflict with record syntax, unless spaces for record syntax were disallowed, or it would need more lookahead
2020-10-22 09:09:18 <dminuoso> merijn: Mmm.
2020-10-22 09:10:08 <dminuoso> hc: Also, `(1,)` would have felt very adhoc, not in line with () (1,2), (1,2,3)
2020-10-22 09:10:42 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 09:11:55 → lindaTheUltimate joins (3dded63f@61-222-214-63.HINET-IP.hinet.net)
2020-10-22 09:12:04 <hc> dminuoso: newEmptyTuple function? ;p
2020-10-22 09:12:49 <hc> or, use «»
2020-10-22 09:13:58 <dminuoso> At that point, why not adapt arbitrary mixfix operators from Agda as well, and ensure you cant write programs without emacs anymore. :P
2020-10-22 09:14:22 <dminuoso> (These two remarks are not related to one another)
2020-10-22 09:14:30 <hc> oh, you can actually write haskell programs without emacs?
2020-10-22 09:14:34 hc looks surprised
2020-10-22 09:14:44 → erolm_a joins (~erolm_a@82.24.185.133)
2020-10-22 09:14:58 <dminuoso> Out of curiosity, do you use haskell-language-server, hc?
2020-10-22 09:15:10 → thc202 joins (~thc202@unaffiliated/thc202)
2020-10-22 09:15:13 <hc> yes I do, together with neovim
2020-10-22 09:15:27 <hc> I occasionally use emacs for haskell as well, but haven't properly set it up
2020-10-22 09:15:43 <dminuoso> Ah. With evil mode presumably?
2020-10-22 09:15:47 <hc> jup
2020-10-22 09:15:57 <dminuoso> If it wasn't for evil mode, I would still be a vim user :>
2020-10-22 09:16:17 → ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-10-22 09:16:23 <dminuoso> Dunno, I keep hearing so much good things about hie, but I fear for my lightweight and fast emacs setup
2020-10-22 09:17:06 <hc> I haven't found a perfect haskell editor yet, tbh. intellij has some nice features I miss in the others...
2020-10-22 09:18:04 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-22 09:18:10 <merijn> dminuoso: ghcide is crazy fast, compared to what I used before (like hdevtools years ago)
←Prev  Next→
Page 1 .. 795 796 797 798 799 800 801 802 803 804 805 .. 5022

All times are in UTC.