Logs: freenode/#haskell
| 2020-10-07 20:17:30 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-07 20:18:52 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2020-10-07 20:18:57 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-07 20:19:10 | → | sand_dull joins (~theuser@104.140.53.43) |
| 2020-10-07 20:20:27 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-10-07 20:20:49 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-07 20:21:14 | × | Ariakenom quits (~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 2020-10-07 20:21:51 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection) |
| 2020-10-07 20:22:00 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-07 20:23:12 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 2020-10-07 20:25:01 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds) |
| 2020-10-07 20:25:25 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-07 20:26:33 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-07 20:26:43 | × | mmohammadi981266 quits (~mmohammad@5.238.172.236) (Quit: I quit (╯°□°)╯︵ ┻━┻) |
| 2020-10-07 20:27:31 | → | shatriff joins (~vitaliish@88.155.140.206) |
| 2020-10-07 20:30:01 | → | o1lo01ol_ joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2020-10-07 20:30:10 | → | revprez_1nzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 2020-10-07 20:30:14 | → | Sgeo_ joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-07 20:30:41 | → | Gerula_ joins (~Gerula@unaffiliated/gerula) |
| 2020-10-07 20:30:59 | → | Bergle_3 joins (~Bergle_4@101.165.90.119) |
| 2020-10-07 20:31:14 | → | alexelcu joins (~alexelcu@142.93.180.198) |
| 2020-10-07 20:31:27 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2020-10-07 20:31:31 | × | alexelcu_ quits (~alexelcu@142.93.180.198) (Remote host closed the connection) |
| 2020-10-07 20:31:31 | × | datajerk quits (~datajerk@sense.net) (Quit: ZNC 1.7.3 - https://znc.in) |
| 2020-10-07 20:31:31 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 240 seconds) |
| 2020-10-07 20:31:37 | × | blissful quits (~azuline@unaffiliated/azuline) (Read error: Connection reset by peer) |
| 2020-10-07 20:31:38 | × | feepo quits (sid28508@gateway/web/irccloud.com/x-pklyfcxlyitgyefj) (Read error: Connection reset by peer) |
| 2020-10-07 20:31:41 | × | justache quits (~justache@unaffiliated/justache) (Read error: Connection reset by peer) |
| 2020-10-07 20:31:43 | → | dorkside1 joins (~tdbgamer@208.190.197.222) |
| 2020-10-07 20:31:45 | × | atraii quits (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) (Ping timeout: 240 seconds) |
| 2020-10-07 20:31:45 | × | coddinkn quits (~coddinkn@octayn.net) (Quit: ZNC 1.7.2 - https://znc.in) |
| 2020-10-07 20:31:46 | → | ryansmccoy joins (~ryansmcco@156.96.151.132) |
| 2020-10-07 20:31:50 | × | noctux quits (~noctux@unaffiliated/noctux) (Read error: Connection reset by peer) |
| 2020-10-07 20:31:51 | × | Nascha quits (sid212230@gateway/web/irccloud.com/x-qojdwpoczxkroamg) (Read error: Connection reset by peer) |
| 2020-10-07 20:31:56 | × | dorkside quits (~tdbgamer@208.190.197.222) (Read error: Connection reset by peer) |
| 2020-10-07 20:31:56 | dorkside1 | is now known as dorkside |
| 2020-10-07 20:31:59 | → | noctux joins (~noctux@unaffiliated/noctux) |
| 2020-10-07 20:31:59 | → | blissful joins (~azuline@unaffiliated/azuline) |
| 2020-10-07 20:32:01 | → | Nascha joins (sid212230@gateway/web/irccloud.com/x-pcsyzkuvukkkrkpv) |
| 2020-10-07 20:32:02 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (Remote host closed the connection) |
| 2020-10-07 20:32:05 | × | c-rog quits (~c-rog@traffic.simst.im) (Ping timeout: 240 seconds) |
| 2020-10-07 20:32:05 | × | CitizenS- quits (~CitizenSn@irc.refl.club) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2020-10-07 20:32:08 | → | feepo joins (sid28508@gateway/web/irccloud.com/x-cypejpxsoagndzmj) |
| 2020-10-07 20:32:15 | → | atraii joins (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) |
| 2020-10-07 20:32:24 | × | stree quits (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Read error: Connection reset by peer) |
| 2020-10-07 20:32:25 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 240 seconds) |
| 2020-10-07 20:32:41 | → | stree joins (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) |
| 2020-10-07 20:32:43 | → | justache joins (~justache@unaffiliated/justache) |
| 2020-10-07 20:32:45 | × | revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-10-07 20:32:45 | × | nshepperd quits (~nshepperd@pool-96-239-61-124.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-10-07 20:32:45 | × | Clint quits (~Clint@libre.fm/hacker/clint) (Ping timeout: 240 seconds) |
| 2020-10-07 20:32:45 | × | nisstyre quits (~wes@python-zero/conduct-committee/nisstyre) (Ping timeout: 240 seconds) |
| 2020-10-07 20:32:52 | → | Clint joins (~Clint@libre.fm/hacker/clint) |
| 2020-10-07 20:33:04 | → | nisstyre joins (~wes@python-zero/conduct-committee/nisstyre) |
| 2020-10-07 20:33:05 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 240 seconds) |
| 2020-10-07 20:33:05 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2020-10-07 20:33:05 | × | Bergle_2 quits (~Bergle_4@101.165.90.119) (Ping timeout: 240 seconds) |
| 2020-10-07 20:33:05 | × | lassulus quits (~lassulus@NixOS/user/lassulus) (Ping timeout: 240 seconds) |
| 2020-10-07 20:33:19 | → | monochrom joins (trebla@216.138.220.146) |
| 2020-10-07 20:33:25 | × | Gerula quits (~Gerula@unaffiliated/gerula) (Ping timeout: 240 seconds) |
| 2020-10-07 20:33:28 | → | nshepperd joins (~nshepperd@pool-96-239-61-124.nycmny.fios.verizon.net) |
| 2020-10-07 20:33:33 | → | lassulus joins (~lassulus@NixOS/user/lassulus) |
| 2020-10-07 20:34:24 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 2020-10-07 20:34:29 | → | CitizenSnips joins (~CitizenSn@irc.refl.club) |
| 2020-10-07 20:35:12 | → | c-rog joins (~c-rog@traffic.simst.im) |
| 2020-10-07 20:35:34 | → | datajerk joins (~datajerk@sense.net) |
| 2020-10-07 20:35:58 | hackage | Shpadoinkle-console 0.0.1.1 - Support for the native browser console https://hackage.haskell.org/package/Shpadoinkle-console-0.0.1.1 (fresheyeball) |
| 2020-10-07 20:36:04 | → | coddinkn joins (~coddinkn@octayn.net) |
| 2020-10-07 20:37:04 | tito_04 | is now known as taurux |
| 2020-10-07 20:37:41 | × | stree quits (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2020-10-07 20:37:43 | × | geekosaur quits (ac3a8bf1@172.58.139.241) (Remote host closed the connection) |
| 2020-10-07 20:37:58 | → | stree joins (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) |
| 2020-10-07 20:43:32 | × | conal quits (~conal@209.58.130.230) (Quit: Computer has gone to sleep.) |
| 2020-10-07 20:43:34 | × | mrchampion quits (~mrchampio@216-211-57-41.dynamic.tbaytel.net) (Read error: Connection reset by peer) |
| 2020-10-07 20:44:02 | × | otulp quits (~otulp@31.45.116.219) (Ping timeout: 258 seconds) |
| 2020-10-07 20:44:53 | → | mrchampion joins (~mrchampio@216-211-57-41.dynamic.tbaytel.net) |
| 2020-10-07 20:45:13 | × | John20 quits (~John@92.40.187.37.threembb.co.uk) (Ping timeout: 260 seconds) |
| 2020-10-07 20:46:03 | → | conal joins (~conal@209.58.130.230) |
| 2020-10-07 20:49:09 | → | knupfer joins (~Thunderbi@200116b82c62010041aef7a0c6e73950.dip.versatel-1u1.de) |
| 2020-10-07 20:52:46 | × | brandly quits (~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Quit: https://github.com/brandly/Lax) |
| 2020-10-07 20:52:47 | × | xff0x quits (~fox@2001:1a81:5374:e100:2c9e:dd16:8ce3:558c) (Ping timeout: 260 seconds) |
| 2020-10-07 20:53:30 | → | xff0x joins (~fox@2001:1a81:5374:e100:d048:1f00:80fa:e49e) |
| 2020-10-07 20:56:32 | × | Lycurgus quits (~niemand@98.4.96.130) (Quit: Exeunt) |
| 2020-10-07 20:58:24 | → | borne joins (~fritjof@200116b8643e710004885e7781e78f4d.dip.versatel-1u1.de) |
| 2020-10-07 20:58:37 | × | knupfer quits (~Thunderbi@200116b82c62010041aef7a0c6e73950.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-10-07 20:58:40 | → | frdg joins (60e94035@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2020-10-07 21:00:02 | × | KuluBot quits (~KuluBot@185.163.110.116) () |
| 2020-10-07 21:05:00 | ← | sh4rm4^bnc parts (~sh4rm4@unaffiliated/sh4rm4) ("Leaving") |
| 2020-10-07 21:07:28 | <koz_> | Cont is truly the reason we can't have nice things. |
| 2020-10-07 21:08:42 | <dminuoso> | What do you mean by that? |
| 2020-10-07 21:09:13 | <koz_> | dminuoso: Basically, unlike everything else mtl re-exports, it has no instances of Monad* for basically any *. |
| 2020-10-07 21:09:22 | <koz_> | I get _why_ this is, but it's still sads. |
| 2020-10-07 21:10:04 | <monochrom> | I have the opposite opinion. Cont is why we have nice things. :) |
| 2020-10-07 21:10:16 | <monochrom> | http://www.vex.net/~trebla/haskell/cont.xhtml |
| 2020-10-07 21:10:18 | <dminuoso> | Sure, but how is Cont the reason you can't have nice things? |
| 2020-10-07 21:10:40 | <dminuoso> | What things does the existence of Cont prevent us from writing? |
| 2020-10-07 21:10:50 | × | conal quits (~conal@209.58.130.230) (Quit: Computer has gone to sleep.) |
| 2020-10-07 21:11:08 | <koz_> | dminuoso: It's a bit hard to explain. I'm just generally lamenting my situation I think. |
| 2020-10-07 21:11:18 | <koz_> | I need to think about it some more. |
| 2020-10-07 21:11:23 | <monochrom> | On prime-numbered days, I am a bit saddened that Cont is not a MonadFix. But prime-numbered days are getting less and less frequent. :) |
All times are in UTC.