Logs: freenode/#haskell
| 2021-04-15 18:56:26 | × | malumore quits (~malumore@151.62.126.218) (Ping timeout: 240 seconds) |
| 2021-04-15 18:57:56 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 18:58:24 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-15 18:59:53 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 19:00:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-15 19:01:03 | × | jonatan quits (~nate@h77-53-70-163.cust.a3fiber.se) (Quit: leaving) |
| 2021-04-15 19:01:19 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 19:01:26 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-04-15 19:01:33 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds) |
| 2021-04-15 19:02:05 | → | esp32_prog joins (~esp32_pro@37.120.201.122) |
| 2021-04-15 19:05:26 | → | Javier62 joins (5882311d@mue-88-130-49-029.dsl.tropolys.de) |
| 2021-04-15 19:05:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 19:05:58 | × | Javier62 quits (5882311d@mue-88-130-49-029.dsl.tropolys.de) (Client Quit) |
| 2021-04-15 19:06:59 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-15 19:10:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-15 19:12:24 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-15 19:12:35 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 19:13:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-15 19:14:09 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 19:14:52 | → | malumore joins (~malumore@151.62.126.218) |
| 2021-04-15 19:15:06 | × | __minoru__shirae quits (~shiraeesh@109.166.58.151) (Ping timeout: 240 seconds) |
| 2021-04-15 19:15:15 | × | zmagii quits (~zmagii@unaffiliated/zmagii) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-04-15 19:15:27 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 2021-04-15 19:16:44 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 19:16:44 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 19:17:05 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 2021-04-15 19:18:01 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-15 19:18:28 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
| 2021-04-15 19:19:08 | → | zmagii joins (~zmagii@unaffiliated/zmagii) |
| 2021-04-15 19:20:01 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-15 19:20:24 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-04-15 19:20:45 | sm2n_ | is now known as sm2n |
| 2021-04-15 19:20:59 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-04-15 19:22:04 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 19:23:00 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-04-15 19:25:52 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-15 19:37:03 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 19:37:04 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 19:37:18 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 19:37:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-15 19:41:10 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-15 19:42:06 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-15 19:42:31 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 2021-04-15 19:43:33 | × | Sorny quits (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 268 seconds) |
| 2021-04-15 19:44:05 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-04-15 19:44:33 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-04-15 19:45:29 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-15 19:48:41 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Ping timeout: 260 seconds) |
| 2021-04-15 19:52:38 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-04-15 19:52:45 | → | jneira joins (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-04-15 19:52:54 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-15 19:54:12 | <myShoggoth> | gonna start streaming at the top of the hour, reading more GHC GC code: https://www.twitch.tv/myshoggoth |
| 2021-04-15 19:55:35 | → | loller_ joins (uid358106@gateway/web/irccloud.com/x-vwcbjpedwymxmltm) |
| 2021-04-15 19:56:04 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-15 19:56:08 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-15 19:57:34 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-15 19:58:31 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-15 19:59:22 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-15 19:59:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 20:01:07 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-15 20:02:55 | <Philonous> | Franciman, stackage doesn't strictly speaking require stack, but all the waiys to actually use it directly with cabal have some snags |
| 2021-04-15 20:03:14 | → | hololeap_ joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 20:03:40 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-15 20:04:52 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 20:04:58 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-04-15 20:06:06 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-15 20:06:58 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 20:08:40 | <Philonous> | edwardk, Since you're at MIRI, do you work with Eliezer Yudkowsky? |
| 2021-04-15 20:08:58 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-15 20:09:00 | <Franciman> | Philonous, I have great perplexities in fact |
| 2021-04-15 20:09:07 | <Franciman> | stackage in practice is almost locked in vendor |
| 2021-04-15 20:09:12 | <Franciman> | they tell you to use stack |
| 2021-04-15 20:09:14 | <Franciman> | to use their server |
| 2021-04-15 20:09:22 | <Franciman> | to use their infrastructure |
| 2021-04-15 20:11:14 | <Philonous> | I don't think they intentionally lock you in, you are welcome to use it however you like, but the stack guys have IMO always been very "shoot first and worry about compatibility later" |
| 2021-04-15 20:11:44 | slac17915 | is now known as slack1256 |
| 2021-04-15 20:11:49 | <Philonous> | Which isn't necessarily bad. Stack worked impressively well when cabal was a big pain. |
| 2021-04-15 20:13:34 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-04-15 20:14:09 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-15 20:14:50 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 20:15:10 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-15 20:16:41 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2021-04-15 20:17:43 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-15 20:19:56 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-15 20:27:33 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-15 20:28:01 | × | hololeap_ quits (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection) |
| 2021-04-15 20:31:15 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 20:32:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 20:33:27 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-15 20:34:09 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) |
| 2021-04-15 20:34:50 | × | alx741 quits (~alx741@181.196.69.92) (Ping timeout: 246 seconds) |
| 2021-04-15 20:35:31 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 20:36:41 | → | usr25 joins (~J@33.red-83-63-129.staticip.rima-tde.net) |
| 2021-04-15 20:40:00 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-04-15 20:43:40 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-15 20:43:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 20:46:01 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-15 20:47:54 | → | alx741 joins (~alx741@181.196.68.193) |
| 2021-04-15 20:47:59 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-04-15 20:48:00 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
All times are in UTC.