Logs: freenode/#haskell
| 2021-05-11 11:49:52 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-11 11:50:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 11:50:02 | × | e2 quits (e2@sponsored.by.bnc4you.xyz) (Quit: Stable ZNC provider ##bnc4you) |
| 2021-05-11 11:50:22 | × | LKoen quits (~LKoen@156.168.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-05-11 11:50:49 | → | e2 joins (e2@sponsored.by.bnc4you.xyz) |
| 2021-05-11 11:51:38 | × | xiinotulp quits (~q@ppp-58-8-176-210.revip2.asianet.co.th) (Quit: Leaving) |
| 2021-05-11 12:00:20 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-11 12:00:28 | → | bitmagie joins (~Thunderbi@200116b806b92e00b8b7218edf9a11f7.dip.versatel-1u1.de) |
| 2021-05-11 12:01:49 | × | EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-05-11 12:02:50 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-11 12:04:37 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-jefbknzpvoezvjbn) |
| 2021-05-11 12:05:04 | × | bitmagie quits (~Thunderbi@200116b806b92e00b8b7218edf9a11f7.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-11 12:08:07 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-11 12:08:12 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-11 12:08:58 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-11 12:09:53 | → | malumore_ joins (~malumore@151.62.117.210) |
| 2021-05-11 12:12:12 | × | malumore quits (~malumore@151.62.117.210) (Ping timeout: 240 seconds) |
| 2021-05-11 12:12:39 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 250 seconds) |
| 2021-05-11 12:12:49 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-05-11 12:13:10 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-11 12:15:24 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-11 12:15:45 | × | gitgood quits (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) (Ping timeout: 260 seconds) |
| 2021-05-11 12:18:20 | <Gurkenglas> | Is Quick Look impredicativity usable these days? |
| 2021-05-11 12:18:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-05-11 12:19:06 | <wz1000> | Gurkenglas: if you use a 9.2 prerelease |
| 2021-05-11 12:20:52 | <Gurkenglas> | Can I make stack do that or do I have to build ghc from source? |
| 2021-05-11 12:21:36 | <Gurkenglas> | (huh, or download from downloads.haskell.org) |
| 2021-05-11 12:26:01 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-05-11 12:26:31 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-05-11 12:26:44 | <maerwald> | Gurkenglas: ghcup has the 9.2 prerelease |
| 2021-05-11 12:28:22 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-11 12:35:19 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-11 12:35:57 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-11 12:36:09 | msgctl | is now known as m5g |
| 2021-05-11 12:36:15 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:8509:1194:46cd:65cb) (Ping timeout: 260 seconds) |
| 2021-05-11 12:36:47 | <maerwald> | also: https://github.com/commercialhaskell/stack/blob/master/doc/yaml_configuration.md#building-ghc-from-source-experimental |
| 2021-05-11 12:37:29 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-05-11 12:39:03 | × | seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 260 seconds) |
| 2021-05-11 12:40:34 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-11 12:40:43 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 2021-05-11 12:40:54 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-11 12:40:54 | → | seveg joins (~gabriel@188-167-252-202.dynamic.chello.sk) |
| 2021-05-11 12:41:10 | → | carlomagno joins (~cararell@148.87.23.5) |
| 2021-05-11 12:44:07 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-05-11 12:45:05 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-05-11 12:45:15 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-11 12:46:13 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-11 12:46:33 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-05-11 12:48:21 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-05-11 12:52:06 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-11 12:53:25 | → | kidbuu joins (~Thunderbi@116.40.185.87) |
| 2021-05-11 12:57:27 | hackage | yesod-auth-oauth2 0.6.3.1 - OAuth 2.0 authentication plugins https://hackage.haskell.org/package/yesod-auth-oauth2-0.6.3.1 (PatrickBrisbin) |
| 2021-05-11 12:58:22 | × | guriya quits (a0ee4b2e@unaffiliated/guriya) (Ping timeout: 240 seconds) |
| 2021-05-11 12:58:55 | → | gitgood joins (~gitgood@host-78-145-139-64.as13285.net) |
| 2021-05-11 13:00:21 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-11 13:02:28 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-jebgsafpndujiwtn) |
| 2021-05-11 13:03:15 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-11 13:04:34 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-11 13:04:38 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-11 13:04:46 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-11 13:05:20 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-11 13:09:07 | → | Guest84063 joins (~zmv@unaffiliated/zmv) |
| 2021-05-11 13:09:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-11 13:13:46 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-11 13:13:49 | × | xff0x quits (~xff0x@2001:1a81:53fb:1000:2c1d:2721:9e36:7aea) (Ping timeout: 276 seconds) |
| 2021-05-11 13:14:54 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-05-11 13:16:08 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:591c:cf3a:df6d:ebe7) |
| 2021-05-11 13:16:40 | × | wonko7 quits (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-05-11 13:17:49 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-11 13:19:17 | Guest84063 | is now known as ntzmv |
| 2021-05-11 13:19:21 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-11 13:19:31 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 2021-05-11 13:19:47 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-11 13:20:07 | ntzmv | is now known as notzmv |
| 2021-05-11 13:20:44 | → | dbohdan joins (dbohdan@unaffiliated/dbohdan) |
| 2021-05-11 13:21:31 | → | sphi joins (~sphi@unaffiliated/sphi) |
| 2021-05-11 13:21:41 | <sphi> | hi all |
| 2021-05-11 13:21:49 | <shapr> | hi sphi, how you doin? |
| 2021-05-11 13:22:07 | <shapr> | writing any exciting code? |
| 2021-05-11 13:22:19 | <sphi> | heh, pretty alright shapr: , how are you yourself |
| 2021-05-11 13:22:31 | <sphi> | shapr: hello worlds in servant : P |
| 2021-05-11 13:22:34 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-11 13:22:49 | <shapr> | I'm doing well, writing up some slides for a haskell-adjacent talk I'm giving today. |
| 2021-05-11 13:23:02 | <shapr> | it's a ten minute talk, not so much content |
| 2021-05-11 13:23:03 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-11 13:23:13 | → | minoru_shiraeesh joins (~shiraeesh@109.166.58.80) |
| 2021-05-11 13:23:18 | <shapr> | sphi: I like servant! I get to use that at work! |
| 2021-05-11 13:23:43 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-05-11 13:23:52 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 240 seconds) |
| 2021-05-11 13:23:56 | <sphi> | shapr: must be nice :D |
| 2021-05-11 13:24:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) |
| 2021-05-11 13:24:28 | <shapr> | Yeah, I like writing Haskell for a job. Haskell isn't a perfect language, but I like it best of all the languages I've tried. |
| 2021-05-11 13:24:44 | <sphi> | i read a tweet the other day |
| 2021-05-11 13:25:15 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-11 13:25:18 | <sphi> | "lisp doesn't really have a philosophy, we're just united by a shared disgust for the alternatives" |
| 2021-05-11 13:25:22 | <shapr> | heh |
| 2021-05-11 13:25:33 | <sphi> | rang pretty close lol |
| 2021-05-11 13:26:07 | → | xff0x joins (~xff0x@2001:1a81:53fb:1000:2c1d:2721:9e36:7aea) |
| 2021-05-11 13:26:13 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Client Quit) |
| 2021-05-11 13:26:38 | <sphi> | i was going through the tutorial on the servant docs, i keep encountering this ' symbol at the type level |
All times are in UTC.